Унификация (unification) - операция сравнения (отождествления) нескольких формул, связывающая переменные в составе формул сопоставленными с ними подформулами. ... Унифицировать, ' == ' (unify) - предопределенный предикат языка, вызывающий унификацию заданных аргументов . ... Управляющий символ (control character) - элемент набора символов ASCII - возврат на одну позицию, горизонтальная табуляция, перевод строки, вертикальная табуляция, перевод формата или возврат каретки. ...

Еще в разделе: (Показать все результаты (>884) - www.cplire.ru/ )

... Относительный сдвиг спектральных линий между двумя компонентами одного порядка на одном кадре вызван небольшим наклоном монохроматического изображения входной щели спектрографа относительно столбцов ПЗС-матрицы. ... Для определенности, в качестве стандарта покоя, относительно которого будет определятся сдвиг компонент линий, примем набор верхних компонент спектральных порядков при нормальном положении спектрографа. ...

Еще в разделе: (Показать все результаты (>1217) - jet.sao.ru/ )

• Определение поляризационных характеристик спектра исследуемого объекта
• Учет рассеянного света и экстракция спектра из изображения
• Расчет инструментальной поляризации

... Переменные Звезды | ... Двойная звезда Мицар . ... Бенсон и др., группа NPOI , Военно-морская обсерватория Соединенных штатов , Военно-морская исследовательская лаборатория Пояснение: Звезда Мицар - двойная система. ... По спектроскопическим наблюдениям доплеровских смещений оказалось, что система Мицара состоит из Мицара А и Мицара Б, которые сами по себе тоже являются двойными звездами! ... Публикации с ключевыми словами: binary star - двойные звезды - элементы орбиты - Массы небесных тел . ...

Еще в разделе: (Показать все результаты (>41376) - www.astronet.ru/ )

• Астронет > Звездные Яйца космического Орла
• Астронет > Определение понятия Планета II
• Астронет > Солнечное кольцо С. П. Глазенапа.

... There has been a heated public discussion in the past few years about whether our ninth planet is really deserving of the name. Since Pluto orbits a star, and is much less luminous, it certainly satisfies the definition we have above. The problem is actually not with Pluto, but with a very large number of other bodies in our Solar System which also satisfy this definition, but which are not called planets. Perhaps the most notable of these is Ceres, the largest asteroid. ... Planet . ...

Еще в разделе: (Показать все результаты (>134) - www.astrosociety.org/ )

• ASP: Pluto By Any Definition?

... Content Model: Optional list header (LH), followed by one or more terms (DT) and definitions (DD). A definition list is a list of terms and corresponding definitions. Definition lists are typically formatted with the term on the left with the definition following on the right or on the next line. ... The definition list element can take the COMPACT attribute, which suggests that a compact rendering be used, and is appropriate if the list elements are small and/or the entire list is large. ...

Еще в разделе: (Показать все результаты (>113) - comet.sai.msu.ru/ )

• Задача 14

Next: Wavelength calibration Up: Reduction using Standard Previous: Order Definition: Methods . ... The algorithm accepts frame which can be mildly contaminated by particle hits, bad columns, order gaps due to absorption lines, as found in FLAT or STD . ... the interorder background is roughly constant over the frame. the slope of the orders is in the range ]0., ... For a background estimate without previous order definition, consider the echelle command BACKGROUND/SMOOTH . ... LOAD/TAB order :X :Y . ...

Еще в разделе: (Показать все результаты (>660) - www.sao.ru/ )

• Order Definition: Methods STD and COM
• Definition of Tables
• Sky background definition

Общий форум . Scientific.ru Все форумы . ... Давид Мзареулян (@) - 26.06.2003 16:53 . ... Об определении инерциальной системы отсчета Давид Мзареулян, 22.06.2003 14:05 . Re: Об определении инерциальной системы отсчета Matigor, 23.06.2003 11:45 . ... Re: Физика на сфере Давид Мзареулян, 23.06.2003 16:07 . ... плеохроизм дымчатого кварца sleo, 23.06.2003 17:58 . ... Re: Об определении инерциальной системы отсчета sleo, 22.06.2003 14:40 . ... Re: карусель Давид Мзареулян, 22.06.2003 21:29 . ...

