Дослідження складних систем з високою ціною відмови
Розробка математичних моделей та оптимізаційних алгоритмів при комплексному аналізі, проектуванні та експлуатації складних систем з високою ціною відмови. Дослідження методів підвищення їх надійності та забезпечення довготривалих термінів працездатності.
Подобные документы
Дослідження існуючих математичних моделей процесів маршрутизації у складних гетерогенних мережах. Розробка часткових алгоритмів динамічної маршрутизації на основі методу аналізу ієрархій з пошуком і поточною корекцією власних значень матриці ієрархій.
автореферат, добавлен 22.07.2014Розробка комплексу математичних моделей коливальних процесів роторних систем, які дозволяють удосконалити інструментарій комп’ютерного моделювання. Організація досліджень, випробовувань та вібродіагностики, підвищення надійності роботи цих систем.
автореферат, добавлен 26.08.2015Аналіз станів ієрархічних рівнів складних об’єктів. Виявлення властивостей досяжності та несуперечливості під час їх взаємодії. Дослідження процесів нечіткої логіки з відношеннями "умова-дія". Розробка алгоритмів та засобів розв’язання практичних задач.
автореферат, добавлен 26.08.2015Підвищення надійності багатоверсійних інформаційно-управляючих систем (ІУС) на основі використання версійної надмірності технічних засобів, програмного забезпечення. Створення інформаційної технології оцінки та забезпечення надійності мультидиверсних ІУС.
автореферат, добавлен 25.08.2015Розробка та аналіз, на основі перекодованих структурно-блочних кодів, алгоритмів функціонування та математичних моделей суматорів. Дослідження та характеристика особливостей складності математичних моделей суматорів та їх основних функціональних схем.
автореферат, добавлен 25.08.2015Розробка математичних моделей, методів й обчислювальних алгоритмів для моделювання широкого класу задач поширення акустичної енергії в нескінченних хвилеводах. Формулювання нових математичних моделей хвильових процесів. Створення програмного забезпечення.
автореферат, добавлен 12.02.2014Методологія розроби математичних моделей та комп’ютерних технологій вирішення задач оптимального розподілу ресурсів логістичних систем. Створення алгоритмів та елементів інформаційної розробки теоретико-категорійних і множинних математичних моделей.
автореферат, добавлен 22.04.2014Аналіз і класифікація моделей, метрик і інструментальних засобів оцінки надійності програмного забезпечення інформаційних і управляючих систем критичного застосування. Пошук шляхів удосконалення методів оцінки надійності програмного забезпечення.
автореферат, добавлен 28.07.2014Розробка математичних моделей функціональних відмов мікроелектронних цифрових пристроїв. Характеристика методики оцінки показників функціональної надійності логічних елементів та функціональних вузлів ЦП. Розробка архітектури програмної підсистеми.
автореферат, добавлен 12.11.2013Створення алгоритмів та методів для автоматичної верифікації формальних моделей асинхронних промислових систем. Перевірка динамічних властивостей, редукції простору пошуку, генерації множини тестових сценаріїв, що задовольняють певним критеріям покриття.
автореферат, добавлен 26.09.2015Ефективність функціонування складних інформаційних управляючих систем. Моделювання параметрів технічного діагностування стану старіючих технологій. Ненадійність апаратури для контролю. Визначення раціональної стратегії технічного обслуговування АСУ.
автореферат, добавлен 23.08.2014Створення систем підтримки прийняття рішень у логістиці. Структури і функції СППР в управлінні транспортним процесом. Розробка математичних моделей, інструментальних методів і алгоритмів оптимізації логістичного управління транспортними комплексами.
автореферат, добавлен 30.09.2013- 38. Методи і моделі системологічного імітаційного моделювання розробки компонент інформаційних систем
Побудова імітаційних моделей з використанням системно-об’єктного підходу та методів моделювання складних інформаційних програмних систем та їхніх компонентів на базі УФО-технології. Удосконалення математичного апарату для моделювання бібліотек даних.
автореферат, добавлен 27.08.2014 Характеристика існуючих моделей надійності програмних систем. Розроблення алгоритмів та програм їх реалізації. Впровадження запропонованих підходів, моделей та методик інженерії тестування в проекти з розроблення програмних систем оброблення даних.
автореферат, добавлен 30.07.2014Розвиток інформаційних систем та моделювання складних систем типу підприємств. Основне призначення моделей підприємств, їх дослідження з метою удосконалення системи управління. Матеріальна основа (технічні досягнення) сучасних інформаційних технологій.
статья, добавлен 30.01.2017Створення методологічних принципів побудови автоматизованої системи управління ремонтно-технічного забезпечення підприємства на базі розробленого комплексу математичних моделей. Аналіз функціональних підсистем підприємств в умовах існування АСУ.
автореферат, добавлен 13.07.2014Аналіз принципів, методів і засобів оцінки і забезпечення надійності і безпеки інформаційно-управляючих систем критичного застосування. Розробка моделей відмовобезпечних ІУС з урахуванням помилок засобів контролю і управління, процедур їх відновлення.
автореферат, добавлен 29.08.2014Методи зниження трудомісткості та ефективності структурно-параметричної ідентифікації складних технічних об’єктів. Огляд багатокомпонентних моделей шляхом застосування інформаційної технології з програмним синтезом алгоритмів параметричної ідентифікації.
автореферат, добавлен 26.08.2015Розробка системи автоматизованого проектування маршрутів формування кристалів інформаційних систем. Методи виділення фактуальних знань та засоби синтезу моделей і алгоритмів. Технологічне проектування кристалів напівпровідникових інформаційних систем.
автореферат, добавлен 23.02.2014Ефективність використання статистичного методу підвищення стійкості розв’язків і алгоритму забезпечення заданої точності визначення погано обумовлених систем лінійних алгебраїчних рівнянь. Розрахунок коефіцієнту лінійного температурного розширення.
статья, добавлен 27.07.2016Розв'язання проблеми забезпечення безпомилковості процесу проектування реактивних алгоритмів промислового рівня складності, що передбачає розробку математичного апарату доказового проектування алгоритмів. Розробка методів синтезу автомата-розпізнавача.
автореферат, добавлен 27.04.2014Оцінка непараметричних моделей прогнозування показників надійності програмного забезпечення на етапах його тестування та експлуатації на основі нейронних мереж. Розробка методу подання марковського процесу вищого порядку у еквівалентному вигляді.
автореферат, добавлен 27.03.2016Основи теорії моделювання та базові принципи моделювання складних технічних та економічних систем. Характеристика моделей систем масового обслуговування, мережі Петрі і програмних генераторів випадкових величин і процесів. Шляхи імітаційного моделювання.
учебное пособие, добавлен 12.06.2011Побудова математичної моделі розвитку онтологій. Інтеграція моделей. Розробка методів аналізу адекватності, усунення властивостей динамічної суперечливості інформації. Обґрунтування алгоритмічних та інструментальних засобів аналізу у прикладних задачах.
автореферат, добавлен 25.07.2014Розробка нейромережевих моделей динамічних об'єктів, що описуються нелінійними рівняннями в просторі станів і їх дослідження. Вивчення питань підвищення обчислювальної стійкості рекурентних алгоритмів і розробка факторизованих алгоритмів навчання.
автореферат, добавлен 28.07.2014