Методика побудови дерева відмов складної технічної системи на основі графу станів і переходів
Характеристика методики, за якою мінімальні перерізи визначаються не з дерева відмов об’єкта дослідження, а з його моделі у вигляді графу станів та переходів. Особливості перевірки достовірності оцінок безпечності програмно-технічних комплексів.
Подобные документы
Визначення поняття калейдоскопічного графу, що є природнім узагальненням кодів Хемінга. Опис загальних способів побудови калейдоскопічних графів на основі графів Келі груп. Розкладання графів та знаходження достатніх ознак їх квазігамільтоновості.
автореферат, добавлен 28.12.2015Аналіз сучасних засобів розв’язання задачі ідентифікації проблемних ситуацій та їх станів в складних технічних системах. Кластеризаційний модифікований алгоритм k-means та його доцільність для розв’язання поставленої задачі на залізничному транспорті.
статья, добавлен 24.06.2016- 28. АВЛ-деревья
Понятие АВЛ-дерева (подравненного дерева). Показатели сбалансированности и их значения. Типичная структура узла АВЛ-дерева, базовые операции над ними. Реализация простейших базовых операций. Включение узла в АВЛ-дерево и его построение (примеры).
лекция, добавлен 24.07.2014 Розробка інформаційної технології метаконтекстного обміну даними. Поняття онтологічного графу як засобу моделювання знань системи метаконтекстної взаємодії. Відносний метод оцінки якості даних системи, що базується на ієрархічному підході їх оцінювання.
автореферат, добавлен 25.06.2014Вибір моделі геометричних перетворень як основи створення високоефективних методів класифікації, особливості завдань видобування даних. Кусковий метод побудови розділяючих поверхонь на основі формування дерева поділу на класи і матриці штрафів-заохочень.
автореферат, добавлен 24.07.2014Огляд відомих методів побудови математичних моделей алгоритмів поведінки. Використання мови алгоритмічних алгебр. Розробка методу та формування схеми шляхів. Застосування операційних та перевірочних блоків. Визначення ймовірності існування переходів.
статья, добавлен 28.02.2016Характеристика вимог до перевірки якості програмного продукту перед передачею його в роботу. Дослідження етапів побудови системи нечіткого виведення для визначення якості розроблюваного програмного продукту. Моделювання розробленої нечіткої моделі.
статья, добавлен 23.10.2020- 33. Методи розпізнавання та класифікації станів систем управління засобами нейромережевих технологій
Дослідження методики застосування нейромережевих технологій для передбачення ймовірних станів у системах керування і управління багатопараметричними об’єктами, визначення нелінійності класифікатора для оцінки функціонування нейромережевого класифікатора.
автореферат, добавлен 27.07.2014 Створення програмного комплексу для статичної перевірки властивостей формальних моделей та визначення досяжності станів, в яких знайдено недоліки. Основні формальні моделі асинхронних паралельних систем та статичні методи перевірки властивостей.
автореферат, добавлен 14.08.2015Алгоритмы построения дерева принятия решений как одни из инструментов решения задач классификации и прогнозирования. Поиск наилучшего баланса между размером дерева и его качеством. Значение целевой переменной на основе нескольких переменных на входе.
статья, добавлен 17.12.2019Розробка та характеристика інформаційної моделі процесу комп’ютерного дослідження системи управління, як об’єкта автоматизації. Дослідження моделі багатоклітьового дротового прокатного стану і його системи управління та системи зв'язаних між собою клітей.
автореферат, добавлен 07.08.2014Концепція адаптивного клієнта як альтернатива "тонкому" та "товстому" клієнту та його інтеграція в автоматизовану комп’ютерну систему ідентифікації технічних станів промислових об’єктів. Теоретичний базис та варіант реалізації адаптивного клієнта.
статья, добавлен 14.07.2016Розробка дискретної моделі, яка базується на понятті "подія", системи технічного діагностування на основі математичного апарата марковських ланцюгів. Застосування методики оптимізації параметрів стратегії технічного обслуговування старіючих систем.
автореферат, добавлен 28.10.2015- 39. Деревья решений
Понятие дерева решений. Построение дерева решений и пример задач, которые возможно решить при помощи дерева. Интеллектуальный анализ данных с помощью программ JMP и Microsoft Excel. Анализ и сравнение результатов, полученных из двух разных программ.
лабораторная работа, добавлен 01.06.2016 Особливості ідентифікації проблемних ситуацій та їх станів з використанням модифікованого алгоритму FOREL кластеризації. Основні відмінності модифікованого алгоритму: можливість задавати значення показника якості розбиття при аналізі проблемних ситуацій.
статья, добавлен 29.08.2016Описание алгоритма автоматического перевода текстов с одного языка на другой с использованием дерева модели мира. Перевод с помощью графа модели мира, активизация дерева на входном языке. Генерация осмысленных текстов с помощью дерева модели мира.
статья, добавлен 19.12.2021Розробка графу взаємозв’язків між критеріями, які ієрархічно впорядковані за пріоритетністю впливу на процес моделювання представлення інформації в електронних виданнях на основі аналізу критеріїв, що впливають на якість сприйняття цієї інформації.
статья, добавлен 29.08.2016Методичні основи автоматизованого управління РСОБ ЗВТ, що ґрунтуються на представленні системи як об’єкту управління. Типові процедури управління і методики, які забезпечують підтримку прийняття рішень, підвищення їх оперативності та достовірності.
автореферат, добавлен 28.08.2014Розробка, дослідження алгоритмів фільтрації зображень, спотворених шумом, на основі адаптації до локальної структури з використанням робастних оцінок параметрів моделі зображення. Піраміда зображення з роздільною здатністю на основі робастної регресії.
автореферат, добавлен 12.02.2014Характеристика основных видов баз данных: фактографических и документальных, централизованных и распределенных, реляционных, сетевых и иерархических. Определение структуры их реализации. Сравнение сущности генеалогического дерева и дерева папок.
презентация, добавлен 24.10.2017Старіння програмного забезпечення - погіршення продуктивності інформаційного продукту із моменту запуску на пристрої, що може призвести до його повного припинення функціонування. Особливості використання марковських ланцюгів для опису проявів відмов.
статья, добавлен 05.04.2020Этапы проектирования интеллектуальных систем. Разработка дерева решений для экспертной системы "Выбор ноутбука", его преобразование в правила. Создание правил, их соответствие путям, ведущим к возможным целям дерева решений. Применение дерева решений.
курсовая работа, добавлен 27.09.2014Огляд розробки теорій послідовних схем. Абстрактні автомати як математичні моделі цифрового пристрою та їх поширені типи - Мілі, Мура, комбінаційні схеми. Методи синтезу абстрактних автоматів і процесів побудови їх графів у стані переходів і виходів.
реферат, добавлен 25.10.2012Методика розв’язання задачі забезпечення стійкості обчислювального процесу на основі використання сучасних чисельних методів. Аналіз способів заміни експериментальної побудови бази знань засобами математичного моделювання і комп’ютерної симуляції.
автореферат, добавлен 28.07.2014Змістовий огляд предметної області, основні вимоги до системи. Уніфікована мова моделювання UML: її призначення. Розробка моделі програмної системи засобами UML: вид з погляду прецедентів, проектування, реалізації. Діаграма прецедентів, станів, класів.
курсовая работа, добавлен 19.09.2017