Дослідження складних систем з високою ціною відмови
Розробка математичних моделей та оптимізаційних алгоритмів при комплексному аналізі, проектуванні та експлуатації складних систем з високою ціною відмови. Дослідження методів підвищення їх надійності та забезпечення довготривалих термінів працездатності.
Подобные документы
Методи підвищення надійності інформаційних систем, раціональний вибір параметрів для оновлення програмних засобів. Оцінювання надійності ІС в умовах прояву власних дефектів і зовнішніх впливів. Впровадження моделі в ІС критичної і бізнес-критичної галузі.
автореферат, добавлен 28.08.2014Фізика відмов типових елементів обчислювальної техніки й вибір теоретичних моделей надійності. Спосіб представлення апріорної інформації про процеси деградації елементів. Методи прискорених випробувань на надійність та її прогнозування для різних виробів.
автореферат, добавлен 29.07.2014Розроблення моделей і методів підвищення якості обслуговування, надійності функціонування захищених комп'ютерних мереж. Методи моніторингу параметрів трафіку комп'ютерних мереж. Аналіз існуючих моделей систем їх захисту та інформаційної взаємодії.
автореферат, добавлен 26.08.2015Дослідження сучасного етапу розвитку технології передачі даних в послідовних інтерфейсах комп’ютерних систем з точки зору забезпечення надійності. Теоретико-інформаційний аналіз зважених контрольних сум як засобу опису блоку даних, що пересилається.
автореферат, добавлен 24.07.2014Шляхи оптимізації структур інформаційно-управляючих систем для забезпечення ефективності і безпеки польотів на літаках нового покоління. Використання технологій процесного аналізу навантаження членів екіпажу в складних та аварійних умовах польоту.
автореферат, добавлен 17.07.2015Тенденції ускладнення процесів управління в сучасному світі, становлення імітаційного моделювання в Україні. Розробка засобів моделювання на базі універсальних алгоритмічних мов, задля покращення якості управлінських рішень і прогнозування їх наслідків.
статья, добавлен 13.10.2016Розгляд особливостей експертних систем технічного діагностування як програмних систем. Дослідження методів формування вимог до програмного забезпечення та можливості їх застосування під час формування вимог до експертних систем технічного діагностування.
статья, добавлен 14.01.2017Постановка задач детермінізації та квазідетермінізації процесів в складних системах. Новий підхід до математичного моделювання систем з частково невідомими даними на вході і на виході системи. Відтворення режиму споживання електроенергії у вузлах мережі.
автореферат, добавлен 27.08.2014Методи дослідження технічних систем і технологічних процесів. Розробка алгоритмічних основ і програмних засобів комп'ютерного моделювання широкого класу динамічних об'єктів. Формування непараметричних математичних моделей у вигляді інтегральних рівнянь.
автореферат, добавлен 29.09.2014Визначення факторів, які суттєво впливають на ефективність функціонування комп’ютерних систем і мереж. Розробка та дослідження методів їх проектування при наявності нечіткості у визначенні характеристик та на основі маршрутизації та логічних каналів.
автореферат, добавлен 26.08.2014Аналіз та класифікація методів оцінювання, оптимізації та ідентифікації надійності алгоритмічного процесу. Розробка методологічних принципів забезпечення його надійності в умовах невизначеності. Підтвердження їх достовірності і практичної цінності.
автореферат, добавлен 27.08.2015- 87. Діагностування комп’ютерних засобів на основі інтелектуальних методів та моделей опрацювання знань
Моделі та форми подання комп’ютерних засобів у базах знань інтелектуальних систем діагностування. Розробка алгоритмів та програмних засобів дослідження характеристик баз знань предметної галузі "Інтелектуальне діагностування мікропроцесорних складових".
автореферат, добавлен 14.07.2015 Аналіз стану технології перетворення зображень на стадії додрукарської підготовки та моделей фарбодрукарських систем. Розробка інформаційної технології синтезу тонопередачі коротких фарбодрукарських систем для забезпечення підвищення їх ефективності.
автореферат, добавлен 30.07.2015Розробка інформаційних технологій проектування структурно-функціональних моделей скінчених автоматів для синтезу алгоритмів автоматизованого управління технологічними процесами. Вивчення методу моделювання алгоритмів автоматизованого управління.
автореферат, добавлен 20.07.2015Розробка математичного забезпечення алгоритмів опису та побудови геометричних моделей поверхонь поведінки динамічних систем з нечіткими параметрами та здійснення на цій основі процесу керування системою шляхом відстеження траєкторії руху "точки".
автореферат, добавлен 29.09.2015Дослідження проблеми розвитку комп’ютерних засобів і систем. Підвищення ефективності процесів створення систем інформатизації об’єктів народного господарства. Вивчення теорії, методів і засобів проблемної орієнтації архітектури автоматизованих систем.
автореферат, добавлен 30.10.2015Дослідження існуючих корпоративних обчислювальних мереж, методів передачі даних, порядків обслуговування повідомлень. Розробка математичних моделей і алгоритмів оптимізації пріоритетного доступу в корпоративних мережах при організації навчального процесу.
автореферат, добавлен 28.07.2014Характеристика основних методів побудови систем підтримки прийняття рішень агрегованими структурами з використанням інформаційних технологій і засобів штучного інтелекту. Структура моделі цілеспрямованого діалогу систем автоматизованого проектування.
статья, добавлен 14.09.2016Розробка математичної моделі надійності програмних засобів, яка дозволяє кількісно оцінити і прогнозувати значення показників надійності. Отримання кількісної оцінки показників надійності комп'ютерних систем при заданих обмеженнях і припущеннях.
статья, добавлен 25.12.2016Аналіз математичного і програмного забезпечення процесів набору та редагування формул алгоритмів засобами універсальних і спеціалізованої комп’ютерних систем. Синтез та мінімізація математичного забезпечення редактора, його програмна реалізація.
автореферат, добавлен 26.07.2014Розробка методів та алгоритмів підвищення ефективності інформаційної взаємодії інтегративних компонентів розподілених систем і мереж комп'ютерів. Оптимізація транспортування даних та забезпечення необхідного рівня якості обслуговування системних ресурсів.
автореферат, добавлен 29.08.2014Варіантний аналіз сучасних методів та засобів проектування програмного забезпечення автоматизованих систем управління. Розробка алгоритмічного забезпечення. Аналіз результатів і дослідження ефективності програми. Інструкція програміста і користувача.
курсовая работа, добавлен 17.02.2010Процедури прийняття рішень, що базуються на використанні математичного моделювання. Аналіз моделей, методів, інструментальних засобів для підтримки прийняття рішень на початкових етапах життєвого циклу складних технічних систем в умовах невизначеності.
автореферат, добавлен 27.08.2015Розробка і дослідження методів і засобів, спрямованих на підвищення ефективності відмовостійких багатопроцесорних систем за рахунок визначення і оптимiзацiї їх параметрів. Структури комп’ютерной системи та керованого генератора для iмiтацiї відмов.
автореферат, добавлен 22.04.2014Відомі атрибути, метрики, методи та інструментальні засоби автоматизованої верифікації та сертифікації програмного забезпечення. Використання семантичних атрибутів для верифікації та експертизи програмного забезпечення інформаційно-управляючих систем.
автореферат, добавлен 29.01.2016