Метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління
Розглядається програмно-апаратний підхід для спрощення управління технічними системами з великою кількістю однотипних компонентів і некритичними за часом характеристиками. Пропонується метод, який базується на використанні для управління звичайних персональних комп’ютерів та принципу регулювання п...
Збережено в:
Дата: | 2006 |
---|---|
Автори: | Теленик, С.Ф., Безносікова, Т.В., Ільченко, О.В. |
Формат: | Стаття |
Мова: | Ukrainian |
Опубліковано: |
Інститут програмних систем НАН України
2006
|
Теми: | |
Онлайн доступ: | http://dspace.nbuv.gov.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Схожі ресурси
-
Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем
за авторством: Колчин, А.В., та інші
Опубліковано: (2014) -
Середовище конструювання алгоритмічних знань та інструментарій синтезу програм
за авторством: Яценко, О.А.
Опубліковано: (2006) -
На пути к верификации С-программ. Язык c-light и его трансформационная семантика
за авторством: Непомнящий, В.А., та інші
Опубліковано: (2006) -
C# program verification problems: solution by a three-level method
за авторством: Promsky, A.V.
Опубліковано: (2008) -
Система композиционно-номинативного программирования SCRIPT.NET
за авторством: Процик, П.П.
Опубліковано: (2008)