Назначение и общие характеристики ПК автоматизированного структурно-логического моделирования сложных систем

ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ

Государственное образовательное учреждение высшего профессионального образования

Санкт-Петербургский Государственный университет

Аэрокосмического приборостроения

 

Кафедра прикладных информационных технологий в экономике и менеджменте

 

ИССЛЕДОВАНИЕ РИСКОВ

Раздел 1. Автоматизированное структурно-логическое

Моделирование рисков

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

 

 

Санкт-Петербург, 2007 г.

 

    С оставители: А. Н. Бабенков, Е. Д. Соложенцев.

 

 

       Методические указания содержат описание и порядок выполнения лабораторных работ по разделу 1. Автоматизированное структурно-логическое моделирование рисков

дисциплины "Исследование рисков" и предназначены для студентов, обучающихся по специальности 351400 "Прикладная информатика (в экономике)". Методические указания могут быть использованы в курсовом и дипломном проектировании.

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

 

 

Подписано в печать                                                                  Формат

Бумага офсетная                         Печать офсетная                    Усл. печ. л.

Тираж 300 экз                                                                                                    Заказ№

 

 

                                             Отдел оперативной полиграфии

                                                      ГОУВПО "СПбГУАП"

                                          190000, Санкт-Петербург, ул. Б.Морская, 67

 

Назначение и общие характеристики ПК автоматизированного структурно-логического моделирования сложных систем

Программный комплекс автоматизированного структурно-логического моделирования сложных систем ПК АСМ 2001.1 (далее по тексту «программный комплекс, ПК АСМ»)предназначен для логического и вероятностного анализа свойств надежности и риска функционирования систем большой размерности и высокой структурной сложности. Теоретической и методической основой программного комплекса является Общий Логико-Вероятностный Метод (ОЛВМ) и информационная технология Автоматизированного Структурно-логического Моделирования (АСМ) [1].

В программном комплексе предусматривается последовательное выполнение следующих четырех этапов:

1. Постановка задачи анализа системы, включающая подготовку и ввод в ПК АСМ:

· Структурной модели исследуемого свойства системы, представленной в виде Схемы Функциональной Целостности (СФЦ);

· Логического Критерия Функционирования (ЛКФ), определяющего режим работы системы и форму представления исследуемого свойства;

· Вероятностных параметров элементовисследуемой системы.

 

2. Автоматическое построение логическойФункции Работоспособности Системы (ФРС). Эта функция является детерминированной логической моделью исследуемого свойства надежности или риска функционирования исследуемой системы. В зависимости от вида исходной СФЦ и заданного ЛКФ, формируемая в ПК логическая ФРС представляет либо Кратчайшие Пути Успешного Функционирования (КПУФ), либо Минимальные Сечения Отказов (МСО) исследуемой системы, либо различные немонотонные комбинации КПУФ и МСО. При этом каждая ФРС точно и однозначно представляет то сложное случайное событие, вероятностные характеристики которого являются количественными показателями исследуемого свойства системы;

3. Автоматическое построение расчетной математической модели в форме многочлена Вероятностной Функции (ВФ) , на основе которого выполняются вычисления вероятностных показателей исследуемого свойства системы;

4. Автоматическое вычисление различныхвероятностных показателей исследуемого свойства системы (надежности или риска).