Научно-технический журнал "Приборостроение"

Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики

Меню

Содержание опубликованных номеров

Главная

Редколлегия

Правила оформления статей

Содержание опубликованных номеров

пїЅпїЅпїЅпїЅпїЅпїЅпїЅ пїЅпїЅпїЅпїЅпїЅпїЅпїЅ

пїЅ пїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅ пїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅ пїЅпїЅпїЅпїЅпїЅпїЅ пїЅпїЅпїЅпїЅпїЅ пїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅ пїЅ пїЅпїЅпїЅпїЅпїЅпїЅпїЅ пїЅпїЅпїЅпїЅпїЅпїЅпїЅ пїЅпїЅ пїЅпїЅпїЅпїЅпїЅ пїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅ пїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅ пїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅ

пїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅпїЅ пїЅпїЅпїЅпїЅпїЅпїЅпїЅ пїЅ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. С. 2832.
Рассматривается подход к автоматической генерации программного обеспечения, предназна­ченного для составления диаграмм. Предлагается использовать для поддержки синтаксиса диаграммных языков правила, не более сложные, чем арифметико-логические и теоретико-множест­венные математические отношения. Рассматриваются основные виды объектов диаграм­мных языков и способы их описания в такой модели. Проводится сравнение с другим популярным методом — графовыми грамматиками.
Ил. 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.