Astronet Поиск по астрономическим сайтам English Russian
       
        Точная форма слов   О проекте   Сайты   Справка
Найдено документов: 132474 (166 сайтов) ---- Время поиска: 0.38сек.   

1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | След.

Показаны документы, содержащие фрагменты текста из документа
http://www.sai.msu.su/~megera/postgres/talks/citforum2006-bartunov.html.

1. Actor Prolog. Programming language definition.
... Метапеременные разрешается использовать в качестве функторов только в составе предложений и только при условии, что такой же метафунктор является именем предиката в заголовке рассматриваемого предложения . ... Метапеременные разрешается использовать в качестве простых термов только в составе предложений и только при условии, что такая же метапеременная является именем предиката или атомарной формулой в заголовке рассматриваемого предложения . ...
[ Сохраненная копия ]  Ссылки http://www.cplire.ru/Lab144/koi8/02001020.html -- 20.0 Кб -- 24.09.2007
Похожие документы

2. Астронет > Прокопенко М.В. ЭЛЕКТРОННАЯ ПОДДЕРЖКА ШКОЛЬНОГО УЧЕБНИКА ...
... Современная астрономия и методика ее преподавания . ... ЭЛЕКТРОННАЯ ПОДДЕРЖКА ШКОЛЬНОГО УЧЕБНИКА "АСТРОНОМИЯ" . Прокопенко М.В. РГПУ им. А.И.Герцена, С-Петербург . ... К сожалению, при недостатке фактического изобразительного материала астрономия становится чем-то вроде "драконографии". ... Надеемся, что данная разработка поможет школьным учителям астрономии и физики, и не только им, с большим успехом проводить обучение одной из интереснейших наук о мире, в котором мы живем, - астрономии. ...
[ Сохраненная копия ]  Ссылки http://www.astronet.ru/db/msg/1197730/26.html -- 21.1 Кб -- 20.04.2004
Похожие документы

3. Изображения, формулы
... Поддержка изображений в HTML - путь в мир графики. ... Вы можете либо указать связь к нему, либо вставить его в Ваш документ. ... Как вариант, возможно объединение связывания и вставки изображений: Вы можете создать документ, содержащий изображение, которое действует, как связь к другому изображению. ... Для иллюстрации связывания с изображением и внедрения изображений давайте рассмотрим GIF изображение, которое расположено по адресу - http://www.hut.fi/~lsarakon/sae.gif. ...
[ Сохраненная копия ]  Ссылки http://mavr.sao.ru/hq/vch/RusDoc/html3.2ex/gl_24.htm -- 8.0 Кб -- 17.03.1998
[ Сохраненная копия ]  Ссылки http://www.sao.ru/hq/vch/RusDoc/html3.2ex/gl_24.htm -- 8.0 Кб -- 17.03.1998
[ Сохраненная копия ]  Ссылки http://jet.sao.ru/hq/vch/RusDoc/html3.2ex/gl_24.htm -- 8.0 Кб -- 17.03.1998
Похожие документы

5. Pulkovo NEO Page: Ephemeris Support
... Пакет программ ЭПОС . ... Является эффективным инструментом для исследования и эфемеридной поддержки наблюдений объектов Солнечной системы. ... Программа вычисляет самые разнообразные по типу и точности эфемериды для наблюдений объектов Солнечной системы, а также для задач моделирования их движения. ... Программа позволяет получить представление о характере видимого движения объектов на небесной сфере, а также выявить "петли" треков, где происходит резкое изменение параметров видимого движения. ...
[ Сохраненная копия ]  Ссылки http://www.gao.spb.ru/personal/neo/rus/esupp/main.htm -- 16.3 Кб -- 06.04.2015
Похожие документы
Еще в разделе: (Показать все результаты (>170) - www.gao.spb.ru/ )

