ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2012 181
1
2
?
!
0,
?
!
0.
i
тест
i
тест
P P выключить выключить
P P выключить выключить
−
−
−
−
&
&
&
&
Докажем это, для процессов
1
1
тест
P P
&
:
(
)
1
1
1
11 12 13 14 15
(
)
! 1.! 1.?
.
(
(? 1.(? 1. ? 1. ) ? 1. )
(? 2.(? 1.(? 2. ? 2. ) ? 1. ) ? 2. )
? 3.(? 1. ? 1. ) ? 3.
(? 4.(? 1.(? 2.(? 3. ? 3. ) ? 2. ) ? 1. ) ? 4. )
)
! 1.?
. (?
тест
тест
P P
P P P P P P
m z выключить
m z G z D m D
m z z G z D z D m D
m z G z D m D
m z z z G z D z D z D m D
z выключить z
=
=
=
&
&
&
&
1. ? 1. ) ? 1. )
?
.
?
. !
.0
?
. !
.0
0.
G z D m D
выключить G
выключить выключить
выключить выключить
=
=
=
&
&
&
Недетерминированное проектирование.
Недетерминирован-
ность проектирования ИМИ состоит в том, что проектируется не-
сколько процессов для одного и того же ИМИ. Проектируемые про-
цессы ИМИ должны удовлетворять определенным критериям, кото-
рые, в таком случае, являются свойствами ИМИ. На заключительном
этапе проектирования следует выбрать тот процесс ИМИ, интеграль-
ная оценка совокупности свойств которого наилучшая. Для нахожде-
ния этой оценки необходимы детальная формулировка и выбор
свойств процессов ИМИ, последующая их проверка и агрегирование
результатов проверки для получения интегральной оценки. Недетер-
минированное проектирование процессов ИМИ на основе использо-
вания процедуры редукции требует наличия инструментальных про-
граммных средств, реализующих не только редукцию, но и проверку
свойств с вычислением интегральных оценок процессов для альтер-
нативных вариантов проекта. В настоящее время существует не-
сколько реализаций таких программных средств для моделирования
процессов [14, 15]. Однако эти реализации не позволяют вести неде-
терминированное проектирование ИМИ в указанном смысле альтер-
нативного выбора наилучших проектов. Альтернативой этим сред-
ствам является традиционное логическое программирование с при-
сущей ему недетерминированностью, которое может использоваться