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

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

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

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

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

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

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

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

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