Методика побудови дерева відмов складної технічної системи на основі графу станів і переходів
Характеристика методики, за якою мінімальні перерізи визначаються не з дерева відмов об’єкта дослідження, а з його моделі у вигляді графу станів та переходів. Особливості перевірки достовірності оцінок безпечності програмно-технічних комплексів.
Подобные документы
Сучасні підходи до аналізу надійності програмно-апаратних систем. Формування вектора стану: вибір компонент, їх значень та встановлення початкових значень. Розроблення моделі поведінки програмно-апаратної системи у вигляді графа станів та переходів.
статья, добавлен 23.09.2016Модель системи технічної експлуатації автомобілів, методи її удосконалення. Дії, які виконуються в системі технічного контролю в реальній та віртуальній моделях. Призначення діаграми станів і переходів об'єкту, діаграми класів та діаграми діяльності.
реферат, добавлен 29.07.2017Розробка методики дослідження працездатності, а також ідентифікації відмов і прогнозування ушкоджень складних інформаційних систем з регулярною структурою. Обґрунтування топологічної еквівалентності. Умови використання імітаційних моделей ушкоджень.
автореферат, добавлен 30.07.2014Розробка структурно-логічної моделі процесів тестування несправностей технічних засобів паралельних програмно-технічних комплексів. Організація й проведення діагностичного обслуговування із застосуванням умовних й безумовних алгоритмів пошуку дефектів.
автореферат, добавлен 24.07.2014Сутність та класифікація бінарних дерев, їх представлення у вигляді списків або масивів. Характеристика прямого та зворотного порядку проходження бінарного дерева. Побудова абстрактного синтаксичного дерева, підрахунок результату арифметичних операцій.
лабораторная работа, добавлен 30.11.2011Розгляд життєвого циклу моделювання космічних об’єктів та побудування ймовірнісних моделей переходів. Запропонування системи рівнянь Колмогорова, що визначає потоки ймовірностей станів моделі життєвого циклу. Чисельні розв’язки математичної моделі.
статья, добавлен 26.07.2016Алгоритм формування оптимальних множин елементів, які беруть участь в процесі моделювання відмов та відновлень складних технічних об'єктів. Методика прогнозування надійності складного технічного об'єкта на стадії його проектування або модернізації.
статья, добавлен 23.09.2020Розробка формального представлення алгоритму інформаційного агента, створення дерева посилань, графу запитів та фільтрів індексів і запитів із застосуванням методу імовірнісного латентного семантичного індексування. Алгоритм брокера для обробки черги.
автореферат, добавлен 29.09.2015Дослідження основних принципів і методології створення автоматизованої системи управління сталим розвитком об’єкта господарчої діяльності. Розробка системи багатофакторних скалярних оцінок станів підприємства з урахуванням зовнішнього середовища.
автореферат, добавлен 29.09.2014Розробка методу оптимізації трансляції видалення спільних виразів, який відрізняється від стандартного використанням графу залежності значень у якості проміжного подання. Можливість зменшення алгоритмічну складність методу об'єму використаної пам’яті.
статья, добавлен 30.05.2021Розгляд особливостей використання моделі станів користувача в системах дистанційного навчання. Характеристика принципів роботи з графовими моделями станів різноманітних систем. Загальна характеристика теорії множин та графів, аналіз сфер використання.
статья, добавлен 28.08.2016Вимоги до побудови адекватних математичних моделей складних об’єктів у вигляді вузлів графа з використанням інтелектуальних інформаційних систем. Проектування переходів системи із ситуації в ситуацію. Побудова алгоритму нечітких ситуаційних мереж.
статья, добавлен 25.10.2016Розробка моделі опису сервісів, орієнтованої на гіпермедіа. Генерування графа та переходів станів (операції HTTP) в полі активності. Розгляд анотацій, запитів і опису JSON. Особливості компонування семантичних REST-сервісів з використанням NEO4J.
статья, добавлен 21.04.2021Розробка методу побудови дерева доставки повідомлень, поданого у вигляді дерева Штейнера, з урахуванням обмежень на розмір затримки передачі інформації при багатоабонентській доставці повідомлень. Розробка та аналіз алгоритму групової маршрутизації.
автореферат, добавлен 04.03.2014Побудова блок-схеми закодованого мікроалгоритму. Розмітка станів і побудова графу автомата. Представлення булевої функції в різних базисах. Проведення мінімізації функцій збудження тригерів і функцій видачі сигналів. Застосування методу Квайна-Мак-Класкі.
курсовая работа, добавлен 23.07.2017Суть програмної реалізації методу індукції дерева рішень на основі інформаційних показників. Аналіз розробки системи клінічних рішень. Розгляд реалізації проекту в середовищі Netbeans на основі Java-класів. Використання SQL-запитів для обчислення даних.
статья, добавлен 30.01.2017Створення автоматизованої системи діагностики патологічних станів системи кровообігу людини на основі досліджень функціональних зв’язків між показниками артеріального тиску і частоти серцевих скорочень в нормі та при патологіях. Тестування роботи системи.
статья, добавлен 29.01.2016Використання основних інструкцій переходів та зсувів у системі команд навчального комп’ютера DeComp. Організація циклів необхідної структури і використання їх у програмах. Особливості виконання операцій зсуву. Блок–схема алгоритму заданої програми.
лабораторная работа, добавлен 05.12.2012Розробка нових і удосконалення існуючих методів, моделей і алгоритмів формування зображень позакабинної обстановки в реальному масштабі часу. Створення на їх основі програмно-технічних систем для тренажерних комплексів різноманітних транспортних засобів.
автореферат, добавлен 28.08.2015Аналіз станів ієрархічних рівнів складних об’єктів. Виявлення властивостей досяжності та несуперечливості під час їх взаємодії. Дослідження процесів нечіткої логіки з відношеннями "умова-дія". Розробка алгоритмів та засобів розв’язання практичних задач.
автореферат, добавлен 26.08.2015Разработка и анализ подпрограммы построения двоичного дерева для массива целых чисел. Ознакомление с условиями переопределения ссылок. Исследование и характеристика понятия сильноветвящегося дерева - дерева, имеющего вершины со многими потомками.
практическая работа, добавлен 20.12.2021Особливості одного з перших алгоритмів стиснення, який сформулювали американські вчені Шеннон і Фано. Методика побудови кодування Шеннона-Фано за допомогою дерева. Розмітка гілок кодового дерева. Відмінності між кодом Хаффмана та кодом Шеннона-Фано.
реферат, добавлен 07.05.2015Мережа Петрі, що представляє формалізовану модель системи перевезення вантажів літаками. Алгоритм знаходження запуску переходів. Алгоритмізація моделі системи і її машинна реалізація, оцінка часу очікування контейнерів із вантажами і завантаження літаків.
курсовая работа, добавлен 12.12.2018- 24. Двоичное дерево
Представление двоичного дерева в памяти компьютера. Обход двоичного дерева с помощью различных способов (прямом, обратном, симметричном порядке). Функции, реализующие обходы двоичного дерева. Рекурсивные Си-функции обхода двоичного дерева в глубину.
лекция, добавлен 24.07.2014 Изучение и анализ процесса программного построения дерева поиска. Ознакомление с описанной структурой содержащей данные одного узла дерева для определения дерева в программе. Рассмотрение и характеристика сравнения результатов с теоретическими оценками.
практическая работа, добавлен 20.12.2021