Входы КА - факторы (параметры ) независимого внешнего воздействия), характеризуются их состоянием.

(х)(х.) = (х)*(х.) – функция «И» (конъюнкция)

(х) Ú (х.) – функция «ИЛИ» (дизъюнкция)

(` х) – функция «НЕ» (отрицание)

    - сумма по модулю два (исключающее ИЛИ, логическая неравнозначность

Описание промежуточных состояний КА

ПРОМЕЖУТОЧНЫЕ (ВНУТРЕННИЕ)

 СОСТОЯНИЯ КА ХАРАКТЕРИЗУЮТСЯ

У1- Ткв (РКС ТК) (транспортер включен),

У2- Тко (РКС ТК) (транспортер отключен)

У3- Шо (шибер открыт),

У4- Шз (шибер закрыт)

Рассматривается детерминированная задача, где переходы состояний определяются последовательностью технологических переключений (технологическими циклами).

Последовательность включения под загрузку.

Первичное исходное состояние системы Z 2 – система в режиме «загрузка Б не выполняется»

При достижении нижнего уровня в приемном бункере (х1) и наличии материала в расходном бункере А (` х3) включается (у1) транспортер ТК при условии отсутствия материала на нем (х6х8), система переключается в состояние Z 1 – система в режиме выполнения загрузки Б

После включения транспортера открывается шибер выгрузки из А материала на транспортер.(у3)

Выгрузка на транспортер продолжается до достижения в приемном бункера максимального уровня (х2), после чего закрывается шибер (у4)

После закрытия шибера отключается транспортер (у2), что соответствует состоянию системы Z 2 – система в режиме загрузки Б на выполняется.

При достижении нижнего уровня в приемном бункере (х1) цикл повторяется.

ВЫХОД КА

Z 1 – система в состоянии режима выполнение загрузки Б; Z 2 – система в состоянии режима загрузка Б не выполняется

Таким образом, проектируем конечный автомат на четыре комбинированных входа Х { (х1+х2) (х3+х4) (х5+х6) (х7+х8)}, каждый из которых имеет два состояния, один общий выход (Z) на два состояния, при четырех промежуточных выходах (У), каждый из которых имеет два состояния.

Описание функций переходов

Функции переходов могут быть заданы в «Табличной форме», «Булевыми функциями», «Графически».

Зададим функции переходов Булевыми функциями

Y = Z = x 1 x 2 x 3 x 4х5х6х7х8х1у2у3у4у

(это функция Y - выхода)

j = х1х2х3х4х5х6х7х8 (это функция j - входа)

Далее генерируем автомат для слова

a = x 1 x 2 x 3 x 4х5х6х7х8х1у2у3у4у

Первый технологический цикл (включение транспортера)

 Для реализации первого технологического цикла КА должен находится (должен быть осуществлен переход) в состоянии:   

у1= (min Б (х1)+ НЕ max Б (` х2)+МТ1о (х6)+МТ2о(х8)+

+ТК НЕ ОТКЛЮЧЕН) (` у2)

Это состояние при котором транспортер включен но материал еще не подается: у1 = (х1)(` х2) (х6) (х8) (` у2)

Второй технологический цикл – (открытие шиберной заслонки переход в состояние у3

у3 = Ткв(у1) + НЕ min А (` х3)

Это состояние при котором транспортер ранее был включен и материал поступает на транспортер по условию

у3=(у1)(` х3)(` х2) до наступления максимума в бункере Б (х2)

Третий технологический цикл – закрытие шиберной заслонки (у4)

По условию наступления максимума (х2) шиберная заслонка закрывается    у4 = (х2)(` х1)

Четвертый технологический цикл – отключение транспортера по условиям

закрытой шиберной заслонки (у4) и отсутствия материала на транспортере у2= х6х8у4

Пятый контрольный цикл исходного состояния транспортной системы

(контрольный такт Z 2 – система отключена от загрузки

Z 2 = (` х1)*(х2)*(х3)*(х4) (х6)*(х8)*(` х5)*(` х6)(у4)(у2)

у1 = (х1)(` х2) (х6) (х8) (` у2) =(х1)(` х2)(х6) (х8) ` [ (х6х8(х2)(` х1))]

 у2= х6х8у4 = х6х8(х2)(` х1)

у3=(у1)(` х3)(` х2) = (у1)(` х3) ` ([х6х8(х2)(` х1)])

у4 = (х2)(` х1)

 

В технологических циклах в зависимости от построенной структуры, будет разное количество тактов

Описание автомата в табличной форме

Задание автомата таблицей

Кодирование состояния автомата

Вход x Є X