Методики структурно-логического моделирования сложных систем с сетевой структурой

• Автор: Можаева, Ирина Александровна
• Шифр специальности: 05.13.01
• Научная степень: Кандидатская
• Год защиты: 2015
• Место защиты: Санкт-Петербург
• Количество страниц: 170 с. : ил.

СОДЕРЖАНИЕ
ВВЕДЕНИЕ
Положения, выносимые на защиту
1 Анализ методов и программных средств структурно-логического моделирования сложных систем с сетевой структурой
1.1 Сравнительный анализ существующих методов и программных средств структурнологического моделирования сложных систем
1.1.1 Основные особенности сложных систем с сетевой структурой, как объектов детерминированного моделирования и расчета показателей
1.1.2 Общая характеристика существующих методов и технологий вероятностного моделирования устойчивости структурно-сложных систем
1.1.3 Возможности и ограничения метода деревьев отказов
1.1.4 Возможности и ограничения метода блок-схем работоспособности
1.1.5 Возможности и ограничения общего логико-вероятностного метода
1.1.6 Выводы по результатам сравнительного анализа
1.2 Постановка задачи структурно-логического моделирования сложных систем с сетевой структурой
1.3 Анализ возможных путей формализации и решения поставленной задачи структурнологического моделирования сложных систем с сетевой структурой
1.3.1 Задача разработки сетевого графоаналитического метода структурнологического моделирования последовательностей событий
1.3.2 Задача разработки методик структурно-логического моделирования и расчета показателей результативности сетевых танов и потоковых сетей
1.3.3 Задача разработки методики структурно-логического моделирования последствий изменений состояний системы
1.3.4 Практическая реализация разработанных методов и методик
Выводы по главе
2 Разработка сетевого графоаналитического метода структурно-логического моделирования последовательностей событий в моделях функционирования сложных
систем с сетевой структурой
2.1 Представление с помощью схем функциональной целостности и логических функций детерминированных моделей функционирования систем
2.1.1 Правша представления с помощью СФЦ графов систем с сетевой структурой..
2.1.2 Правша записи сетевых функций алгебры логики

2.2 Разработка основной процедуры СГМ для определения сетевых функций алгебры логики.
2.2.1 Основная процедура сетевого графоаналитического метода
2.2.2 Методика применения СГМ последовательностей событий
2.3 Алгоритм и программная реализация сетевого графоаналитического метода
последовательностей событий
Выводы по главе
3 Разработка методик структурно-логического моделирования сложных систем с сетевой структурой
3.1 Разработка методики структурно-логического моделирования и расчета показателей сетевых планов выполнения работ
3.1.1 Правіша представления сетевых графиков работ с помощью СФЦ
3.1.2 Построение аналитических моделей сетевых танов работ
3.1.3 Расчет показателей сетевых танов работ
3.2 Разработка методики структурно-логического моделирования и расчета показателей потоковых сетей
3.2.1 Моделирование и расчет максимального потока в сети
3.2.2 Моделирование и расчет рабочего потока в сети
3.3 Разработка методики структурно-логического моделирования последствий изменений состояний системы
3.3.1 Задание исходных данных для реализации методики СЛМИСС
3.3.2 Разработка основных этапов методики СЛМИСС с помощью численного решения систем логических уравнений
3.4 Разработка правил учета последствий изменений состояний в аналитических моделях и системных показателях
3.5 Разработка алгоритма и программной реализации методики СЛМ ИСС
Выводы по главе
4 Программные средства, особенности проектирования, реализации и верификации структурно-логического моделирования сложных систем с сетевой структурой
4.1 Общие сведения о программных разработках
4.2 История разработки комплекса
4.3 Программное средство "ПК АСМ ЛВДМ"
4.3.1 Назначение программного комплекса "ПК АСМ ЛВДМ"
4.3.2 Основные этапы работы программного комплекса
4.4 Реализация "ПК АСМ ЛВДМ"
4.4.1 Графический интерфейс "ПК АСМ ЛВДМ"
4.4.2 Структуры данных в "ПК АСМ ЛВДМ"
4.4.3 Основные окна "ПК АСМ ЛВДМ"
4.4.4 Основные результаты моделирования и расчетов детерминированных показателей результативности сложных систем
4.4.5 Основные результаты моделирования и расчетов вероятностных показателей устойчивости систем
4.5 Примеры использования программного комплекса "ПК АСМ ЛВДМ"
4.5.1 Использование "ПК АСМ ЛВДМ" для расчета сетевых планов работ
4.5.2 Использование "ПК АСМ ЛВДМ" для учета последствий изменений состояний системы
4.5.3 Использование "ПК АСМ ЛВДМ" для совместного вероятностного и детерминированного анализа систем
ЗАКЛЮЧЕНИЕ
ЛИТЕРАТУРА
ПРИЛОЖЕНИЕ
ПРИЛОЖЕНИЕ
ПРИЛОЖЕНИЕ

Эта СФЦ эквивалентна исходной функциональной схеме электрической сети, приведенной на рисунке 1.2, и блок-схеме, изображенной на рисунке 1.4. В СФЦ на рисунке 1.5 с помощью функциональных вершин (кружки большой величины с номерами / = 12, 13, ..., 67) представлены прямые исходы бинарных событий Л",-безотказной работы соответствующих элементов I электрической сети (см. рисунки 1.1 и 1.2). Запись "0.7" около каждой функциональной вершины определяет заданную в примере вероятность каждого из элементарных событий (1.2).
С помощью направленных ребер (дуг), исходящих из вершин СФЦ, представляются логические условия работы и взаимодействия элементов в системе.
Исходящие из вершины / СФЦ ребра могут быть двух видов:
— прямой выход 0—— представляет все логические условия у/ реализации
выходной системной функции элементом /;
- обратный (инверсный) выход - представляет все логические
условия у"; не реализации элементом / выходной системной функции.
Заходящие в вершины СФЦ ребра (дуги) со стрелками представляют условия резервированного (дизъюнктивного) обеспечения (у; V уу- V ...), а ребра с точками
(У/ а уу л...) - не резервированного (совместного, конъюнктивного) обеспечения
работы соответствующих элементов, подсистем и исследуемой системы в целом.
Так в СФЦ на рисунке 1.5 три заходящие в фиктивную вершину 7 (сток) дизъюнктивные дуги представляют заданный вариант логического критерия функционирования электрической сети
= У7 — У47 М У$7 у У67 • (1-13)
СФЦ работоспособности на рисунке 1.5 практически совпадает с исходной функциональной схемой системы (см. рисунок 1.2) и блок-схемой работоспособности (см. рисунок 1.4). Поэтому трудоемкость ОЛВМ построения прямых СФЦ не превышает трудоемкости построения блок-схем работоспособности исследуемых системных объектов.