Методика побудови дерева відмов складної технічної системи на основі графу станів і переходів
Характеристика методики, за якою мінімальні перерізи визначаються не з дерева відмов об’єкта дослідження, а з його моделі у вигляді графу станів та переходів. Особливості перевірки достовірності оцінок безпечності програмно-технічних комплексів.
Подобные документы
Дослідження інформаційної технології автоматизованого управління обслуговуванням розосереджених парків засобів вимірювання складних технічних комплексів. Метод визначення складу технологічного обладнання каналів обслуговування операційних елементів.
автореферат, добавлен 28.08.2015На основі апарату нечітких множин аналіз варіантів визначення функцій приналежності станів обладнання і розроблення нового алгоритму моніторингової системи трансформаторного обладнання на нечіткий логіці. Огляд питань діагностики трансформаторів.
статья, добавлен 30.10.2016Аналіз мімічних проявів емоційних станів людини. Визначення ділянок обличчя, мімічні зміни яких є особливостями для розпізнавання візуальних проявів емоційних станів. Розробка інформаційної технології виділення стійких мімічних проявів та їх комбінацій.
статья, добавлен 27.07.2016Характеристика красно-черного дерева (двоичного дерева поиска), их свойства, вставка вершины. Пирамидальная сортировка (heapsort): пирамида (двоичная куча), просеивание элемента (добавление элемента в уже существующую пирамиду), алгоритм, программа.
лекция, добавлен 24.07.2014Характеристика методу побудови логічних залежностей між небінарними ознаками об’єктів в базах даних у вигляді агрегованих асоціативних правил. Аналіз результатів, що отримано, у вигляді програмної системи побудови узагальнених асоціативних правил.
автореферат, добавлен 29.08.2014Ознайомлення з рішенням для удосконалення площини управління програмно-керованих мереж. Дослідження та характеристика особливостей процесу створення розподіленої системи функцій віртуалізації. Розробка та аналіз методу кешування записів таблиці потоків.
статья, добавлен 24.09.2016Особенности линейных однонаправленных и двунаправленных списков. Характеристика структур данных, стеков, очередей. Понятие и виды дерева. Особенности ввода дерева. Организация хеш-таблиц, обработка таблиц и их использование при решении практических задач.
методичка, добавлен 19.12.2016Суть процесів інтеграції інформаційних технологій у системі моделювання для побудови ефективних туристичних та інфокомунікаційних комплексів. Властивості інформаційно-комунікаційних локальних та глобальних комп’ютерних мереж на основі фізичних аналогій.
статья, добавлен 29.08.2016Формування моделі комп’ютерної мережі, яка включає в себе погрози функціонуванню, як природні, так і пов’язані з людським фактором. Аналіз нового поняття структурно-графового об’єкту, яке являє собою узагальнення поняття графу (вершина та гілка).
статья, добавлен 27.07.2016Сутність теорії про знаходження найкоротших шляхів, оптимального маршруту за допомогою математичного об'єкту - графу. Розробка схем алгоритмів, рішення задач з використанням алгоритму Дейкстри та Флойда, матричного методу, модифікованих алгоритмів.
курсовая работа, добавлен 11.05.2015Програмно-апаратний комплекс та методика його використання, які дозволяють діагностувати та контролювати стан елементів металообробної технологічної системи у режимі реального часу, що є одним із найбільш важливих завдань автоматизованого виробництва.
статья, добавлен 07.12.2016Комплексний контрольно-розрахунковий метод оцінки технічного стану засобів автоматизації. Розробка програм діагностики параметрів апаратури Повітряних сил Збройних сил України. Порівняння інформаційних моделей поточного та еталонного станів комплексу.
статья, добавлен 14.07.2016Підвищення надійності програмного продукту - надзвичайно важлива та актуальна наукова задача. Опис методу автоматизованої побудови сценаріїв тестування на основі розробленої моделі поведінки ПЗ з урахуванням його змінних, що скорочеє фінансові ресурси.
статья, добавлен 28.08.2016Розгляд операції багаторозрядного множення у паралельній моделі обчислень, від швидкодії якої залежить швидкодія асиметричних криптографічних програмно-апаратних комплексів. Огляд модифікації алгоритму реалізації операції множення двох N-розрядних чисел.
статья, добавлен 26.07.2016Розробка моделі користувача Інформаційних мереж як поганоформалізованого об’єкта. Методи кластерного аналізу та зростаючих пірамідальних мереж для побудови формалізованої моделі користувача Інформаційних мереж. Метод q-аналізу і його особливості.
статья, добавлен 14.01.2017Проблема створення інформаційних систем технічного діагностування для виявлення аномалій у роботі складної технічної системи; пошуку типу й локалізації відмови в умовах неповної інформації, із застосуванням штучних імунних систем і байєсових мереж.
автореферат, добавлен 27.08.2013Необходимость реорганизации файла при операциях вставки, удаления, модификации. Метод группировки нескольких вершин дерева в один блок ввода-вывода. Свойства В-дерева, представляющего собой сильно ветвящееся дерево. Увеличение количества ключей в блоке.
реферат, добавлен 16.06.2013Теоретичні основи підходу до організаційних і технічних засобів веб-серверів. Аналіз з’ясування технічних засобів захисту веб-серверів за допомогою програмних, апаратних або програмно-апаратних засобів. Характеристика конфігурації операційної системи.
статья, добавлен 31.05.2021Інформаційні моделі систем обслуговування. Порівняння емпіричних даних з отриманими обчисленнями. Визначення станів подій за допомогою прогресивної функції. Функціонування системи масового обслуговування. Час перебування системи в стаціонарному стані.
лекция, добавлен 30.01.2016Результаты балансировки узлов АВЛ-дерева. Выявление причины возникновения ошибок при добавлении или удалении узла в информационной среде. Содержание эффективного способа решения проблемы корректности алгоритма выполнения рассматриваемых операций.
статья, добавлен 10.03.2018Використання математичних концепцій в системах e-learning. Аналіз методів добору навчальних матеріалів на основі марковських процесів прийняття рішень у просторі основних станів. Сутність інтегральних моделей, які дозволяють враховувати часовий фактор.
статья, добавлен 25.10.2016Розробка і дослідження методів і засобів, спрямованих на підвищення ефективності відмовостійких багатопроцесорних систем за рахунок визначення і оптимiзацiї їх параметрів. Структури комп’ютерной системи та керованого генератора для iмiтацiї відмов.
автореферат, добавлен 22.04.2014Обработка двоичных деревьев в С++. Алгоритм их построения. Написание рекурсивной числовой функции, подсчитывающей сумму элементов дерева. Методы организации, хранения и эффективной обработки абстрактных структур данных. Принципы скобочной записи дерева.
лабораторная работа, добавлен 05.05.2015Ознакомление с процессом решения задачи размещения слова в словаре, используя правила составления стандартного словаря с помощью языка программирования Delphi. Определение сущности двоичного дерева поиска. Анализ упорядоченности двоичного дерева.
контрольная работа, добавлен 20.12.2015Сущность и алгоритм бинарного поиска. Реализация множества с помощью бинарного поиска. Условия эффективной реализации множества на базе дерева. Добавление и удаление элементов, операции вращения и процедура восстановления балансировки AVL-дерева.
контрольная работа, добавлен 28.02.2012