Сформулировать условия функционирования оборудования РКК

 

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

До начала работы агрегатов ТО₁/УК₁, ТО₂ и УК₂, в ячейках а₁- а₈, а₁₂ – а₁₄ и а₁₄ – а₁₇ может быть записан один из символов:

0 - отсутствие детали,

α ₁ - наличие детали.

Выполнение операции ТО₁/УК₁ отображается записью в ячейку а₈ вместо символа α₁ вписывается символ:

α ₂₁ - годная деталь (если операция выполнена качественно),

α ₂₀ - брак (если операция выполнена некачественно).

В результате работы ТО₂ в ячейку а₁₄ вместо символа α ₁ вписывается символ:

α ₃₁ - годная деталь (при качественной обработке),

α ₃₀ - брак (при некачественной обработке).

Выполнение операции УК₂ отображается записью в ячейку а₁₇ вместо символа α₁ вписывается символ:

α ₃₁ - годная деталь (при качественной обработке),

α ₃₀ - брак (при некачественной обработке).

Таким образом, в ячейки лент L₁, L₂, L₃ могут быть вписаны символы из наборов:

а₁ – а₈, а₁₂ – а₁₄, а₁₅ – а₁₆:{0, α ₁}

а₉ – а₁₁:  {0, α ₂₁, α ₂₀}

а₁₈ – а₂₃:          {0, α ₂₀, α ₃₀, α ₃₁}

 

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

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

 

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

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

 

Выражения φ_k составлены с помощью символьных переменных и констант, связанных знаками равенств и неравенств. Такое представление условий допустимо, если в составе СУ имеется универсальная ЭВМ. Применение для управления специальных контроллеров требует записи условий в виде функций логических переменных. Для этого случая состояние ячеек лент L₁, L₂ и L₃ представим совокупностью двоичных переменных Y_i1, Y_i2, Y_i3, (i= ) и закодируем значениями указанных переменных:

 

Двоичные коды состояния ячеек СМ:

Состояние ячейки аi	Двоичный код			аi = 0	аi = α 1	аi = α 21	аi = α 20	аi = α 31	аi = α 30
	Yi1	Yi2	Yi3
аi = 0	0	0	0	1	0	0	0	0	0
аi = α 1	1	0	0	0	1	0	0	0	0
аi = α 21	0	1	0	0	0	1	0	0	0
аi = α 20	0	0	1	0	0	0	1	0	0
аi = α 31	1	1	0	0	0	0	0	1	0
аi = α 30	1	1	1	0	0	0	0	0	1

 

Каждое из равенств в правой части φ_k можно представить как функцию типа конституэнты единицы от переменных Y_i1, Y_i2, Y_i3 (см. правую часть таблицы двоичных кодов).

Пользуясь правилами описания конституэнт единицы, заменим в выражениях φ_k каждое равенство конъюнкцией для набора, при котором данное равенство истинно, а каждое неравенство – отрицанием такой конъюнкции. Здесь «~» означает, что аргумент Y_ij берется с инверсией, если он в этом наборе равен 0, и без инверсии, если аргумент равен 1.

 

Тогда формулы условий работы РКК примут вид:

ТО1/УК1	φ1 = (а8 = α 21)	φ1 =
ТО2	φ2 = (а14 = α 1)	φ2 =
УК2	φ3 = (а17 = α 31)	φ3 =
М1	φ4 = (а4 ≠ 0)	φ4 =
	φ5 = (а4 = 0)	φ5 =
М2	φ6 = (а11 = α 21)	φ6 =
	φ7 = (а11 ≠ α 21) · (а11 ≠ 0)	φ7 =  = =
	φ8 = (а11 = 0)	φ8 =
К2	φ9 = (а5 ≠ 0)	φ9 =
К3	φ10 = (а12 ≠ 0)	φ10 =
РКК	φ11 = (а9 ≠ α 20) + (а10 ≠ α 20)	φ11 =
РКК	φ12 = (а18 ≠ α 30) + (а19 ≠ α 30)	φ12 =

 

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

Это требование следует описать отдельной функцией (при её единичном значении будет начинаться новый цикл):

.

			М1, М2

 

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