Для программирования открытых информационных систем [1], отличительным признаком которых является принципиальная непредсказуемость результатов взаимодействия компонентов, представляется целесообразным использовать идеи и методы логического программирования, которое, в дополнение к обычной операционной семантике, поддерживает также декларативную семантику, инвариантную по отношению к возможному недетерминизму функционирования открытой системы. ... O2, NUML и другие), обеспечивающих такие возможности. ...

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

• Actor Prolog. Programming language definition.

... Как искать Пришельцев из космоса ? ... Авторы: SETI@home , Калифорницский университет в Беркли, группа "Поиск внеземных цивилизаций" Пояснение: "Мама, можно мне использовать наш компьютер для поиска пришельцев?" На прошлой неделе, проект SETI@home выпустил бесплатное программное обеспечение , которое позволяет использовать домашние компьютеры для поиска сигналов от внеземных цивилизаций. ... Публикации с ключевыми словами: SETI - внеземная жизнь . ... Сигнал внеземных цивилизаций? ...

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

• Астронет > Форумы > Вопросы преподавания астрономии > Re: Гравитация на
• Астронет > Перевод "Официального Сайта Теории Суперструн"
• Астронет > Сферическая астрономия

Очень часто для гидирования или создания самодельного искателя необходимо иметь окуляр с кресом нитей. В литературе рекомендуют для этого использовать паутинные нити. Я могу порекомендовать для изготовления креста нитей использовать прямой человеческий волос. ... Если вы используете в полевых условиях небольшой телескоп, то можно изготовить из дерева ящик для хранения телескопа и аксесуаров и одновременно стульчик. Для хранения окуляров имеет смысл изготовить специальный пенал. ...

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

В качестве инерциально-измерительного прибора применяется Бесплатформенный Измерительный Блок (БИБ), построенный на базе динамически-настраиваемых гироскопов (ДНГ) в угломерных каналах и маятникового акселерометра в канале измерения приращения скорости. Разработчик прибора НИИ ПМ им. Ак. ... В качестве звездного прибора предлагается использовать базовую разработку астроизмерительной системы (АИС), выполненную ИКИ РАН по проекту 'Спектр'. Предыдущая страница Следующая страница . ...

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

• Приложение 4 'Правилы выбора пароля'.
• Правила работы пользователя в локальной сети ИКИ (ИКИЛАН).
• CYlindrical GAmma-ray Monitor CYGAM -

. На обложку сайта . Тут можно отправить письмо хозяевам сайта, чтобы задать технические вопросы, прислать новую статью и т.д. Если же вы хотите открыть дискуссию или спор по темам сайта, пишите не сюда, а в нашу конференцию . Ваше имя: . Если не можете писать по-русски, . используйте переводчик с латиницы . Ваш email: . Текст (не более 5000 символов): .

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

• МЗЧ : Старый форум Клуба Скептиков
• re: И все же... : Старый форум Клуба Скептиков
• re: Эволюция : Старый форум Клуба Скептиков

... Новости астрономии . ... В NASA выбрали фантастические миссии будущего . В NASA определились, какие смелые и полуфантастические на сегодняшний день космические проекты смогут получить финансирование и, возможно, будут реализованы в обозримом будущем. ... Лаборатория реактивного движения NASA предлагает использовать для спутника Сатурна Титана небольшой квадрокоптер, который может отделяться от спускаемого аппарата или аэростата, брать образцы с поверхности, возвращаться и заряжать аккумуляторы. ...

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

• До запуска нового марсохода NASA Феникс осталось меньше месяца - Новости
• Звезда на прогулке - Новости астрономии
• Солнце может улететь в другую галактику - Новости астрономии

