Недетерминированные автоматы в проектировании систем параллельной обработки. Вашкевич Н.П. - 86 стр.

UptoLike

ВУЗ: 

ПГУ | Пенза

Составители: 

Рубрика: 

86
Примечание. При построении временных схем формирования событий
временные интервалы, в течении которых действуют входные сигналы, обозначаются
буквами с индексами, а моменты времени поступления входных сигналов буквами без
индексов.
Выполняя формализацию словесного алгоритма с учетом (4.48) и
временных схем формирования событий (рис. 4.1), получим систему
)(A
p
,
представляющую заданные события
S
0
и
S
1
, которая имеет вид:
).1τ(&)τ(&)τ()τ(&)(τ&)(τ)τ(
)1δ(&δ)δ(&)(δ&)(δ)δ(&
&)τ()τ(&)(τ&(ττ)τ(
)ε()ε(&)(ε)ε(&)η()η(&
&)(η&)(η)η(&δ)δ(&)(δ&
&)(δ)δ(&)τ()τ(&)(τ&(ττ)τ()(
,τ)τ(&)(τ)(τ)τ()(
1171016,36
1114.22
14,114,22
1510141
5,35114,2
214,114,221
11700
1
1
1
11
1
1
1
1
0
)(
)(
)(
Sxxx
Sx
x
xS
x
xxtS
xxtS
t
t
t
t
t
t
t
t
y
t
t
y
e
ee
ee
e
eee
ee
e
(4.52)
Выполняя преобразование уравнения системы (4.52), определяющего
событие
S
1
, за счет введения сокращенного обозначения связных групп
предикатных выражений, получим систему рекурсивных предикатных
выражений, каждое из которых имеет одинаковую структуру,
соответствующую предикатному выражению (4.48) и состоящую из
упомянутых ранее 3-х частей. 
       Примечание. При построении временных схем формирования событий
временные интервалы, в течении которых действуют входные сигналы, обозначаются
буквами с индексами, а моменты времени поступления входных сигналов буквами без
индексов.

      Выполняя формализацию словесного алгоритма с учетом (4.48) и
временных схем формирования событий (рис. 4.1), получим систему (A) p ,
представляющую заданные события S 0 и S 1 , которая имеет вид:
       S 0y0 (t )  (τ)x0 (τ)  x7 (τ) & ( τ1 )e( τ1 ),
                     t                                1 t

       S1y1 (t )  (τ) x2 (ττ & e2,4 (τ) & ( τ1 )e1, 4 ( τ1 ) & (δ) x2 (δ) &
                     t                               1 t     t

       & e2, 4 (δ) & ( δ1 )e(δ1 ) & (η) x5 (η) & e3,5 (η) &
                           1 t              

       & ( η1 )e4 (η1 ) & ( ε ) S 0 (ε) & ( ε1 ) x5 (ε1 )                     (4.52)
           1                                     1 

        (τ) x2 (ττ & e2, 4 (τ) & ( τ1 )e1, 4 ( τ1 ) &
           t                              1 t

       & (δ) x2 (δ) & e2.4 (δ) & ( δ1 )e(δ1 ) & S1 (δ  1) 
                                         1  

        (τ) x6 (τ) & e3,6 (τ) & ( τ1 ) x0 ( τ1 ) & x7 ( τ1 ) & S1 ( τ  1).
           t                              1 t

       Выполняя преобразование уравнения системы (4.52), определяющего
событие S 1 , за счет введения сокращенного обозначения связных групп
предикатных выражений, получим систему рекурсивных предикатных
выражений, каждое из которых имеет одинаковую структуру,
соответствующую предикатному выражению (4.48) и состоящую из
упомянутых ранее 3-х частей.




                                                                                           86

Страницы