автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.18, диссертация на тему:Имитационное моделирование в задачах конфигурирования дискретных объектов с заданным поведением

ИМИТАЦИОННОЕ МОДЕЛИРОВАНИЕ В ЗАДАЧАХ КОНФИГУРИРОВАНИЯ ДИСКРЕТНЫХ ОБЪЕКТОВ С ЗАДАННЫМ

ПОВЕДЕНИЕМ

Специальность 05.13.18 - Математическое моделирование, численные методы и комплексы программ

АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата технических наук

2 3 СЕН 7П1П

Белгород - 2010

004608356

Работа выполнена в Белгородском государственном технологическом университете им. В.Г. Шухова

Научный руководитель: кандидат технических наук, доцент

Иванов Игорь Владимирович

Официальные оппоненты: доктор технических наук, профессор

Магергут Валерий Залманович

кандидат технических наук, доцент Штифанов Андрей Иванович

Ведущая организация: Саратовский государственный технический

университет

Защита диссертации состоится «30» сентября 2010 в 12:30 часов на заседании диссертационного совета Д212.014.06 при Белгородском государственном технологическом университете им. В.Г. Шухова, по адресу: 308012, г. Белгород, ул. Костюкова, 46.

С диссертацией можно ознакомиться в библиотеке Белгородского государственного технологического университета им. В.Г. Шухова.

Автореферат разослан «2^» О 2010г.

Ученый секретарь диссертационного совета

Ю.А. Бондаренко

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ

Актуальность работы. Дискретное молельное описание является характерным не только для технических, но и для технологических, организационных, экономических, биологических и других типов объектов, что делает целесообразным изучение общих подходов и методов разработки и исследования моделей для такого рода «дискретных» объектов (ДО). Свойством дискретности может обладать структура, поведение и время функционирования объектов.

Один из основных этапов создания ДО - этап конфигурирования, то есть определение состава элементов и межэлементныч связей.

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

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

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

Имитационное моделирование - один из мощных инструментов решения задач синтеза, который целесообразно использовать при конфигурировании объектов. Он дает возможность специалисту экспериментировать с проектируемыми и существующими объектами в случаях, когда делать это с реальным объектом невозможно или нецелесообразно. Разработке теоретических основ имитационного моделирования и применению этой методологии посвящены работы H.H. Моисеева, A.A. Самарского, В.П. Строгалева, Ю.И. Рыжикова, Р. Шеннона и др.

Эволюционные методы представляют собой современный математический аппарат нахождения эвристических решений сложных задач, основанный на понятии эволюции, что обуславливает их применение при конфигурировании ДО. Теоретические и прикладные вопросы применения эволюционных методов рассматривались в работах А.Г. Ивахненко, Н.И. Корсунова, В.М. Курейчика, Д. Э. Попова, Дж. Холанда, В. Ф. Хорошевского и др.

Сети Петри, как математический аппарат моделирования динамических дискретных систем, являются удобным формальным и графическим языком для моделирования систем с параллелизмом. Этот язык представляет собой обобщение теории автоматов, в котором может быть выражена концепция одновременно происходящих событий, что позволяет применять данный математический аппарат при создании сложных дискретных объектов. Описанию и применению данного математического аппарата посвящены работы В.Е. Котова, С.А. Юдицкого, В.З. Магергута, И.А. Ломазовой, Дж. Питерсона, и др.

Актуальность темы диссертационного исследования связана с необходимостью совершенствования методов разработки и исследования математических моделей сложных распределенных процессов функционирования дискретных технических и организационных систем.

Целью диссертационной работы является разработка и исследование имитационных моделей дискретных объектов с заданным поведением.

Поставленная цель определила следующие основные задачи исследования:

1. Выполнить анализ существующих математических моделей конфигурирования ДО;

2. Разработать имитационную молодь формирования конфигурации ДО со статической структурой;

3. Разработать имитационную модель формирования конфигурации ДО с динамической структурой;

4. Выполнить программную реализацию конфигурирования ДО на основе разработанных математических моделей.

Методы исследований. Для решения поставленных -сдач использовались методы системного анализа, эволюционных вычислений, юории сетей Петри (СП) и дискретной математики.

Научная новизна диссертационной работы состоит в следующем:

1. Разработана имитационная модель конфигурирования дискретных объектов, учитывающая возможность динамической перестройки структуры, на основе математического аппарата вложенных сетей Петри и генетических алгоритмов;

2. Предложено представление моделей .дискретных объектов в виде сетей Петри для кодирования генотипа в рамках генетических алгоритмов при решении задач конфигурирования;

3. Предложен подход к формированию критериев качества конфигурирования объектов, используемый в рамках генетического алгоритма для построения функции приспособленности.

Практическая значимость. На основе полученных моделей и алгоритмов разработана информационная система формирования конфигурации ДО с заданным поведением для решения задач обработки информации в произвольной предметной области. Практическая значимость подтверждается актами о внедрении отдельных результатов диссертационных исследований на ООО «Завод моющих средств» (г. Шебекино) и в Белгородском государственном технологическом университете им.В.Г.Шухова.

Положения, выносимые на защиту:

1. Способ построения конфигураций ДО с использованием генетических алгоритмов, описанных вложенными сетями Петри;

2. Метод поиска конфигурации дискретного объекта с фиксированными межкомпонентными связями;

3. Метод поиска конфигурации дискретного объекта с перестраиваемыми межкомпонентными связями;

4. Архитектура системы имитационного моделирования дискретных объектов на основе разработанных методов;

5. Комплекс проблемно-ориентированных программ имитационного моделирования дискретных объектов с заданным поведением.

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

Личный вклад соискателя

Все разделы диссертационной работы выполнены лично автором. Все изложенные в диссертационной работе результаты исследований получены либо соискателем лично, либо при его непосредственном участии.

В работах, опубликованных в соавторстве, лично автором выполнена адаптация и формализация генетических алгоритмов на основе инструментария вложенных сетей Петри [4, 7, 8], разработана концепция построения структур ДО с фиксированными и

перестраиваемыми межкомпонентными связями [5, 6. 9, 12], разработан вычислительный алгоритм и модуль иоиска конфигурации [13, 14].

Апробация результатов диссертации. Основные научные и практические результаты докладывались и обсуждались на 7 Международном форуме «Радиоэлектроника и молодежь в XXI веке» (Харьков, 2003), 8 Международном форуме «Радиоэлектроника и молодежь в XXI веке» (Харьков, 2004), Международной научно-практической конференции «Информационные технологии в науку и образование» (Харьков 2005), Международной научно-технической конференции молодых учёных БГТУ им. В.Г. Шухова (г. Белгород, 2009), Международной научной конференции «Проблемы управления, передачи и обработки информации (АТМ-ТКИ-50)» (г. Саратов, 2009), XIV Международной научно-производственной конференции "Проблемы сельскохозяйственного производства на современном этапе и пути их решения" (г. Белгород, 2010), на ежегодных научно-технических семинарах кафелры «Информационные технологии» БГТУ им. В.Г.Шухова (2008-2010 г.г.).

Публикации. Основные положения работы изложены в 12 печатных работах, из которых 3 в изданиях, рекомендованных ВАК РФ по научной специальности диссертационной работы. Получено 2 свидетельства о государственной регистрации программ для ЭВМ.

Диссертационная работа состоит из введения, четырех глав, заключения и списка литературных источников из 139 наименований. Содержание работы изложено на 153 листах машинописного текста.

СОДЕРЖАНИЕ РАБОТЫ

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

Глава 1 «Обзор современного состояния проблемы» является вводно-постановочной, в ней поведен обзор современного состояния проблемной области, дано определение ДО, рассмотрены формальные и интеллектуальные методы конфигурирования ДО.

Рассмотрены объекты различной физической природы, как то: организационные, механические, электротехнические, технологические и объекты вычислительной техники. Показана общность этих объектов с точки зрения возможности их описания дискретными моделями с заданным поведением. Установлено существование класса задач конфигурирования дискретных объектов, часть из которых может быть решена путем использования имитационных моделей с фиксированными межэлементными связями, а часть потребует применения динамически перестраиваемых структур моделей.

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

Глава 2 «Имитационная модель формирования конфигурации дискретного объекта со статической структурой» посвящена созданию имитационной математической модели процесса формирования конфигурации ДО с заданным поведением, имеющего фиксированный набор связей.

Для этого описывается объект О

0=<8,С>, (I)

где О - объект, который необходимо сконфигурировать, S - фиксированная структура объекта, С- состав объекта.

С = (С,.....С,.....CR), (2)

где С, - i-й компонент объекта. R - количество компонентов объекта.

С = I с■] М' "'J=i ,3)

где Cjj - j-й экземпляр ¡-го компонента, М; - количество экземпляров i-ro компонента.

P = |Pk)k=l. ,4,

где Р - множество свойств, которыми может обладать конфигурируемый объект. Pt — к-е свойство множества Р, I. - количество свойств множества Р.

Требуется для заданного свойства Рк , которым должен обладать объект О. подобрать по одному экземпляру о ,, каждою компонента С, так, чтобы объект

0 = <S,(c,rtko).....GRj(Wo>))^ <5)

обладал свойством Рко.

Для описания объекта О (1) в виде сети Петри (СП), необходимо определять его структуру S и состав С также на языке СП.

Согласно (2) и (3) состав С полностью определяется компонентами, поэтому каждый компонент Q должен быть описан в виде СП, а это в свою очередь означает, что каждый экземпляр компонента См необходимо определять на языке СП.

