184
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2012
clauses
transition(t0, m1, t11).
transition(t0, notm1, t16).
transition(t16, cont, t17).
transition(t11, z1, t12).
transition(t12, turnoff, t13).
transition(t11, notz1, t14).
transition(t14, cont, t15).
transition(t0, m2, t21).
transition(t21, z1, t22).
transition(t22, z2, t23).
transition(t22, notz2, t25).
transition(t25, cont, t26).
transition(t25, cont, t26).
transition(t0, notm2, t28).
transition(t28, cont, t29).
transition(t23, turnoff, t24).
transition(t21, notz1, t27).
transition(t27, cont, t28).
accessible(S1, [X], S2) :- transition(S1, X, S2).
accessible(S1, [X|Rest], S2) :- transition(S1, X, S3),
accessible(S3, Rest, S2).
member(Name, [Name|_]).
member(Name, [_|Tail]):-member(Name,Tail).
goal
accessible(t0, X, t13), nl.
В
результате
работы
этой
программы
получим
X
=["
m
1","
z
1","
turnoff
"],
что означает следующее: единственная нить
1. 1.
m z turnoff
ведет из состояния
t
0
в состояние
t
13.
Аналогично с
помощью языка «Пролог» могут быть проверены и другие более
сложные свойства.
Заключение.
В статье рассмотрен методологический подход к
недетерминированному проектированию ИМИ на основе процессно-
ориентированного описания проектов, использования модальной ло-
гики для описания свойств процессов и логического программирова-
ния как средства выбора из множества альтернативных процессов
одного процесса, удовлетворяющего требуемым свойствам.
СПИСОК ЛИТЕРАТУРЫ
1.
Гениатулина Е.В., Гриф М.Г. Методы генерации множества альтер-
натив в задачах оптимизации человеко-машинных систем // Научный вест-
ник Новосибирского государственного технического университета. 2010.
№ 4. — С. 41—50.