Метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління
Розглядається програмно-апаратний підхід для спрощення управління технічними системами з великою кількістю однотипних
 компонентів і некритичними за часом характеристиками. Пропонується метод, який базується на використанні для управління
 звичайних персональних комп’ютерів та принци...
Gespeichert in:
| Datum: | 2006 |
|---|---|
| Hauptverfasser: | , , |
| Format: | Artikel |
| Sprache: | Ukrainisch |
| Veröffentlicht: |
Інститут програмних систем НАН України
2006
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/1529 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління / С.Ф. Теленик, Т.В. Безносікова, О.В. Ільченко // Проблеми програмування. — 2006. — N 2-3. — С. 369-376. — Бібліогр.: 9 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1860103443605094400 |
|---|---|
| author | Теленик, С.Ф. Безносікова, Т.В. Ільченко, О.В. |
| author_facet | Теленик, С.Ф. Безносікова, Т.В. Ільченко, О.В. |
| citation_txt | Метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління / С.Ф. Теленик, Т.В. Безносікова, О.В. Ільченко // Проблеми програмування. — 2006. — N 2-3. — С. 369-376. — Бібліогр.: 9 назв. — укр. |
| collection | DSpace DC |
| description | Розглядається програмно-апаратний підхід для спрощення управління технічними системами з великою кількістю однотипних
компонентів і некритичними за часом характеристиками. Пропонується метод, який базується на використанні для управління
звичайних персональних комп’ютерів та принципу регулювання по відхиленню, покладеного на формальну мову і механізми
виведення клаузальної логіки. Застосування методу продемонстровано на прикладі систем управління теплицею.
The hybrid software hardware approach is considered for simplifying control of technical systems with big number of components of similar
type and non-critical time requests. A method is proposed based on using ordinary personal computers and control on deviation using formal
language and logical mechanisms of inference by resolution for the clausal logic forms. Application of the method is demonstrated on the
example of hothouse control system with a fieldbus and a personal computer as a control center.
|
| first_indexed | 2025-12-07T17:30:14Z |
| format | Article |
| fulltext |
Формальні методи програмування
© М.М. Глибовець, Д.К. Гломозда, 2006
369 ISSN 1727-4907. Проблеми прграмування. 2006. № 2-3. Спеціальний випуск
УДК 681.3
МЕТОД МАТРИЧНОЇ РЕЗОЛЮЦІЇ В АСПЕКТІ ПРОГРАМНО-
АПАРАТНОЇ РЕАЛІЗАЦІЇ АВТОМАТИЗАЦІЇ УПРАВЛІННЯ
С.Ф. Теленик, Т.В. Безносікова, О.В. Ільченко
Національний технічний університет України „Київський політехнічний інститут”, 03056, пр. Перемоги 37,
корп. 18, к. 308, 8 (044) 241 7039
BeznosikovaT@ukr.net
Розглядається програмно-апаратний підхід для спрощення управління технічними системами з великою кількістю однотипних
компонентів і некритичними за часом характеристиками. Пропонується метод, який базується на використанні для управління
звичайних персональних комп’ютерів та принципу регулювання по відхиленню, покладеного на формальну мову і механізми
виведення клаузальної логіки. Застосування методу продемонстровано на прикладі систем управління теплицею.
The hybrid software hardware approach is considered for simplifying control of technical systems with big number of components of similar
type and non-critical time requests. A method is proposed based on using ordinary personal computers and control on deviation using formal
language and logical mechanisms of inference by resolution for the clausal logic forms. Application of the method is demonstrated on the
example of hothouse control system with a fieldbus and a personal computer as a control center.
Вступ
Розвиток програмно-апаратних засобів обчислень, управління і передачі даних створив умови для
побудови систем управління з найкращим співвідношенням ціна-якість. Теплиці є лише одними із складових
такого класу об’єктів управління, для яких характерна велика кількість однотипних компонентів, а часові
характеристики не є критичними, тобто постійний контроль не вимагається, причому цикл управління складає
6 - 10 хвилин. Для таких об’єктів управління економічно вигіднішим і технічно доцільнішим є застосування
простих PC-подібних систем для регулювання по відхиленню на основі перевірки відповідності прогнозованого
управління.
В статті пропонується підхід, що базується на використанні для управління звичайних персональних
комп’ютерів та принципу регулювання по відхиленню, покладеного на формальну мову і механізми виведення
клаузальної логіки [1]. Розробка продемонстрована на прикладі систем управління мікрокліматом в теплиці,
актуальність якої зумовлена не тільки збільшенням кількості урожаїв на рік, але й покращенням смакових
якостей культур, збільшенням продуктивності, спрощенням боротьби з хворобами та комахами.
Постановка проблеми
Всі існуючі системи управління мікрокліматом в теплицях можна розділити на аналогові та цифрові. Для
оцінки таких систем використовуються такі основні відмінності:
− керуючі пристрої та методи управління;
− пристрої зв’язку з об’єктом (датчики, пристрої передачі інформації і т.п.);
− функціональність;
− доступність даних про об’єкт;
− економічна ефективність.
Зокрема, аналогові системи, які можна віднести до старших поколінь, відрізняються простотою побудови
та економічністю, проте вони не досить ефективні для різних кліматичних поясів, а також не дозволяють
збирати та обробляти інформацію в зручній для користувача формі.
При розгляді систем нових поколінь, а вони сьогодні заявили про себе досить вагомо, відзначимо основні
особливості їх побудови. Програмно-апаратну основу їх реалізації складають вільно програмовані контролери
та SCADA-системи різних рівнів потужності. Такі розробки систем управління вимагають значних
капіталовкладень, хоча і мають багато переваг, насамперед високу швидкодію, багатофункціональність,
ефективність роботи. Для багатьох систем такі витрати виправдані, особливо це стосується високоточних
систем для металообробки, вирощування кристалів, теплозабезпечення тощо. Проте при управлінні теплицею,
коли об’єкт не вимагає постійного контролю, собівартість продукції стає досить високою. Виникає проблема
спрощення елементної бази системи за умови збереження її багатофункціональності. Щоб уникнути
використання промислових контролерів, можна використовувати для управління звичайний персональний
комп’ютер та принцип регулювання по відхиленню, покладений на клаузальну логіку.
При заявленому управлінні виникає питання стійкості такої системи керування та оцінка її показників
якості. Проаналізуємо поведінку даного об’єкта управління.
Всім відомо, що мікроклімат в теплиці (парнику) змінюється залежно від зовнішнього мікроклімату.
І, звичайно, основним чинником є температура зовнішнього повітря. За літніх умов без аномалій в природі
Формальні методи програмування
370
температура змінюється плавно і відповідає вимогам щодо її показників в теплиці. На рис. 1 наведено такий
приклад для теплої пори року в нашій країні. Проте зимовий період визначається різким зниженням
(підвищенням) температури протягом дня.
Рис. 1
Аналізуючи характеристики поведінки температури, можна впевнено сказати, що висока точність
керування в даній системі не потрібна і період вимірювань може визначатись не мілісекундами, а хвилинами.
Для побудови процедури прийняття рішень визначимо множини вхідних та вихідних величин ( YX , ), а
також множину сталих величин ( Ψ ). Представлений до розгляду об’єкт описується наступними вхідними
змінними в часі величинами (множина значень X ):
� температура повітря внутрішня – Т1;
� температура повітря зовнішня – Т2;
� температура ґрунту – Т3;
� вологість ґрунту – В1;
� вологість повітря – В2;
� освітленість – О;
� час – Т.
Управління, тобто вихідні величини, описується множиною Y , що представлена значеннями:
� провітрювання (квартирки) – А;
� провітрювання (вентилятори) – Б;
� нагрівання повітря – В;
� нагрівання ґрунту – Г;
� затінення – Д;
� поливання – Е;
� зволоження повітря – Є;
� освітлення – Ж.
До множини констант ( Ψ ) віднесемо величини, що не змінюються у часі та задаються експертами для
певного виду рослин (без їх ініціалізації неможливе правильне функціонування системи):
� температура повітря денна – Тдуст;
� температура повітря нічна – Тнуст;
� температура ґрунту – Т3уст;
� вологість ґрунту – В1уст;
� вологість повітря – В2уст;
� освітленість – Оуст.
Описані вище множини будемо використовувати при побудові алгоритму управління.
Проблема полягає у побудові системи клауз, яка описує логіку рішень стосовно управління системою
теплиць та ефективної процедури виведення, застосування яких дозволить реалізувати управління по
відхиленню системою теплиць на базі персонального комп’ютера.
Описання моделі управління у формі клауз
Застосування традиційних числень для розробки алгоритмів програм не досить зручний з точки зору
людини, що повинна ставити проблеми та визначати шляхи їх розв’язання. Зокрема, виникають вимоги не
тільки сформулювати проблему у вигляді формули, але й явно вказати можливі варіанти декомпозиції
проблеми на підпроблеми, визначити ті з них, що мають розв’язок.
Формальні методи програмування
371
Поставленим вимогам відповідає клаузальна форма логіки, для якої характерно подання аксіом та правил
виведення в універсальному вигляді за допомогою спеціальної конструкції, відомої як клауза [3].
Для полегшення викладення матеріалу нагадаємо основні поняття клаузальної логіки. Клауза
представляється у вигляді nm AABB ,...,,..., 11 ← , де ← – символ клаузи, niAmiB ii ,1, ,,1, == є
атомарними формулами. Якщо клауза містить змінні kxx ,...,1 , то вона означає: для всіх kxx ,...,1 , якщо
nAAA ∧∧∧ ...21 , то mBBB ∨∨∨ ...21 .
Для об’єкта, що розглядається, процедура прийняття рішень розділена на декілька підалгоритмів, що
зумовлено специфікою функціонування тепличного господарства. Ці підалгоритми складають множину P , яка
визначається наступними компонентами:
� період інтенсивного освітлення – 1p ;
� нічний період – 2p .
Зокрема, підалгоритм Pp ∈1 додатково характеризується константою Ψ∈d (тривалість режиму
роботи) та вхідною величиною Xd p ∈1 (поточна тривалість режиму роботи).
Об’єкти іншого типу можуть керуватись різною кількістю підалгоритмів, що обумовлено їх
особливостями.
Правильне функціонування системи визначається множиною перевірок поточних вхідних величин і
вибором певного підалгоритму функціонування системи. Приклад словесного опису перевірок подано нижче.
Якщо О ≥ Оуст*0.8 і поточний алгоритм – 2p , то застосовуємо поточний алгоритм 1p .
Якщо dd p ≥1 і поточний алгоритм – 1p , то застосовуємо поточний алгоритм 2p .
Виразимо описаний вище алгоритм у вигляді множини клауз, що вимагає попередньої формалізації
предикатних символів (таблиця 1). Для цього будемо застосовувати вирази природної мови, що полегшить
перехід від опису природною мовою предметної області до опису за допомогою формул логіки. Таблиця
включає також предикати, що будуть застосовуватись в алгоритмах управління 1p та 2p .
Таблиця
Предикат Опис
акт( z ) Активний компонент YPz ∨∈
неакт( z ) Неактивний компонент YPz ∨∈
біл_дор( ψ,x ) x більше дорівнює ψ , де Ψ∈∈ ψ,Xx
менше( ψ,x ) x менше ψ , де Ψ∈∈ ψ,Xx
дор( ψ,x ) x дорівнює ψ , де Ψ∈∈ ψ,Xx
вкл( z ) Включити пристрій керування Yz ∈
викл( z ) Виключити пристрій керування Yz ∈
збільш( z ) Збільшити потужність пристрою керування Yz ∈
зменш( z ) Зменшити потужність пристрою керування Yz ∈
Використовуючи словесний опис вибору підалгоритму функціонування системи, а також предикати
(таблиця), побудуємо загальну множину клауз 1S :
акт( 1z ) ← акт( 2z ), біл_дор( ψ,x );
акт( 2z ) ← ;
біл_дор( ψ,x ) ← .
Шляхом підстановок { 1/1 zp , 2/2 zp ,О x/ , Оуст*0.8 ψ/ } та { 1/2 zp , 2/1 zp , xd p /1 , ψ/d }
отримаємо першу та другу перевірки відповідно. В процесі функціонування системи множина клауз 1S може
змінювати кількість складових, а саме друга та третя з’являються у випадку їх істинності.
Формалізація алгоритмів управління 1p та 2p відбувається аналогічно описаній вище послідовності
дій, за винятком збільшення кількості клауз в декілька раз. Нижче наведено множину клауз для алгоритму 1p ,
Формальні методи програмування
372
що описує управління за відхиленням [2] в період інтенсивного освітлення функціонування системи. Для клауз
наведено коментарії щодо дій, які повинні активуватись.
Освітлення: вкл(Ж) ← менше(О,Оуст*0,8), викл(Д), викл(Ж);
викл(Ж) ← біл_дор(О,Оуст), вкл(Ж).
Затінення: вкл(Д) ← біл_дор(О,Оуст*1,2), викл(Д), викл(Ж);
викл(Д) ← менше(О,Оуст*1,05), вкл(Д).
Поливання: вкл(Е) ← менше(В1,В1уст*0,8).
Зволоження повітря: вкл(Є) ← менше(В2,В2уст*0,8).
Провітрювання
(кватирки):
вкл(А) ← біл_дор(Т2,Т2уст*0,8), біл_дор(В2,В2уст), біл_дор(Т1,Тдуст), викл(А);
викл(А) ← менше(Т1,Тдуст*0,8).
Провітрювання
(вентилятори):
вкл(Б) ← вкл(А),біл_дор(В2,В2уст*1,2);
викл(А) ← викл(А), менше(В2,В2уст),
Нагрівання ґрунту: збільш(Г) ←менше(Т3,Т3уст*0,95);
зменш(Г) ←більш_дор(Т3,Т3уст*1,05).
Нагрівання повітря: збільш(В) ←менше(Т1,Тдуст*0,95);
зменш(В) ←більш_дор(Т1,Тдуст*1,05).
Клаузи вигляду А← , які залежать від вхідних даних, ми тут не описуємо.
Множина клауз для алгоритму 2p відрізняється тільки відсутністю правил для управління освітленістю
та температура повітря підтримується відносно Тнуст.
Матрична резолюція
Невід’ємною частиною розробки алгоритму є застосування методу виведення, який дозволяє перевірити
суперечливість об’єднання множини побудованих правил із запереченням прогнозованого управління. Зараз
питання розробки процедур виведення в зв’язку з розвитком штучного інтелекту набуває особливого значення.
Запропоновано багато ефективних методів [5-9], але найбільш простим і дієвим у даному випадку видається
матричний метод, запропонований в [4]. Його основна ідея полягає у використанні матричного представлення
вихідних даних і реалізації резолютивного методу у вигляді операції множення матриць.
Пояснимо можливість застосування концепції матричного методу для управління теплицями на численні
висловлювань. Ідея полягає у використанні матричного представлення вихідних даних і реалізації
резолютивного методу у вигляді операції множення матриць. Спочатку розглянемо декілька прикладів.
Приклад 1. Нехай маємо клаузу ←A і необхідно обґрунтувати, що A є її логічним наслідком. Тоді
добавляємо клаузу A← і намагаємося вивести порожню клаузу. Зрозуміло, що це можна зробити за
допомогою одного застосування правила резолюції, резольвентою якої і буде порожня клауза. Але нам
необхідно отримати підтвердження, що це можна здійснити за допомогою множення матриць. Такі матриці,
очевидно, повинні мати стовпець і рядок для кожного літерала, а елемент на перетині рядка i та стовпця j
буде мати ненульове значення лише тоді, коли знайдеться клауза, у безумовній частині якої знаходиться літерал
рядка i , а умовна частина містить літерал стовпця j . Для нашого прикладу маємо:
.
10
01 ,
01
10 2
A
A
M
A
A
M ◊
◊
=◊
◊
=
З огляду на суперечливість клауз видається, що можливою ознакою суперечливості у матричному
варіанті є наявність ненульової головної діагоналі у матриці pM , де 2=p . Далі доведемо, що ця ознака є
необхідною і достатньою, а зараз розглянемо декілька корисних для доведення прикладів, розглянувши різні
форми клауз.
Приклад 2. Нехай маємо множину клауз ←←← CCBBA ; ; і необхідно обґрунтувати, що А є їх
логічним наслідком. Тоді добавляємо клаузу A← і намагаємося вивести порожню клаузу. Зрозуміло, що це
можна зробити за допомогою трьох застосувань правила резолюції, останньою резольвентою яких і буде
порожня клауза. Але нам необхідно отримати підтвердження запропонованої вище ознаки суперечливості для
множення матриць. Отже, маємо:
Формальні методи програмування
373
.
1000
0100
0010
0001
,
0001
1000
0100
0010
,
0010
0001
1000
0100
,
0100
0010
0001
1000
432
C
B
A
CBA
M
C
B
A
CBA
M
C
B
A
CBA
M
C
B
A
CBA
M
◊
◊
=
◊
◊
=
◊
◊
=
◊
◊
=
З огляду на суперечливість множини клауз можлива ознака суперечливості у матричному варіанті −
наявність ненульової головної діагоналі у матриці pM , де 4=p , − підтверджується.
Приклад 3. Нехай маємо множину клауз ←←← CBСBA ; ;, і необхідно обґрунтувати, що A є їх
логічним наслідком. Тоді добавляємо клаузу A← і намагаємося вивести порожню клаузу. Зрозуміло, що це
можна зробити за допомогою трьох застосувань правила резолюції, останньою резольвентою яких і буде
порожня клауза. Але нам необхідно отримати підтвердження запропонованої вище ознаки суперечливості для
множення матриць. Отже, маємо:
.
1100
1100
0020
0002
,
1000
0100
0010
0020
,
0010
0010
0001
1100
32
C
B
A
CBA
M
C
B
A
CBA
M
C
B
A
CBA
M
◊
◊
=
◊
◊
=
◊
◊
=
З огляду на суперечливість клауз можлива ознака суперечливості у матричному варіанті − наявність
ненульової головної діагоналі у матриці pM , де 3=p , − підтверджується.
Приклад 4. Нехай маємо множину клауз ←←←← DCBСBA ; ; ;, і необхідно обґрунтувати, що A є
їх логічним наслідком. Тоді добавляємо клаузу A← і намагаємося вивести порожню клаузу. Зрозуміло, що це
можна зробити за допомогою трьох застосувань правила резолюції, останньою резольвентою яких і буде
порожня клауза. Зрозуміло, що клауза ←D в виведенні не застосовується. Тоді можемо з матриці вилучити
відповідні рядок та стовпець. Тепер отримаємо підтвердження запропонованої вище ознаки суперечливості для
множення матриць. Отже, маємо:
.
1100
1100
0020
0002
,
0001
0001
1100
0020
,
0010
0010
0001
1100
,
00000
00010
00010
00001
11100
32
C
B
A
CBA
M
C
B
A
CBA
M
C
B
A
CBA
M
D
C
B
A
DCBA
M
◊
◊
=
◊
◊
=
◊
◊
=
◊
◊
=
Випадок з викреслюванням рядків і стовпців можна узагальнити.
Правило А. Якщо в матриці є нульовий рядок, то вилучаємо його з матриці разом з відповідним
стовпцем.
Приклад 5. Нехай маємо множину клауз ←←←← CBCBADСBA ; ;, ;,, і необхідно обґрунтувати, що
A є їх логічним наслідком. Добавляємо клаузу A← і намагаємося вивести порожню клаузу. Зрозуміло, що це
можна зробити за допомогою трьох застосувань правила резолюції, останньою резольвентою яких і буде
порожня клауза. Зрозуміло, що клауза DСBA ,,← у виведенні не застосовується. Тоді можемо її вилучити і
тільки після цього будувати матрицю. Тепер отримаємо підтвердження запропонованої вище ознаки
суперечливості для множення матриць. Отже, маємо:
.
0010
0010
0001
1100
,
00010
00010
00010
00001
01100
C
B
A
CBA
M
D
C
B
A
DCBA
M
◊
◊
=
◊
◊
=
Отримуємо випадок, розглянутий у попередньому прикладі, тобто ознака підтверджується.
Випадок з викреслюванням рядків і стовпців можна узагальнити.
Правило В. Якщо в матриці є порожні стовпці, то вилучаємо відповідні клаузи і після цього застосовуємо
правило А.
І, насамкінець, розглянемо контрприклад.
Приклад 6. Нехай маємо множину клауз ←← CB ; і необхідно обґрунтувати, що A є їх логічним
наслідком. Тоді добавляємо клаузу A← і намагаємося вивести порожню клаузу. Зрозуміло, що цього не можна
Формальні методи програмування
374
зробити за допомогою застосувань правила резолюції. Але нам необхідно отримати підтвердження
запропонованої вище ознаки суперечливості для множення матриць. Отже, маємо, враховуючи правило A:
.
00
00 ,
01
00 ,
0000
0000
0001
1100
2
A
A
M
A
A
M
C
B
A
CBA
M ◊
◊
=◊
◊
=
◊
◊
=
Таким чином, матричний метод підтверджує, що множина клауз не суперечлива.
Тепер опишемо власне процедуру Matrix-deduction виведення матричного методу.
Крок 1. Будуємо матрицю M для вихідної множини клауз.
Крок 2. Застосовуємо правило A до матриці M.
Крок 3. Застосовуємо правило B до матриці M.
Крок 4. За необхідності повертаємося на крок 2, інакше p = 1 і переходимо на крок 5.
Крок 5. Отримуємо матрицю pM . Якщо виконується ознака суперечливості або супротивного випадку,
то виходимо із процедури, інакше 1+= pp і повторюємо крок 5.
В праці [4] обґрунтована правомірність застосування зазначеної ознаки, оскільки доведена теорема, яка
стверджує, що множина клауз S суперечлива тоді і тільки тоді, коли застосування процедури Matrix-deduction
приводить до побудови матриці pM з ненульовою головною діагоналлю.
Застосуємо зазначений вище метод виведення для доведення того, що клауза акт( 1z ) є логічним
наслідком множини клауз 1S при підстановці { 1/1 zp , 2/2 zp ,О x/ , Оуст*0.8 ψ/ }:
акт( 1p ) ← акт( 2p ), біл_дор(О, Оуст*0.8);
акт( 2p ) ← ;
біл_дор(О, Оуст*0.8) ← ;
← акт( 1p ).
Вихідну матрицю M побудовано відповідно до правил матричної резолюції:
( ) ( ) ( )
( )
( )
( ) 00018,0*ОО,бiл_дор
0001акт
1100акт
0010
8,0*ОО,бiл_дорактакт
уст
2
1
уст
21
p
p
pp
M
◊
◊
= ;
( ) ( ) ( )
( )
( )
( ) 00108,0*ОО,бiл_дор
0010акт
0002акт
1100
8,0*ОО,бiл_дорактакт
уст
2
1
уст
21
2
p
p
pp
M
◊
◊
= ;
( ) ( ) ( )
( )
( )
( ) 11008,0*ОО,бiл_дор
1100акт
0020акт
0002
8,0*ОО,бiл_дорактакт
уст
2
1
уст
21
3
p
p
pp
M
◊
◊
= .
Перемноження матриці M приводить до підтвердження суперечливості висхідної множини клауз 1S при
3=p , що доводить поставлені вище припущення про логічний наслідок множини 1S .
На основі статистичних даних будемо прогнозувати подальшу дію системи, що дозволить досить просто
визначати можливу дію прив’язано до часу доби або пори року, а потім перевіряти її правильність за
допомогою матричного методу. У випадках, коли природа „заперечує” усталений хід речей, знадобляться
додаткові перевірки.
Формальні методи програмування
375
Програмно-апаратна реалізація підходу
Структура автоматичної системи управління (АСУ) визначається сферою функціонування об’єкта
управління (ОУ) (промисловість, будівництво, транспорт, аграрне господарство тощо), а також типом
керованого процесу (технологічний, організаційний, економічний тощо). Загалом, система управління включає
в себе програмні та технічні засоби реалізації управління заданим ОУ.
Зокрема, ОУ (теплиця), що розглядається, розташований на площі великого розміру і вимагає
територіального розподілення технічних засобів автоматизації та використання локальної мережі для передачі
даних між елементами системи.
Вимоги щодо швидкості передачі даних в мережі АСУ для об’єктів з повільною зміною параметрів у часі
не є високими. Суттєвими обмеженнями при побудові такої мережі виступає довжина каналу зв’язку, а також
кількість компонентів, що беруть участь в обміні інформацією. Нас цікавить мережа з детермінованим
доступом та централізованим управлінням, тобто з одним головним вузлом, яким може бути центральний
комп’ютер.
На даному етапі розвитку промислових мереж існує великий вибір різноманітних мережевих технологій.
Система, що розглядається, може бути побудована на основі протоколу ProfiBus-DP. Він забезпечує реалізацію
детермінованої (за принципом „питання-відповідь”) розподіленої системи збору даних з одним головним
вузлом. Фізичне середовище – екранована кручена пара стандарту RS-485, що забезпечує максимальну
довжину моноканалу передачі до 1200 м при швидкості 93,75 Кбіт/c та кількість вузлів до 32 в кожному
сегменті.
Структура такої системи зображена на рис. 2 та включає наступні компоненти:
− робоча станція. Виступає центральним вузлом управління та виконує одночасно ролі операторського
вузла (з програмою управління об’єктом) та шлюзового програмованого мікроконтролера. Для
забезпечення таких функцій робоча станція (персональний комп’ютер) повинна включати мастер-карту
ProfiBus-DP. Програма управління реалізує зазначені вище алгоритми, при цьому уникаємо застосування
потужних SCADA-систем;
− пристрій зв’язку з об’єктом (ПЗО). Спеціалізований пристрій для зв’язку безпосередньо з об’єктом
управління (наприклад, WAGO I/O). Забезпечує перетворення інформації від ОУ, формування даних для
передачі та отримує команди з локальної мережі від ведучого процесора;
− об’єктом управління (ОУ) виступає сама теплиця або її частини з характеристиками, що
контролюються. Для даної структури таких компонентів може бути до 32 (як зазначалось вище).
Наприклад, в господарстві застосовується декілька парників та теплиця з різними культурами.
Рис. 2
Обмін в мережі відбувається по маркеру мастер-карти робочої станції. При цьому робоча станція формує
пакети для модулів управління кожного ПЗО і приймає пакети від них. Така конфігурація системи дозволяє
зменшити затрати на її побудову, проте не забезпечує управління в реальному часі. Тому область об’єктів
управління, що дозволяють таке керування, обмежена. В нашому випадку таке застосування правомірне з
огляду на поведінку ОУ.
Висновки
У статті розглянуто проблему здешевлення управління теплицями. Запропоновано використання в
управлінні засобів клаузальної логіки, а саме матричної резолюції як способу виявлення дій системи. Зокрема,
описується апаратна частина реалізації системи. Подальше дослідження пов’язане з визначенням області
об’єктів для розглянутого керування, а також виявлення залежності їх показників від параметрів
функціонування системи.
1. Павлов А.А., Теленик С.Ф. Адаптивные технологи и алгоритмизация в системах управления. – Киев: Техника, 2003. – 340 с.
2. Дорф Р., Бишоп Р. Современные системы управления: Пер. с англ. Б.И.Копылова. – М.: Лаборатория Базовых Знаний, 2004. – 832 с.
3. Ковальски Р. Логика в решении проблем. – М.: Наука, 1990. – 280 с.
Формальні методи програмування
376
4. С.Ф. Теленик, О.А. Амонс, Р.В. Смічник, В.С.Хмелюк / Матрична резолюція для клаузальної логіки // Вісник ХНАДУ. – Вип. 30, 2005. –
С. 83 – 86.
5. Bibel W. Deduction: Automated logic. – London: Academic Press, 1993. – 368 p.
6. Bibel W. Let’s plan it deductively! // Artificial Intelligence. – 1998. vol. 103. – P.183-208.
7. Proc. the 14th Nat. Conf. on Artificial Intelligence AAAI-97, Providence, RI, 1997 / (Eds.) B.Kupers, B.Webber. – Cambridge, MA: MIT
Press, 1997. – 2200 p.
8. Proc. the Intern. Conf. on Automated Deduction / (Eds.) M.McRoblie, J.Slaney. // Lecture Notes in Artificial Intelligence. – 1996. – Vol. 1104.
– 980 p.
9. Proc. the Intern. Conf. on Logic Programming. – Cambridge, MA: MIT Press, 1995. – 536 p.
|
| id | nasplib_isofts_kiev_ua-123456789-1529 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Ukrainian |
| last_indexed | 2025-12-07T17:30:14Z |
| publishDate | 2006 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Теленик, С.Ф. Безносікова, Т.В. Ільченко, О.В. 2008-08-21T16:37:27Z 2008-08-21T16:37:27Z 2006 Метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління / С.Ф. Теленик, Т.В. Безносікова, О.В. Ільченко // Проблеми програмування. — 2006. — N 2-3. — С. 369-376. — Бібліогр.: 9 назв. — укр. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/1529 681.3 Розглядається програмно-апаратний підхід для спрощення управління технічними системами з великою кількістю однотипних
 компонентів і некритичними за часом характеристиками. Пропонується метод, який базується на використанні для управління
 звичайних персональних комп’ютерів та принципу регулювання по відхиленню, покладеного на формальну мову і механізми
 виведення клаузальної логіки. Застосування методу продемонстровано на прикладі систем управління теплицею. The hybrid software hardware approach is considered for simplifying control of technical systems with big number of components of similar
 type and non-critical time requests. A method is proposed based on using ordinary personal computers and control on deviation using formal
 language and logical mechanisms of inference by resolution for the clausal logic forms. Application of the method is demonstrated on the
 example of hothouse control system with a fieldbus and a personal computer as a control center. uk Інститут програмних систем НАН України Формальні методи програмування Метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління The matrix resolution as a software-hardware approach for implementation of a control automation Article published earlier |