Каждый C;j экземпляр обозначим через СП, моделирующую его,- PNg (Petri Nets),r Выделяем у каждого экземпляра входы и выходы, которые моделируются позициями сети PNij. Множество входных и выходных позиций обозначаются через 1N4 и ОиТи.

Между элементами множеств IN,j и IN;, а также OUT,j и OUT, должны существовать взаимно однозначные соответствия F1Jп^:IN,j —>■ INj и E'V^OUTij—»OUT,. На рис. 1 (а) показано соответствие между компонентами и экземплярами.

СП, моделирующая компонент С„ обозначается через PN; (Petri Nets),. Если

компонент С|, представлен экземпляром С^, то PN, = PN,U.

Структура S объекта О полностью определяется взаимосвязями между компонентами, которые можно моделировать переходами СП. Обозначим множество таких переходов через Т.

Каждый переход tqeT соединяет выходные позиции некоторых компонентов Сч, С„, ... , С,л с входными позициями некоторых других компонентов С,^, Си , ... , Cit t, что наглядно иллюстрируется рис.1 (б).

С|' Jy\

in,, 0U1

а) б)

Рисунок 1. Соответствие (а) и связи (б) между компонентом и экземпляром я

Соответствие Р: 7" \JOUfj полностью определяет структуру 8 объекта О.

»1

СП, моделирующая объект О, описывается в виде кодовой строки

Р№<Р>},,.. „РН,.. ..ГОц/ГЛ, (6)

где PN{ - модель компонента С,, а множество переходов Т и соответствие F определяют структуру S объекта О.

Для выбора необходимой модели объекта О определим поведение объекта как способность преобразовывать заданный входной сигнал в необходимый выходной. Поведение объекта описывается парой неотрицательных целочисленных векторов 7 - -,1N ) 7 _ (..OUT OUT]

и J

IN

где zv - число меток, поступивших в v-ю входную позицию перед запуском сети PN, Zw0"' - число меток, появившихся в w-й выходной позиции после остановки сети PN, V0 и Wo - число элементов множеств IN и OUT соответственно.

Таким образом, поставленная задача сводится к следующей. Среди всех гипотетически возможных моделей PN объекта О найти такую, которая обладает свойством 7,у.

Для того чтобы проверить, обладает ли модель PN свойством Zk, необходимо сформировать эту модель, на ее вход IN подать вектор Zkm, запустить сеть PN и после ее остановки сравнить метки на выходе OUT с вектором Z оит-

Меру близости будем определять, привлекая понятие метрического пространства и рассматривая полученный вектор Zqut и эталонный вектор Zkour как элементы евклидова пространства - множества упорядоченных наборов из Щ,

действительных чисел х = (х,,..., ) с расстоянием

