Моделі й методи підвищення відмовостійкості програмно-технічних комплексів інформаційних і керуючих систем енергоблоків АЕС
Розробка структурно-логічної моделі процесів тестування несправностей технічних засобів паралельних програмно-технічних комплексів. Організація й проведення діагностичного обслуговування із застосуванням умовних й безумовних алгоритмів пошуку дефектів.
Подобные документы
Підвищення надійності багатоверсійних інформаційно-управляючих систем (ІУС) на основі використання версійної надмірності технічних засобів, програмного забезпечення. Створення інформаційної технології оцінки та забезпечення надійності мультидиверсних ІУС.
автореферат, добавлен 25.08.2015Розгляд операції багаторозрядного множення у паралельній моделі обчислень, від швидкодії якої залежить швидкодія асиметричних криптографічних програмно-апаратних комплексів. Огляд модифікації алгоритму реалізації операції множення двох N-розрядних чисел.
статья, добавлен 26.07.2016Методичні основи автоматизованого управління РСОБ ЗВТ, що ґрунтуються на представленні системи як об’єкту управління. Типові процедури управління і методики, які забезпечують підтримку прийняття рішень, підвищення їх оперативності та достовірності.
автореферат, добавлен 28.08.2014Основи теорії моделювання та базові принципи моделювання складних технічних та економічних систем. Характеристика моделей систем масового обслуговування, мережі Петрі і програмних генераторів випадкових величин і процесів. Шляхи імітаційного моделювання.
учебное пособие, добавлен 12.06.2011Методи зниження трудомісткості та ефективності структурно-параметричної ідентифікації складних технічних об’єктів. Огляд багатокомпонентних моделей шляхом застосування інформаційної технології з програмним синтезом алгоритмів параметричної ідентифікації.
автореферат, добавлен 26.08.2015Характеристика існуючих моделей надійності програмних систем. Розроблення алгоритмів та програм їх реалізації. Впровадження запропонованих підходів, моделей та методик інженерії тестування в проекти з розроблення програмних систем оброблення даних.
автореферат, добавлен 30.07.2014Загальна схема розробки алгоритмів паралельних обчислень для розв’язку складних задач. Особливості моделювання паралельних програм. Аналіз масштабованості реалізації паралельних обчислень. Етапи оцінки комунікаційної трудомісткості паралельних алгоритмів.
лекция, добавлен 30.08.2017Оцінка ключових переваг та недоліків існуючих алгоритмів та програмно-апаратних засобів імітації циклічних сигналів. Дослідження математичної моделі яка характеризує частинний випадок лінійного циклічного випадкового процесу із факторизованим ядром.
статья, добавлен 29.08.2016Створення дедуктивної моделі реконфігурування структур даних опису цифрових систем на тест-векторі з метою виконання швидкодіючої процедури паралельної обробки дефектів. Тестування пристроїв великої розмірності, реалізованих у програмованій логіці.
автореферат, добавлен 25.06.2014Підвищення ефективності функціонування територіально розподілених технічних систем. Вдосконалення керування інформаційним обміном між об’єктами. Автоматизоване управління у розподілених технічних системах на основі специфікованих протокольних автоматів.
автореферат, добавлен 27.07.2014Поняття інформаційної системи. Сутність штучного інтелекту. Питання оцінки інтелектуальності інформаційної системи. Алгоритм кількісної оцінки інтелекту програмно-технічних систем. Засновник теорії штучного інтелекту. Тест Тюрінга. Результати тестування.
контрольная работа, добавлен 09.04.2018Розвиток теорії паралельних обчислювальних систем реального часу шляхом розробки нових ефективних методів і засобів прискорення обчислювальних процесів з паралелізмом. Підвищення надійності і забезпечення простоти адаптації до різних умов застосування.
автореферат, добавлен 30.10.2015Дослідження особливостей побудови і функціонування територіально-розподілених систем дистанційного навчання, їх недоліків та проблем, пов'язаних з їх функціонуванням. Розробка моделі тестування знань, у якій студент розглядається як "чорна скринька".
автореферат, добавлен 26.08.2015Розробка математичної моделі надійності програмних засобів, яка дозволяє кількісно оцінити і прогнозувати значення показників надійності. Отримання кількісної оцінки показників надійності комп'ютерних систем при заданих обмеженнях і припущеннях.
статья, добавлен 25.12.2016Багатозначна модель компонентів цифрової системи на кристалі вентильного та регістрового рівнів для аналізу перехідних процесів. Програмно-апаратний комплекс MV-HES (Multi-Valued Hardware Embedded Simulator), що дозволяє верифікувати складні цифрові SoC.
автореферат, добавлен 28.09.2015Характеристика шляхів інноваційного розвитку проектування, місця медіадизайну в системі сучасних інтернет-технологій. Дослідження методів і програмно-технічних засобів, способів розширення меж використання медіадизайну в інформаційному просторі.
статья, добавлен 06.02.2019Існуючі моделі впливів на працездатність елементів розподілених інформаційно-управляючих та інформаційних систем, методи і засоби оцінювання й забезпечення їхньої живучості. Нові моделі впливів екстремальних факторів різної природи на елементи РІС.
автореферат, добавлен 14.09.2014Методи дослідження технічних систем і технологічних процесів. Розробка алгоритмічних основ і програмних засобів комп'ютерного моделювання широкого класу динамічних об'єктів. Формування непараметричних математичних моделей у вигляді інтегральних рівнянь.
автореферат, добавлен 29.09.2014Аналіз ефективності комплексного тестування, захисту інформації. Реалізація модифікації хеш-алгоритмів паралельного обчислення. Використання нелінійних відтворюючих моделей. Розробка алгоритму побудови моделі визначення складності двійкової послідовності.
автореферат, добавлен 13.07.2014Розробка моделей та методів алгоструктурної організації паралельних обчислювальних процесів задля підвищення ефективності роботи комп'ютерних систем. Особливості методу перетворень алгоструктурних моделей та розпаралелення обчислень в алгоструктурах.
автореферат, добавлен 29.08.2015Розробка методів та алгоритмів моделювання інформаційних систем, що реалізовані на основі Web-технологій. Створення процедур оптимізації структури Web-систем. Побудова формальної моделі Web системи, аналіз її поведінки. Створення прикладної Web системи.
автореферат, добавлен 20.04.2014Розробка системи автоматизованого проектування маршрутів формування кристалів інформаційних систем. Методи виділення фактуальних знань та засоби синтезу моделей і алгоритмів. Технологічне проектування кристалів напівпровідникових інформаційних систем.
автореферат, добавлен 23.02.2014Метод регулювання кількості обслуговуючих вузлів, який на основі довгострокової статистики будує розклад залучення технічних ресурсів для забезпечення процесу обслуговування високонавантажених інформаційних систем. Планування роботи хостінг-провайдерів.
статья, добавлен 27.12.2016Аналіз сучасних методів проектування алгоритмів для забезпечення можливості автоматизованого перетворення та створення паралельних версій алгоритмів. Розробка методу автоматизованого виконання програм і вибору найкращого алгоритму за заданими критеріями.
автореферат, добавлен 11.08.2015Статистичний аналіз первинних інформаційних масивів, математичні моделі прогнозу психофізичної реакції людини. Формалізація змінних біотехнічної системи, вибір й обґрунтування повідомлення, яке досліджується. Пристрої програмно-апаратної частини.
автореферат, добавлен 22.07.2014