| spellingShingle | Метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління Теленик, С.Ф. Безносікова, Т.В. Ільченко, О.В. Формальні методи програмування |
| title | Метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління |
| title_alt | The matrix resolution as a software-hardware approach for implementation of a control automation |
| title_full | Метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління |
| title_fullStr | Метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління |
| title_full_unstemmed | Метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління |
| title_short | Метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління |
| title_sort | метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління |
| topic | Формальні методи програмування |
| topic_facet | Формальні методи програмування |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/1529 |
| work_keys_str_mv | AT teleniksf metodmatričnoírezolûcíívaspektíprogramnoaparatnoírealízacííavtomatizacííupravlínnâ AT beznosíkovatv metodmatričnoírezolûcíívaspektíprogramnoaparatnoírealízacííavtomatizacííupravlínnâ AT ílʹčenkoov metodmatričnoírezolûcíívaspektíprogramnoaparatnoírealízacííavtomatizacííupravlínnâ AT teleniksf thematrixresolutionasasoftwarehardwareapproachforimplementationofacontrolautomation AT beznosíkovatv thematrixresolutionasasoftwarehardwareapproachforimplementationofacontrolautomation AT ílʹčenkoov thematrixresolutionasasoftwarehardwareapproachforimplementationofacontrolautomation |