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

Розглядається програмно-апаратний підхід для спрощення управління технічними системами з великою кількістю однотипних компонентів і некритичними за часом характеристиками. Пропонується метод, який базується на використанні для управління звичайних персональних комп’ютерів та принципу регулювання п...

Full description

Saved in:

Bibliographic Details
Date:	2006
Main Authors:	Теленик, С.Ф., Безносікова, Т.В., Ільченко, О.В.
Format:	Article
Language:	Ukrainian
Published:	Інститут програмних систем НАН України 2006
Subjects:	Формальні методи програмування
Online Access:	https://nasplib.isofts.kiev.ua/handle/123456789/1529
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Cite this:	Метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління / С.Ф. Теленик, Т.В. Безносікова, О.В. Ільченко // Проблеми програмування. — 2006. — N 2-3. — С. 369-376. — Бібліогр.: 9 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

id	nasplib_isofts_kiev_ua-123456789-1529
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
institution	Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection	DSpace DC
title	Метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління
spellingShingle	Метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління Теленик, С.Ф. Безносікова, Т.В. Ільченко, О.В. Формальні методи програмування
title_short	Метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління
title_full	Метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління
title_fullStr	Метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління
title_full_unstemmed	Метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління
title_sort	метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління
author	Теленик, С.Ф. Безносікова, Т.В. Ільченко, О.В.
author_facet	Теленик, С.Ф. Безносікова, Т.В. Ільченко, О.В.
topic	Формальні методи програмування
topic_facet	Формальні методи програмування
publishDate	2006
language	Ukrainian
publisher	Інститут програмних систем НАН України
format	Article
title_alt	The matrix resolution as a software-hardware approach for implementation of a control automation
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.
issn	1727-4907
url	https://nasplib.isofts.kiev.ua/handle/123456789/1529
citation_txt	Метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління / С.Ф. Теленик, Т.В. Безносікова, О.В. Ільченко // Проблеми програмування. — 2006. — N 2-3. — С. 369-376. — Бібліогр.: 9 назв. — укр.
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
first_indexed	2025-12-07T17:30:14Z
last_indexed	2025-12-07T17:30:14Z
_version_	1850871501658521600

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

Institution

Similar Items