НАУЧНЫЙ ЖУРНАЛ
5(48)/2010
РЕЦЕНЗИРУЕМОЕ ИЗДАНИЕ
Учредитель
ОАО «Издательство “Политехника”»
Главный редактор
М. Б. Сергеев,
доктор технических наук, профессор
Зам. главного редактора
Г. Ф. Мощенко
Редакционный совет:
Председатель А. А. Оводенко,
доктор технических наук, профессор
В. Н. Васильев,
доктор технических наук, профессор
В. Н. Козлов,
доктор технических наук, профессор
Ю. Ф. Подоплекин,
доктор технических наук, профессор
Д. В. Пузанков,
доктор технических наук, профессор
В. В. Симаков,
доктор технических наук, профессор
А. Л. Фрадков,
доктор технических наук, профессор
Л. И. Чубраева,
доктор технических наук, профессор, чл.-корр. РАН
Р. М. Юсупов,
доктор технических наук, профессор, чл.-корр. РАН
Редакционная коллегия:
В. Г. Анисимов,
доктор технических наук, профессор
Е. А. Крук,
доктор технических наук, профессор
В. Ф. Мелехин,
доктор технических наук, профессор
А. В. Смирнов,
доктор технических наук, профессор
В. И. Хименко,
доктор технических наук, профессор
А. А. Шалыто,
доктор технических наук, профессор
А. П. Шепета,
доктор технических наук, профессор
З. М. Юлдашев,
доктор технических наук, профессор
Редактор: А. Г. Ларионова
Корректор: Т. В. Звертановская
Дизайн: А. Н. Колешко, М. Л. Черненко
Компьютерная верстка: С. В. Барашкова
Ответственный секретарь: О. В. Муравцова
Адрес редакции: 190000, Санкт-Петербург,
Б. Морская ул., д. 67, ГУАП, РИЦ
Тел.: (812) 494-70-44
Факс: (812) 494-70-18
E-mail: 80x@mail.ru
Сайт: www.i-us.ru
Журнал зарегистрирован в Министерстве РФ по делам печати,
телерадиовещания и средств массовых коммуникаций.
Свидетельство о регистрации ПИ № 77-12412 от 19 апреля 2002 г.
Журнал входит в «Перечень ведущих рецензируемых научных журналов
и изданий, в которых должны быть опубликованы основные научные
результаты диссертации на соискание ученой степени доктора
и кандидата наук».
Журнал распространяется по подписке. Подписку можно оформить через
редакцию, а также в любом отделении связи по каталогам:
«Роспечать»: № 48060, № 15385; «Пресса России»: № 42476.
© Коллектив авторов, 2010
ОбрабОтка инфОрмации и управление
Дубаренко В. В., Курбанов В. Г., Кучмин А. Ю. Об одном методе
вычисления вероятностей логических функций
инфОрмациОннО-управлЯющие СиСтемы
Чернов В. Г. Нечеткие деревья решений (нечеткие позиционные игры)
Голубков А. С., Царев В. А. Адаптивное управление дорожным движением
на базе системы микроскопического моделирования транспортных
потоков
прОграммные и аппаратные СредСтва
Дмитревич Г. Д., Мохсен А. А., Ларистов А. И. Архитектура Webориентированных
САПР
Березкин А. В., Филиппов А. С. Методика синтеза тестов аппаратуры
по спецификациям на языке UML
20
24
Царев Ф. Н. Метод построения управляющих конечных автоматов на основе
тестовых примеров с помощью генетического программирования 31
Михеева В. Д. Методы расширения языков программирования (Часть 2) 37
кОдирОвание и передаЧа инфОрмации
Молдовян Д. Н. Примитивы криптосистем с открытым ключом: конечные
некоммутативные группы четырехмерных векторов
инфОрмациОнные каналы и Среды
Колбанев М. О., Рогачев В. А. Анализ проблемы обнаружения в инфракрасных
системах
инфОрмациОннО-измерительные СиСтемы
Лапсарь А. П. Синтез быстродействующих измерительно-управляющих
систем на базе параметризованных марковских моделей
инфОрмациОнные теХнОлОгии и ОбразОвание
Дьячук П. П., Дроздова Л. Н., Шадрин И. В. Система автоматического
управления учебной деятельностью и ее диагностики
управление в медицине и биОлОгии
Суворов Н. Б., Абрамов В. А., Козаченко А. В., Полонский Ю. З.
Биотехническая система для исследования интеллектуальной деятельности
человека
Бахилин В. М. Автоматическое выделение участков электрокардиосигнала
с нормальным синусовым ритмом
Орлов М. Р. Некоторые проблемы институализации государственночастного
партнерства
СведениЯ Об автОраХ
аннОтации
Сдано в набор 23.08.10. Подписано в печать 12.10.10. Формат 60×841/8.
Бумага офсетная. Гарнитура SchoolBookC. Печать офсетная.
Усл. печ. л. 11,4. Уч.-изд. л. 14,6. Тираж 1000 экз. Заказ 477.
Оригинал-макет изготовлен в редакционно-издательском центре ГУАП.
190000, Санкт-Петербург, Б. Морская ул., 67.
Отпечатано с готовых диапозитивов в редакционно-издательском центре ГУАП.
190000, Санкт-Петербург, Б. Морская ул., 67.
ЛР № 010292 от 18.08.98.
70
78
управление в СОциальнО-экОнОмиЧеСкиХ СиСтемаХ
85
91
96
63
55
51
43
8
15
2
Стр.2
ОбрабОтка инфОрмации и управление
УДК 510.647
Об ОднОм метОде вычисления
верОятнОстей лОгических функций
В. В. Дубаренко,
доктор техн. наук
В. Г. Курбанов,
канд. физ.-мат. наук
А. Ю. Кучмин,
канд. техн. наук
Институт проблем машиноведения РАН
Приводится комбинаторный метод вычисления вероятностей сложных логических функций, причем элементы
логических функций расположены в некотором лексикографическом порядке, т. е. нет необходимости хранить
их в памяти ЭВМ в символьном виде. Описываются приближенные методы вычисления вероятности сложной
логической функции по заданным вероятностям ее базисных переменных.
Ключевые слова — лингвистическая переменная, сложная логическая функция, логико-вероятностный метод.
Введение
Многообразие решений в задачах управления
динамическими объектами связано с операциями
над логическими переменами (ЛП) и логическими
функциями (ЛФ). Формальная логика, после
того как определены ЛП, позволяет путем логического
вывода выражать одни ЛФ через другие
ЛФ или ЛП. Формализм преобразования ЛФ
достаточно хорошо отработан, позволяет эквивалентно
представлять их в различных логических
базисах, решать задачи логического вывода, интерпретации
решений и другие, не прибегая к понятиям
атрибута ЛФ. Можно сказать, что формальная
логика является самодостаточной.
Понятие лингвистической переменной и его
применение к принятию приближенных решений,
введенное Л. Заде в 1976 г. [1], практически
не повлияло на развитие логики. На наш взгляд,
формальная логика осталась неизменной. В большинстве
работ по нечеткой логике и ее приложениям
изменился лишь порядок операций над ЛП
и их атрибутами, в результате чего интерпретация
задач существенно усложнилась.
Введением концепции ЛФ нами сделана попытка
упорядочить понятия, относящиеся к принятию
решений при управлении динамическими
объектами, обозначить проблемы, возникающие
при учете различных ограничений, и показать
возможные пути их решения.
2
ИНФОРМАЦИОННОУПРАВЛЯЮЩИЕ СИСТЕМЫ
Комбинаторный метод вычисления
вероятностей сложных ЛФ
С введением понятия атрибута ЛФ, например
вероятности, возникают проблемы, связанные
с определением математических операций с атрибутами,
при проведении операций над ЛФ. Отсюда
появляются определения: «логико-вероятностная
задача», «нечеткая логика» и др. Для отделения
логических задач от задач, связанных
с операциями над атрибутами ЛФ, нами принята
следующая концепция:
— логические переменные являются атомами
логической системы;
— если с ЛП связывается атрибут, ЛП называется
логико-лингвистической переменной;
— атрибутом может быть любой упорядоченный
набор данных;
— логические операции имеют приоритет перед
операциями над атрибутами;
— символьное выражение, описывающее ЛФ,
является алгоритмом над атрибутами ЛП.
Благодаря арифметическим свойствам ЛФ, которые
они проявляют при их представлении в виде
алгебраических структур по mod2, оказывается
возможным сведение логических задач к «арифметическим»
или подобным арифметическим. Это
в общем случае позволяет представлять логические
системы как линейные структуры, уравнения которых
не содержат конъюнктивных элементов.
№ 5, 2010
Стр.3