Розробка математичних моделей та програмних засобів оцінки показників функціональної надійності цифрових пристроїв
Математичне та програмне забезпечення, призначене для виявлення та усунення ризику збою, спричиненого змаганнями сигналів в цифрових схемах. Особливості взаємодії проектних та обслуговуючих модулів. Апроксимація амплітудної передавальної характеристики.
Подобные документы
Характеристика основних методів підвищення ефективності автоматизованого діагностування цифрових систем. Розробка революційних методів генерації перевіряльних тестів і застосування більш потужної кратної стратегії спостереження вихідних сигналів.
автореферат, добавлен 20.07.2015Призначення, типи і позначення пристроїв, що запам'ятовують. Прикладне і системне програмне забезпечення. Організація пам'яті у обчислювальних пристроїв. Розподіл адресного простору, способи адресації. Машинно- і проблемно-орієнтовані мови програмування.
лекция, добавлен 23.07.2015Вивчення структури, базових перетворень та режимів застосування перспективного криптографічного алгоритму симетричного блокового перетворення "Калина". Дослідження математичних та програмних моделей криптоалгоритму для перевірки правильності реалізації.
статья, добавлен 27.07.2016Основні види програмних продуктів, на яких базується процес навчання: стандартне програмне забезпечення, спеціалізовані навчальні програми та електронна допомога. Структура програмного комплексу та особливості його впровадження у навчальний процес.
статья, добавлен 28.02.2017Виявлення помилок передачі цифрових даних в лініях комп'ютерних мереж та шинах обчислювальних систем. Розробка підходів до збільшення надійності високопродуктивних методів контролю, програмно-апаратних засобів контролю помилок підвищеної швидкодії.
автореферат, добавлен 23.08.2014Аналіз тенденцій розвитку сучасних СППРЕБ, методи інтеграції прикладних програм і основні особливості типових програмних реалізацій математичних моделей СППРЕБ. Розробка спеціалізованої мови програмування для формалізації різних аспектів інтеграції.
автореферат, добавлен 21.11.2013Оцінка непараметричних моделей прогнозування показників надійності програмного забезпечення на етапах його тестування та експлуатації на основі нейронних мереж. Розробка методу подання марковського процесу вищого порядку у еквівалентному вигляді.
автореферат, добавлен 27.03.2016Методи підвищення швидкодії функціональної верифікації цифрових систем на кристалах. Програмне забезпечення логічного моделювання, виконуване на послідовному комп'ютері. Удосконалення моделі сферичного мультипроцесора, розв’язання булевих рівнянь.
автореферат, добавлен 26.08.2015Фізика відмов типових елементів обчислювальної техніки й вибір теоретичних моделей надійності. Спосіб представлення апріорної інформації про процеси деградації елементів. Методи прискорених випробувань на надійність та її прогнозування для різних виробів.
автореферат, добавлен 29.07.2014Аналіз математичних моделей метрологічного забезпечення експлуатації об'єктів. Методи вирішення задач: перебір або підбіор варіанту згідно вимог системи, математичне програмування. Вирішення моделей Рао-Крамера-Фреша методом нелінійного програмування.
статья, добавлен 14.07.2016Розробка структур та вибір методів обробки даних, алгоритмів функціонування програмних модулів, забезпечення якісних показників роботи програми. Характеристика інтегрованої довідкової системи та супроводжувальної документації для користувачів програми.
курсовая работа, добавлен 16.11.2015Технології збору, аналізу результатів розподіленого моделювання для оцінки протоколів синхронізації логічних процесів з метою їхньої оптимізації. Розробка алгоритму оптимального відображення цифрових систем на граф мережних моделюючих процесорів.
автореферат, добавлен 29.09.2014Підвищення ефективності та достовірності процесу тестового комбінованого діагностування цифрових мікропроцесорних пристроїв шляхом побудови методик та алгоритмів оптимізації послідовностей тест-векторів, що реалізують умовні алгоритми діагностування.
автореферат, добавлен 21.11.2013Класифікація і призначення електронних цифрових підписів. Алгоритми побудови цифрових підписів. Критерії оцінки захищеності ЕЦП. Функціональні вимоги та довіра до забезпечення інформаційної безпеки. Пропозиції щодо профілю захисту цифрового підпису.
курсовая работа, добавлен 27.03.2022Дослідження функціональних компонентів вхідного і вихідного інтерфейсів комп’ютера. Характеристика цифро-аналогових перетворювачів цифрової інформації. Розгляд особливостей аналого-цифрових перетворювачів послідовної лічби та з порозрядним кодуванням.
реферат, добавлен 29.10.2014Методи дослідження технічних систем і технологічних процесів. Розробка алгоритмічних основ і програмних засобів комп'ютерного моделювання широкого класу динамічних об'єктів. Формування непараметричних математичних моделей у вигляді інтегральних рівнянь.
автореферат, добавлен 29.09.2014Виявлення шкідливого програмного забезпечення в локальних комп’ютерних мережах, особливістю якої є синтез в ній вимог розподіленості, децентралізованості та багаторівневості. Розгляд самоорганізації як особливості автономних програмних модулів системи.
статья, добавлен 09.10.2018Обґрунтовано місце інформації про якість цифрових просторових даних в алгоритмі створення загальногеографічних карт. Виявлено сутність основних елементів інформації про якість цифрових просторових даних, визначено принципи забезпечення стосовно помилок.
статья, добавлен 20.09.2020Метод синтезу та побудови послідовних біноміальних лічильників. Розробка методики оцінки завадостійкості пристроїв на основі біноміальних чисел з дублюванням та ухваленням рішення по провідному каналу або по каналам рівнозначними по значущості.
автореферат, добавлен 25.07.2015Підвищення надійності багатоверсійних інформаційно-управляючих систем (ІУС) на основі використання версійної надмірності технічних засобів, програмного забезпечення. Створення інформаційної технології оцінки та забезпечення надійності мультидиверсних ІУС.
автореферат, добавлен 25.08.2015Розгляд основних понять у тестуванні програмного забезпечення (ПЗ), критеріїв вибору тестів, оцінки відтестованості проекту. Методи тестування ПЗ. Аналіз автоматизації процесу тестування та зв’язку між вказаним процесом і якістю програмного забезпечення.
статья, добавлен 20.11.2022Структурно-функціональний метод аналізу тестопридатності цифрових систем на кристалах. Розробка неітеративної моделі діагностування цифрових систем на кристалах з регістром граничного сканування в якості мультизонду. Процес вибору контрольних точок.
автореферат, добавлен 29.08.2015Розробка та аналіз, на основі перекодованих структурно-блочних кодів, алгоритмів функціонування та математичних моделей суматорів. Дослідження та характеристика особливостей складності математичних моделей суматорів та їх основних функціональних схем.
автореферат, добавлен 25.08.2015Створення дедуктивної моделі реконфігурування структур даних опису цифрових систем на тест-векторі з метою виконання швидкодіючої процедури паралельної обробки дефектів. Тестування пристроїв великої розмірності, реалізованих у програмованій логіці.
автореферат, добавлен 25.06.2014Математичне моделювання залежності витрат природного газу на опалення теплиць від параметрів зовнішнього середовища з метою забезпечення заданої внутрішньої температури в теплиці. Оптимальний мікроклімат для забезпечення продуктивності фотосинтезу.
статья, добавлен 30.01.2017