УНИВЕРСАЛЬНАЯ КОСМИЧЕСКАЯ ПЛАТФОРМА . Универсальная космическая платформа была создана РКК "Энергия" им. С.П. Королева в рамках проекта "ЯМАЛ". В составе спутника связи "Ямал-100", запущенного 6 сентября 1999 года, она прошла летную квалификацию. Используя в качестве базы универсальную космическую платформу, РКК "Энергия" обеспечивает работы в любом объеме: . ... адаптация платформы в составе конкретного космического аппарата другого разработчика. 1999г. Байконур . ... Ямал-100" . ...

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

• РКК "ЭНЕРГИЯ" - СРЕДСТВА ВЫВЕДЕНИЯ
• РКК "Энергия" - Новости
• РКК "ЭНЕРГИЯ" - МЕЖДУНАРОДНАЯ КОСМИЧЕСКАЯ СТАНЦИЯ

В середине 80-х годов НАСА предложило сосредоточить все исследования в области невесомости в рамках единой долгосрочной программы - 'Американской лаборатории для проведения исследований в невесомости' (United States Microgravity Laboratory - USML). ... Выбор четырех ученых для первого полета USML, запланированного на 1992 год, был сделан на основе рекомендаций рабочей группы разработчиков экспериментов (Investigator Working Group). ... Lawrence James DeLucas ( Лоуренс Джеймс ДеЛукас ) . ...

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

• Имитаторы перегрузок
• Лунные полеты
• Rocketplane/Kistler

МОДЕЛИРОВАНИЕ ПРОЦЕССА РАЗРУШЕНИЯ ПЫЛЕВОЙ ЧАСТИЦЫ МЕЖЗВЕЗДНОЙ СРЕДЫ В РАМКАХ МОДЕЛИ МОЛЕКУЛЯРНОГО КЛАСТЕРА ї В.Н. Черникова, Н.Г. Лебедев Волгоградский государственный университет Для исследования элементарных химических процессов разрушения частиц межзвездной среды (МЗС) [1], предлагается использовать современные методы квантовой химии [2, 3], разработанные для изучения геометрии, физико- химических свойств и реакционной способности атомов, молекул и конденсированных сред. ...

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

• Личное Небо - ваш персональный космос
• Electronic version of Russian Bulletin
• ПРЕДИСЛОВИЕ

Конференция АКО-2009 . Создание учетной записи . ... Если у Вас уже есть учетная запись - используйте форму входа . Имя (логин): * . Имя пользователя должно быть уникальным - Вы будете использовать его для входа в систему. Оно должно иметь длину от 3 до 20 символов и содержать только латинские буквы, цифры, тире и знаки подчеркивания . Выберите пароль: * . Пароль должен содержать от 6 до 20 символов и не должен совпадать с именем пользователя. ... Ваш ответ: * . ...

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

• | Создание учетной записи
• KVNO-2011, insrtuction word-tezis
• NRAC-2011, insrtuction word-tezis

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

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

Правильная установка полярной оси телескопа. ... Полярный искатель, которым комплектуются некоторые монтировки для телескопа, не может гарантировать точной установки и служит, скорее, для первичной (грубой) установки, которой обычно хватает только для некоторых визуальных наблюдений. ... Используя сильное увеличение телескопа проследите 10-20 минут за смещением этой звезды, относительно центра поля зрения телескопа. ... Он был описан в журнале Sky&Telescope за 1976 год. ... Procyon Astro Society ...

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

• Искусство астрофотографии - О гидировании

... Главная страница / Забыл пароль . ... Пароль: . ... Забыл пароль . ... Если Вы забудите пароль, введите Ваш адрес электронной почты, который Вы использовали при регистрации, чтобы получить его. ... Адрес электронной почты: . Все права на размещенные в галерее фотографии принадлежат их авторам. ... Киевский клуб любителей астрономии "Астрополис" . Движок галереи: 4images 1.7 ...

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

• Baader 2" Cool-Ceramic Safety Herschel Prism - Оборудование
• SkyWatcher 1021 EQ3-2 - Оборудование
• Узнайте, в чем вы нуждаетесь! - Оборудование

