Моделі й методи підвищення відмовостійкості програмно-технічних комплексів інформаційних і керуючих систем енергоблоків АЕС
Розробка структурно-логічної моделі процесів тестування несправностей технічних засобів паралельних програмно-технічних комплексів. Організація й проведення діагностичного обслуговування із застосуванням умовних й безумовних алгоритмів пошуку дефектів.
Подобные документы
Класифікація живих клітин на основі логічної моделі інформаційних систем за рівнем складності. Побудова моделі передавання інформації від дочірніх клітин до батьківських. Обґрунтування неможливості побудови клітин вищих рівнів клітинами нижчих рівнів.
статья, добавлен 22.03.2024Ефективність функціонування складних інформаційних управляючих систем. Моделювання параметрів технічного діагностування стану старіючих технологій. Ненадійність апаратури для контролю. Визначення раціональної стратегії технічного обслуговування АСУ.
автореферат, добавлен 23.08.2014Визначення важливості інформаційно-технічних засобів у забезпеченні ефективності банківської діяльності. Аналіз основних інформаційних систем Національного банку, найважливішої системи електронних грошових переказів, а також її програмного забезпечення.
статья, добавлен 16.04.2021Моделювання сприйняття і нормалізації зображень у технічних системах зору. Математична і комп'ютерна модель. Вибір методів і створення алгоритмів нормалізації для впровадження в реальні системи обробки зображень (упорядковування рухомих об'єктів).
автореферат, добавлен 28.07.2014Розгляд адаптивних прогнозуючих методів. Вивчення алгоритмів узагальненого керування з прогнозуванням. Розробка аперіодичного регулятора. Оптимізація критерію якості. Мінімізація часу перехідного процесу. Побудова програмно–математичного комплексу.
автореферат, добавлен 28.07.2014Аналіз операційної моделі комунікативних інформаційних систем. Характеристика поняття абстрактного алгоритму (А-алгоритму) як загальної моделі неавтоматних алгоритмічних систем. Характеристика теорем про регулярний аналіз та синтез для А-алгоритмів.
статья, добавлен 29.01.2016Формалізація процедури формування поелементних послідовностей розкладання – складання системних технічних об'єктів складання з урахуванням вимог доступу та базування. Проведення кількісної оцінки варіантів по заданим локальним критеріям оптимальності.
автореферат, добавлен 29.07.2014Дослідження інформаційно-пошукових систем бібліотек і визначення напрямів підвищення їх ефективності. Розробка моделі пошукової системи бібліотеки, до складу якої включено засоби підвищення релевантності. Моніторинг використання бібліотечних фондів.
автореферат, добавлен 26.02.2015Створення програмного комплексу для статичної перевірки властивостей формальних моделей та визначення досяжності станів, в яких знайдено недоліки. Основні формальні моделі асинхронних паралельних систем та статичні методи перевірки властивостей.
автореферат, добавлен 14.08.2015Суть процесів інтеграції інформаційних технологій у системі моделювання для побудови ефективних туристичних та інфокомунікаційних комплексів. Властивості інформаційно-комунікаційних локальних та глобальних комп’ютерних мереж на основі фізичних аналогій.
статья, добавлен 29.08.2016Класифікація моделей за способом зображення. Аналіз відмінностей математичних та інформаційних моделей. Розгляд етапів побудови комп'ютерної моделі. Перевірка моделі за допомогою її тестування. Приклади використання неповного умовного оператора.
реферат, добавлен 22.12.2019Основні риси засобів активного тестування та моніторингу для систем реального часу. Значення існуючих засобів тестування в розробці програмного забезпечення при пошуку логічних помилок. Розгляд методів збору, обробки та подання тестувальних даних.
курсовая работа, добавлен 05.05.2020Аналіз сучасних медичних інформаційних систем, будова конфігурації інформаційної системи медичної установи. Методи і засоби проектування інформаційних систем для підтримки діяльності лікувально-профілактичних установ в частині медичного документообігу.
автореферат, добавлен 26.08.2015Проблема створення інформаційних систем технічного діагностування для виявлення аномалій у роботі складної технічної системи; пошуку типу й локалізації відмови в умовах неповної інформації, із застосуванням штучних імунних систем і байєсових мереж.
автореферат, добавлен 27.08.2013Формування поточних і довгострокових планів підвищення кваліфікації керівників та фахівців. Розробка автоматизованого робочого місця з аналізу діяльності вищих навчальних закладів. Програмне забезпечення для виконання робіт по збору і аналізу інформації.
автореферат, добавлен 14.07.2015Розробка моделі користувача Інформаційних мереж як поганоформалізованого об’єкта. Методи кластерного аналізу та зростаючих пірамідальних мереж для побудови формалізованої моделі користувача Інформаційних мереж. Метод q-аналізу і його особливості.
статья, добавлен 14.01.2017Дослідження процесів виявлення помилок в каналах передачі даних комп’ютерних мереж та систем. Розробка підходів для збільшення надійності високопродуктивних методів контролю. Створення програмно-апаратних засобів контролю помилок підвищеної швидкодії.
автореферат, добавлен 28.10.2015Інтермодальні перевезення як змішані перевезення "від дверей до дверей", що виконуються під єдиним керівництвом одного центру. розгляд підходів до оцінки вибору кількості типів технічних засобів для перевезень залежно від відстані та обсягів перевезень.
статья, добавлен 26.09.2016Конструювання інформаційних технологій функціональної безпеки інформаційно-управляючих систем та еволюційно-компонентної моделі. Розробка моделі надійності систем з мережевим мажоритуванням. Застосування систем на енергоблоках атомних електростанцій.
автореферат, добавлен 26.08.2014Побудова математичного забезпечення системи тестування, в основу якого покладено логіко-алгебраїчні методи автоматизації. Моделювання логіки викладача при виставленні балів респонденту. Оцінка точності вимірів за допомогою інформаційних технологій.
автореферат, добавлен 27.04.2014Побудова моделі якості програмних систем оброблення даних на базі метрик надійності. Роль програмного забезпечення у виконанні функцій системи. Математичні моделі прогнозування дефектів та графічний комплекс з використанням апарату байєсівських мереж.
автореферат, добавлен 30.07.2014Дисертація присвячена розробці нових алгоритмів стиску зображень, орієнтованих на реалізацію в програмно–апаратних засобах інформаційних систем медичної діагностики. Розроблено адаптивний алгоритм кодування, що враховує особливості медичних зображень.
автореферат, добавлен 22.06.2014Розробка моделі просторового графа синхронних потоків даних. Алгоритмізація їх обробки у паралельних обчислювальних системах. Застосування програмованих логічних інтегральних схем. Вирішення задач лінійної алгебри з мінімізацією простоїв процесорів.
автореферат, добавлен 11.08.2015Сутність проектування та моделювання об'єктів (математичне, комп'ютерне), реалізованих за допомогою програмно-апаратних засобів. Поняття інформаційної моделі (навчальна, дослідна, науково-технічна, ігрова, імітаційна), графічний спосіб її представлення.
презентация, добавлен 05.05.2015Процеси формування маршрутів і траєкторій рухомих об'єктів в умовах невизначеності та ресурсних обмежень. Розробка та удосконалення нечітких математичних моделей, комбінованих алгоритмів оптимізації та програмно-алгоритмічного забезпечення СППР.
автореферат, добавлен 12.07.2014