Еще в разделе: (Показать все результаты (>22638) - www.scientific.ru/ )

... Though Flint knows the interface definitions (i.e. number, type and intent of each argument) of standard FORTRAN functions, it is desirable for users to build and use a file (or files) describing the interfaces to their own library. ... The format is: flint -o file .. ... While these interface definitions could be input along with normal source files, preceding the interface file with the -l (library) switch has the advantage that the source of this file does not appear in the listing file. ...

Еще в разделе: (Показать все результаты (>3154) - www.atnf.csiro.au/ )

• Imaging and Image Velocity Definitions - INVERT and VELSW
• tHermes key definitions
• Definitions of Of stars, WR stars, and LBVs

... Us . ... Merging Calls . ... Call Status . ... The Agent will be warned after three hours (Triage) or after six hours (Team Level) of inactivity, and again if still unedited. ... When the User replies, calls move to this status. The Agent will be warned after two days of inactivity, and again every day thereafter. ... Thinks they solved the problem, but want to leave the call open for a bit. ... The Agent will be warned after ten (business) days of inactivity, and again every day thereafter. ...

Еще в разделе: (Показать все результаты (>2270) - www.stsci.edu/ )

• HSP Instrument Definition Team Reports
• Chapter 2: Header Keyword Definitions
• Chapter 3: Table Definitions

... A baseline vector is oriented from telescope 1 to telescope 2, i.e. the baseline coordinates are the coordinates of station 2 minus the coordinates from station 1. In the aperture plane, the coordinate increases to the East, and the coordinate increases to the North. ... In PEARL, a map on the sky is allocated with the -coordinate corresponding to RA, which increases to the left (East). The relationship between visibility and map is then . ...

Еще в разделе: (Показать все результаты (>1806) - www.eso.org/ )

• ESO - Are there order definition frames with spatial information, i.e. using 9
• ESO - Observing conditions: definitions
• Capturing the Ultra High Definition Universe (annotated)

... A structure definition is provided: . type, public :: EllipseT real(single) ::& xAmp,& yAmp,& phase,& ! ... eg 'pixels', 'detxy', 'tanxy' logical(bool) :: isCircle end type EllipseT . ... interface initializeEllipseT subroutine initializeEllipseTScalar(ellipse) type(EllipseT), intent(out) :: ellipse end subroutine initializeEllipseTScalar subroutine initializeEllipseTVector(ellipse) type(EllipseT), intent(out) :: ellipse(:) end subroutine initializeEllipseTVector end interface . ...

Еще в разделе: (Показать все результаты (>886) - xmm.vilspa.esa.es/ )

• detXY unit definition
• Definitions

... Recent Topics . ... Forum . MAO main . Info . Definition of Polarization Angle . info . ... От: "Claus Leitherer" . ... Тема: Definition of Polarization Angle . ... Please take note of the attached IAU recommendation concerning the definition . of the polarization angle in astronomical measurements. ... www.mao.kiev.ua/images/postbyemail/Polarization.pdf . ... Board Categories MAO main - Info - MAO - news - Flame Technical - Technical Support(Forum)(Техподдержка(Форум)) . ...

Еще в разделе: (Показать все результаты (>191) - www.mao.kiev.ua/ )

. ОГЛАВЛЕНИЕ . Предисловие к четвертому изданию . Введение . § 1. Предмет и задачи астрономии . § 2. Подразделение астрономии . § 3. Возникновение и основные этапы развития астрономии . § 4. Практическое и идеологическое значение астрономии . § 5. Основа и источник астрономических исследований . § 6. Краткий очерк строения Вселенной . Глава I . Основные сведения из сферической астрономии . § 7. Видимые положения светил. Созвездия . § 8. Видимые движения звезд, Солнца, Луны и планет . § 9. Географические

Еще в разделе: (Показать все результаты (>783) - crydee.sai.msu.ru/ )

• HTML 4.0 Frameset Document Type Definition
• Long description for the illustration of a pixel's definition
• Dynamic HTML in Communicator

Next: Procedure for Dealing with Up: scientific Previous: Code of Good Practice . ... Any practice or conduct that seriously deviates from the ethical standards embodied in the Code of Good Practice for Scholarly and Scientific Research for proposing, conducting and publishing scientific research constitutes Scientific Misconduct, and if proven renders the offending member liable to the Observatory's disciplinary procedures. ...

