3.3 Условия функционирования ркк и его агрегатов

Следящая модель для данного РКК состоит из линейных последовательностей (лентL₁-L₃) ячеек памяти a_j ,соответствующих конвейерам К₁-К₃ (рис.21).

В ячейках а₁-а₄ может быть записан один из символов:

0 - отсутствие детали, α₁- наличие детали.

Выполнение операции ТО₁/УК₁ отображается записью в ячейку а₄ вместо символа α₁ одного из символов: α₂₁ - если операция выполнена качественно, α₂₀ - если операция выполнена некачественно. Аналогично, в результате работы ТО₂/УК₂ в ячейку а₁₀ вместо символа α₂₁вписывается символ: α₃₁–при качественной обработке,α₃₀-при некачественной обработке. Таким образом, в ячейки ленты L₁ могут быть вписаны символы из наборов :

а₁-а₄ : {0, α₁} ;

а₅-а₁₀ : {0, α₂₁, α₂₀} ;

а₁₁-а₁₅ : {0, α₂₀, α₃₁, α₃₀}.

Согласно технологическому процессу и требованиям к процессу управления (см. пп. 2.1, 2.3, 3.1) программа работы РКК и его агрегатов в каждом цикле определяется некоторыми условиями (наличие, вид детали, отсутствие двойного брака и т.д.). Формализуем указанные условия, записав их в виде логических функций _k, правая часть которых содержит утверждения о наличии определенных символов в ячейках СМ. При истинности _k условие выполняется и реализуются соответствующие действия в РКК, а при ложности _k (невыполнении условия) эти действия не производятся. Анализ значений _k осуществляет ЛБ перед началом каждого цикла РКК.

Результаты формализации условий приведены в табл.1.

Таблица 1

Условия работы РКК и его агрегатов

Агрегат	Выражение функции	Условие при k =1	Программа работы
ТО1/УК1	1 =(а4= α1)	Наличие детали в Я4	Выполнение операции
ТО2/УК2	2 =(а10= α21)	Годная деталь в Я10	Выполнение операции
М	3 =(а15= α31) 4 =(а15 α31)(а150) 5 =(а15= 0)	Годная деталь в Я15 Брак в Я15 Я15 пустая	Загрузка К2 Загрузка К3 Пропуск цикла
К2	6 =(а160)	Я16 загружена	Перемеще­ние на один шаг
К3	7 =(а190)	Я19 загружена	Перемеще­ние на один шаг
РКК	8 =(а5 α20)+(а6 α20)	Отсутствие брака ТО1 в двух предыдущих циклах подряд	Продолже­ние работы РКК
РКК	9 =(а11 α30)+(а12 α30)	Отсутствие брака ТО2 в двух предыдущих циклах подряд	Продолже­ние работы РКК

Выражения _k составлены с помощью символьных переменных и констант, связанных знаками равенств и неравенств. Такое представление условий допустимо, если в составе СУ имеется универсальная ЭВМ. Применение для управления специальных контроллеров требует записи условий в виде функций логических переменных. Для этого случая состояние ячеек ленты L₁ представим совокупностью двоичных переменных у_i1, y_i2, y_j3,(i=1,15) и закодируем значениями указанных переменных согласно табл. 2.

Таблица 2 Двоичные коды состояния ячеек СМ

Состояние ячейки а;	Двоичный код			аi= 0	аi= 1	аi= 21	• • •
	Уi1	Уi2	Уi3
аi= 0	0	0	0	1	0	0
аi= 1	1	0	0	0	1	0
аi= 21	0	1	0	0	0	1	• • •
аi= 20	0	0	1	0	0	0
аi= 31	1	1	0	0	0	0
аi= 30	1	1	1	0	0	0

Каждое из равенств в правой части _k можно представить как функцию типа конституэнты 1 (см. правую часть табл. 2).

Пользуясь правилами описания конституэнт 1 (см. п. 1.1), заменим в

выражениях _k каждое равенство конъюнкцией для набора, при которомданное равенство истинно, а каждое неравенство - отрицанием такой конъюнкции. Здесь " " означает, что аргумент У_ij берется с инверсией, если он в этом наборе равен 0, и без инверсии, если аргумент равен 1. Например, вместо (а₄=₁) записываем конъюнкцию . Вместо неравенства запишем выражение , которое по правилу де Моргана (см. п. 1.1) преобразуется в дизъюнкцию_. Тогда формулы табл.1 принимают вид:

ТО₁/УК₁ : ;

ТО₂/УК₂ : ;

М:

К₂: ;

К₃: ;

РКК: ;

РКК: ;

Каждый цикл работы РКК начинается только из исходного положения всех механизмов, т.е. при единичном значении функции

ТО₁/УК₁ ТО₂/УК₂ М У₁ У₂ К₁ К₂ К₃

ЛБ вычисляет значения ₁-₁₀ и определяет программы работы всех агрегатов в каждом цикле. После отработки этих программ и перемещения конвейеров ЛБ вносит коррективы в СМ. Далее все операции в системе управления повторяются.