11
6.2.4. Завершающий этап постановки задачи выполня ет Испол ни тель. Он осуществляет
формализацию исх одных данных и подготовку их к вводу в ПК АСМ. В том случае, если
структурные сх емы АСУТ П представлены Заказчиком не непосредственно в форме СФЦ ,
то Исполнитель преобраз ует их в гр афы ),(
XG схем функциональной целостности и
согласует с Заказчиком. Для каждой выходной функции из множества
и авар ийной
ситуации из множества AC формулируются соответствующие логические критерии
функционирования })y({Y
iF
и })y({Y
iAC
.
Изобразительные средства и методика построения СФЦ изложены в Приложени и 1.
Пример ы фо рмализованной постановки задачи автоматизированного структурно-
логического моделирования фрагментов АСУТ П при ведены в Приложении 4.
6.2.5. Работы по первому этапу постановки задачи автом атизированн ого модел ирования и
расчетов могу т выполня ть ся Заказчиком, Исполнителем или сов местно.
6.3. Содержание и организация выполнен ия второго этапа
автоматизированного моделирования и расчетов
6.3.1. Подготовленные на первом этап е форм ализованные исходные да нные (СФЦ, ЛКФ и
параметры элементов) для каждой выходной функции
и задан ной аварийной ситуац ии
AC Исполни тель вводит в ПК АСМ. В Приложении 2 описан состав модулей типового
программного комплекса а втом атизированн ого структур но-логического м оделир ования
надежности и безопасности АСУТ П.
6.3.2. На основе введенного в ПК АСМ гр афа ),(
XG СФЦ проектируемой АСУТ П для
каждого заданного ЛКФ })({
iF
yY , })({
iAC
yY осуществляется автом ати ческое построение
логических фу нкций работоспособности })({
iF
xY и })({
iAC
xY . Автоматическое построение
ФРС осуществляется в ПК АСМ универсальным пр огр аммным модулем логического
моделирования. Он позволяет получать все возможные виды логических ФРС, наприм ер,
кратчайшие пути успешного функционирования, минимальные сечени я отказов,
минимальные пропускные и отсечные сочетания, а также их немонотонные комбинации.
6.3.3. Полученные логические ФРС })({
iF
xY и })({
iAC
xY с пом ощью пр огр аммных
комплексах аналитического моделирования автом атически преобраз уются в
соответствующие многочлены расчетных вероятностных функции }),,({ tqpP
iiF
и
}),,({ tqpP
iiAC
. Многочлены ВФ являются аналитическими законами распределения
времени безотказной работы, которые соответствуют СФЦ и заданны м логическим
критериям ф ункционирования АСУТ П.