Розробка математичних моделей та програмних засобів оцінки показників функціональної надійності цифрових пристроїв
Розробка математичних моделей функціональних відмов мікроелектронних цифрових пристроїв. Характеристика методики оцінки показників функціональної надійності логічних елементів та функціональних вузлів ЦП. Розробка архітектури програмної підсистеми.
Подобные документы
Фізика відмов типових елементів обчислювальної техніки й вибір теоретичних моделей надійності. Спосіб представлення апріорної інформації про процеси деградації елементів. Методи прискорених випробувань на надійність та її прогнозування для різних виробів.
автореферат, добавлен 29.07.2014Оцінка якості функціонування спеціалізованих цифрових пристроїв. Аналіз сучасного стану розвитку засобів обчислювальної техніки. Розробка алгоритмів і моделей пристроїв кодування, декодування і контролю інформації для синтезованих систем числення.
автореферат, добавлен 05.08.2014Розробка математичної моделі надійності програмних засобів, яка дозволяє кількісно оцінити і прогнозувати значення показників надійності. Отримання кількісної оцінки показників надійності комп'ютерних систем при заданих обмеженнях і припущеннях.
статья, добавлен 25.12.2016Розробка та аналіз, на основі перекодованих структурно-блочних кодів, алгоритмів функціонування та математичних моделей суматорів. Дослідження та характеристика особливостей складності математичних моделей суматорів та їх основних функціональних схем.
автореферат, добавлен 25.08.2015Класифікація структурних кодів на основі базових груп. Аналіз показників оцінки потужності підмножин пріоритетів. Характеристика матрично-аналітичного методу синтезу основних шифрів. Метод мінімізації логічних функцій у формі поліномів Ріда-Мюллера.
автореферат, добавлен 15.07.2014Аналіз принципів, методів і засобів оцінки і забезпечення надійності і безпеки інформаційно-управляючих систем критичного застосування. Розробка моделей відмовобезпечних ІУС з урахуванням помилок засобів контролю і управління, процедур їх відновлення.
автореферат, добавлен 29.08.2014Підвищення точності розрахунку показників надійності відмовостійких багатопроцесорних систем, що здатні реконфігуруватися. Розробка модифікацій метода статистичних експериментів для оцінки надійності ВБС. Програмне забезпечення для проведення досліджень.
автореферат, добавлен 29.07.2015Представлення даних у цифрових обчислювальних пристроях на базі використання р-чисел Фібоначчі. Виконання арифметичних, алгебричних операцій на базі обчислення елементів узагальнених послідовностей. Принципи побудови "фібоначчієвих" операційних пристроїв.
автореферат, добавлен 13.07.2014Коригування інформаційно-функціональних елементів при реалізації процесів управління в аеропорту. Характеристика ресурсів функціональних модулів мережі. Одержання оцінок логічної та програмної архітектури реального забезпечення комунікаційних пристроїв.
статья, добавлен 02.09.2021- 10. Розробка математичних моделей надійності складних систем з урахуванням динаміки умов їх експлуатації
Розробка моделі обліку впливу режимів і умов експлуатації на технічний стан складних систем у вигляді багатофакторного рівняння регресії. Огляд методики оцінювання параметрів багатофакторних регресійних моделей. Прогнозування безвідмовності складних.
автореферат, добавлен 14.09.2015 Дослідження сучасного стану та методики вирішення проблеми в області розробки логічних мереж і математичних засобів для побудови їх моделей. Розробка та обґрунтування методу формального опису операцій реляційної алгебри на мові скінчених предикатів.
автореферат, добавлен 26.08.2015Розробка моделі бази знань та архітектури експертної системи діагностування цифрових та мікропроцесорних пристроїв. Дослідження основних переваг прогресивних інформаційних технологій. Алгоритми функціонування модулів експертної системи діагностування.
автореферат, добавлен 20.04.2014Розробка математичних моделей для розрахунку параметрів контролю з метою знаходження співвідношень, що дозволяють розрахувати ці параметри за даними аналізу сигнальної інформації, основний алгоритм їх визначення. Дослідження апаратно-програмних засобів.
автореферат, добавлен 01.08.2014Розробка концепції проблемно-орієнтованої інтегрованої технології формування багатокритеріальних математичних моделей. Створення комплексу процедур формалізації постановки задачі. Запровадження інструментальних засобів автоматизованого формування моделей.
автореферат, добавлен 07.01.2014Наведення підходів для визначення необхідного рівня надійності програмної компоненти та числа осіб відповідальних за працездатність програмного забезпечення в залежності від його складності. Вивчення суті класичного методу Монте-Карло оцінки надійності.
статья, добавлен 13.02.2016Дослідження логіко-математичних моделей формування таблично-алгоритмічних процесів. Розробка математичних моделей ендогенних і часових показників. Удосконалення теорії неповної подібності і розмірностей у галузі обмеження коефіцієнтів подібності.
автореферат, добавлен 13.07.2014Критерії та методи тестування програмного забезпечення. Роль надійності ПЗ як характеристики якості, її дослідження на етапах життєвого циклу. Розробка моделей прийняття рішень при виборі стратегії створення ПЗ, забезпечення необхідного рівня надійності.
автореферат, добавлен 29.10.2015Створення методологічних принципів побудови автоматизованої системи управління ремонтно-технічного забезпечення підприємства на базі розробленого комплексу математичних моделей. Аналіз функціональних підсистем підприємств в умовах існування АСУ.
автореферат, добавлен 13.07.2014- 19. Розробка математичних моделей надійності складних систем з урахуванням динаміки умов їх експлуатації
Створення багатофакторної моделі надійності, у якій фактор-"вік" системи виділений із сукупності факторів, що визначають умови й режим експлуатації системи. Для контрольованих систем створення процедури оцінювання коефіцієнтів рівняння регресії.
автореферат, добавлен 26.07.2014 Вивчення структури, базових перетворень та режимів застосування перспективного криптографічного алгоритму симетричного блокового перетворення "Калина". Дослідження математичних та програмних моделей криптоалгоритму для перевірки правильності реалізації.
статья, добавлен 27.07.2016Тенденції розвитку сучасних СППРЕБ, інтеграція прикладних програм і основні особливості типових програмних реалізацій математичних моделей СППРЕБ. Розробка спеціалізованої мови програмування для формалізації різних аспектів інтеграції моделей у СППРЕБ.
автореферат, добавлен 07.11.2013- 22. Проектування тестів для послiдовносних функціональних схем, що реалізованi у програмованiй логіці
Розробка та загальний опис структурно-функціональних моделей послiдовних схем і удосконалення методів генерації тестів для зменшення часу верифікації цифрових систем на стадіях їхнього автоматизованого проектування й імплементації в кристалах ПЛIС.
автореферат, добавлен 25.06.2014 Класифікація моделей арифметичних пристроїв з відповідною нумерацією способів кодування цифр. Способи кодування, що забезпечують найменшу складність математичних моделей пристрою. Аналіз кодів цифр, складність арифметичних пристроїв при заданій швидкодії.
статья, добавлен 30.08.2016Розробка моделей та архітектурних рішень для складноорганізованих інтелектуальних математичних програмних систем, що інтегрують різноманітні парадигми програмування на базі алгебраїчного та інсерційного програмування, теорії взаємодії агентів і середовищ.
автореферат, добавлен 12.08.2014Аналіз тенденцій розвитку сучасних СППРЕБ, методи інтеграції прикладних програм і основні особливості типових програмних реалізацій математичних моделей СППРЕБ. Розробка спеціалізованої мови програмування для формалізації різних аспектів інтеграції.
автореферат, добавлен 21.11.2013