6. Цикл работ, посвященный использованию методов обработки изображений,
Цикл работ 'Использование методов обработки изображений для решения задач навигации и управления автоматическими беспилотными летательными аппаратами различных классов'. ... Модель ошибок измерения вектора параметров движения ЛА системой технического зрения'. ... В докладе, носящем обзорный характер, кратко представлены результаты предыдущих работ автора в области использования бортовых систем технического зрения применительно к задачам навигации и терминального управления. ...
[ Сохраненная копия ]  Ссылки http://www.iki.rssi.ru/comp/2007/Cycle_Grishin.htm -- 21.7 Кб -- 26.11.2007
Похожие документы

7. Algorithms and ADT
... Бартунов О.С., Сигаев Т.Г. GiST home | ... С помощью типа intarray задача решается следующим способом: create table message (mid int not null,sections int[]); -- create indices CREATE INDEX message _rdtree_idx on message using gist ( sections gist __int_ops); -- select some messages with section in 1 OR 2 - OVERLAP operator select message .mid from message where message .sections '{1,2}'; -- select messages contains in sections 1 AND 2 - CONTAINS operator select ...
[ Сохраненная копия ]  Ссылки http://www.sai.msu.su/~megera/postgres/gist/doc/algo.shtml -- 13.5 Кб -- 22.12.2007
Похожие документы
Еще в разделе: (Показать все результаты (>644) - www.sai.msu.su/ )

8. Stellarium: русские названия объектов далекого космоса
... Stellarium . ... 101) Байки из Фидо (7) Литература (16) Листая страницы прошлого Выберите месяц Апрель 2016 (2) Март 2016 (4) Февраль 2016 (4) Январь 2016 (5) Декабрь 2015 (4) Ноябрь 2015 (3) Октябрь 2015 (5) Сентябрь 2015 (5) Август 2015 (5) Июль 2015 (5) Июнь 2015 (4) Май 2015 (8) Апрель 2015 (5) Март 2015 (4) Февраль 2015 (4) Январь 2015 (7) Декабрь 2014 (7) Ноябрь 2014 (4) Октябрь 2014 (5) Сентябрь 2014 (8) Август 2014 (8) Июль 2014 (6) Июнь 2014 (7) Май 2014 (11) Апрель 2014 ...
[ Сохраненная копия ]  Ссылки http://astro.uni-altai.ru/~aw/blog/2010/09/stellarium-russian-deepsky.html -- 51.1 Кб -- 10.04.2016
Похожие документы

9. people:sergeykarpov:paper-arxiv-2007 [SAI Virtual Observatory - Wiki]
Trace: paper-arxiv-2007 . start : people : sergeykarpov : paper-arxiv-2007 . ... SAI VO Projects . ... Our People . ... Астрономия является наукой наблюдательной, и обеспечение доступа к наблюдательным данным является важнейшей задачей Виртуальной Обсерватории (ВО). ... ВО использует специальные реестры ресурсов [3], которые, сами являясь веб-сервисами, предоставляют методы для публикации метаданных о ресурсах и их поиска. ... International Virtual Observatory Alliance, http://www.ivoa.net/ . ...
[ Сохраненная копия ]  Ссылки http://vo.astronet.ru/wiki/people/sergeykarpov/paper-arxiv-2007 -- 27.1 Кб -- 09.04.2016
Похожие документы

10. Laboratory Time
... Среди полученных данных - расхождение часов приемника и IGSTIME, вычисленные через каждые 30 сек. По этим данным рассчитывается дрейф часов за сутки, т.е. относительная разность частот опорного стандарта обсерватории и IGS. Точность получаемых данных находится на уровне 10 -14 (на суточном интервале усреднения) Расхождение частоты опорного стандарта обсерватории Светлое и IGSTIME. Расхождение частоты опорного стандарта обсерватории Зеленчукская и IGSTIME . ...
[ Сохраненная копия ]  Ссылки http://www.ipa.nw.ru/PAGE/ASTROTOOLS/LFT/gnss.htm -- 8.1 Кб -- 09.04.2016
Похожие документы
Еще в разделе: (Показать все результаты (>564) - www.ipa.nw.ru/ )

