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

Abstract

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