Логическое моделирование систем с последовательно-параллельной структурой

• Автор: Близнова, Ольга Владимировна
• Шифр специальности: 05.13.18
• Научная степень: Кандидатская
• Год защиты: 2004
• Место защиты: Саратов
• Количество страниц: 141 с. : ил.

СОДЕРЖАНИЕ
ВВЕДЕНИЕ.

1. ОБЗОР РАБОТ ПО МОДЕЛИРОВАНИЮ И ОПТИМИЗАЦИИ ДИСКРЕТНЫХ СИСТЕМ.

1.1. Классификация моделей и методов решения задач дискретной

ОПТИМИЗАЦИИИ

1.2. Характеристика методов математического программирования

. 1.3. Описание метода исследования на графах

, 1.4. Описание метода ветвей и границ.

1.5 Характеристика статистического моделирования

1.6 Выводы и постановка задачи

2. СТРУКТУРНОЛОГИЧЕСКИЙ ПОДХОД К АНАЛИЗУ ПОСЛЕДОВАТЕЛЬНОПАРАЛЛЕЛЬНОЙ СИСТЕМЫ

2.1. Краткая характеристика математического аппарата непрерывной логики и логических определителей.
2.2. Описание интервального анализа.
2.2.1. Краткое описание принципов сравнения и оптимизации интервальных величин
2.2.2. Характеристика интервальных логических определителей
2.3 Разработка формальнологической модели последовательнопараллельной системы обслуживания в задачах о назначениях
2.4 Анализ условий существования решения недетерминированной
ТРЕХИНДЕКСНОЙ ЗАДАЧИ О НАЗНАЧЕНИЯХ
2.5. Выводы.
3. СИНТЕЗ ПЛАНА РАБОТЫ ПОСЛЕДОВАТЕЛЬНО ПАРАЛЛЕЛЬНОЙ СИСТЕМЫ
3.1 Синтез последовательнопараллельной системы методом ветвей и границ
3.2. Разработка метода оптимизации, основанного на вычислении логических определителей.
3.3. Создание метода решения задачи в условиях интервальной неопределенности.
3.4. Конструктивный подход к построению приближеннооптимального решения
3.5. Анализ алгоритма приближенной оптимизации
3.6. Выводы.
4. КОМПЬЮТЕРНОЕ МОДЕЛИРОВАНИЕ ПОСЛЕДОВАТЕЛЬНОПАРАЛЛЕЛЬНЫХ СИСТЕМ
4.1. Процессы управления в транспортноэкспедиторской компании
4.2. Описание требований к системе моделирования
4.3. Реализация программного комплекса моделирования экологии
ТРАНСПОРТНОЭКСПЕДИТОРСКОЙ КОМПАНИИ.
4.4. Характеристика режимов решения задач с помощью экспертной
СИСТЕМЫ.
4.5. Организация диалога с пользователем на ограниченном
естественном языке
ЗАКЛЮЧЕНИЕ
СПИСОК ЛИТЕРАТУРЫ


Метод, основанный на непрерывной логике и логических определителях, который позволяет эффективно проводить оптимизационные исследования задачи как при детерминированных, так и при недетерминированных (интервальных) параметрах функционирования системы на основе единого подхода. Условия существования решения недетерминированной трехиндексной задачи о назначениях, связанные с недетерминированностью параметров системы, а также структура множества всех решений рассматриваемой задачи с интервальной матрицей коэффициентов. Эффективные алгоритмы получения приближенно оптимальных решений задачи произвольной размерности. Научная новизна. Разработаны оригинальные аппарат и метод оптимизационных исследований рассматриваемой системы, основанные на анализе разработанных формально-логических моделей, позволяющие осуществлять качественный анализ решений при варьировании исходных данных. Созданы эффективные алгоритмы синтеза приближенно оптимальных расписаний для задач произвольной размерности. Практическая ценность. Использование предлагаемых методик и теоретических разработок расширяет круг решаемых оптимизационных задач. Реализующая данные алгоритмы экспертная система моделирования экологии транспортноэкспедиторской компании используется в Пензенском областном управлении инкассации, внедрена в учебный процесс Пензенской государственной сельскохозяйственной академии. Апробация работы. Основные результаты диссертационной работы были доложены и обсуждены на 1-й Всероссийской конференции «Непрерывная логика и ее применение в технике, экономике и социологии» (Пенза, - сентября ); научно-практической конференции «Экологическая безопасность и социально-экономическое развитие регионов России» (Саранск, - декабря ); International Conference of S cience and Technology «New Information Technologies and Systems» (Penza, Russia, - Dec. Пенза, ). Публикации. По теме диссертации опубликованы печатных работ, перечисленных в конце автореферата. Структура работы. Диссертация общим объемом 1 страница состоит из введения, четырех глав, заключения и приложений, содержит 8 рисунков, таблиц, список литературы из 9 наименований. Приложения содержат акты о внедрении и доказательства теорем. Принципиальной особенностью системного анализа является широкое использование на всех этапах выработки решения методологии моделей систем. Не вдаваясь глубоко в рассмотрение понятия моделей вообще, отметим, что в дальнейшем под моделью будем понимать не только математическую модель объекта (системы или процесса), но и модель управления объектом, т. Одна из основных целей построения математических моделей реальных систем - найти способ обработки имеющейся информации для выбора рациональных вариантов управления объектом (системой или процессом). Например, модель некоторого объекта или субъекта управления - это совокупность фактов, утверждений (аксиом), на основе которой формируется процесс принятия решений в конкретной ситуации. В организационно-технологических системах в отличие от чисто технических систем процедура выработки и принятия решений является центральным элементом процесса управления. Рассмотрим последовательно-параллельную систему обслуживания [], состоящую из N параллельно соединенных ветвей, способную выполнять одновременно N однотипных работ. Таким образом, работы дробятся на неодинаковое (в общем случае) число операций в соответствии с теми цепочками, где они будут выполнены. N;i = ,nk,j = ,р). Режим 1. Работы 1,2,. Рп = свободно по времени, т. M - в ветвь М. Рп, так что очередная работа ум+1 ждет, пока из блока 1 какой-либо ветви выйдет первая у ^ из указанных работ, после чего занимает ее место в освободившемся блоке. Следующая работа jM+2 ждет, когда из блока 1 какой-либо ветви выйдет первая из нового множества работ Oi»—»Л/+1 У находящихся в системе, и т. Суммарное время Т(М,п) выполнения всех п работ в системе в данном режиме зависит от порядка Рп подачи работ в систему. Задача состоит в выборе оптимального порядка подачи, когда Т(М, п) -» min. Режим 2. Выбирается порядок Рп =(y’i,•••,. Рп2 = jп +Л2 )»'••»Рпм ~ 0*л1+. Ул|+.