11. Использование обработчиков в Apache - HTTP сервер Apache
... HTTP сервер Apache версии 2.2 . ... Этот документ описывает использование обработчиков (handlers) в Apache. ... Обработчик является внутренней структурой Apache, которая задает поведение сервера при обработке запрашиваемого файла. ... Следующие несколько директив заставят выполняться обработчик send-as-is , который используется для файлов, содержащих свои собственные HTTP-заголовки. Все файлы в каталоге /web/htdocs/asis/ будут обрабатываться обработчиком send-as-is , независимо от их расширения. ...
[ Сохраненная копия ]  Ссылки http://www.arcetri.astro.it/manual/ru/handler.html -- 13.7 Кб -- 21.01.2013
Похожие документы

12. http://www.abitu.ru/en2002/closed/viewwork.html?thesises=11
Использование макрофитов в качестве биоиндикаторов по методу определения степени стерильности пыльцы. ... 2.Вычислить степень стерильности пыльцы изученных видов. ... Стерильность пыльцы использована в качестве интегрального показателя на различных стадиях созревания пыльцевых зерен. ... 5.Сравнивая долю стерильности пыльцы водной растительности Алтайского региона и Челябинской области, можно сказать, что экологическая обстановка нашей области менее благополучна. ...
[ Текст ]  Ссылки http://www.abitu.ru/en2002/closed/viewwork.html?thesises=11 -- 31.5 Кб -- 05.05.2006
Похожие документы

13. Проект РЕЗОНАНС
В первой главе настоящего отчета рассмотрены основные научные задачи проекта РЕЗОНАНС и сформулированы требования по точности и временному разрешению для измерений электромагнитных полей и параметров плазмы. ... Для быстрого измерения надтепловых частиц в энергетическом диапазоне 5 - 50 кэВ разрабатывается оригинальный прибор, не имеющий аналогов. ... Для проекта РЕЗОНАНС разработан прибор ФМ-7Р, имеющий диапазон измерений +/- 60 мкТл, чувствительность ~ 0.1 нТ, частотный диапазон 0-10 Гц. ...
[ Сохраненная копия ]  Ссылки http://www.iki.rssi.ru/resonance/2.html -- 17.8 Кб -- 29.11.2002
[ Сохраненная копия ]  Ссылки http://www.cosmos.ru/resonance/2.html -- 17.8 Кб -- 29.11.2002
Похожие документы

14. Космический корабль Буран
. Русский . English . Copyrights (c) Vadim Lukashevich, 1998-2013 . Руководство проекта запрещает использовать адреса E-mail, находящиеся на сайте, для нелицензионных массовых рассылок (СПАМа) и занесения их в базы данных. Нарушители будут привлекаться к ответственности в соответствии со ст. 272 УК РФ . e-mail web-master
[ Сохраненная копия ]  Ссылки http://www.buran.ru/ -- 15.0 Кб -- 09.04.2016
Похожие документы

15. М.Б.Богданов - ИСПОЛЬЗОВАНИЕ РЕСУРСОВ СЕТИ ИНТЕРНЕТ ПРИ ИЗУЧЕНИИ АСТРОНОМИИ
Вернуться к оглавлению . Вернуться к предыдущей главе . Перейти к следующей главе . ГЛАВА 1. ОБЩИЕ СВЕДЕНИЯ О СЕТИ ИНТЕРНЕТ . ... Однако после создания программ-броузеров www-система начала очень быстро развиваться и сейчас практически определяет лицо сети Интернет. ... Если данная связь будет задействована, то программа-броузер автоматически установит по сети Интернет соединение с указанным сервером и выведет на экран монитора нужную часть документа. ...
[ Сохраненная копия ]  Ссылки http://heritage.sai.msu.ru/ucheb/Bogdanov/1_4.html -- 8.4 Кб -- 02.05.2007
Похожие документы

