Метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління
|
|
| Creator |
Теленик, С.Ф.
Безносікова, Т.В. Ільченко, О.В. |
|
| Subject |
Формальні методи програмування
|
|
| 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. |
|
| Date |
2008-08-21T16:37:27Z
2008-08-21T16:37:27Z 2006 |
|
| Type |
Article
|
|
| Identifier |
Метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління / С.Ф. Теленик, Т.В. Безносікова, О.В. Ільченко // Проблеми програмування. — 2006. — N 2-3. — С. 369-376. — Бібліогр.: 9 назв. — укр.
1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/1529 681.3 |
|
| Language |
uk
|
|
| Publisher |
Інститут програмних систем НАН України
|
|