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

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

• Автореферат диссертации А.А.Морозова
• Getting Started in Actor Prolog. Introduction.
• Actor Prolog. Programming language definition.

Фреймы . ... ROWS="список значений" - задает высоту горизонтальных фреймов. ... Внутри тега FRAMESET должно находиться столько тегов FRAME , сколько фреймов было определено структурой FRAMESET . ... Единственным обязательным параметром тега FRAME является параметр SRC , в качестве значения которого выступает URL -адрес документа, который мы хотим загрузить в этот фрейм. ... Например, для того чтобы файл Name.html загружался во фрейм с именем Name , ссылка должна выглядеть следующим образом: . ...

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

... Сегодня: 10 апреля 2016 г. Принятое сегодня решение Правительства РФ о затоплении орбитальной станции "Мир" является окончательным и не требует утверждения Госдумой. ... Решение о выделении средств уже принято Правительством и ждет согласования в Госдуме. ... Решение Правительства о затоплении орбитальной станции "Мир" является окончательным и не требует утверждения Госдумой. ... Правительство РФ приняло решение произвести контролируемый спуск станции "Мир" 27-28 февраля . ...

Еще в разделе: (Показать все результаты (>5353) - news.cosmoport.com/ )

• Черные микродыры являются фабриками антиматерии
• Эксперты: единственными реалистичными целями космических путешествий являются
• Одно из колец Сатурна является спиралью?

... Последовательность называется ограниченной сверху (снизу), если множество е? значений является ограниченным сверху (снизу). ... 5) Фразу множество образом: i, Будем называть множество кормушкой (ловушкой) для последовательности если оно содержит бесконечно много е? M является ловушкой для последовательности A можно записать при помощи символов следующим N N : i > N ai M . ... 7) Верно ли, что последовательность ограничена тогда и только тогда, когда существует отрезок, являющийся ловушкой для не?? ...

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

• http://www.mccme.ru/ium/postscript/f03/cal1.ps
• http://www.mccme.ru/dfc/2012/Program1/Pakhomov_summary.pdf
• IUM (Spring 2012)

В монографии [1] А.Винтнер развил теорию гомографических (и гомотетичных) решений ньютоновой проблемы многих тел. ... В задаче трех тел гомографическими решениями является лагранжев треугольник (при произвольных значениях масс), а гомотетичными являются коллинеарные (среди которых имеются эйлеровы) решения. ... Согласно его утверждению, в ньютоновой задаче n >= 4 тел могут существовать гомографические решения при различных значениях гравитирующих масс. ...

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

• Динамика галилеевых спутников Юпитера
• Аппроксимация профилей тесных групп звезд на кадре и окончательное определение
• komarova

Общая Астрономическая Конференция > Форумы общей направленности > Любые вопросы от новичков > Является ли наша вселенная замкнутой? ... Просмотр полной версии : Является ли наша вселенная замкнутой? . ... 09.12.2000, 07:36 . ... Доказано, что пространство (время) в нашей вселенной искривлено. ... Замкнутая-тоесть закрытая,и нет утечек материи!Вот!Если начнет происходить утечка материи,то нарушится равновесие во вселенной? ... Короче, Вселенная замкнута в смысле "утечки" материи. дмитрий . ...

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

• Является ли наша вселенная замкнутой? - Общая Астрономическая Конференция
• Является ли Анахромат анаберационной системой ? - Общая Астрономическая
• ИНТРОФИЗИКА: новая супертеория или очередная лажа? [Архив] - Общая

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

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

• Астронет > Часто задаваемые вопросы о календарях
• Астронет > Является ли ядро NGC 2440 самой горячей звездой
• Астронет > Гравитационно-волновое излучение от галактических компактных двойных

Статьи и очерки . Топологические солитонные модели барионов и их предсказания . ... Квантование нулевых (вращательных) мод киральных солитонов позволяет получить спектр состояний с различными значениями квантовых чисел: спина, изотопического спина, странности, очарования и т.д. Этот метод позволяет с неплохой точностью описывать различные свойства барионов, нуклонов и гиперонов, поэтому представляют интерес предсказания моделей такого рода для барионных систем с барионными числами, превышающими 1. ...

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

• Scientific.ru Альтернативный форум
• Scientific.ru Общий форум

... Программа взаимодействия с приводами, bta_sew_can , работает на компьютере acs1 и является клиентом для главной управляющей программы bta_control. Главной функцией программы bta_sew_can является преобразование скоростей, которые главная управляющая программа расчитывает для выдачи на ПКН, в обороты в минуту для вала соответствующего двигателя и передача этих значений в контроллер 1 (наведения A), контроллер 2 (ведения A), контроллер 3 (Z) в соответствии с текущим режимом работы телескопа. ...

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

• Архитектура МО для SEW-приводов.
• Выбор аппаратных средств
• Контейнеры HTML-документа

... Малкин З. М. О вычислении средневзвешенного значения. Ключевые слова: математическая статистика, обработка наблюдений, среднее значение, средневзвешенное значение. ... Основной проблемой при ее решении является оценка ошибки средневзвешенного значения, наиболее адекватной исходным данным. ... Предлагается комбинированная оценка среднеквадратической ошибки взвешенного среднего, которая, по мнению автора, лишена некоторых недостатков известных оценок. ...

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

• Timing of Time
• Keywords_106
• Safe of Time

