124667 (690107), страница 2
Текст из файла (страница 2)
До начала работы агрегатов ТО1/УК1, ТО2 и УК2, в ячейках а1- а8, а12 – а14 и а14 – а17 может быть записан один из символов:
0 - отсутствие детали,
α 1 - наличие детали.
Выполнение операции ТО1/УК1 отображается записью в ячейку а8 вместо символа α1 вписывается символ:
α 21 - годная деталь (если операция выполнена качественно),
α 20 - брак (если операция выполнена некачественно).
В результате работы ТО2 в ячейку а14 вместо символа α 1 вписывается символ:
α 31 - годная деталь (при качественной обработке),
α 30 - брак (при некачественной обработке).
Выполнение операции УК2 отображается записью в ячейку а17 вместо символа α1 вписывается символ:
α 31 - годная деталь (при качественной обработке),
α 30 - брак (при некачественной обработке).
Таким образом, в ячейки лент L1, L2, L3 могут быть вписаны символы из наборов:
а1 – а8, а12 – а14, а15 – а16:{0, α 1}
а9 – а11: {0, α 21, α 20}
а18 – а23: {0, α 20, α 30, α 31}
Согласно технологическому процессу и требованиям к процессу управления программа работы РКК и его агрегатов в каждом цикле определяется некоторыми условиями (наличие, вид детали, отсутствие двойного брака и т.д.). Необходимо формализовать указанные условия, записав их в виде логических функций φ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 составлены с помощью символьных переменных и констант, связанных знаками равенств и неравенств. Такое представление условий допустимо, если в составе СУ имеется универсальная ЭВМ. Применение для управления специальных контроллеров требует записи условий в виде функций логических переменных. Для этого случая состояние ячеек лент L1, L2 и L3 представим совокупностью двоичных переменных Yi1, Yi2, Yi3, (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 можно представить как функцию типа конституэнты единицы от переменных Yi1, Yi2, Yi3 (см. правую часть таблицы двоичных кодов).
Пользуясь правилами описания конституэнт единицы, заменим в выражениях φk каждое равенство конъюнкцией 
для набора, при котором данное равенство истинно, а каждое неравенство – отрицанием такой конъюнкции. Здесь «~» означает, что аргумент Yij берется с инверсией, если он в этом наборе равен 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
ТО1/УК1
У1
У2
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
