Метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління
Розглядається програмно-апаратний підхід для спрощення управління технічними системами з великою кількістю однотипних компонентів і некритичними за часом характеристиками. Пропонується метод, який базується на використанні для управління звичайних персональних комп’ютерів та принципу регулювання п...
Збережено в:
Дата: | 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) -
Algebraic approach to the analysis of legal documents
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2022) -
Formal semantics and analysis of tokenomics properties
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2022) -
Solving contest problems via formal program verification
за авторством: Shilov, N.V., та інші
Опубліковано: (2010) -
Экологические аспекты представления знаний средствами алгебры алгоритмики
за авторством: Цейтлин, Г.Е., та інші
Опубліковано: (2010)