16. О наблюдениях - Астрономия и Космос
Астрономия и Космос Вселенная Нейтрино . ... Именно эти телескопы использовали астрономы для того, чтобы попытаться поймать лунные нейтрино. ... Измеряя разность времен прихода импульсов можно определить, что сигнал пришел именно от Луны . Длительность импульсов, которые мы ищем, составляет около наносекунды," - объясняет Saltzberg. ... В случае обнаружения импульсов, точность определения координат источника была не очень хорошей и потребовались бы дополнительные наблюдения. ... О наблюдениях . ...
[ Сохраненная копия ]  Ссылки http://space.rin.ru/articles/html/486.html -- 23.6 Кб -- 09.04.2016
Похожие документы

17. Ракета-носитель ЗЕНИТ.
Ракета-носитель 11K77 ("Зенит") разработана Конструкторским бюро "Южное" имени академика М.К.Янгеля (г.Днепропетровск) в 1976-1985 гг. ... 11К77 представляет собой двухступенчатую ракету с поперечным делением ступеней Первая ступень оснащена четырехкамерным жидкостным ракетным двигателем 11Д520 (РД-170) тягой 806 тонн (в вакууме), разработанным НПО "Энергомаш". ... Создание двигателя РД-170, являющегося самым мощным из существующих ЖРД. было одним из наиболее сложных моментов в создании ракеты. ...
[ Сохраненная копия ]  Ссылки http://www.cosmoworld.ru/spacehistory/projects/zenit.html -- 4.9 Кб -- 09.04.2016
Похожие документы

18. Правила пользования сайтом
... Информация для СМИ . ... Уважаемые гости нашего сайта ( www.laspace.ru ), пожалуйста, ознакомьтесь с данными условия использования информации, размещенной на сайте. ... 3.Исключительные права на информационные материалы, логотипы, программное обеспечение, базы данных, графическое, аудиовизуальное и дизайнерское оформление Сайта (далее 'Контент') принадлежат Владельцу Сайта. ... Вместе с тем Владелец Сайта не несет ответственности за последствия использования Контента третьими лицами. ...
[ Сохраненная копия ]  Ссылки http://www.laspace.ru/copyright.php -- 21.9 Кб -- 09.04.2016
Похожие документы

19. Модели уроков/По категориям -Использование электронных учебников -Информатика.
... Онлайн-подготовка к ЕГЭ . ... Информатика . ... Методика использования . ... Модели уроков . ... По категориям . ... Использование электронных учебников . Подготовка к ЕГЭ с помощью электронных тренажеров . ... Повторить перечень основных узлов и устройство компьютера. ... Использование моделей . ... Информатика , связанные с устройством компьютера и периферийных устройств, можно использовать при первоначальном изучении материала. ... Модель Подключение к компьютеру периферийных устройств . ...
[ Сохраненная копия ]  Ссылки http://www.college.ru/pedagogam/modeli-urokov/po-kategorijam/570/3336/index.html -- 49.6 Кб -- 09.04.2016
Похожие документы

20. Запуск спутника в космос является суверенным правом КНДР - ЦТАК
... Сегодня: 10 апреля 2016 г. КНДР настаивает на своем суверенном праве запустить в космос искусственный спутник Земли и отвергает негативную реакцию, которую эти планы вызвали у международного сообщества, передает во вторник Центральное телеграфное агентство Кореи (ЦТАК). ... Мирное развитие и использование космоса является универсально признанным законным правом суверенного государства. ... Запуск спутника в космос является суверенным правом КНДР - ЦТАК . ...
[ Сохраненная копия ]  Ссылки http://news.cosmoport.com/2012/03/20/10281.htm -- 21.2 Кб -- 10.04.2016
Похожие документы

1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | След.


Астронет | Научная сеть | ГАИШ МГУ | Поиск по МГУ | О проекте | Авторам

Комментарии, вопросы? Пишите: info@astronet.ru или сюда

Rambler's Top100 RFBR Яндекс цитирования