Еще в разделе: (Показать все результаты (>388) - star.arm.ac.uk/ )

• Spectrum - control

spaceweb@oulu.fi - last update: 1 July 1998, 1200 UT (RR) . ... Relates the wave number k to the wave frequency. ... From the equation of motion , m d v /dt = q( v x B ) one can calculate that, in a presence of magnetic field B , a charged particle is accelerated in direction perpendicular to both v (perp) and B . ... The angle a between magnetic field B and velocity vector of a charged particle, v ., i.e., sin a = v(perp) / v(total), where v(perp) refers to the velocity component perpendicular to B . ...

Еще в разделе: (Показать все результаты (>442) - www.iki.rssi.ru/ )

• Discontinuities and shocks [Oulu]
• Электронный учебник - Словарь В

... Survey processing . ... ESO - Public Surveys . ... The Survey Areas Definition Tool is part of the VISTA Data Flow System Project (a separate project to the VISTA Project) and was delivered to ESO for use with VISTA and (later) VST. ... The SADT and can be found via the ESO SADT page and includes inter alia . ... The Y overlap value set in SADT controls how the Y edges of adjacent tiles overlap. ... Y overlap 0/60 efficiently uses the one time covered regions to make a 2x covered region . ...

Еще в разделе: (Показать все результаты (>8) - www.vista.ac.uk/ )

• VISTA - Visible and Infrared Survey Telescope for Astronomy

The HyperNews Linux KHG Discussion Pages . Forum: The Linux Kernel Hackers' Guide . Re : Linux SMP Scheduling (Angela) . Date: Mon, 16 Mar 1998 16:34:54 GMT . From: Felix Rauch < rauch@inf.ethz.ch > . The definition of NO_PROC_ID can be fount by, e.g., the following command: . find . -name "*.[ch]" -print | xargs grep NO_PROC_ID | grep #define . (assuming you are in the Linux-source-directory). This will show that NO_PROC_ID is defined as follows: . #define NO_PROC_ID 0xFF .

Еще в разделе: (Показать все результаты (>5510) - www.arcetri.astro.it/ )

• SMP: Two Definitions?
• Signals ID definitions
• Converting Modules from Apache 1.3 to Apache 2.0 - Apache HTTP Server

... В 04:05 ДМВ началась первая динамическая операция. С помощью двигателей ориентации базового блока и выносной двигательной установки вращение ОК 'Мир' было остановлено, включен блок для определения кватернионов (на основании их СУД измеряет и поддерживает ориентацию комплекса). ... В интервале от 07:07 до 07:21 ДМВ проведена проверка ориентации ОК 'Мир', контроль параметров орбиты, а также процесс зарядки буферных аккумуляторных батарей, которые ко времени 'Ч' должны быть разряжены. ...

Еще в разделе: (Показать все результаты (>992) - www.astronaut.ru/ )

... Спектр линейного оператора $T$ в комплексном векторном пространстве $X$ --- это множество $\sigma(T)\subset\CC$, состоящее из тех $\lambda\in\CC$, для которых оператор $T-\lambda$ необратим. Если $E$ --- банахово пространство, а $T$ ограничен, то у спектра есть следующие важные свойства: . ... Желательно, чтобы совместный спектр лежал в $\CC^n$, обладал перечисленными выше свойствами и при $n=1$ сводился к обычному спектру оператора. ... Спектр элемента алгебры. ... Теорема об отображении спектра. ...

Еще в разделе: (Показать все результаты (>2470) - www.mccme.ru/ )

• Drinfel's associator (Fall 2004)
• Introduction to dynamical systems (Spring 1999)

Each Apache module is described using a common format that looks like this: . Status: status . ... This indicates how tightly bound into the Apache Web server the module is; in other words, you may need to recompile the server in order to gain access to the module and its functionality. ... A module with "Extension" status is not normally compiled and loaded into the server. ... Modules which are not included with the base Apache distribution ("third-party modules") may use the "External" status. ...

Еще в разделе: (Показать все результаты (>34) - neptun.sai.msu.ru/ )

• Definitions of terms used to describe Apache directives
• Source Re-organisation