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

ОБРАЗОВАТЕЛЬНЫЙ СТАНДАРТ СРЕДНЕГО (ПОЛНОГО) ОБЩЕГО ОБРАЗОВАНИЯ ПО ИНФОРМАТИКЕ И ИНФОРМАЦИОННЫМ ТЕХНОЛОГИЯМ БАЗОВЫЙ УРОВЕНЬ Изучение информатики и информационных технологий в старшей школе на базовом уровне направлено на достижение следующих целей[1]: . ... Средства и технологии создания и преобразования информационных объектов Числовые параметры информационных объектов: объем памяти, необходимый для хранения объектов, скорость передачи и обработки информации. Текст как информационный объект. ...

Hide Zen home . ... GiST . GIN . ... wildspeed - индексная (GIN) поддержка поиска подстрок для SQL оператора LIKE, например, '%text%'. ... Эта реализация использует алгоритм поиска на частичное соответствие GIN. ... В PostgreSQL такую поддержку имеют Btree и GiST индексы, однако, эффективность GIN индекса не зависит от того, по какому атрибуту производится поиск, что позволяет использовать один индекс как для поиска по комбинации атрибутов, так и по отдельным атрибутам. ... Расширения PostgreSQL . ...

... В учебном пособии рассматриваются основные понятия схемотехнического проектирования радиоэлектронных устройств и математические основы их моделирования с использованием средств автоматизации. Излагаются основы практического применения программ системы схемотехнического моделирования DesignLab 8.0 (OrCAD) для построения и моделирования принципиальных схем пассивных РЭУ в режиме анализа временных и частотных характеристик, а также для моделирования активных аналоговых и цифровых устройств. ...

... HTTP сервер Apache версии 2.2 . ... Этот документ описывает использование обработчиков (handlers) в Apache. ... Обработчик является внутренней структурой Apache, которая задает поведение сервера при обработке запрашиваемого файла. ... Следующие несколько директив заставят выполняться обработчик send-as-is , который используется для файлов, содержащих свои собственные HTTP-заголовки. Все файлы в каталоге /web/htdocs/asis/ будут обрабатываться обработчиком send-as-is , независимо от их расширения. ...

В докладе рассматривается формирование проектной деятельности учащихся средней школы при изучении курса "Информатики". ... Пользовательские: использование компьютерных (аппаратных) средств и программного обеспечения для решения информационных задач. ... С помощью метода проектов формировалась, с одной стороны, сама проектная деятельность учащихся как общепознавательная, а с другой стороны, система информационных знаний и умений. Учащимся раскрывалось содержание проектной деятельности. ...

О ПЛАТФОРМЕ . ... определение номенклатуры необходимых технических требований для внедрения новых перспективных материалов в соответствии с потребностями в новых конструкциях и изделиях различного назначения, используемых в различных секторах экономики страны; . ... Деятельность Технологической платформы "Легкие и надежные конструкции" затрагивает научные организации, предприятия и компании-разработчики и производители, высшие учебные заведения в следующих секторах экономики: . ... О платформе | ...

... Измеряемые в методе НР параметры ионосферной плазмы: электронная концентрация N e , электронная T e и ионная T i температуры, ионный состав, скорость дрейфа V d являются базовыми параметрами, по которым можно судить о свойствах и структуре ионосферы. Хотя их определение основано на использовании модели процесса рассеяния, независимые проверки данной модели ракетными экспериментами показали ее адекватность в экспериментальных приложениях. ... Проблемой здесь всегда был недостаток данных. ...

. Русский . English . Copyrights (c) Vadim Lukashevich, 1998-2013 . Руководство проекта запрещает использовать адреса E-mail, находящиеся на сайте, для нелицензионных массовых рассылок (СПАМа) и занесения их в базы данных. Нарушители будут привлекаться к ответственности в соответствии со ст. 272 УК РФ . e-mail web-master

... В дополнение к простым абзацам и некоторым специальным видам абзацев HTML 3.2 поддерживает списки и таблицы , которые можно представить, как подобные абзацам. ... теги уровня абзаца: . простой абзац: P . ... Записать заголовок для всего документа и для него использовать H1 элемент с атрибутом ALIGN=CENTER. ... Для абзацев обычного текста используйте элемент P . ... Для списка образов с короткими названиями или тегами, например, список определений терминов или сокращений, используйте элемент DL . ...

... РЕШЕНИЕ ЗАДАЧ СФЕРИЧЕСКОЙ АСТРОНОМИИ . ... Вычисление точных топоцентрических эфемерид планет . ... В качестве примера в нем приведены исходные данные сервера для расчета эфемерид Марса. Ниже списка располагаются четыре кнопки для модификации исходных данных. ... Через некоторое время, которое в основном определяется скоростью передачи данных по сети, на экране появиться большая таблица рассчитанных значений параметров, снабженных многочисленными комментариями. ...

GPS/GLONASS в проекте РЕЗОНАНС . Спутниковые навигационные системы GPS/GLONASS позволяют определять с высокой точностью время ( D t ~ 200 нс), местоположение ( D r ~ 100 м) и скорость. ... Для определения зон видимости группировки GPS/GLONASS на борту спутников РЕЗОНАНС была разработана специальная программа. ... На втором этапе определялись интервалы времени, когда спутники РЕЗОНАНС не могут принимать сигналы навигационной системы, для чего определялись участки орбиты вне зон видимос