. О конференции . Первое сообщение (pdf) . Регистрация . Для заполнения анкеты участника Вам необходимо предварительно зарегестрироваться. Пожалуйста, используйте при регистрации в качестве имени пользователя Ваш адрес электонной почты! . Регистрация участника: . Имя пользователя (E-mail): . Придумайте пароль: . Повторите пароль: . Переход к заполнению анкеты участника: . Имя пользователя (E-mail) . Пароль .

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

... Если Вы хотите переписать сразу все материалы сайта, а затем использовать их с жесткого диска своего компьютера или записать на CD, то перепишите следующие архивы (если Ваш интернет-канал позволит это сделать, конечно). stump2004_docs.zip - странички сайта (5 Мб) . stump2004_photos_m.zip - фотографии среднего разрешения (12 Мб) . stump2004_photos_l.zip - фотографии высокого разрешения (26 Мб) . ...

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

• Ядро Туманности Андромеды

... Для поиска кода города вы можете использовать два пути. ... Например, если ввести в строку поиска "мск", то вы получите коды городов Омск, Томск, Краснокамск и т.п. В случае поиска по коду города введите не менее трех цифр кода. ... Чтобы позвонить в любой из населенных пунктов, указанных в справочнике, вам необходимо набрать цифру 8, дождаться непрерывного сигнала, затем набрать междугородный номер вызываемого абонента, состоящий из код города и номера телефона вашего абонента. ... Например: 37068....

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

• Linux RSP Web Site. Все об операционной системе Linux на русском языке.
• Не забывайте делать HELP/APPL
• Возможности пакета

Сеть RSSI была создана в 1993 году в рамках одноименного Проекта . Проект "Russian Space Science Internet / Российская Космическая Научная Сеть Интернет" принят в апреле 1993 года на основании Совместного решения российских сопредседателей Рабочих Групп , осуществлющих сотрудничество в области научных космических исследований в рамках Соглашения между Россией и США. ... В июне 1996 года заключено соглашение о взаимном обмене трафиком с сетью EUNet-Relcom ("Релком", Россия). ...

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

Никогда не используйте align="jistufy" (в тексте). Заголовки на титульном листе и короткие подписи к рисункам и таблицам можно центрировать align="center" . Эпиграфы и подписи авторов можно сдвигать вправо align="right" . В остальных случаях следует использовать align="left" (который действует по умолчанию). ... Авторы: <H3 align="center">.. ... Не следует использовать русские и латинские кавычки, создаваемые Word'ом, так как они не видны в Unix'е. Подпись к таблице располагается над ней . ...

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

• Log N ? Log S как дополнительный тест
• Portishead
• Коронограф

ИНФОРМАЦИЯ 45 перебои в энергоснабжении и пр.) Придумайте и обоснуйте свой 'детектор лжи'. ... Для поступающих на трехгодичное обучение (на базе 8 классов) 1. Какие приспособления помогают разным животным выжить в холодное время года? ... Отставной поручик Чебурков купил у соседа породистую борзую. ... Чебурков обвинил соседа в том, что его борзая оказалась источником инфекции. ... Для каждого приспособления укажите, в каких из трех перечисленных групп животных оно встречается. ...

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

• http://kvant.mccme.ru/pdf/2000/06/18.pdf
• http://kvant.mccme.ru/pdf/2000/06/19.pdf
• http://kvant.mccme.ru/pdf/2001/04/39.pdf

Ставки на спорт - безопасный способ заработка! Множество азартных игроков нашли себя в ставках на спорт. ... Для этого необходимо попросту зайти на сайт, выбрать желаемую игру и сделать свою денежную ставку. Если ваша команда побеждает, и вы сделали точный прогноз состязания, то вы получите дополнительную прибавку к своей ставке. ... Прежде всего, вы должны понимать, что сегодня сделать ставку вы можете у себя дома, используя компьютер и интернет. ... Когда нужно делать ставку на матч . ...

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

• Обзор сервера IBM System x3350
• Бонусы от казино: что это такое и как ими пользоваться?
• О наблюдениях - Астрономия и Космос