Оцінка надійності програмно-апаратних систем за допомогою моделі їх поведінки
Сучасні підходи до аналізу надійності програмно-апаратних систем. Формування вектора стану: вибір компонент, їх значень та встановлення початкових значень. Розроблення моделі поведінки програмно-апаратної системи у вигляді графа станів та переходів.
Подобные документы
Історія розвитку та сучасний стан інформаційних систем. Концепції комп'ютеризованого інтегрованого виробництва СІМ. Функціональні ознаки програмно-технічного комплексу АРМ (автоматизоване робоче місце). Методи кодування техніко-економічної інформації.
реферат, добавлен 13.12.2013Фізика відмов типових елементів обчислювальної техніки й вибір теоретичних моделей надійності. Спосіб представлення апріорної інформації про процеси деградації елементів. Методи прискорених випробувань на надійність та її прогнозування для різних виробів.
автореферат, добавлен 29.07.2014Розглянуто впровадження системи клієнт-серверної технології на основі VMware Horizon в діяльність закладу вищої освіти. Розробка технічного рішення створення систем навчального або офісного призначення на основі використання застарілого обладнання.
статья, добавлен 26.04.2023Розробка та характеристика особливрстей методів примусового діагностування цифрових мікросхем, встановлених у модулях систем керування технічними об'єктами, які дозволяють мінімізувати загальний час діагностування за умов апріорної невизначеності.
автореферат, добавлен 29.08.2014Історіографічні напрямки та основні етапи розвитку наукової думки про історію розвитку комп'ютерних мереж та розподілених програмно-апаратних комп'ютерних середовищ у вищій навчальній школі України протягом другої половини ХХ на початку ХХІ століття.
статья, добавлен 30.10.2016Процеси формування маршрутів і траєкторій рухомих об'єктів в умовах невизначеності та ресурсних обмежень. Розробка та удосконалення нечітких математичних моделей, комбінованих алгоритмів оптимізації та програмно-алгоритмічного забезпечення СППР.
автореферат, добавлен 12.07.2014Огляд відомих методів побудови математичних моделей алгоритмів поведінки. Використання мови алгоритмічних алгебр. Розробка методу та формування схеми шляхів. Застосування операційних та перевірочних блоків. Визначення ймовірності існування переходів.
статья, добавлен 28.02.2016Дослідження структурних та метричних властивостей систем визначальних співвідношень для повністю визначених та часткових скінчених ініціальних автоматів. Взаємозв’язок між структурою графа автомата та структурою його систем визначальних співвідношень.
автореферат, добавлен 10.08.2014Інформаційні моделі систем обслуговування. Порівняння емпіричних даних з отриманими обчисленнями. Визначення станів подій за допомогою прогресивної функції. Функціонування системи масового обслуговування. Час перебування системи в стаціонарному стані.
лекция, добавлен 30.01.2016Вимоги до побудови адекватних математичних моделей складних об’єктів у вигляді вузлів графа з використанням інтелектуальних інформаційних систем. Проектування переходів системи із ситуації в ситуацію. Побудова алгоритму нечітких ситуаційних мереж.
статья, добавлен 25.10.2016Наявність практичної проблеми надійності ергатичних систем. Необхідність поліпшення якості підготовки операторів. Резонансні ділянки на експериментальних записах, а також створення автоматизованої комп’ютерної системи оцінювання вміння оператора.
контрольная работа, добавлен 04.06.2013Дослідження, вдосконалення та аналіз моделей тестування надійності програмного забезпечення. Оптимізаційна процедура для моделі тестування програмного продукту. Стохастичний процес виявлення помилок, описаний з допомогою напівмарковського процесу.
статья, добавлен 25.08.2016Нейромережева технологія виявлення мережевих атак. Методи простої та семантичної класифікації атак. Побудова сукупного класифікатора трафіку. Огляд системи виявлення аномальної поведінки обчислювальних процесів. Алгоритм перетворення параметрів трафіку.
статья, добавлен 26.07.2016Модель електричної активності мембрани клітини Ходжкіна-Хакслі, де кожен компонент збудливої клітини розглядається як електричний елемент. За допомогою розробленого програмного забезпечення дослідження поведінки моделі на основі експонент Ляпунова.
статья, добавлен 25.10.2016Запропонування інформаційної технології кластерного аналізу значень векторів індукції Візе-Паркінсона, отриманих шляхом перетворення геомагнітного поля магнітоваріаційних станцій на території Японії. Урахування різних періодів варіацій геомагнітного поля.
статья, добавлен 28.01.2017Мережа Петрі, що представляє формалізовану модель системи перевезення вантажів літаками. Алгоритм знаходження запуску переходів. Алгоритмізація моделі системи і її машинна реалізація, оцінка часу очікування контейнерів із вантажами і завантаження літаків.
курсовая работа, добавлен 12.12.2018На основі апарату нечітких множин аналіз варіантів визначення функцій приналежності станів обладнання і розроблення нового алгоритму моніторингової системи трансформаторного обладнання на нечіткий логіці. Огляд питань діагностики трансформаторів.
статья, добавлен 30.10.2016Проблема підключення пристроїв під керуванням операційних систем сімейства Windows та Linux до високошвидкісних мереж RS-485. Програмно-апаратні засоби перетворювача інтерфейсів RS-485/Ethemet та способи оптимізації для досягнення максимальної швидкодії.
статья, добавлен 20.11.2018Кодування векторних даних за допомогою використання геометричних властивостей кругового симетричного поля, всередині якого знаходиться асиметричне підполе у вигляді моделі багатоелементної системи. Значення вагових розрядів системи кодування даних.
статья, добавлен 23.02.2016Методи підвищення метрологічної надійності вимірювальних каналів комп'ютеризованих інформаційно-вимірювальних систем із діодними перетворювачами. Загальний метод досягнення інваріантності вимірювального перетворювача щодо дестабілізуючих факторів.
автореферат, добавлен 26.08.2015Розробка моделей надійності резервованих інформаційно-управляючих систем з додатковими компонентами для організації мережного мажоритування. Особливість методу конфігураційного синтезу цифрових програм при використанні раніше розроблених складників.
автореферат, добавлен 30.10.2015Розроблення моделей і методів підвищення якості обслуговування, надійності функціонування захищених комп'ютерних мереж. Методи моніторингу параметрів трафіку комп'ютерних мереж. Аналіз існуючих моделей систем їх захисту та інформаційної взаємодії.
автореферат, добавлен 26.08.2015Відомі атрибути, метрики, методи та інструментальні засоби автоматизованої верифікації та сертифікації програмного забезпечення. Використання семантичних атрибутів для верифікації та експертизи програмного забезпечення інформаційно-управляючих систем.
автореферат, добавлен 29.01.2016Розгляд життєвого циклу моделювання космічних об’єктів та побудування ймовірнісних моделей переходів. Запропонування системи рівнянь Колмогорова, що визначає потоки ймовірностей станів моделі життєвого циклу. Чисельні розв’язки математичної моделі.
статья, добавлен 26.07.2016Характеристика заходів підвищення продуктивності процедури згладжування контурів графічних об’єктів у системах комп’ютерного дизайну. Особливості програмно-апаратної реалізації розглянутої процедури. Аналітичне співвідношення площі покриття піксела.
автореферат, добавлен 27.08.2014