Методи і моделі створення відмовостійких інформаційно-управляючих систем, що функціонують у модулярній системі числення
Дослідження методів підвищення відмовостійкості інформаційно-управляючих систем без зниження продуктивності обробки інформації. Розробка математичної моделі відмовостійкості. Оцінка позиційних і непозиційних операцій у модулярній системі числення.
Подобные документы
Аналіз архітектур інформаційно-управляючих систем, важливих для безпеки АЕС, а також методів і засобів забезпечення надійності таких систем. Удосконалення моделей надійності одноверсійних структур та методу оцінки інформаційно-управляючих систем.
автореферат, добавлен 11.08.2014Аналіз методів та засобів розробки інформаційно-управляючих систем. Розробка метрики диверсності для оцінки ступеня різноманітності версій автоматів з програмованою логікою. Створення та дослідження інформаційної технології підтримки прийняття рішень.
автореферат, добавлен 14.09.2014Підвищення надійності багатоверсійних інформаційно-управляючих систем (ІУС) на основі використання версійної надмірності технічних засобів, програмного забезпечення. Створення інформаційної технології оцінки та забезпечення надійності мультидиверсних ІУС.
автореферат, добавлен 25.08.2015Відомі атрибути, метрики, методи та інструментальні засоби автоматизованої верифікації та сертифікації програмного забезпечення. Використання семантичних атрибутів для верифікації та експертизи програмного забезпечення інформаційно-управляючих систем.
автореферат, добавлен 29.01.2016Аналіз принципів, методів і засобів оцінки і забезпечення надійності і безпеки інформаційно-управляючих систем критичного застосування. Розробка моделей відмовобезпечних ІУС з урахуванням помилок засобів контролю і управління, процедур їх відновлення.
автореферат, добавлен 29.08.2014Комп’ютерні мережі як невід’ємна частина сучасних інформаційно-управляючих систем, розгляд головних видів. Загальна характеристика методів та інструментальних засобів розробки комп'ютерних мереж інформаційно-управляючих систем критичного застосування.
автореферат, добавлен 27.07.2014Поняття еталонної програмної архітектури. Концепція та технології адаптивної розробки та перспективного реінжинірингу багаторівневих і розподілених інформаційно-управляючих систем. Ефективність застосування Інтернет-технологій для розробки SCADA-систем.
автореферат, добавлен 29.08.2014Дослідження класу недостатньо структурованих і неструктурованих задач інформаційно-управляючих систем. Підвищення якості функціонування ІУС гірничо-металургійного підприємства. Розробка методу дихотомічної оцінки нечітких моделей знань операторів ІУС ГМП.
автореферат, добавлен 30.01.2014Підвищення якості функціонування інформаційно-управляючих систем за рахунок ефективнішого використання методів оцінки нечітких моделей знань операторів. Системна інтеграція технологій штучного інтелекту з точними методами і моделями пошуку рішень.
автореферат, добавлен 26.08.2015Аналіз методів забезпечення відмовостійкості цифрових систем керування з програмованою логікою. Удосконалення методу вибору відмовостійких систем керування з урахуванням вимог до надійності та обмежень на габаритно-масові й енергетичні характеристики.
автореферат, добавлен 11.08.2014Розробка моделей надійності резервованих інформаційно-управляючих систем з додатковими компонентами для організації мережного мажоритування. Особливість методу конфігураційного синтезу цифрових програм при використанні раніше розроблених складників.
автореферат, добавлен 30.10.2015Аналіз методів і інформаційних технологій оцінки й забезпечення відмовостійкості систем обробки інформації літальних апаратів. Розробка програмно-технічні рішень інформаційної технології підтримки вибору СОІ при використанні різних методик оцінки.
автореферат, добавлен 06.11.2013Шляхи оптимізації структур інформаційно-управляючих систем для забезпечення ефективності і безпеки польотів на літаках нового покоління. Використання технологій процесного аналізу навантаження членів екіпажу в складних та аварійних умовах польоту.
автореферат, добавлен 17.07.2015Дослідження методів підвищення безвідмовності системи обробки інформації турбоагрегату АЕС без зниження продуктивності обробки інформації. Підвищення безвідмовності системи обробки інформації в класі лишків без зниження продуктивності обробки інформації.
автореферат, добавлен 28.08.2015Підвищення надійності програмного забезпечення систем управління шляхом розробки семантичних атрибутів, метрик, моделей, методів, заснованих на аналізі семантичних інваріантів. Впровадження їх у методиках та засобах підтримки верифікації та експертизи.
автореферат, добавлен 28.09.2014Існуючі моделі впливів на працездатність елементів розподілених інформаційно-управляючих та інформаційних систем, методи і засоби оцінювання й забезпечення їхньої живучості. Нові моделі впливів екстремальних факторів різної природи на елементи РІС.
автореферат, добавлен 14.09.2014Етапи розробки науково-методичних основ створення прогресивних технологій на базі стратосферної платформи. Характеристика методів забезпечення відмовостійкості системи обробки інформації безпілотних літальних апаратів на основі модулярної арифметики.
автореферат, добавлен 24.10.2013Використання порозрядної потокової обробки в АМ-системах числення і її переваги. Актуальність обмежень адитивних співвідношень для цих систем числення і можливість їх визначення за допомогою порозрядного потокового додавання. Клас АМ-систем числення.
статья, добавлен 23.12.2016Розробка моделі прогнозування ризику з урахуванням факторів, які призводять до значних змін ризику в інформаційно-управляючих системах. Шляхи удосконалення методу прогнозування ризику Value-at-Risk шляхом корегування множника стандартного відхилення.
автореферат, добавлен 24.07.2014Аналіз і класифікація моделей, метрик і інструментальних засобів оцінки надійності програмного забезпечення інформаційних і управляючих систем критичного застосування. Пошук шляхів удосконалення методів оцінки надійності програмного забезпечення.
автореферат, добавлен 28.07.2014Аналіз підходу до вирішення проблеми міжз'єднань шляхом використання побітової потокової обробки у системі числення золотої 1-пропорції. Алгоритмічна і структурна організація побітового додавання як основна арифметична операція у цій системі числення.
статья, добавлен 19.02.2016Розробка методів оптимізації функціонування системи управління промислових виробництв в умовах невизначеності; синтезу алгоритмів адаптації з використанням апарата багатозв’язних марківських ланцюгів. Інструментарій декомпозиції функціональних алгоритмів.
автореферат, добавлен 20.07.2015Методологія розроби математичних моделей та комп’ютерних технологій вирішення задач оптимального розподілу ресурсів логістичних систем. Створення алгоритмів та елементів інформаційної розробки теоретико-категорійних і множинних математичних моделей.
автореферат, добавлен 22.04.2014Розробка математичної моделі виникнення власних шумів вхідних підсилювачів медичних інформаційно-діагностичних систем, способи боротьби з шумами біопідсилювачів. Синтез структур блоку їх активного пригнічення. Схемо-технічна реалізація даної системи.
автореферат, добавлен 11.11.2013Позиційні системи числення та системи числення з основами. Переведення із десяткової до довільної позиційної системи числення. Перетворення дійсних чисел. Арифметичні операції над числами в двійковій системі. Подання цілих та дійсних чисел у комп’ютері.
реферат, добавлен 07.09.2011