Оцінка надійності програмно-апаратних систем за допомогою моделі їх поведінки
Сучасні підходи до аналізу надійності програмно-апаратних систем. Формування вектора стану: вибір компонент, їх значень та встановлення початкових значень. Розроблення моделі поведінки програмно-апаратної системи у вигляді графа станів та переходів.
Подобные документы
Багатозначна модель компонентів цифрової системи на кристалі вентильного та регістрового рівнів для аналізу перехідних процесів. Програмно-апаратний комплекс MV-HES (Multi-Valued Hardware Embedded Simulator), що дозволяє верифікувати складні цифрові SoC.
автореферат, добавлен 28.09.2015Розробка нових і удосконалення існуючих методів, моделей і алгоритмів формування зображень позакабинної обстановки в реальному масштабі часу. Створення на їх основі програмно-технічних систем для тренажерних комплексів різноманітних транспортних засобів.
автореферат, добавлен 28.08.2015Аналіз існуючих програмно-апаратних засобів автоматичного виділення фонем з мовного сигналу. Метод роздільної локалізації фонем з урахуванням індивідуального фонетичного словника диктора. Аналіз VHDL-моделі обчислювального модуля оцінки наявності фонем.
автореферат, добавлен 29.07.2014Конструювання інформаційних технологій функціональної безпеки інформаційно-управляючих систем та еволюційно-компонентної моделі. Розробка моделі надійності систем з мережевим мажоритуванням. Застосування систем на енергоблоках атомних електростанцій.
автореферат, добавлен 26.08.2014Підвищення надійності багатоверсійних інформаційно-управляючих систем (ІУС) на основі використання версійної надмірності технічних засобів, програмного забезпечення. Створення інформаційної технології оцінки та забезпечення надійності мультидиверсних ІУС.
автореферат, добавлен 25.08.2015Розроблення математичної моделі надійності системи із роздільним заміщувальним резервуванням, призначену для визначення ймовірнісних показників перетинів. Забезпечення урахування зміни навантаження елементів, які розподілені за законом Вейбулла.
статья, добавлен 28.02.2016Дисертація присвячена розробці нових алгоритмів стиску зображень, орієнтованих на реалізацію в програмно–апаратних засобах інформаційних систем медичної діагностики. Розроблено адаптивний алгоритм кодування, що враховує особливості медичних зображень.
автореферат, добавлен 22.06.2014Оцінка показників безвідмовності конструктивних елементів і об'єкта за інформацією про ПБ елементів нижнього конструктивного рівня. Алгоритми моделювання мереж Байєса та оцінки надійності інфраструктурних систем. Інженерія надійності та безпека системи.
статья, добавлен 20.04.2021Комп’ютеризована видавнича система як комплекс електронно-обчислювальної техніки, засобів математичного та організаційно-методичного забезпечення вибір програмно-апаратного забезпечення робочих станцій. Технологічний процес до друкарської підготовки.
курсовая работа, добавлен 05.12.2014Здатність сприймати фарбу як важливий фактор друкарських властивостей паперу. Розробка структури системи для автоматизації вимірювання та визначення статичної обмінної ємності з використанням програмно-апаратних засобів з проблемною орієнтацією.
статья, добавлен 29.07.2016- 36. Програмовані логічні контролери з вбудованими засобами тестового та функціонального діагностування
Характеристика сучасного стану і тенденцій розвитку типових структур програмованих логічних контролерів. Розробка та аналіз методів синтезу вбудованих на кристал або печатну плату програмно-апаратних засобів тестового та функціонального діагностування.
автореферат, добавлен 29.09.2015 Аналіз існуючих засобів інформаційних технологій моніторингу транспортних комунікацій, оцінка їх переваг і недоліків. Визначення мережевої концепції та технології проектування універсальних програмно-апаратних комплексів. Математичний опис і моделювання.
автореферат, добавлен 18.11.2013Побудова моделі якості програмних систем оброблення даних на базі метрик надійності. Роль програмного забезпечення у виконанні функцій системи. Математичні моделі прогнозування дефектів та графічний комплекс з використанням апарату байєсівських мереж.
автореферат, добавлен 30.07.2014Моделі відмовостійких цифрових систем керування з програмованою логікою на основі частково працездатних автоматів. Процедури отримання версій за допомогою генетичних алгоритмів. Ранговий відбір індивідуумів. Створення відмовостійких цифрових систем.
автореферат, добавлен 26.07.2014Характеристика існуючих моделей надійності програмних систем. Розроблення алгоритмів та програм їх реалізації. Впровадження запропонованих підходів, моделей та методик інженерії тестування в проекти з розроблення програмних систем оброблення даних.
автореферат, добавлен 30.07.2014Програмно-апаратний комплекс та методика його використання, які дозволяють діагностувати та контролювати стан елементів металообробної технологічної системи у режимі реального часу, що є одним із найбільш важливих завдань автоматизованого виробництва.
статья, добавлен 07.12.2016Підвищення надійності програмного забезпечення систем управління шляхом розробки семантичних атрибутів, метрик, моделей, методів, заснованих на аналізі семантичних інваріантів. Впровадження їх у методиках та засобах підтримки верифікації та експертизи.
автореферат, добавлен 28.09.2014Особливості розробки генеративної моделі користувачів комп’ютерних систем, її структурна і параметрична ідентифікація, властивості та зміни поведінки. Поняття нейромережевої моделі із застосуванням об’єктно-орієнтованого підходу й агентної технології.
автореферат, добавлен 10.08.2014- 44. Проектування багатовимірних робастних систем управління польотом з елементами штучного інтелекту
Методика навчання й адаптації нечітких регуляторів у складі комбінованої системи управління польотом з використанням еталонної моделі. Програмно-алгоритмічне забезпечення для розв’язання завдань автоматизованого проектування та головні вимоги до нього.
автореферат, добавлен 28.08.2015 Дослідження використання Інтернет-ресурсів, які містять відомості про створення і використовування перших програмно керованих автоматів. Верстат Жакарда як приклад машини з програмним управлінням, створеної задовго до появи обчислювальних машин.
статья, добавлен 05.12.2018Метод багатокритеріальної оптимізації багаторівневих мереж, який дозволяє здійснити векторний синтез системи управління програмно-конфігурованих мереж. Процес пошуку оптимального розв’язання в задачах проектування як при багатокритеріальній оптимізації.
статья, добавлен 30.10.2016Роль програмно-апаратних засобів, обчислювальної техніки і пристроїв зв'язку в сучасному світі. Загальні принципи роботи обчислювальних пристроїв. Коротка історія розвитку обчислювальної техніки. Опис загальної схеми роботи обчислювальної машини.
реферат, добавлен 20.06.2017Суть програмно-керованого введення-виведення. Фізична організація пристроїв. Сигнали, які оповіщають про появу програмно незалежних подій і звучать при появі певної помилки в роботі програми. Канал поширення сигналу: штучний, природний і комбінований.
презентация, добавлен 05.05.2013Аналіз моделі формування образів для отримання формального опису зображення, що містить символьну інформацію. Розробка програмно-алгоритмічного забезпечення реалізації методу адаптивного вибору параметрів локалізації на основі аналізу гістограм.
автореферат, добавлен 26.08.2015Множина показників вибору програмно-технічного комплексу. Застосування середовища Turbo Pascal і системи підтримки прийняття рішень для реалізації розроблених процедур вибору. Алгоритм однокритеріальної процедури вибору. Визначення переваг мови Паскаль.
статья, добавлен 13.08.2016