... Теорема. Множество простых чисел бесконечно. ... Предположим, что множество простых чисел конечно и р самое большое простое число. ... Из (1) следует, что каждый член последовательности Сильвестра взаимно прост со всеми предыдущими. ... Суть доказательства Евклида состоит в том, что в предположении конечности множества простых чисел строится некоторое число k, которое не делится ни на одно из простых чисел. ... Докажем, что любые два элемента последовательности an взаимно простые числа. ...

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

• http://kvant.mccme.ru/pdf/2002/01/07.pdf
• http://kvant.mccme.ru/pdf/2001/04/17.pdf
• http://kvant.mccme.ru/pdf/2001/02/33.pdf

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

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

• http://www.abitu.ru/en2002/closed/viewwork.html?thesises=213
• http://www.abitu.ru/en2002/closed/viewwork.html?thesises=92
• http://www.abitu.ru/en2002/closed/viewwork.html?thesises=225

... Горизонты науки о Вселенной (Модераторы: Дмитрий Вибе , AlAn ) ? Что является причиной гигантских импульсов у пульсаров? . ... Рейтинг: +80/-10 . ... возбудила у меня вопрос, что же является причиной данного явления? ... Ответ #1 : 09.01.2006 [00:18:08] ? ... Первая модель считает, что все импульсы пульсаров образуются в результате стохастического нарастания слабого затравочного возмущения. ... Рейтинг: +338/-68 . ... На самом деле, как ясно из предыдущего поста, что является причиной - неясно. ...

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

• 'Осью зла' является экваториальная плоскость Метагалактики - Горизонты науки о
• Являемся ли мы колонией другой цивилизации ? - стр. 3 - Вселенная, жизнь, разум
• Абсолют и относительность. Финал. - стр. 2 - Горизонты науки о Вселенной

... КТД . ... Целями КТД являются коллективное творчество, эмоциональный взрыв школьных учебных будней, демонстрация своих достижений, талантов. Они признаны показать школьной общественности своих 'звезд', т.е. самых умных, самых развитых, самых способных. ... Этапы коллективного творческого дела. ћ идея дела; . ... коллективное планирование дела (конкурс предложений, 'мозговая атака', работа групп); . создание совета дела; . работа совета дела с предложениями в план дела; . ...

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

• Plants
• Обучение по индивидуальным учебным планам является одной из форм
• Конечно основным источником информации является всемирная сеть Internet

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

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

• Нейтрино и фотоны - Астрономия и Космос
• Как выбрать онлайн казино
• Заработок на бесплатных игровых автоматах

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

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

• Part 3

Маломассивная тесная рентгеновская двойная - это звездная система, где аккретором является нейтронная звезда или черная дыра, а донором - маломассивная нормальная звезда. ... В массивных двойных системах источником вещества обычно является звездный ветер. ... Часто аккреционный диск не образуется: вещество квазисферически падает на компактный объект. ... Обычно масса звезды-донора больше 10 масс Солнца. ... Вещество с маломассивной звезды претекает на компактный объект, образуя т.н. аккреционный диск. ...

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

• http://xray.sai.msu.ru/~mystery/html/fed4/Rubricator.html
• http://xray.sai.msu.ru/~polar/zemlja/glob.html
• http://xray.sai.msu.ru/~polar/html/publications/pop/hh.txt

... Ученым из Университета штата Аризона (США) удалось установить, что сверхмассивные черные дыры выбрасывают в космос высокоэнергетические протоны, которые движутся в пространстве зигзагами на околосветовых скоростях, впоследствии превращаясь в низкоэнергетические протоны, при этом вызывая всплеск гамма-излучения. ... Как известно, в центре большинства галактик есть сверхмассивная черная дыра. ... Ключевые слова: Протон , гамма-излучение , черная дыра , гравитация , ускоритель частиц , пион . ...

Еще в разделе: (Показать все результаты (>15306) - astro.uni-altai.ru/ )

• Треть близких звезд может являться домом для жизни
• Астрономия для школьников
• Проект Galileo: Европа столкнулась с первыми трудностями

... Существует возможность открыть до 10 графических дисплеев (от 0-го до 9-го) одновременно. Команда создания графического дисплея -- CREATE/GRAPH . ... Возможные значения и значение "по умолчанию" . ... AUTO или xstart,xend,xbig_tick,xsmall_tick в мировых координатах; когда xsmall_tick < 0 рисуется в логарифмической шкале; значение "по умолчанию" -- AUTO . ... при OFF графический дисплей не очищается даже при использовании следующей команды PLOT ; значение "по умолчанию" -- ON љ . ...

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

• Разработка систем сбора
• Список рассылки новостей
• Построение 2D и 1D континуумов

... См. раздел Нейронные сети . ... Другими словами, сила или знак (направление взаимодействия) зависимости между двумя или более переменными зависит от значения принимаемого некоторыми другими переменными. ... После этого измерим, насколько напряженно студенты работают над этими заданиями. ... Внутриклассовый коэффициент корреляции. ... Выбросы. ... Одна точка выброса обусловливает высокое значение коэффициента корреляции, в то время как на самом деле (в отсутствие выброса) она практически равна нулю. ...

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

• Электронный учебник - Словарь У
• Словарь 'Вселенная и Человек'
• Электронный учебник - Словарь З