где У = {ух,->У*Х

Wo

Pi(x>y)= £lxw-yv

W=1

(7)

Чем меньше PiÍZout.Z'out), тем ближе модель PN к свойству Zk. Если pi(ZouT>ZkouT)=0! то модель PN обладает свойством Zk. Естественно рассматривать расстояние р, как целевую функцию.

Для поиска конфигурации используется генетический алгоритм (ГА). Операторы ГА будут моделироваться переходами вложенных сетей Петри (ВСП), а генотипы -макрометками ВСП.

Множество генотипов, непосредственно обрабатываемое ГА, называется популяцией. Начальная популяция может формироваться либо автоматически (например, случайным выбором экземпляров компонентов), либо задаваться непосредственно разработчиками ДО. Обозначим начальную популяцию через

G0=(PN',...,PN2n),

где PN' - i-ая модель объекта проектирования в виде СП, 2п - фиксированный размер популяции. Здесь для простоты дальнейшего описания предполагается, что размер популяции является четным числом.

Каждую модель PN' разместим в соответствующей позиции A¡ в качестве макрометки ВСП.

Оператор отбора моделируется переходом SEL, который будет копировать PN' из позиции Ai и размещать эти копии в позициях Вь В2, ...,B2¡.i, B2¡, ..., B2„.i, Вгп в качестве макрометок ВСП. Обозначим макрометки, размещенные в позициях B2n-i и B2i, через PN'1-' и PNh-. Макрометки размещаются в позициях Вь ..., В2п в соответствии со значением целевой функции (7) по правилу: чем меньше значение функции (7), тем меньше номер позиции, в которой размещается макрометка. Таким образом, в позиции Bi размещается самая лучшая макрометка, в позиции В2 - чуть худшая макрометка и т.д. до позиции В2п, в которой будет находиться самая плохая макрометка.

Оператор скрещивания моделируется переходом СКС^,, который будет забирать макрометки Р\"!-[ и РЬ!ь из позиций В2М и В2|, скрещивать их и размещать новые макрометки РЛ"/-" и ЛУ/=' в позициях 02,-1 и 02| соответственно. Макрометки скрещиваются по следующему правилу.

1. Случайным образом из множества {1,2,...,Я} выбирается некоторое число, которое мы обозначим через г.

2. В генотипах РМ'" и ЯЛ' выделяем модель г-го компонента

3. Меняем местами выделенные модели и получаем новые макрометки

PNi2W = (

PNj2i-|,...,PNJr2i

.PN^'-'.T.F^

PNi2' -^PN|2i.....PN;2i-',...,PNJR2i,T,F^

Оператор мутации моделируется переходом MUT2l, который будет забирать макрометку PNi" из позиции D2i, осуществлять ее мутацию и размещать новую макрометку PN>„' в позиции Е2, Макрометка подвергается мутации по следующему правилу:

1. Случайным образом из множества {1,2,..,,R} выбирается некоторое число, которое мы обозначим через г.

2. В генотипе PN{:l выделяем модель г -го компонента

PNi2' = ^PN¡2i,..., PNl2',..., PN JR2i,T, F^

3. Из множества {PNrj}Mj=i моделей экземпляров г -го компонента случайным образом выбираем новую модель, которую мы обозначим через pn]» , заменяем ею

PN& =(pNj2\...,PN;* ,...,PNj,2i ,Т,р\

модель PN'rv и получаем новую макрометку > new '

Оператор мутации макрометки в позиции D2;.i моделируется аналогично.

Оператор редукции моделируется переходом RED, который будет забирать макрометки из позиций Е|,...,Е2П и из позиций Ai,...,A2n, удалять худшие макрометки, а оставшиеся размещать в позициях Ai,...,A2„. Макрометки удаляются по следующему правилу:

1. Для каждой макрометки вычисляется целевая функция (7).

2. В позиции Ai размещается самая лучшая макрометка, в позиции А2 - чуть худшая макрометка и т.д. до позиции А2п, в которой будет находиться самая плохая макрометка. Обозначим макрометку, размещенную в позиции Aj, через PN[.

3. Все остальные макрометки удаляются. Заметим, что будет удалено ровно 2п макрометок.

Структура вложенной СП с обозначением всех макрометок показана на рис. 2.

——l-"*^)——р

€Х

Aj

А.

з©

SET. CROS*. mTTj. RED

Рисунок 2. Формализация генетического алгоритма с помощью ВСП

Глава 3 «Имитационная модель формирования конфигурации дискретного объекта с динамической структурой» посвящена созданию имитационной математической модели конфигурирования ДО с переменными межкомпонентными связями.

Рассматривается класс задач формирования конфигурации ДО, который можно представить кортежем:

0 = (!п,0и,,{8к}1М1Ж,)> (8)

где О - объект, который необходимо сконфигурировать;

1п - множество входных данных объекта О;

От - множество выходных данных объекта О;

Бк - к-я подсистема объекта О;

Л - функция, определяющая, какие выходные данные соответствуют входным данным: /а: 1п->01й;

Рь - бинарное отношение на множестве {8к}Кк=о: Рь с{8к}К|<,1 х{8к}Кк=1.

Требуется для заданной функции подобрать бинарное отношение такое, чтобы множество подсистем {8к}Кк=1 обеспечивало обработку объектом О входных данных в выходные данные в соответствии с функцией .

Входы объекта О будут моделироваться множеством позиций Р1П={Рш"1}Мт-1) где М - количество входов объекта, а ее выходы - множеством позиций Рсит^Ро01"}1^. где N - количество выходов объекта (рис. 3).

Входы подсистемы - это множество Р? = \р™мХы > где ~ количество входов подсистемы Бь а ее выходы - множество Р"" = {р^'где 1\'(к) - количество выходов подсистемы 8к-

Рисунок 3. Контекстная модель ДО в задаче конфигурирования Входы и выходы подсистем объекта О моделируются множеством позиций. Подсистемы {Sk}Kk=i могут быть связаны как между собой, так и с входами и выходами объекта О. Эти связи будут моделироваться множеством переходов T={tq}Qq=1, где Q - количество переходов. Каждый переход t4 характеризуется своими входными и выходными позициями. Входами перехода tq могут быть как любые входы объекта О, так и любые выходы подсистем {Sk}KM- Выходами перехода tq могут быть как любые выходы объекта О, так и любые входы подсистем {Sk}Kit=i. Обозначим входы перехода tq через Inq, а выходы - через Outq. Тогда, исходя из

вышесказанного, И о„/, с/>„,и(у/г)-

Для каждого входа объекта О должен существовать переход tq, соединенный с этим входом, а для каждого выхода каждой подсистемы Sk должен существовать переход tq, соединенный с этим выходом. Формально эти требования можно записать в виде равенства уЛ, =/. U^UT'j" Соответственно, для каждого выхода объекта О

должен существовать переход tq, соединенный с этим выходом, и для каждого входа каждой подсистемы Sk должен существовать переход tq, соединенный с этим входом. Формально эти требования запишем в виде равенства = (j^jiyj-

Разные переходы могут иметь некоторые общие входные и выходные позиции, но полностью совпадающих переходов быть не должно. Это требование формализуется следующим образом: 111,,!= 1п,2=>01й„1* Ои^ (при q2)и Ощч1= Ошч2=> 1пЧ2 (присяг).

Множество подсистем {8к} к=1 вместе с подмножеством множества переходов Т={1(1}%1 полностью определяют текущую структуру объекта О. Не обязательно все подсистемы {8к}кк=1 должны быть задействованы в текущей структуре. При этом перестройка структуры объекта О определяется изменением подмножества задействованных в данный момент переходов.

Перестройка функций происходит в подсистемах {8к}кк-1. В общем случае каждой подсистеме Бк можно сопоставить множество сетей Петри, которые будут моделями программ обработки данных. Это множество можно представить как РМк и определить его следующим образом: РЫк = где РЫк,г - г-й алгоритм

обработки данных подсистемой 8к, представленный в виде СП.

Формально необходимо для каждой СП Р!^, описать ее позиции, переходы и дуги. В общем случае сеть Р^,г моделирует некоторое действие по преобразованию входных данных в выходные данные. Поэтому в качестве моделей алгоритмов будут рассматриваются не СП РМк,г, а переходы («вырожденные» сети Петри). Таким образом, множество Р>)к будет выглядеть так лу, = Входами 1пк.г каждого

перехода ^ могут любые входы подсистемы 8к: ^^сРь"1, а выходами Ои^ каждого перехода ^ могут любые выходы подсистемы 8к: Ои1к>гс:Рк°и'.

Модель объекта О в виде СП может выглядеть так, как показано на рис. 4. В этой модели выделен путь, по которому входные данные, поступив на верхние два входа объекта О (на рисунке в виде двух меток), проходят через ее подсистемы и появляются на нижнем выходе объекта О. Пунктиром выделены незадействованные переходы и дуги.

Рисунок 4. Пример имитационной модели ДО на основе сети Петри

Формализуем генотип в, он должен определять:

- какие переходы из множества Т={Ц}ЧЧ=1 будут представлены в модели объекта

- какие переходы из множества РЫк = {г^}^1 будут представлены в модели каждой подсистемы 8к.

Таким образом, генотип О будет иметь следующий вид: С=(В1.....&,,...,Вд,Ь,,...,Ьк,...,Ьк), где ^е {0,1} и Ике{0,1,...,г,...Д(к)}.

Если ^ = 0, то переход Ц отсутствует в модели объекта О, иначе = 1) переход Ц присутствует в модели объекта О. Если Ьк=0, то в модели подсистемы Бк отсутствует алгоритм обработки данных. Если Ьк=г (ге{1,...Д(к)}), то в модели подсистемы 8к представлен переход

Среди всех гипотетически возможных моделей объекта О необходимо найти такую, которая решает поставленную задачу: из имеющегося множества подсистем {8к}Кы и системы переходов Т={1Ч}ЧЧ=1 построить такой объект О, который на входной вектор реагировал бы требуемым выходным вектором.

Для оценки этой близости вводим обозначение для требуемого вектора: У=(У],..., уп,...,ум), где уп - количество меток, которые должны находиться в позиции рпои1 объекта О. Вектор, который получился в результате работы объекта О, обозначим

через W=(W|,...,wn,...,WN), где vv„ - количество меток, которые реально находятся в позиции pn0lrt объекта О. Разницу (расстояние) между требуемым и реальным

вектором можно оценивать по формуле р(к,»г)= £|v„ -

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

классическое евклидово расстояние p(y,iv)=Jjt(v.-w,y, и редко используемую

формулу р(к,1к)= maxjv, - wj. При программной реализации генетического алгоритма необходимо заложить в систему возможность работы с формулой

= -wj'j , которая при р=1, р=2 и р-»<» представляет собой

рассмотренные выше формулы. Чем меньше р, тем ближе модель объекта О к требуемой конфигурации. При р=0 модель полностью соответствует заданному требованию. После выбора целевой функции можно описать операторы генетического алгоритма.

Оператор скрещивания можно описать следующим образом. Рассмотрим два генотипа:С, = fe,1..........л;.), = .....

Случайным образом выбираем два числа: q из диапазона (множества) {1,2,...,Q} и к из диапазона {1,2,...,К}, а затем меняем соответствующие участки генотипов. Таким образом, из родителей Gi и G2 получаются потомки Gj и G4, наследующие свойства родителей:^ =(g;,......А,1,/4), g4 = fe,2,....^.^.....s'eM.....h\,h\.......А').

Можно ограничиться и выбором какого-то одного числа (q или к). Сколько чисел будет выбрано (одно или два) и, если одно, то какое именно, можно также определять случайным образом. Можно также выбрать для каждого диапазона ({1,2,...,Q} и {1,2,...,К}) по две точки и меняться «серединками».

Оператор мутации описывается следующим образом. Рассмотрим один генотип G=(gi,...,gq,...,gQ,h1,...,hk,...,hK). Случайно выбираем два числа: q из диапазона

{1,2.....Q} и к из диапазона {1,2,...,К}. А затем меняем значения gq и hk следующим

образом. Если было gq =0, меняем его на единицу: g, =1. И наоборот: если было g, =1, то станет g, =0. Если было hj<=r, то меняем его иа любое другое из диапазона {0,1,... ,г-l,r+l,...,R(k)}. Естественно, при г=0 это будет диапазон {l,...,R(k)}, а при r=R(k) это будет диапазон {0,l,...,R(k)-l}.

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

В частном случае перестройка структуры объекта О может происходить с использованием межкомпонентной шипы.

Вся система элементов ДО и шин обрабатывается последовательно от входа системы к ее выходу. Сначала первый слой элементов получает и обрабатывает входные сигналы. Затем по первой шине сигналы передаются на второй слой. После обработки сигналы по второй шине поступают на третий слой и т.д. Процесс заканчивается после обработки сигналов последним слоем элементов, и выходной вектор сравнивается с искомым.

Формально, для каждой шины задано множество входных позиций In = {lnm} и множество выходных позиций Out = {Outm} (m = 1, 2,..., М). Входные позиции - это выходы предыдущего блока элементов ДО, а выходные позиции - входы последующего блока элементов (рис. 5).

In, \_1 Шина. __fX4 Out,

1п2 £ Out2

1п„ С -CD Outm

1пм -Cp> OutM

Рисунок 5. Обобщение межкомпонентных связей в слой «Шина»

Для моделирования межкомпонентной шины целесообразно использовать: связи («вырожденные сети Петри»), элементы ДО и логические элементы. Каждой выходной позиции Outn, сопоставляются (генерируются случайным образом):

- блок ИЛИ с указанием множества входных позиций;

- блок ИЛИ-НЕ с указанием множества входных позиций;

- количество блоков И;

- количество блоков И-НЕ;

- множество входных позиций для каждого блока И (И-НЕ).

Выходной позиции могут быть сопоставлены один блок ИЛИ, один блок ИЛИ-НЕ, несколько блоков И, несколько блоков И-НЕ.

Шина работает следующим образом. Выходные позиции обрабатываются по порядку от Outi до Out,,, согласно алгоритму. Первым проверяется блок ИЛИ, затем ИЛИ-НЕ. Потом проверяются блоки И, а в самом конце - И-НЕ. Для ускорения процесса сначала проверяются блоки И с меньшим количеством входных позиций. Проверка останавливается, когда найден блок, который можно будет, запустить.

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

Родители: Х-шина: xOutb ..., xOutm, xOutm+i,..., xOutM Y-шина: yOut,,..., yOut,„, yOutm+1,yOutM

Потомки: Х-шина: xOut,,..., xOutm, yOutm+i,yOutM Y-шина: yOutj,..., yOutm, xOutm+b..., xOutM

Мутация шины - изменение для какой-либо выходной позиции:

- множества входных позиций блока ИЛИ;

- количества блоков И;

- множества входных позиций для каждого блока И.

В главе 4 «Разработка системы имитационного моделирования конфигурирования дискретного объекта» для анализа эффективности и проверки адекватности полученных математических моделей процесса формирования конфигураций ДО создана информационная система (ИС), архитектура которой представлена на рис. 6.

Архитектура включает 5 основных элементов: элементная база, база знаний, генетический алгоритм на основе вложенных сетей Петри, модуль поиска и модуль анализа моделей. ИС выполняет функцию поиска конфигурации ДО, на основе моделей ДО хранящихся в элементной базе формализованных сетями Петри. Так же ИС помогает анализировать полученные конфигурации ДО, соответствующих критериям поиска, используя базу знаний (БЗ). Модуль эмуляции и редактирования, входящий в состав блока анализа, позволяет оценить и отредактировать модели приближенные к критериям поиска, и принять решение о вводе новых элементов ДО в элементную базу.

Функции модельера разделены между двумя интерфейсными модулями интерфейсом «Пользователя» и интерфейсом «Эксперта». Интерфейс «Пользователя» предназначен для специалиста в предметной области, в которой происходит моделирование. Интерфейс позволяет управлять системой с помощью параметров поиска, элементной базы и работой с модулем анализа. Интерфейс «Эксперта»

предназначен для работы с настройками генетического алгоритма, базы знаний и элементной базы. Тем самым пользователь ИС должен быть специалистом лишь в своей предметной области, а настройки конфигурирования ДО проводятся экспертом.

На основе функциональной модели ИС была осуществлена ее программная реализация. Комплекс проблемно-ориентированных программ разработан на языке программирования Object Pascal (в среде Delphi) и зарегистрирован в ФГУ ФИПС. Из списка функциональных задач были решены следующие:

- Генерация генотипов по заданным настройкам;

- Эмуляция генотипов;

- Подбор структуры сети по заданному входу и выходу;

- Модуль для тестирования для проведения экспериментов;

- Менеджер генотипов.

Рисунок 6. Архитектура информационной системы моделирования ДО Входными документами в системах являются файлы типовых устройств описанных в виде сетей Петри. Для стандартизации предусмотрено описание сетей Петри при помощи языка PNML (Petri Net Markup Language).

На основе предложенного метода имитационного моделирования ДО и разработанной архитектуры ИС реализован и зарегистрирован комплекс программ. Показана его работа в процессе решения задачи формирования конфигурации вычислительных систем с заданным поведением, задачи распределения ресурсов на примере формирования расписания занятий в вузе и построена система массового обслуживания операционного зала банка. Среди иных задач использования предложенного метода можно назвать, например, задачу нахождения ветви, характеризующую правильную СП, на дереве достижимых маркировок, нахождение нужных конфигураций при создании технического комплекса АСУ ТП и ряд других.

Для решения задачи поиска конфигурации триггерного устройства построены математические модели триггеров и их конфигурации на основе сетей Петри; формирования конфигурации проводится на основе адаптированного генетических алгоритмов.

Модель конфигурации триггерного устройства с «квадратной» структурой 2x2 показана на рис. 7.

Если подсистема ймоделируется ЯБ-триггером, подсистема - Т-триггером, 82,1 - Э-триггером, а подсистема 82,2 - Т-триггером, и все триггеры находятся в единичном состоянии, то конфигурация 0=(К.8, Т, О, Т) будет иметь такой вид, как показано на рисунке 8 в соответствии с (6).

Рисунок 7. Модель конфигурации ДО размерностью 2x2 Конфигурация 0=(Я8, Т, О, Т) работает по следующему алгоритму:

- на вход подаются данные, моделируемые метками;

- запускаются «входные» переходы 1,П1 - ("Ч; -запускаются триггеры «первой очереди» «811 и -запускаются переходы «первой очереди» 11,1 - и,1!

- запускаются триггеры «второй очереди» Т12 и Т2,г; -запускаются «выходные» переходы 1ои1! - 1ои14;

- в результате получается выходной вектор.

Рисунок 8. Пример конфигурация триггерного устройства с начальным состоянием (I, 1, 1, 1) Например, если на вход конфигурации подать вектор (0, 1, 0, 1), то на выходе получится вектор (1,0, 1,0).

Задача составления расписания занятий представлена в виде ситуации распределения ресурсов, где ресурсами являются студенческие группы, а средствами обработки аудиторные помещения.

Для решения задачи распределения ресурсов, поступающих во входные позиции ГЫ (8) дискретного объекта структура генотипа представлена с использованием топологии «звезда» в. следующем виде (рис. 9).

Рисунок 9. Структура генотипа в задаче распределения ресурсов

Объект О состоит из множества подсистем 0=(8,.которые в свою очередь состоят из компонентов С=(СЬ...,С,) и экземпляров С,={Су}™=1.

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

Метка во втором уровне вложенной сети Петри является ресурсом и представлена следующим образом К=<0,Е>,М>,

где М=(МЬ.. ,,МП) - маркер обработки ресурса;

С=(Оь...,Сп)- маркер принадлежности к типу ресурсов;

0=(0|,...,0П)-маркер принадлежности к совместному использованию.

В задаче составления расписания маркер принадлежности к совместному использованию О - индикатор потока для проведения лекционных занятий (лекционное занятие может проводиться более чем с одной группой).

Маркер принадлежности к типу ресурсов Б - индикатор специальности (ввиду того, что предметы на разных специальностях не всегда совпадают по своему наполнению материалом).

Маркер обработки ресурса М - состоит из количества и типа аудиторных занятий на учебный день.

Количество циклов обработки ресурсов в предложенной модели оценивается:

, где - мощность i-ro ресурса в INr.

maxi шах ш,.

Модель системы массового обслуживания операционного зала банка описана в диссертационной работе.

Оценка эффективности работы ГА на ВСП осуществлялась экспериментально, на примере конфигурирования ДО различной размерности со статической и динамической структурой, с помощью разработанного и зарегистрированного комплекса проблемно-ориентированных программ в сравнении с методом прямого перебора и методами направленного перебора (ветвей и границ, золотое сечение). Полученные результаты приведены в диссертационной работе.

В таблице 1 представлено среднее время работы адаптированного генетического алгоритма при нахождении первой соответствующей параметрам конфигурации

статического (способного преобразовывать один входной вектор в требуемый выходной) и динамического (способного преобразовывать несколько входных векторов в требуемые выходные вектора) триггерного устройства в сравнении с прямым перебором. Для случая динамической структуры задавались два входных и выходных вектора, обработка осуществляется с использованием слоя межкомпонентных связей «Шина».

Таблица 1

Размер конфигурации

до

Структура ДО статическая (С), динамическая

(Д)

2X2

3X3

4X4

5X5

6X6

7X7

8X8

9X9

10X10

Среднее время поиска первой конфигурации удовлет. критериям пряным перебором, цс

£

Й

Среднее время поиска пергой конфигурации удовлет. >фктериям с помощью адаптированного ГА на основе ВСП.МС

■ь

Из приведенных данных видно, что преимущество предложенного ГА на ВСП над методом прямого перебора начинается с конфигурирования ДО размерностью 3X3 в случае динамической структуры объекта и 4X4 при статической структуре.

В процессе исследования метода была выполнена проверка влияния мощности начальной популяции на время поиска решения.

На рисунке 10 отображен график зависимости времени, требуемого для нахождения конфигурации триггерного устройства, от начальной популяции, конфигурация имела прямоугольный вид размерностью 3X4 с перестраиваемой структурой, с использованием межкомпонентной шины в виде «вырожденных» сетей

Рисунок 10. Среднее время поиска конфигурации в зависимости от размера начальной популяции, мс

Качественный показатель представленного графика в зависимости от размерности ДО не изменялся.

Основные результаты и выводы

При выполнении диссертационной работы были получены следующие результаты:

1. На основе проведенного анализа существующих математических моделей конфигурирования дискретных объектов был сделан вывод о необходимости создания имитационных моделей, учитывающих динамическое изменение связей в процессе функционирования объекта с заданным поведением на основе генетических алгоритмов и сетей Петри;

2. Реализована адаптация и формализация генетического алгоритма, с помощью вложенных сетей Петри для решения задачи конфигурирования ДО с заданным поведением;

3. Предложена математическая модель для формирования конфигурации ДО с фиксированной и перестраиваемой структурой;

4. Разработана архитектура информационной системы, основанной на полученных математических моделях;

5. Проведена оценка эффективности разработанных моделей на примере конкретных практических задач конфигурирования вычислительной техники с заданным поведением и формирования расписания занятий вуза на основе реализованных программных средств.

ОСНОВНЫЕ ПУБЛИКАЦИИ ПО ТЕМЕ ДИССЕРТАЦИИ Статьи в научных изданиях, входящих в перечень рекомендованных ВАК

1. Петросов, Д.А. Адаптация генетического алгоритма при моделировании вычислительной техники с изменяющейся структурой и набором компонентов на основе Сетей Петри [Текст]/ Д.А. Петросов // Вопросы современной науки и практики. - Тамбов: Йзд-во ТГТУ, 2009. - №6(20). - С. 54-63.

2. Петросов, Д.А. Математическое моделирование формирования конфигураций вычислительной техники с заданным поведением [Текст]/Д.А. Петросов // Вопросы современной науки и практики. - Тамбов: Изд-во ТГТУ, 2009. -№7(21). -С. 113-121.

3. Петросов, Д.А. Математическая модель формирования конфигурации вычислительной техники на основе триггеров [Текст]/ Д.А. Петросов // Вестник ИжГТУ. - Ижевск: Изд-во ИжГТУ, 2009. - №3(43). - С. 139-143.

Статьи в научных журналах и сборниках трудов

4. Ельчанинов, Д.Б. Применение генетических алгоритмов при проектировании компьютерной техники [Текст]/ Д.Б Ельчанинов, Механа Сами, Д.А. Петросов // Вестник Херсонского государственного университета. - Херсон: Изд-во ХГУ, 2003. -№2(18).-С. 146-148.

5. Лобода, В.Г. Концепция построения структур функционально ориентированных вычислительных устройств [Текст]/ В.Г. Лобода. Д.А. Петросов // АСУ и приборы автоматики. -Харьков: Изд-во ХНУРЭ, 2003. -№122. - С. 61-71.

6. Белова, Н.В. Концепция буферизации в вычислительных устройствах и системах. [Текст]/Н.В. Белова, Механа Сами Саади, Д.А Петросов // Радиоэлектроника и молодежь в XXI веке: сб. научных трудов 6-го Международного молодежного форума. - Харьков: Изд-во ХНУРЭ, 2002. - 4.2. - С.36-37.

Статьи в материалах и сборниках трудов научных конференций

1. Ельчанинов, Д.Б. Представление генетических алгоритмов сетями Петри в задачах проектирования компьютерной техники [Текст]/ Д.Б. Ельчанинов, В.Г. Лобода, Д.А. Петросов // Информационные технологии - в науку и образование: сб. материалов научно-практической конференции. - Харьков: Изд-во ХНУРЭ, 2005. - С. 48-51.

8. Белова, Н.В. Модель перепрограммируемого процессора с гибкой архитектурой [Текст]/ Н.В. Белова, Т.Г. Долженкова, Д.А. Пстросов // Радиоэлектроника и молодежь в XXI веке: сб. материалов 8-го Международного молодежного форума. -Харьков: Изд-во ХНУРЭ, 2004. - 4.2. - С. 277.

9. Белова, Н.В., Минимальное замкнутое покрытие двух классов цифровых автоматов [Текст]/ Н.В. Белова, Т.Г. Долженкова, Д.А. Петросов // Радиоэлектроника и молодежь XXI веке: сб. материалов 7-го Международного молодежного форума. -Харьков: Изд-во ХНУРЭ, 2003. - С. 468.

10. Петросов, Д.А. Интеллектуальная система поддержки принятия решений при формировании вычислительной техники с использованием генетических алгоритмом и L-сетей Петри [Электронный ресурс]/ Д.А. Петросов// сб. материалов Международной научно-практической конференции студентов, аспирантов и молодых ученных БГТУ им. В.Г. Шухова. - Белгород, 2009. 1 электрон, опт. диск (CD-ROM).

11. Петросов, Д.А. Математическая модель процесса формирования конфигурации вычислительной техники на основе триггеров с использованием генетических алгоритмов и сетей Петри [Текст]/Д.А. Петросов//Проблемы управления, передачи и обработки информации (АТМ-ТКИ 50): сб. тр. Междунар. науч. конф. - Саратов: Изд-во СГТУ, 2009. - С.344-347.

12. Иванов, И.В. Концепция работы межкомпонентной шины при конфигурировании дискретных объектов с заданным поведением [Текст]/ И.В. Иванов, Д.А. Петросов // Проблемы сельскохозяйственного производства на современном этапе и пути их решения: сб. материалов XIV международной научно-производственной конференции. - Белгород: Изд-во БелГСХА, 2010. - 4.2. - С.23.

Официальная регистрация программ

13. Басавин, Д.А. Программа поиска конфигурации вычислительной техника/ Д.А. Басавин, Д.А. Пстросов// Свидетельство о государственной регистрации программы для ЭВМ 2009616324 ФГУ ФИПС - 2009.

14. Карамышев, Е.П. Программа составлен« я расписания учебного процесса ВУЗа/ Е.П. Карамышев, Д.А. Петросов// Свидетельство о государственной регистрации программы дня ЭВМ № 2010612452 ФГУ ФИПС - 2010.

Подписано в печать 02.07.10. Формат 60x84/16

Усл. печ. л. 1,00_Тираж 100 экз. Заказ № 346

Отпечатано в Белгородском государственном университете им. В.Г. Шухова 308012, г. Белгород, ул. Костюкова, 46

Перечень условных обозначений.

Введение.

Глава 1. Обзор современного состояния проблемы.

1.1 Дискретное описание объектов различной природы.

1.2 Имитационное моделирование.

1.3 Формальные методы поиска требуемых конфигураций ДО.

1.4 Интеллектуальные методы поиска конфигурации.

1.5 Средства поиска конфигураций с заданным поведение.

1.6 Генетические алгоритмы.

1.7 Сети Петри как средства имитационного моделирования ДО.

1.8 Постановка задачи.

Глава 2. Имитационная модель формирования конфигурации ДО со статической структурой.

2.1 Формальная постановка задачи.

2.2 Описание генотипа сетями Петри.

2.3 Целевая функция.

2.4 Описание операторов генетического алгоритма сетями Петри.

2.5 Решение задачи.

2.6 Выводы по второй главе.

Глава 3. Имитационная модель формирования конфигурации ДО с динамической структурой.

3.1 Формальная постановка задачи.

3.2 Формализация сетями Петри.

3.3 Описание генотипа.

3.4 Целевая функция.

3.5 Операторы генетического алгоритма.

3.6 Решение задачи.

3.7 Модель межкомпонентной шины.

3.8 Выводы по третьей главе.

Глава 4. Разработка системы имитационного моделирования конфигурирования ДО.

4.1 Функциональная модель информационной системы имитационного моделирования ДО с заданным поведением.

4.2 Программная реализация.

4.3 Применение предложенного метода в предметной области проектирования вычислительной техники.

4.4 Пример работы адаптированного генетического алгоритма.

4.5 Применение предложенного метода к проблемной области распределения ресурсов.

4.6 Применение предложенного метода к решению задачи массового обслуживания.

4.7 Оценка эффективности работы генетического алгоритма.

4.8 Выводы по четвертой главе.

Актуальность работы. Дискретное модельное описание является характерным не только для технических, но и для технологических, организационных, экономических, биологических и других типов объектов, что делает целесообразным изучение общих подходов и методов разработки и исследования моделей для такого рода «дискретных» объектов (ДО). Свойством дискретности может обладать структура, поведение и время функционирования объектов.

Один из основных этапов создания ДО - этап конфигурирования, то есть определение состава элементов и межэлементных связей.

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

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

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

Имитационное моделирование - один из мощных инструментов решения задач синтеза, который целесообразно использовать при конфигурировании объектов. Он дает возможность специалисту экспериментировать с проектируемыми и существующими объектами в случаях, когда делать это с реальным объектом невозможно или нецелесообразно. Разработке теоретических основ имитационного моделирования и применению этой методологии посвящены работы Н.Н. Моисеева, А.А. Самарского, В.П. Строгалева, Ю.И. Рыжикова, Р. Шеннона и др.

Эволюционные методы представляют собой современный математический аппарат нахождения эвристических решений сложных задач, основанный на понятии эволюции, что обуславливает их применение при конфигурировании ДО. Теоретические и прикладные вопросы применения эволюционных методов рассматривались в работах А.Г. Ивахненко, Н.И. Корсунова, В.М. Курейчика, Д. Э. Попова, Дж. Холанда, В. Ф. Хорошевского и др.

Сети Петри, как математический аппарат моделирования динамических дискретных систем, являются удобным формальным и графическим языком для моделирования систем с параллелизмом. Этот язык представляет собой обобщение теории автоматов, в котором может быть выражена концепция одновременно происходящих событий, что позволяет применять данный математический аппарат при создании сложных дискретных объектов. Описанию и применению данного математического аппарата посвящены работы В.Е. Котова, С.А. Юдицкого, В.З. Магергута, И.А. Ломазовой, Дж. Питерсона, и др.

Актуальность темы диссертационного исследования связана с необходимостью совершенствования методов разработки и исследования математических моделей сложных распределенных процессов функционирования дискретных технических и организационных систем. v

Целью диссертационной работы является разработка и исследование имитационных моделей дискретных объектов с заданным поведением.

Поставленная цель определила следующие основные задачи исследования:

1. Выполнить анализ существующих математических моделей конфигурирования ДО;

2. Разработать имитационную модель формирования конфигурации ДО со статической структурой;

3. Разработать имитационную модель формирования конфигурации ДО с динамической структурой;

4. Выполнить программную реализацию конфигурирования ДО на основе разработанных математических моделей.

Методы исследований. Для решения поставленных задач использовались методы системного анализа, эволюционных вычислений, теории сетей Петри (СП) и дискретной математики.

Научная новизна диссертационной работы состоит в следующем:

1. Разработана имитационная модель конфигурирования дискретных объектов, учитывающая возможность динамической перестройки структуры, на основе математического аппарата вложенных сетей Петри и генетических алгоритмов;

2. Предложено представление моделей дискретных объектов в виде сетей Петри для кодирования генотипа в рамках генетических алгоритмов при решении задач конфигурирования;

3. Предложен подход к формированию критериев качества конфигурирования объектов, используемый в рамках генетического алгоритма для построения функции приспособленности.

Практическая значимость. На основе полученных моделей и алгоритмов разработана информационная система формирования конфигурации ДО с заданным поведением для решения задач обработки информации в произвольной предметной области. Практическая значимость подтверждается актами о внедрении отдельных результатов диссертационных исследований на ООО «Завод моющих средств» (г. Шебекино) и в Белгородском государственном технологическом университете им.В.Г.Шухова.

Положения, выносимые на защиту:

1. Способ построения конфигураций ДО с использованием генетических алгоритмов, описанных вложенными сетями Петри;

2. Метод поиска конфигурации дискретного объекта с фиксированными межкомпонентными связями;

3. Метод поиска конфигурации дискретного объекта с перестраиваемыми межкомпонентными связями;

4. Архитектура системы имитационного моделирования дискретных объектов на основе разработанных методов;

5. Комплекс проблемно-ориентированных программ имитационного моделирования дискретных объектов с заданным поведением.

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

Личный вклад соискателя

Все разделы диссертационной работы выполнены лично автором. Все изложенные в диссертационной работе результаты исследований получены либо соискателем лично, либо при его непосредственном участии.

В работах, опубликованных в соавторстве, лично автором выполнена адаптация и формализация генетических алгоритмов на основе инструментария вложенных сетей Петри [4, 34, 36], разработана концепция построения структур вычислительной техники с фиксированными и перестраиваемыми межкомпонентными связями [6, 7, 44, 60], разработан вычислительный алгоритм и модуль поиска конфигурации [3, 47].

Апробация результатов диссертации. Основные научные и практические результаты докладывались и обсуждались на 7 Международном форуме «Радиоэлектроника и молодежь в XXI веке» (Харьков, 2003), 8 Международном форуме «Радиоэлектроника и молодежь в XXI веке» (Харьков, 2004), Международной научно-практической конференции «Информационные технологии в науку и образование» (Харьков 2005), Международной научно-технической конференции молодых учёных БГТУ им. В.Г. Шухова (г. Белгород, 2009), Международной научной конференции «Проблемы управления, передачи и обработки информации (АТМ-ТКИ-50)» (г. Саратов, 2009), XIV Международной научно-производственной конференции "Проблемы сельскохозяйственного производства на современном этапе и пути их решения" (г. Белгород, 2010), на ежегодных научно-технических семинарах кафедры «Информационные технологии» БГТУ им. В.Г.Шухова (2008-2010 г.г.).

Публикации. Основные положения работы изложены в 12 печатных работах, из которых 3 в изданиях, рекомендованных ВАК РФ по научной специальности диссертационной работы. Получено 2 свидетельства о государственной регистрации программ для ЭВМ.

Структура и объем диссертации. Диссертация состоит из введения, четырех глав, заключения, списка использованных источников из 139 наименований и трех приложений. Общий объем диссертации составляет 153 страниц, включая 57 рисунков и 12, таблиц.

4.6 Выводы по четвертой главе

Разработана функциональная модель ИС имитационного моделирования процесса формирования конфигураций ДО. Осуществлена программная реализация предложенного метода. Рассмотрены примеры решения актуальных задач формирования конфигурации дискретных объектов в предметных областях конфигурирования: вычислительной техники, расписания и систем массового обслуживания, на основе разработанных математических моделей компонентов. Оценена эффективность предложенного метода на основе адаптированного генетического алгоритма на основе вложенных сетей.

ЗАКЛЮЧЕНИЕ

Основным результатом работы является разработка имитационной математической модели процесса формирования конфигурации ДО с заданным поведением.

В процессе достижения цели работы решены следующие основные задачи:

1. На основе проведенного анализа существующих математических моделей конфигурирования дискретных объектов был сделан вывод о необходимости создания имитационных моделей, учитывающих динамическое изменение связей в процессе функционирования объекта с заданным поведением на основе генетических алгоритмов и сетей Петри;

2. Реализована адаптация и формализация генетического алгоритма, с помощью вложенных сетей Петри для решения задачи конфигурирования ДО с заданным поведением;

3. Предложена математическая модель для формирования конфигурации ДО с фиксированной и перестраиваемой структурой;

4. Разработана архитектура информационной системы, основанной на полученных математических моделях;

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

121

1. Аристов, С.А. Имитационное моделирование экономических систем Текст./ С А. Аристов// Екатеринбург: Издательство УрГЭУ, 2004. 123 С.

2. Алямовский, А.А. Компьютерное моделирование в инженерной практике Текст./ А.А. Алямовский, В.Е. Одинцов, Н.Б. Пономарев и др.//Спб.: Издательство БВХ Петербург, 2005. - 800 С.

3. Басавин, Д.А. Программа поиска конфигурации вычислительной техника/ Д.А. Басавин, Д.А. Петросов// Свидетельство о государственной регистрации программы для ЭВМ 2009616324 ФГУ ФИПС, 2009.

4. Белова, Н.В. Функционально-ориентированный перестраиваемый процессорный модуль Текст./ Н.В. Белова, В.Г. Лобода, ДА. Петросов// Системи обробки шформацп. Харьков: Издательство ХУПС, - 2005. - №. 3(43).-С. 8-18.

5. Белова, Н.В. Минимальное замкнутое покрытие двух классов цифровых автоматов Текст./ Т.Г. Долженкова, Д.А. Петросов// Радиоэлектроника и молодежь XXI веке.: сб. материалов 7-го Международного молодежного форума. Харьков: ХНУРЭ, 2003. - 468 С.

6. Боев, В.Д Компьютерное моделирование. Элементы теории и практики Текст./ В.Д. Боев, Р.П. Сыпченко// СПб.: Издательство Военной академии связи, 2009. 432 С.

7. Бондарев, В.Н. Искусственный интеллект Текст./ В.Н. Бондарев, Аде Ф.Г.// Учеб. пособие для вузов. Севастополь: Изд-во СевНТУ, 2002. - 615 С.

8. Бондаренко, М.Ф. Системная технология моделирования информационных и организационных систем Текст./ С.И. Маторин, Д.Б. Ельчанинов// Учебное пособие. Харьков: Издательство ХНУРЭ, 2005. - 116 С.

9. Бондаренко, М.Ф. Багатор1внев1 динам in Hi модел1 прийняття рииень Текст./ М.Ф. Бондаренко, З.В. Дудар, О.Б. Кайкова// Навч. noci6. К.: Видавнитство 1С ДО, 1995.-100 С.

10. Бондаренко, М.Ф. Объектная технология моделирования информационных и организационных систем Текст./М.Ф. Бондаренко, Е.А. Соловьева, С.И. Маторин, Д.Б. Ельчанинов// Учебное пособие. Харьков: Издательство ХНУРЭ, 2005. - 160 С.

11. Бондаренко, М.Ф. Системологическая технология моделирования информационных и организационных систем Текст./ М.Ф. Бондаренко, Е.А. Соловьева, С.И. Маторин, Д.Б. Ельчанинов// Учебное пособие. Харьков: Издательство ХНУРЭ, 2005. - 136 С.

12. Боровиков, В.П. Нейронные сети Текст./ В.П. Боровиков // М.: Издательство Горячая линия Телеком, 2008. 390 С.

13. Бодянский, Е.В. Нейро-фаззи сети Петри в задачах моделирования сложных систем Текст./ Е.В Бодянский, Е.И.Кучеренко, А.И. Михалев//Монография. Днепропетровск: Издательство Системные технологии, 2005. - 311 С.

14. Бражник, А.Н. Имитационное моделирование: возможности GPSS WORLD Текст./ А.И. Бражник//СПб.: Издательство Реноме, 2006.-439 С.

15. Буч, Г. Объектно-ориентированный анализ и проектирование с примерами приложений на С ++, 2-е изд.Текст./Г. Буч// М.: Издательство Бином, 1999.-560 С.

16. Васильев Ф.П. Численные методы решения экстремальных задач Текст./ Ф. П. Васильев// М.: Издательство Наука, 1988. 552 С.

17. Васильев, В. В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем Текст./ В.В. Васильев, В.В. Кузьмук// Киев: Издательство Наукова думка, 1990. - 216 С.

18. Веников, В.А. Электрические системы. Электрические сети Текст./ В.А. Веников, В.А. Строев// М.: Издательство Высшая школа, 1998. 511 С.

19. Волк, М.А. Декомпозиция сети Петри при организации моделирования сложных систем Текст./ М.А. Волк, Ю.М. Федюшин// Математическое моделирование и информационные технологии: сб. материалов мини-конф. Белгород: Издательство БелГТАСМ, 1997. - С. 29-33.

20. Волк, М.А. Декомпозиция моделей сложных систем Текст./ A.M. Волк, В.А. Походенко, А.П. Бабаев// Теория и техника передачи, приема и обработки информации: сб., докладов 3-й Международной конференции. — Харьков-Туапсе: Издательство ХТУРЭ, 1997. — С. 172.

21. Воронин, В.В. Диогнастические модели технических объектов Текст./ В.В. Воронин// Системы и процессы, 2002. С. 20-30.

22. Гаврилова, Т.А. Базы знаний интеллектуальных систем Текст./ Т.А. Гаврилова, В.Ф. Хорошевский// СПб.: Издательство Питер, 2000. 384 С.

23. Гиг, Дж. Прикладная общая теория систем Текст./Дж. Гиг//М.: Издательство Мир, 1981. — 733 С.

24. Горбачев, В.А. Организация эффективного моделирования сложных систем Текст./ В.А. Горбачев, М.А. Волк, А.П. Бабаев/ Автоматизированные системы управления и приборы автоматики: сб. научн. тр. Харьков: Издательство ХГТУРЭ, 1997. - С. 20-22.

25. ГОСТ 27.001-95 Межгосударственный стандарт. Система стандартов «Надежность в технике» Текст., 1997. 8 С.

26. Григорьев, А.В. Представление генетических алгоритмов сетями Петри в задаче размещения. Текст./ А.В. Григорьев// Автореф. дис. канд. техн. наук. Казань: 2002. - 20 С.

27. Давыдов, А.Ф. Основы вычислительной техники и программирования Текст./ А.Ф. Давыдов, Л.И. Щеголева// М.: Издательство Энергоиздат, 1981.-256 С.

28. Джарратано, Д. Экспертные системы. Принципы разработки и программирование Текст./ Д. Джаратано, Г. Райли // М.: Издательство Вильяме, 2007.-1152 С.

29. Джонс, Т. Программирование искусственного интеллекта в приложениях Текст./ Тим Джонс // М.: Издательство ДМК Пресс, 2004. 312 С.

30. Дмитриенко, В.Д. Эволюционные методы компьютерного моделирования Текст./ В. Д Дмитриенко., А.Ф Верлань., Н.И. Корсунов, В.А. Шорох //Монография. Киев: Издательство Наукова думка, 1992. - 256 С.

31. Ельчанинов, Д.Б. Применение генетических алгоритмов при проектировании компьютерной техники Текст./Д.Б. Ельчанинов, Д.А. Петросов, Механа Сами// Вестник Херсонского государственного университета. Херсон: Издательство ХГУ, 2003. - №2(18). - С. 146-148.

32. Ельчанинов, Д. Б. Моделирование иерархических структур L-сетями Петри Текст./ Д.Б. Ельчанинов// Автоматизация, телемеханизация и связь в нефтяной промышленности. — М.: Издательство ВНИИОЭНГ, 1998. -№2. С. 7-8.

33. Сльчаншов, Д.Б. Структуроваш мерою rteipi у системах проектування спещал1зованих процесор1в Текст./ Д.Б. Сльчаншов// Автореферат дисертащ1 канд. техн. наук: Харюв, 2000. - 20 С.

34. Емельянов, В.В. Введение в интеллектуальное имитационное моделирование сложных дискретных систем и процессов. Язык РДО Текст./

35. B.В. Емельянов. С.И. Ясиновский// М.: Издательство АНВИК, 1998. 427 С.

36. Жданов, А.А. Автономные искусственный интеллект Текст./ А.А. Жданов// М.: Издательство БИНОМ, 2008. 634 С.

37. Зайцев, Д.А. Уравнения состояний и эквивалентные преобразования временных сетей Петри Текст./Д.А. Зайцев ,А.И. Слепцов// Кибернетика и системный анализ. Киев: Издательство Института кибернетики НАН, 1997. № 5.-С. 59-75.

38. Замятина, Е.Б. Современные теории имитационного моделирования Текст./ Е.Б. Замятина// Пермь: Издательство ИГУ, 2007. 119 С.

39. Ивахненко, А.Г. Помехоустойчивость моделирования Текст./ А.Г. Ивахненко, B.C. Степашко// Киев: Киев: Издательство Наукова думка, 1985. -216 С.

40. Идельчик, В.И. Электрические системы и сети Текст./ В.И. Идельчик//М.: Издательство Энергоатомиздат, 1989. 592 С.

41. Карамышев, Е.П. Программа составления расписания учебного процесса ВУЗа/ Е.П. Карамышев, Д.А. Петросов// Свидетельство огосударственной регистрации программы для ЭВМ № 2010612452 ФГУ ФИПС -2010.

42. Карпов, Ю.Г. Имитационное моделирование систем. Введение в моделирование с AnyLogic 5 Текст./Ю.Г. Карпов// СПб.: Издательство БХВ, 2005.-403 С.

43. Кафаров, В.В. Логическое моделирование типовых технологических процессов Текст./ В.В. Кафаров, B.JI. Перов, В.З. Магергут// ДАН СССР. Т.318, №3, 1991. С. 658-663.

44. Кобелев, Н.Б. Основы имитационного моделирования сложных экономических систем Текст./ Н.Б. Кобелев// М.: Издательство Дело, 2003. -336 С.

45. Колдаев, В.Д. Архитектура ЭВМ Текст./ В.Д. Колдаев, С А. Лупин//М.: Издательство Инфра, 2009. 384 С.

46. Корнеев, В.В. Базы данных. Интеллектуальная обработка информации Текст./ В.В. Корнеев, Гареев А.Ф., Васютин С.В и др.// М.: Издательство Нолидж, 2005. 352 С.

47. Косинов, Р.П. Метасетевой подход к моделированию информационных процессов Текст./ Р.П. Косинов, В.В. Янковский// XXII Гагаринские чтения: сб. докладов молодежной научной конференции. М.: Издательство «ЛАТМЭС», 1996. - С. 82-83.

48. Котов, В.Е. Сети Петри Текст./ В.Е. Котов//М.: Издательство Наука, 1984.-160 С.

49. Котов, В.Е. Алгебра регулярных сетей Петри Текст./ В.Е. Котов//М.: Издательство Кибернетика, 1980. -№ 5. С. 10-18.

50. Котов, В.Е. Структурированные сети Текст./ В.Е. Котов, Л.А. Черкасова// М.: Издательство Кибернетика, 1981. № 4. - С. 33-41.

51. Курейчик, В.М. Теория и практика эволюционного моделирования Текст./В.В. Емельянов, В.В. Курейчик, В.М. Курейчик // М.: Издательство ФИЗМАТЛИТ, 2003. 432 С.

52. Лобода, В.Г. Основы построения ориентированных ЭВМ и Систем Текст./ В.Г. Лобода, Н.В. Белова, С.Ф. Коряк// Харьков: Издательство Смит, 2007. 148 С.

53. Лобода, В.Г. Концепция построения структур функционально ориентированных вычислительных устройств Текст./В.Г Лобода, Д.А. Петросов // АСУ и приборы автоматики. Харьков: Издательство ХНУРЭ, 2003. -№122.-С. 61-71.

54. Ломазова, И.А. Моделирование мультиагентных динамических систем вложенными сетями Петри Текст./ И.А. Ломазова// Программные системы: теоретические основы и приложения. М.: Издательство Наука, 1999. -С.143-156.

55. Ломазова, И.А. Некоторые алгоритмы анализа для многоуровневых вложенных сетей Петри Текст./ И.А. Ломазова// Известия РАН Теория и системы управления. М.: Издательство РАН, 2000. - № 6. - С. 965-974.

56. Ломазова, И. А. Объектно-ориентированные сети Петри: формальная семантика и анализ Текст./И.А. Ломазова // Системная информатика. Новосибирск: Издательство Наука, 2002. - № 8. — С. 143-205.

57. Лоу, А. Имитационное моделирование. Классика CS. Текст./А. Лоу, В. Кельтон // СПб.: Издательство Питер, 2004. 848 С.

58. Лычкина, Н.Н. Имитационное моделирование экономических процессов Текст./ Н.Н. Лычкина// М.: Издательство Академия АйТи, 2005. -164 С.

59. Люгер, Джордж Ф. Искусственный интеллект: стратегии и методы решения сложных проблем Текст./ Джордж Ф. Люггер// М.: Издательство Вильяме, 2003.-864 С.

60. Магергут, В.З. Модель реактора с распределенными параметрами производства малеинового ангидрида Текст./ В.З. Магергут, А.А. Халифа, А.П.

61. Бурмистров// Известия Тульского государственного университета. Серия «Химия». Тула: Издательство ТулГУ, 2006. - №6. - С. 204 - 210.

62. Магергут, В.З. Роль технологических условий в выявлении аварийных и нештатных ситуаций при создании АСУ ТП Текст./ В.З. Магергут// Мехатроника, Автоматизация, 2007. №7 (76). - С.53-54.

63. Маркш, О. М. Спецпроцесор модифшованих керуючих мереж IleTpi для орган 1зац11 безпечного руху на 3ani3HH4HOMy транспорт! Текст./ О.М. Маркш// автореферат дисертаци канд. техн. наук. Харюв, 1997. - 22 С.

64. Минцберг, Г. Структура в кулаке: создание эффективной организации Текст./ Герни Минцберг// СПб.: Издательство Питер, 2004. 512 С.

65. Моисеев, Н. Н. Численные методы в теории оптимальных систем Текст./ Н.Н. Моисеев// М.: Издательство Наука, 1971. - 424 С.

66. Молчанов, Г.И. Повышение качества печатных плат в процессе автоматической трассировки соединений, Текст./ Г.И. Молчанов// Вестник НТУ «ХПИ». Харьков: Издательство НТУ «ХПИ», 2001. - №114. - С. 101-106.

67. Мурата, Т. Сети Петри: свойства, анализ, приложения Текст./ Т. Мурата// ТИИЭР. 1989. - Т. 77. - № 4. - С. 41-85.

68. Мурогов, В.Н. Имитационное моделирование микропроцессорных систем на базе Е-сетей для ПЭВМ Текст./ В.Н. Муроговата// Микропроцессорные средства и системы. 1990. - № 1. - С. 36-37.

69. Мурашко, А.Г. Первое знакомство с сетями Петри. Текст./А.Г. Мурашко// Учебное пособие. К.: Издательство УМК ВО, 1988. - 71 С.

70. Нильсон, Н. Принципы искусственного интеллекта Текст./ Н. Нильсон// М.: Издательство Радио и связь, 1985. 386 С.

71. Норенков, И.П. Эволюционные методы в задачах выбора проектных решений Текст. /И. П. Норенков, Н.М. Арутюнян// Наука и образование. М.: Издательство МГТУ им. Н.Э. Баумана, 2007. - №9. 112-115 С.

72. Овчинников, В.А. Алгоритмизация комбинаторно-оптимизационных задач при проектировании ЭВМ и систем Текст./ В.А. Овчинников// М.: Издательство МГТУ им. Н.Э. Баумана, 2001. 288 С.

73. Патент Украши на винахщ №15213 А. Процесор Heipi / В.В. Матейченко, Г.О. Калшш, О.М. Маркш, С.Ю. Запорожцев, О.М. Гуца // Офщшний бюлетень «Промислова власшсть». К.: Держпатент Украши, 1997. -№3. - С. 324-325.

74. Патент Украши на винахщ №32183 А. Процесор Петр! / Д.Б. Сльчаншов, В.В. Матейченко, В.Г. Лобода, Ю.С. Петришин // Бюл. №7-11.

75. Перегудов, Ф.И., Тарасенко Ф.П. Введение в системный анализ Текст./ Ф. И. Перегудов, Ф.П. Тарасенко// М.: Издательство Высш. школа, 1989.-584 С.

76. Петросов, Д.А. Представление генетических алгоритмов сетями Петри в задачах проектирования компьютерной техники Текст./ Д.А. Петросов,

77. B.Г. Лобода, Д.Б. Ельчанинов// Информационные технологии в науку и образование: материалы научно-практической конференции. — Харьков: Издательство ХНУРЭ, 2005. - С. 48-51.

78. Петросов, ДА. Математическая модель формирования конфигурации вычислительной техники на основе триггеров Текст./ Д.А. Петросов// Вестник ИжГТУ. Ижевск: Издательство ИжГТУ, 2009. - No3(43). —1. C.139-143.

79. Питерсон, Дж. Теория сетей Петри и моделирование систем. Текст./ Дж. Питерсон// М.: Мир, 1984. 264 С.

80. Попеленко, А.А. Применение окрашенных сетей Петри для моделирования распределенных вычислительных систем/ А.А. Попеленко, А.Н. Федотенков Текст.// АСУ и приборы автоматики. Харьков: Издательство ХИРЭ, 1988.-№87.-С. 109-114.

81. Роберте, Дж. Современная фирма: структура организации для эффективного роста Текст./ ДЖ. Роберте// М.: Издательство Вильяме, 2007. -352 С.

82. Рыжиков, Ю.И. Имитационное моделирование Текст./ Ю.И. Рыжиков// М.: Издательство Альтекс, 2004. 384 С.

83. Самарский, А. А. Математическое моделирование: Идеи. Методы. Примеры Текст./ А.А. Самарский, Михайлов А. П.// М.: Издательство ФИЗМАТЛИТ, 2005. 421 С.

84. Самарский, А. А. Математическое моделирование Текст./ А.А. Самарский, Михайлов А. П.// Монография. М.: Издательство ФИЗМАТЛИТ Физматлит, 2002. - 321 С.

85. Семенова, И.И. Способ формирования моделей сложных технических систем Текст./ И.И. Семенова// Новое в науке и технике, 2009. -№2.-С. 18-24.

86. Советов, Б.Я. Моделирование систем Текст./ Б.Я. Советов, С.А. Яковлев//-М.: Издательство Высшая школа, 1998. 319 С.

87. Томашевский, В. Н. Имитационное моделирование в среде GPSS/ В.Н. Томашевский, Е. Г. Жданова Текст.// М.: Издательство Бестселлер, 2003. -416 С.

88. Трахтенгерц, Э.А. Компьютерная поддержка принятия решений Текст./Э.А. Трахтенгерц// М.: Издательство Синтег, 1998. 376 С.

89. Уемов, А.И. Системный подход и общая теория систем Текст./А. И. Уемов// М.: Издательство Мысль, 1978. 272 С.

90. Устименко, А.П. Отображение временных причинно-следственных структур во временные сети Петри Текст./ А.П. Устименко// Кибернетика и системный анализ. Киев: Издательство Института кибернетики НАН, 1997. № 2. - С. 44-54.

91. Формалев, В.Ф. Численные методы Текст./ В.Ф. Формалев, Д.Л. Ревизников// М.: Издательство ФИЗМАТЛИТ, 2004.-400 С.

92. Хемди, А. Введение в исследование операций Текст./ Хемди А. Таха// М.: Издательство Вильяме, 2007. 903 С.

93. Хорафас, Д.Н. Системы и моделирование Текст./ Д.Н. Хорафас//М.: Издательство Мир, 1967.-420 С.

94. Шеннон, Р. Имитационное моделирование систем: Искусство и наука Текст./ Р. Шеннон// М.: Издательство Мир, 1978. — 424 С.

95. Шостак, И.В. Событийный подход в имитационном моделировании распределительных микропроцессорных систем Текст./ И.В. Шостак// Харьков: Издательство ХИРЭ, 1988. № 87.- С. 28-32.

96. Шрайбер, Т.Д. Моделирование на GPSS Текст./ Т.Д. Шрайбер// М.: Издательство Машиностроение, 1980. 592 С.

97. Шрейдер, Ю.А. Системы и модели Текст./Ю.А. Шрейдер, А.А. Шаров// М.: Издательство Радио и связь, 1982. - 152 С.

98. Чечкин, А.В. Математическая информатика Текст./ А.В. Чечкин// М.: Издательство Наука, 1991. — 416 С.

99. Юдицкий, С.А. Логическое управление дискретными процессами Текст./ С.А. Юдицкий, В.З. Магергут// М.: Издательство Машиностроение, 1987.- 176 С.

100. Юдицкий, С. А. Построение логических моделей химико-технологических объектов (первичные и исходные модели) Текст./ СА. Юдицкий, В.З. Магергут, B.JI. Перов//. М.: Издательство МХТИ им. Д.И.Менделеева, 1988. 80 С.

101. Юдицкий, С. А Взаимодействие целевой и операционной динамических моделей сложных процессов Текст./ С.А. , Юдицкий, П.Н. Владиславлев, И А. Мурадян// Автоматика и телемеханика. М.: Издательство ИПУ, 2005.-№11. С. 126-134.

102. Юдицкий, С.А. Основы предпроектного анализа организационных систем Текст./ С.А. Юдицкий, П.Н. Владиславлев// М.: Издательство Финансы и статистика, 2005. 144 С.

103. Altuntas, В. A framework for adaptive synchronization of distributed simulations/ B. A. Altuntas, R.A. Wysk // Proc. of the Winter Simulation Conf. 2004. P. 371-377.

104. Anisimov, N. PNA3-Editor: Compositional Petri Net Editor for Protocol Specification Текст./ N Anisimov, A. Kovalenko, P. Postupalski // Proc. MASCOTS 95, Durham, NC, USA, Januaiy 1995. P. 19-32.

105. Attieh, A Functional and Temporal Analysis of Concurrent Systems Текст./ A. Attieh, M. Brady, W. Knottenbelt, P.S. Kritzinger // Protocol Workshop, 16th International Conference on Theory and Application of Petri nets, Turin, June 1995.-P. 78-91.

106. Bernardinello, L., De Cindio F. A survey of Basic Net Models and Modular Net Classes Текст./ L. Bernardinello, F. De Cindio // LNCS, vol. 609. -Springer-Verlag, 1992.-P. 89-134.

107. Bondi, M. HYPERNET Текст./ M. Bondi//- Manuale Utente. DSI Univ. Stat. Milano, 1990. - 51 P.

108. Burns, F.PAnalysing superscalar processor architectures with coloured Petri nets Текст./ F.P Burns, A.M. Koelmans, A.V.Yakovlev // International Journal on Software Tools for Technology Transfer. Vol. 2. - Issue 2. — Springer-Verlag, 1998.-P. 182-191.

109. Damm, W. AADL: a net based specification method for computer architecture design Текст./ W. Damm, G. Dohmen // Languages for parallel architectures: design semantics and implementation models. John Wiley and sons, 1989.-P. 147-164.

110. Das, S.R. Adaptive protocols for parallel discrete event simulation Текст./ S.R Das//J. of the Operational Research Society. 2000. Vol. 51. P. 385 -394.

111. Goldberg, D.E. Genetic algorithms in search, optimization and machine learning Текст./ D.E. Goldberg // Adison Wesley, Reading, MA, 1989. 325P.

112. IEEE Std PI516. IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA) Framework and Rules. N.Y.: Institute of Electrical and Electronics Engineers, Inc.,2000.1. J^T4

113. IEEE Std P1516.2. IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA) Object Model Template (OMT) Specication. N.Y.: Institute of Electrical and Electronics Engineers, Inc., 2000.

114. IEEE Std P1516.3. IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA) Federation Development and Execution Process. N.Y.: Institute of Electrical and Electronics Engineers, Inc., 2000.

115. Jensen, K. Coloured Petri Nets Текст./ К. Jensen// V. 1: Basic Concepts. Springer-Verlag, 1992. - 358P.

116. Jensen K. Coloured Petri Nets Текст./ К. Jensen//, V. 2: Analysis Methods. Springer-Verlag, 1994. - 41 IP.

117. Looney, C. Fuzzy Petri Nets for rule-based decision making Текст./ С. Looney/ЯЕЕЕ Trans. Systems, Man and Cybern. 1988. - Vol.18. - N 1. - P. 178183.

118. Petri, C. A. Kommunikation mit Automaten Текст./С.А. Petri// Schrifiten des Rheinisch-Westfalischen Institutes fur Instrumentelle Mathematik an der Universitat Bonn. -1962. Heft 2. - S. 53 - 142.

119. Reisig, W. Petri Nets, An Introduction: EATCS, Monographs on Theoretical Computer Science Текст./ W.Brauer, G. Rozenberg, A. Salomaa (Eds.). Springer-Verlag, 1985. - 213P.

120. Suzuki, I Three measures for synchronic dependence in Petri nets Текст./1. Suzuki, T. Kasami // «Acta Inf.» 1983. - 19, № 4. - P. 325-338.

121. Valk, R. Self-modifying nets, a natural extension of Petri nets Текст./ R.Valk// Lecture Notes in Сотр. Sci., vol. 62. Springer-Verlag, 1978. - P. 464-476.