ФОРМАЛІЗАЦІЯ ПРОЦЕСІВ УПРАВЛІННЯ
Основою для прийняття рішень з управління є інформація про хід протікання виробничого процесу. Великий потік інформації, що надходить вимагає логічного аналізу для виявлення основних факторів і параметрів, які найбільшою мірою впливають на об'єкт управління.
Для розробки відповідної інформаційної системи необхідно створити алгоритм функціонування об'єкта управління, тобто задати сувору і чітку послідовність дій, виконання яких приведе до бажаного результату. Для розробки алгоритму в першу чергу необхідно формалізувати процес управління.
Формалізувати процес управління - це значить представити його у вигляді послідовності найпростіших умов і дій. Елементарне умова передбачає тільки дві відповіді: «так» або «ні». Для зручності запису слово «так» позначається як 1 (істина), а «ні» - 0 (брехня).
Величини, які можуть приймати тільки два значення, називаються логічними величинами. Наприклад, якщо на складі є три поста навантаження-розвантаження, які обслуговують два навантажувача, то для виконання вантажно-розвантажувальних робіт необхідно певне поєднання умов: наявність на посту ПС і вільного навантажувача. При невеликому числі параметрів відповідні умови можна визначити за допомогою автоматної таблиці (табл. 1.1).
Таблиця 1.1
Фрагмент автоматної таблиці
Входи (параметри) |
виходи (Управління) |
|||||
А |
В |
З |
D |
Е |
Р |
5 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
1 |
1 |
0 |
1 |
0 |
У табл. 1.1 входи характеризують стану елементів складу: А, В і С - наявність на вантажно-розвантажувальному посту рухомого складу (ПС), що вимагає навантаження або розвантаження; D і Е - наявність вільного навантажувача. Вихідні параметри формують сигнал про необхідність тих чи інших дій, що управляють: Р - можливість виконання навантаження або розвантаження; S - неможливість навантаження або розвантаження.
Після заповнення автоматної таблиці технічна реалізація системи управління може бути виконана шляхом переходу до аналітичного вираженню логічної функції та її мінімізації за допомогою булевої алгебри.