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

• Datum: 2006
• Hauptverfasser: Теленик, С.Ф., Безносікова, Т.В., Ільченко, О.В.
• Format: Artikel
• Sprache: Ukrainisch
• Veröffentlicht: Інститут програмних систем НАН України 2006
• Schlagworte: Формальні методи програмування
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/1529
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: Метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління / С.Ф. Теленик, Т.В. Безносікова, О.В. Ільченко // Проблеми програмування. — 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.