Моделі, методи та програмно-технічні засоби створення відмовостійких цифрових систем керування з програмованою логікою
Аналіз методів забезпечення відмовостійкості цифрових систем керування з програмованою логікою. Удосконалення методу вибору відмовостійких систем керування з урахуванням вимог до надійності та обмежень на габаритно-масові й енергетичні характеристики.
Подобные документы
Розробка моделей надійності резервованих інформаційно-управляючих систем з додатковими компонентами для організації мережного мажоритування. Особливість методу конфігураційного синтезу цифрових програм при використанні раніше розроблених складників.
автореферат, добавлен 30.10.2015Створення моделі організації комп’ютеризованого навчання. Побудова профілю користувача з урахуванням індивідуальних психофізіологічних характеристик. Розробка інструментальних засобів. Реалізація та оцінка ефективності автоматизованих навчаючих систем.
автореферат, добавлен 26.08.2015Аналіз застосування цифрових засобів генерування, фільтрації, виявлення тональних сигналів для підвищення достовірності ідентифікації об’єктів комп’ютеризованих систем контролю параметрів енергоспоживання. Апробація нових уніфікованих цифрових пристроїв.
автореферат, добавлен 28.08.2015Розгляд підготовки до керування рухомими об’єктами. Оцінка принципу створення власного сигналу. Розробка інформаційної технології для оцінювання дій оператора при зміні рівня збурень. Рекомендації, щодо покращення автоматизованих навчальних систем.
автореферат, добавлен 14.10.2013Особливості та головні умови ефективного застосування теорії динамічних ігор до розв’язання спеціальних задач керування в умовах конфліктної взаємодії. Правило пропорційної навігації та екстремального прицілювання М.М. Красовського, їх використання.
автореферат, добавлен 30.10.2015Розробка адаптивних рекурентних алгоритмів настроювання параметрично оптимізуємих регуляторів для нестаціонарних об’єктів, що функціонують в умовах апріорної та поточної невизначеності та адаптивних рекурентних алгоритмів параметричної ідентифікації.
автореферат, добавлен 05.01.2014Методи підвищення швидкодії функціональної верифікації цифрових систем на кристалах. Програмне забезпечення логічного моделювання, виконуване на послідовному комп'ютері. Удосконалення моделі сферичного мультипроцесора, розв’язання булевих рівнянь.
автореферат, добавлен 26.08.2015Визначення інтегруючої, диференціючої та статичної ланки типових автоматичних систем регулювання. Дослідження сталості одноконтурних систем керування. Графічне зображення перехідної характеристики при одиничному стрибкоподібному збуренні на вході ланки.
лабораторная работа, добавлен 11.12.2017- 109. Порівняльний аналіз двох- і трьохальтернативної систем оцінок рішень в задачах машинного навчання
Оцінка функціональної ефективності машинного навчання систем підтримки прийняття рішень для керування технологічним процесом вирощування сцинтиляційних монокристалів із розплаву. Аналіз систем за оперативністю реалізації алгоритмів машинного навчання.
статья, добавлен 06.12.2016 Обробка й створення художнього (фігурного) тексту за допомогою інструмента, зміна шрифту. Засоби керування текстовою рамкою й розміщенням тексту по колонкам. Організація роботи із абзацним текстом та символами, такими як математичні, технічні та інші.
дипломная работа, добавлен 27.06.2013Технологія розробки управлінських інформаційних систем та керування технологічними процесами проектування. Контроль та корекція плану робіт по створенню систем. Розробка основних критеріїв оцінок та порівняльний аналіз електронних систем документообігу.
автореферат, добавлен 28.07.2014Критерії та методи тестування програмного забезпечення. Роль надійності ПЗ як характеристики якості, її дослідження на етапах життєвого циклу. Розробка моделей прийняття рішень при виборі стратегії створення ПЗ, забезпечення необхідного рівня надійності.
автореферат, добавлен 29.10.2015Характеристика нового підходу до побудови системи підтримки прийняття рішень, який базується не нейронній мережі зустрічного розповсюдження. Розпізнавання поточного стану об'єкта керування. Аналіз проблем керування складними технологічними процесами.
статья, добавлен 23.10.2010Реалізація методу синтезу композиційних мікропрограмних пристроїв керування з традиційними й елементарними операторними лінійними ланцюгами на основі адреси мікрокоманди у вигляді конкатенації коду операторного лінійного ланцюга та її компонентів.
автореферат, добавлен 27.02.2014Рішення проблем, пов'язаних з конструюванням і застосуванням алгоритмів керування та оцінювання стану динамічних систем. Асимптотична поведінка коефіцієнтів підсилення фільтра Калмана. Алгоритмічний розрахунок площини меридіана маятниковим гірокомпасом.
автореферат, добавлен 02.08.2014Багатозначна модель компонентів цифрової системи на кристалі вентильного та регістрового рівнів для аналізу перехідних процесів. Програмно-апаратний комплекс MV-HES (Multi-Valued Hardware Embedded Simulator), що дозволяє верифікувати складні цифрові SoC.
автореферат, добавлен 28.09.2015Розробка математичної моделі надійності програмних засобів, яка дозволяє кількісно оцінити і прогнозувати значення показників надійності. Отримання кількісної оцінки показників надійності комп'ютерних систем при заданих обмеженнях і припущеннях.
статья, добавлен 25.12.2016Класифікація програм автоматизації. Моделювання й аналіз інформаційних систем, засоби їх здійснення. Уніфікована мова моделювання UML, розробка моделі програмної системи її засобами. Розробка виду з погляду прецедентів, проектування та реалізації.
курсовая работа, добавлен 19.09.2017Аналіз і класифікація атрибутів, метрик, методів та інструментальних засобів верифікації й сертифікації програмного забезпечення. Розробка методу верифікації програмного забезпечення в умовах ресурсних обмежень і неповноти проектної документації.
автореферат, добавлен 27.08.2015Моделювання цифрової системи на кристалі вентильного та регістрового рівнів для аналізу перехідних процесів. Тестування і верифікація цифрових проектів. Трійковий метод аналізу справної поведінки. Використання багатозначних апаратних моделей компонентів.
автореферат, добавлен 25.02.2015Питання програмування мікроконтролерів. Призначення та структурна схема системи керування світлофором. Вибір мікроконтролеру для системи, аналіз методів її діагностики. Методика оптимізації алгоритмів пошуку несправностей та усунення пошкоджень.
курсовая работа, добавлен 18.01.2015Розгляд існуючих структур композиційних мікропрограмних пристроїв керування з розділенням кодів з метою виявлення шляхів їх удосконалення. Дослідження та характеристика розроблених структур з метою визначення області їх ефективного застосування.
автореферат, добавлен 27.07.2015Розгляд процесу створення універсального програмного забезпечення дистанційного керування робочими станціями локальної обчислювальної мережі. Розгляд функції управління віддаленим робочим столом на прикладі таких програм, як: NetOp, pcAnywhere і Radmin.
статья, добавлен 26.01.2018Місце інформаційних систем у підвищенні рівня інформатизації виробничих і управлінських процесів. Побудова адаптивної моделі прогнозування ціни комплектуючого. Ключові вимоги щодо обрання системи керування базою даних та програмного забезпечення.
дипломная работа, добавлен 11.06.2015Розробка алгоритмів розв’язування задач оптимального керування системами з розподіленими параметрами. Зведення задач за допомогою функцій Гріна і спряжених рівнянь до неперервних задач оптимального розбиття множин. Розв’язання практичних задач керування.
автореферат, добавлен 12.02.2014