Метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління
Розглядається програмно-апаратний підхід для спрощення управління технічними системами з великою кількістю однотипних
 компонентів і некритичними за часом характеристиками. Пропонується метод, який базується на використанні для управління
 звичайних персональних комп’ютерів та принци...
Збережено в:
| Дата: | 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 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862711439728312320 |
|---|---|
| author | Теленик, С.Ф. Безносікова, Т.В. Ільченко, О.В. |
| author_facet | Теленик, С.Ф. Безносікова, Т.В. Ільченко, О.В. |
| citation_txt | Метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління / С.Ф. Теленик, Т.В. Безносікова, О.В. Ільченко // Проблеми програмування. — 2006. — N 2-3. — С. 369-376. — Бібліогр.: 9 назв. — укр. |
| collection | DSpace DC |
| 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.
|
| first_indexed | 2025-12-07T17:30:14Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-1529 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Ukrainian |
| last_indexed | 2025-12-07T17:30:14Z |
| publishDate | 2006 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Теленик, С.Ф. Безносікова, Т.В. Ільченко, О.В. 2008-08-21T16:37:27Z 2008-08-21T16:37:27Z 2006 Метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління / С.Ф. Теленик, Т.В. Безносікова, О.В. Ільченко // Проблеми програмування. — 2006. — N 2-3. — С. 369-376. — Бібліогр.: 9 назв. — укр. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/1529 681.3 Розглядається програмно-апаратний підхід для спрощення управління технічними системами з великою кількістю однотипних
 компонентів і некритичними за часом характеристиками. Пропонується метод, який базується на використанні для управління
 звичайних персональних комп’ютерів та принципу регулювання по відхиленню, покладеного на формальну мову і механізми
 виведення клаузальної логіки. Застосування методу продемонстровано на прикладі систем управління теплицею. 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. uk Інститут програмних систем НАН України Формальні методи програмування Метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління The matrix resolution as a software-hardware approach for implementation of a control automation Article published earlier |
| spellingShingle | Метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління Теленик, С.Ф. Безносікова, Т.В. Ільченко, О.В. Формальні методи програмування |
| title | Метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління |
| title_alt | The matrix resolution as a software-hardware approach for implementation of a control automation |
| title_full | Метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління |
| title_fullStr | Метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління |
| title_full_unstemmed | Метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління |
| title_short | Метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління |
| title_sort | метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління |
| topic | Формальні методи програмування |
| topic_facet | Формальні методи програмування |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/1529 |
| work_keys_str_mv | AT teleniksf metodmatričnoírezolûcíívaspektíprogramnoaparatnoírealízacííavtomatizacííupravlínnâ AT beznosíkovatv metodmatričnoírezolûcíívaspektíprogramnoaparatnoírealízacííavtomatizacííupravlínnâ AT ílʹčenkoov metodmatričnoírezolûcíívaspektíprogramnoaparatnoírealízacííavtomatizacííupravlínnâ AT teleniksf thematrixresolutionasasoftwarehardwareapproachforimplementationofacontrolautomation AT beznosíkovatv thematrixresolutionasasoftwarehardwareapproachforimplementationofacontrolautomation AT ílʹčenkoov thematrixresolutionasasoftwarehardwareapproachforimplementationofacontrolautomation |