СОДЕРЖАНИЕ
Перечень условных обозначений.
Введение
Глава 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 Выводы по четвертой главе
Заключение.
Приложение А. Сравнение предложенного метода с методами прямого
и направленного перебора.
Приложение Б. Регистрационное свидетельство на программу для
ЭВМ .
Приложение В. Регистрационное свидетельство на программу для
ЭВМ .
Приложение Г. Акт о внедрении результатов диссертационной работы в
ЗАО ЗМС г. Шебекино
Приложение Д. Акт о внедрении результатов диссертационной работы в
БГТУ им. В.Г. Шухова.
Приложение Е. Модели триггеров
Библиографический список.
ПЕРЕЧЕНЬ УСЛОВНЫХ ОБОЗНАЧЕНИИ
БЗ База знаний
ВСП Вложенная есть Петри
ГА Генетический алгоритм
до Дискретный объект
ИИ Искусственный интеллект
им Имитационное моделирование
ис Информационная система
КС Компьютерные системы
мш Межкомпонентная шина
ПК Персональный компьютер
пм Процессорный модуль
СИМ Системы имитационного моделирования
смо Системы массового обслуживания
СП Сеть Петри
ЭБ Элементная база
эс Экспертная система
ВВЕДЕНИЕ
Актуальность
- Київ+380960830922