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

• Date: 2006
• Main Authors: Теленик, С.Ф., Безносікова, Т.В., Ільченко, О.В.
• Format: Article
• Language: Ukrainian
• Published: Інститут програмних систем НАН України 2006
• Subjects: Формальні методи програмування
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/1529
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління / С.Ф. Теленик, Т.В. Безносікова, О.В. Ільченко // Проблеми програмування. — 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.