Метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління

• Дата: 2006
• Автори: Теленик, С.Ф., Безносікова, Т.В., Ільченко, О.В.
• Формат: Стаття
• Мова: Українська
• Опубліковано: Інститут програмних систем НАН України 2006
• Теми: Формальні методи програмування
• Онлайн доступ: https://nasplib.isofts.kiev.ua/handle/123456789/1529
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Цитувати: Метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління / С.Ф. Теленик, Т.В. Безносікова, О.В. Ільченко // Проблеми програмування. — 2006. — N 2-3. — С. 369-376. — Бібліогр.: 9 назв. — укр.

Розглядається програмно-апаратний підхід для спрощення управління технічними системами з великою кількістю однотипних
 компонентів і некритичними за часом характеристиками. Пропонується метод, який базується на використанні для управління
 звичайних персональних комп’ютерів та принципу регулювання по відхиленню, покладеного на формальну мову і механізми
 виведення клаузальної логіки. Застосування методу продемонстровано на прикладі систем управління теплицею. 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.