Автоматизация проектирования человеко-машинных систем на основе метода последовательной оптимизации

• Автор: Тудэвдагва Уранчимэг
• Шифр специальности: 05.13.17
• Научная степень: Кандидатская
• Год защиты: 2003
• Место защиты: Новосибирск
• Количество страниц: 177 с. : ил.

ОГЛАВЛЕНИЕ

Перечень сокращений

Введение

Глава I. Постановка и обоснование задач исследования

1.1. Сравнительный анализ моделей процессов функционирования при

проектировании ЧМС

1.2. Основы функциональноструктурной теории ЧМС

1.2.1. Формализация данных на основе обобщенного структурного метода

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

1 Л. Задачи оптимизации на базе вероятностных и нечетких показателей

эффективности, качества и надежности

1.4. Способы формирования множества альтернатив
1.4.1. Формализованное описание вариантов выполнения процесса
функционирования ЧМС
1.4.2. Структурные и объектноориентированные стратегии построения
альтернативного графа
1.5. Метод последовательной оптимизации ЧМС
1.5.1. Свойства вероятностных и нечетких показателей функционирования
1.5.2. Метод направленного перебора
1.6. Выводы и заключение по первой главе
Глава 2. Модели и алгоритмы последовательной оптимизации
2.1. Способ задания условных назначений элементов ЧМС на
выполняемые функции
2.2. Алгоритмы последовательной оптимизации с проверкой необходимых
условий допустимости частичных решений
2.3. Алгоритмы приближенного решения
2.4. Результаты второй главы
Глава 3. Программное обеспечение оптимального проектирования
ЧМС и примеры решенных задач
3.1. Программные средства поддержки проектирования ЧМС
3.1.1. Общее описание гибридной экспертной системы проектирования
ЧМС ИНТЕЛЛЕКТ
3.1.2. Подсистемы определения множества альтернатив и решения задач
оптимизации
3.2. Проектирование компьютерной сети института Энергетики
Монгольского государственного университета науки и технологий
3.2.1. Общая характеристика сети института Энергетики
3.2.2. Выбор способа обслуживания и ликвидации отказов компьютеров в
терминальных классах
3.3. Результаты третьей главы ИЗ
Заключение
Список литературы


Процесс обеспечения - совокупность операций, которые необходимо выполнить в соответствии со сформулированным в процессе управления планом обеспечения, или совокупность операций, в результате реализации которых может восстанавливаться устойчивость основного процесса, который может прерываться вследствие отказов элементов или расходования ресурсов, необходимых для реализации основного процесса и процесса управления. Выбор уровня языка описания ПФ должен соответствовать семантическому уровню моделируемых процессов. Язык модели должен быть доступен как человеку, так и ЭВМ, т. ЭВМ. Алфавит языка описания процесса функционирования должен быть минимально необходимым, но обеспечивать все специфические особенности составляющих ПФ. Модель должна сочетать в себе свойства описательности и оцениваемости процесса функционирования. Несмотря на широкий арсенал указанных выше математических моделей, почти все они не удовлетворяют совокупности перечисленных требований, что следует из нижеприведенного сравнительного анализа методов моделирования процессов функционирования [1-3]. Алгоритмические системы предназначены, в первую очередь, для количественной оценки процесса функционирования, но для отражения логики структуры ПФ данные модели практически не пригодны. Языковые формальные системы позволяют хорошо описывать процесс функционирования, но не имеют аналитических средств для его количественной оценки. Языково-алгебраические • модели в отличие от приведенных выше алгебраических и языковых систем обладают хорошим сочетанием свойств описателыюсти и оцениваемости процессов функционирования. Остановимся на них более подробно. В настоящее время достаточно широкое применение завоевал вероятностно-алгоритмический метод описания процессов функционирования ЧМС А. П. Ротштейна, а также его распространение на случай нечетких исходных данных [-]. ЧМС по сравнению с сетевыми методами, а также другими моделями ПФ [1, 4]. Они являются продолжением и развитием формального языка обобщенного структурного метода [2]. ТФС определяются показатели эффективности, качества и надежности процесса функционирования в целом с использованием данных по отдельным ТФЕ. ЧМС с учетом присущих человеку и технике специфических свойств. Функциональные сети широко используют известные формализмы в виде алгоритмов, сетей, полу марковских процессов, семантических сетей и предикатов. Ф * < SntO, SemO, AksO >, где SntO = < SntOE, SntOC > - синтаксис различных фрагментов деятельности (функциональных единиц и структур); SemO = < SemOE, SemOC > - семантика фрагментов деятельности; AksO = < AksOE, AksOC > - аксиология (оценка) фрагментов деятельности. Из вышеприведенных выражений следует, что ФС являются функциональносемантическими сетями и, кроме того, позволяют получить количественную оценку. Петри, предназначенными для описания параллельных процессов, в функционально-структурной теории разработан более широкий набор средств, реализующий возможности описания процессов, в которых расрараллеливанис начинается по логическому “И”, а окончание процессов по “ИЛИ включающее’*, т. Функциональные сети и ОСМ, в отличие от других сетевых методов, специально предназначены для количественной оценки вероятностно-временных (вероятность безошибочного и бездефектного выполнения алгоритма функционирования, среднего времени выполнения) и ресурсно-стоимостных (стоимость выполнения или доход от выполнения алгоритма функционирования) показателей процесса функционирования сложных систем с учетом участия в них человека. Типовые функциональные структуры являются моделями наиболее часто встречающихся структур в процессе функционирования, что позволяет использовать их в качестве набора базисных моделей, из которых строится описание ПФ ЧМС в целом. В работах [2, 4] развивается новый подход к моделированию и оценке дискретных процессов функционирования ЧМС на основе ФС. ПРОЛОГ-программ). ФСС объединяет как процедурную компоненту (в виде функциональной сети), так и декларативную (в виде семантической сети). Таким образом, аппарат ФСС является одним из наиболее мощных и универсальных средств моделирования для широкого класса ЧМС (табл.