пїЅ пїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅ пїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅ пїЅпїЅпїЅпїЅпїЅпїЅ пїЅпїЅпїЅпїЅпїЅ пїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅ пїЅ
пїЅпїЅпїЅпїЅпїЅпїЅпїЅ пїЅпїЅпїЅпїЅпїЅпїЅпїЅ пїЅпїЅ пїЅпїЅпїЅпїЅпїЅ пїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅ пїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅ пїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅ
пїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅ пїЅпїЅпїЅпїЅпїЅпїЅпїЅ пїЅ11/2006
УДК 519.8
КОМБИНИРОВАННЫЕ МОДЕЛИ УПРАВЛЕНИЯ СТРУКТУРНОЙ ДИНАМИКОЙ ИНФОРМАЦИОННЫХ СИСТЕМ / Б. В. Москвин, Е. П. Михайлов, А. Н. Павлов, Б. В. Соколов // Изв. вузов. Приборостроение. 2006. Т. 49, № 11. С. 7—12.
Рассматривается один из возможных подходов к системному моделированию сложных объектов применительно к задачам управления структурной динамикой информационных систем. Предлагаются конкретные статические и динамические модели, описывающие процессы функционирования динамической сети, образованной из множества космических аппаратов-ретрансляторов.
Библиогр. 7.
УДК 681.5
ПОСТРОЕНИЕ МОДЕЛЕЙ ПРОЦЕССОВ ФУНКЦИОНИРОВАНИЯ ТЕХНИЧЕСКИХ СИСТЕМ ПО ИХ ИСХОДНЫМ ОПИСАНИЯМ / Н. П. Кириллов//Изв. вузов. Приборостроение. 2006. Т. 49, № 11. С. 12—15.
Предлагается обоснование подхода, позволяющего представить исходную информацию о процессах функционирования технических систем в виде формализованных моделей, соответствующих реальным условиям, в которых осуществляется управление системами. Определены принципы семантической интерпретации состояний моделей технических систем и построения программы телеизмерений.
Библиогр. 2.
УДК 330.1:681.3
Модель оперативного планирования и управления логистическими цепями на основе мультиагентного подхода / Д. А. Иванов // Изв. вузов. Приборостроение. 2006. Т. 49, № 11. С. 16—19.
Современные формы организации производства и логистики основаны на технологической (предметной) специализации, кооперации и стратегическом сотрудничестве, интеграции и согласовании производственных и логистических процессов. В статье предложена концептуальная модель на основе мультиагентного подхода для решения задач оперативно-календарного планирования и управления производством и логистикой в виртуальных предприятиях и логистических цепях.
Ил. 1, библиогр. 13.
УДК 629.075
К ВОПРОСУ ОБ ИДЕНТИФИКАЦИИ ИМИТАЦИОННЫХ МОДЕЛЕЙ ЭКОЛОГИЧЕСКИХ ОБЪЕКТОВ /В. В. Михайлов, В. В. Тубольцева // Изв. вузов. Приборостроение. 2006. Т. 49, № 11. С. 29—24.
Рассматривается вопрос алгоритмической и параметрической идентификации имитационных моделей. Обсуждается проблема согласования сетевых алгоритмических моделей при их комплексировании. Предлагается метод решения задачи параметрической идентификации в условиях неполноты и неточности исходных данных.
Ил. 2, библиогр. 6.
УДК 514.113.5
ОТ ВИРТУАЛЬНЫХ МНОГОГРАННИКОВ К КЛАССИЧЕСКИМ СЕДЛОВЫМ ПОВЕРХНОСТЯМ / М. Г. Князева// Изв. вузов. Приборостроение. 2006. Т. 49, № 11. С. 24—28.
В предлагаемой статье рассматриваются классические седловые и многогранные седловые поверхности, называемые гиперболическими виртуальными многогранниками. Цель статьи состоит в более подробном изучении свойств виртуальных многогранников. Основной результат статьи — теорема, которая устанавливает связь между гиперболическими виртуальными многогранниками с „конечными рогами“ и седловыми поверхностями в классическом смысле с „рогами, утянутыми на бесконечность“. Из теоремы следует, что каждый пример гиперболического виртуального многогранника позволяет построить новый тип многогранных седловых поверхностей. Используемый в статье подход к описанию виртуальных многогранников имеет большое практическое значение в связи с необходимостью визуализации виртуальных объектов.
Ил. 3, библиогр. 5.
УДК 681.3
ВЫЧИСЛИТЕЛЬНАЯ МОДЕЛЬ ВИЗУАЛЬНОГО ЯЗЫКА / П. А. Степанов, М. Ю. Охтилев/ Изв. вузов. Приборостроение. 2006. Т. 49, № 11. С. 28—32.
Рассматривается подход к автоматической генерации программного обеспечения, предназначенного для составления диаграмм. Предлагается использовать для поддержки синтаксиса диаграммных языков правила, не более сложные, чем арифметико-логические и теоретико-множественные математические отношения. Рассматриваются основные виды объектов диаграммных языков и способы их описания в такой модели. Проводится сравнение с другим популярным методом — графовыми грамматиками.
Ил. 3, библиогр. 4.
УДК 519.248.6+616-036.22
моделирование заражения ВИЧ-ИНФЕКЦИЕй на основе данных о последних эпизодах рискованного поведения / А. Е. Пащенко, А. Л. Тулупьев, С. И. Николенко / Изв. вузов. Приборостроение. 2006. Т. 49, № 11. С. 33—34.
Представлен подход к усовершенствованию математической модели вычисления инсиденс-показателя за счет использования данных о числе эпизодов рискованного поведения. Обсуждаются преимущества использования этого вида данных по сравнению с данными, полученными с помощью прямых вопросов или Лайкерт-шкал. Предложено возможное направление статистической обработки данных.
Библиогр. 3.
УДК 681.3
Синтез апостериорных оценок истинности суждений в интегрированных базах знаний: детерминированный вариант/ А. Л. Тулупьев, А. В. Сироткин, Д. А. Никитин, С. И. Николенко // Изв. вузов. Приборостроение. 2006. Т. 49, № 11. С. 35—39.
Рассмотрен синтез апостериорных оценок (апостериорный вывод) в рамках одного из аппаратов построения интегрированных систем знаний о неточных вероятностях. Рассмотрены случаи детерминированных и недетерминированных свидетельств (без неопределенности). Решение соответствующих задач синтеза апостериорных оценок сведено к решению задач линейного программирования.
Библиогр. 7.
УДК 681.3
Синтез апостериорных оценок истинности суждений в интегрированных базах знаний: стохастический вариант / А. Л. Тулупьев, А. В. Сироткин, С. И. Николенко // Изв. вузов. Приборостроение. 2006. Т. 49, № 11. С. 39—44.
Рассмотрен синтез апостериорных оценок (апостериорный вывод) в интегрированных системах знаний о неточных вероятностях. Рассмотрены случаи свидетельств с неопределенностью, а также дается общая формализация апостериорного вывода. Апостериорный вывод распространен с одного фрагмента знаний на всю интегрированную систему знаний (без циклов). Решение соответствующих задач синтеза апостериорных оценок сведено к решению задач линейного программирования.
Ил. 1, библиогр. 7.
УДК 681.3.06
ПОИСК КОНФЛИКТОВ В ПОЛИТИКАХ БЕЗОПАСНОСТИ / И. В. Котенко, А. В. Тишков, О. В. Черватюк, Д. П. Лакомов // Изв. вузов. Приборостроение. 2006. Т. 49, № 11. С. 45—49.
Предлагается подход к построению системы верификации политик безопасности, предназначенной для обнаружения и разрешения конфликтов в спецификациях политик безопасности компьютерных сетей. Рассмотрена многомодульная архитектура предлагаемой системы верификации политик безопасности. Представлены подходы к реализации двух модулей верификации: модуля, основанного на теории доказательств, который использует исчисление событий и абдуктивный вывод, и модуля, базирующегося на технологии верификации на модели.
Ил. 3, библиогр. 11.
УДК 681.3.062
О РЕГУЛЯРИЗАЦИИ КОНТЕКСТНО-СВОБОДНЫХ ГРАММАТИК/ Л. Н. Федорченко // Изв. вузов. Приборостроение. 2006. Т. 49, № 11. С. 50—54.
Дается понятие „регуляризация“ для грамматического аспекта. Определяются контекстно-свободные грамматики в регулярной форме (КСР) с обобщенной операцией итерации в правых частях правил — КСР-грамматики. Рассматривается одно из эквивалентных преобразований грамматики в процессе ее регуляризации — алгоритм исключения лево- и праворекурсивных нетерминальных символов из КСР-грамматики.
Библиогр. 6.
УДК 681.51.001.57
РЕШЕНИЕ ЗАДАЧИ КОМПЛЕКСНОГО ПЛАНИРОВАНИЯ РЕКОНФИГУРАЦИИ КАТАСТРОФОУСТОЙЧИВЫХ СИСТЕМ / С. А. Потрясаев// Изв. вузов. Приборостроение. 2006. Т. 49, № 11. С. 54—59.
Рассматриваются возможные пути решения задачи управления структурной динамикой катастрофоустойчивых информационных систем (КИС). Приводятся сведения о разработанном прототипе программного комплекса, реализующего предложенный подход к исследованию свойств разработанного алгоритма планирования реконфигурации КИС. Описываются результаты экспериментов, даются рекомендации о целесообразности применения того или иного алгоритма решения рассматриваемой задачи планирования.
Ил. 3, библиогр. 7.
УДК 004.65
Расширение реляционной технологии для создания информационных систем на основе языков разметки / Д. В. Тимофеев // Изв. вузов. Приборостроение. 2006. Т. 49, № 11. С. 60—65.
Предлагается инструментальное средство для построения информационных систем qWORD-XML, главной целью создания которого явилось повышение удобства построения, развития и эксплуатации информационных систем. Для этого вводится расширенная модель данных, позволяющая „удерживать больше смысла данных“, а также разрабатывается единая инструментальная среда проектирования и использования информационных систем, которая обеспечивает унификацию хранения, представления и обработки данных.
Ил. 2, библиогр. 4.
УДК 004.65
АДАПТИВНАЯ ИНСТРУМЕНТАЛЬНАЯ СИСТЕМА ДЛЯ РАЗРАБОТКИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ / Д. Ю. Скорлышев, А. М. Пауконен, А. А. Чубраев, В. И. Шкиртиль,А. А. Асонов // Изв. вузов. Приборостроение. 2006. Т. 49, № 11. С. 65—69.
Предлагается модель инструментальной системы (ИС), предназначенной для разработки программного обеспечения сложных технологических комплексов. Описываются основные характеристики таких программных комплексов, а также особенности процесса их разработки, требующие поиска новых моделей построения инструментальных средств. Предлагаемая модель ИС реализует высокий уровень адаптации по трем аспектам разработки: квалификации программиста, элементам проекта, используемым сторонним инструментам.
Ил. 1, табл. 1, библиогр. 7.
УДК 004.93
Применение МЕТОДики „гудвин“ для моделирования человеко-машинного взаимодействия / А. Л. Ронжин, А. Б. Леонтьева // Изв. вузов. Приборостроение. 2006. Т. 49, № 11. С. 70—74.
Методика „Гудвин“, МГ (Wizard of Oz) – это относительно новый раздел в когнитивной науке, направленный на экспериментальное оценивание пользовательских интерфейсов, изучение языка и поведения пользователя при работе с автоматической системой. Методика позволяет вести наблюдение за пользователем, который предполагает, что работает с полностью функционирующей системой, при этом недостающие модули автоматической обработки заменяются скрытыми операторами-людьми. Впервые МГ была применена для изучения естественно-языковых интерфейсов, а с развитием интерактивных средств коммуникации стала широко использоваться для выбора надежных технологий и корректных проектных решений при разработке речевых и многомодальных пользовательских интерфейсов.
Ил. 2, библиогр. 9.
УДК 615.478:681.2
ПРОГРАММНО-ИНСТРУМЕНТАЛЬНЫЙ КОМПЛЕКС ДЛЯ ФУНКЦИОНАЛЬНОЙ ДИАГНОСТИКИ В ХИРУРГИЧЕСКОЙ ГАСТРОЭНТЕРОЛОГИИ / С. Ф. Свиньин, К. В. Комякова, С. Х. Каримов, М. А. Кацадзе, А. Г. Мирошниченко, А. Б. Никитенко // Изв. вузов. Приборостроение. 2006. Т. 49, № 11. С. 74—77.
Предлагается метод функциональной диагностики острых заболеваний органов брюшной полости на основе принципов селективной гастроэнтерографии, отличающийся простотой измерений, неинвазивностью, возможностью получения объективных количественных оценок состояния органов с помощью аналого-цифрового преобразователя и портативного компьютера. Дается краткая характеристика программного обеспечения комплекса. Применяемая аппаратура отличается высокой мобильностью и невысокой стоимостью.
Ил. 3, библиогр. 3.
|