Розробка математичних моделей та програмних засобів оцінки показників функціональної надійності цифрових пристроїв
Розробка математичних моделей функціональних відмов мікроелектронних цифрових пристроїв. Характеристика методики оцінки показників функціональної надійності логічних елементів та функціональних вузлів ЦП. Розробка архітектури програмної підсистеми.
Подобные документы
Оцінка непараметричних моделей прогнозування показників надійності програмного забезпечення на етапах його тестування та експлуатації на основі нейронних мереж. Розробка методу подання марковського процесу вищого порядку у еквівалентному вигляді.
автореферат, добавлен 27.03.2016Метод синтезу та побудови послідовних біноміальних лічильників. Розробка методики оцінки завадостійкості пристроїв на основі біноміальних чисел з дублюванням та ухваленням рішення по провідному каналу або по каналам рівнозначними по значущості.
автореферат, добавлен 25.07.2015Дослідження та аналіз моделей керування цифровими обчислювальними системами і системами автоматики. Визначення можливості мінімізації апаратної реалізації цифрових керуючих пристроїв за рахунок використання оптимального кодування внутрішніх станів.
автореферат, добавлен 28.09.2015Дослідження питання проектування резисторних надпровідних обмежувачів струму як засобу захисту електричних пристроїв від критичних електричних навантажень на основі створених нелінійних математичних моделей розподілу температурного й електричного полів.
автореферат, добавлен 25.02.2015Вирішення функціональних задач управління і переробки інформації в бортових приладових комплексах за рахунок удосконалювання математичних моделей, проблемно-орієнтованих на створення апаратно-програмних засобів. Синтез алгоритмічних перетворювачів.
диссертация, добавлен 13.07.2014Аналіз і класифікація моделей, метрик і інструментальних засобів оцінки надійності програмного забезпечення інформаційних і управляючих систем критичного застосування. Пошук шляхів удосконалення методів оцінки надійності програмного забезпечення.
автореферат, добавлен 28.07.2014Оцінка показників безвідмовності конструктивних елементів і об'єкта за інформацією про ПБ елементів нижнього конструктивного рівня. Алгоритми моделювання мереж Байєса та оцінки надійності інфраструктурних систем. Інженерія надійності та безпека системи.
статья, добавлен 20.04.2021Методи дослідження технічних систем і технологічних процесів. Розробка алгоритмічних основ і програмних засобів комп'ютерного моделювання широкого класу динамічних об'єктів. Формування непараметричних математичних моделей у вигляді інтегральних рівнянь.
автореферат, добавлен 29.09.2014Технології збору, аналізу результатів розподіленого моделювання для оцінки протоколів синхронізації логічних процесів з метою їхньої оптимізації. Розробка алгоритму оптимального відображення цифрових систем на граф мережних моделюючих процесорів.
автореферат, добавлен 29.09.2014Дослідження математичних і комп’ютерних моделей трубчатого п’єзокерамічного сканера, пристроїв на основі планарних біморфних п’єзоелементів та камертона. Розробка методу покращення позиціонування сканерів за рахунок зменшення зв'язку між актуаторами.
автореферат, добавлен 14.08.2015Проект апаратно-програмної системи безпеки приміщення на платформі Arduino та сумісних з нею периферійних пристроїв. Аналіз середовища розробки. Створення схем підключення периферійних пристроїв та плати-мікроконтролера. Розробка програмного коду.
дипломная работа, добавлен 24.05.2023Призначення і використання комбінаційних та послідовнісних функціональних вузлів. Побудова та параметри вузлів цифрової схемотехніки. Проектування типових вузлів цифрових комп'ютерів. Забезпечення програмованості програмованих логічних інтегральних схем.
курсовая работа, добавлен 08.11.2019Аналіз архітектур інформаційно-управляючих систем, важливих для безпеки АЕС, а також методів і засобів забезпечення надійності таких систем. Удосконалення моделей надійності одноверсійних структур та методу оцінки інформаційно-управляючих систем.
автореферат, добавлен 11.08.2014Методика багаторівневого ієрархічного і логічного синтезу асинхронних автоматів і надвеликих інтегральних схем. Проектування мікропрограмних пристроїв управління НВІС на засаді синхронних автоматів. Розробка мов опису проектних логічних специфікацій НВІС.
автореферат, добавлен 21.11.2013Розробка математичних моделей, методів й обчислювальних алгоритмів для моделювання широкого класу задач поширення акустичної енергії в нескінченних хвилеводах. Формулювання нових математичних моделей хвильових процесів. Створення програмного забезпечення.
автореферат, добавлен 12.02.2014Апаратні засоби та програмне забезпечення систем. Методика діагностування компонентів цифрових пристроїв. Корекція програм тестового контролю компонентів. Блок контролю цифрових інтегральних схем. Локальні мережі гнучкого автоматизованого розпізнавання.
автореферат, добавлен 05.01.2014Розробка методології синтезу абстрактних, структурних і HDL-моделей безпечних логічних автоматів для ПЛІС-контролерів з паралельною архітектурою. Експериментальні дослідження, промислові випробування і оцінка функціональної безпеки ПЛІС-контролерів.
автореферат, добавлен 20.07.2015- 43. Інформаційна технологія автоматизованого навчання та контролю знань в управлінні учбовим процесом
Розробка системи моделей управління учбовим процесом та засобів інформаційної технології контролю знань і навчання студентів. Підвищенні ефективності управління. Розробка багатокомпонентних математичних моделей. Виділення рівнів представлення інформації.
автореферат, добавлен 27.07.2014 Розробка математичних моделей та оптимізаційних алгоритмів при комплексному аналізі, проектуванні та експлуатації складних систем з високою ціною відмови. Дослідження методів підвищення їх надійності та забезпечення довготривалих термінів працездатності.
автореферат, добавлен 26.02.2015Розробка математичних моделей структурно-об’єктної технології, а також інтелектуальних агентів, які забезпечують адаптацію комплексу інтерфейсу програмного забезпечення. Особливості та етапи програмної реалізації елементів інформаційної технології.
автореферат, добавлен 29.07.2014Розробка інформаційно-вимірювальної системи на основі нових математичних моделей АЕ сигналів, супроводжуючих роботу електротехнічного обладнання. Огляд методів діагностики, що дозволяють із заданою точністю і достовірністю здійснювати діагностику вузлів.
автореферат, добавлен 13.08.2015Наведення формальної мови для подання математичних текстів. Побудова системи комп’ютерних засобів автоматичної перевірки їх коректності. Розробка процедури пошуку виведення, оригінальної дворівневої архітектури процедури автоматичного доведення.
автореферат, добавлен 05.08.2014Розроблення математичних моделей квантових логічних елементів для різних технологій побудови квантового процесора. Вплив основних конструкційних параметрів, збурюючого сигналу на протікання перехідного процесу між станами, час виконання логічних операцій.
автореферат, добавлен 28.09.2014Обґрунтування схеми електричної структурної. Принцип роботи окремих ВІС з використанням часових діаграм та алгоритмів роботи. Робота пристрою згідно схеми електричної принципової. Тест перевірки окремих вузлів або пристроїв, розрахунок надійності.
курсовая работа, добавлен 24.03.2009Розробка нових високонадійних методів керування електричними перетворювачами. Побудова образно-знакових моделей підвищеної точності датчиків вимірювання струму навантаження мостових інверторів. Формулювання методу перемноження аналогових сигналів.
автореферат, добавлен 30.07.2014