Багхдаді А. А. Кубітні моделі та методи аналізу і діагностування цифрових пристроїв

Мета дисертаційного дослідження - істотне підвищення швидкодії програмних і апаратних засобів аналізу цифрових пристроїв за рахунок збільшення розмірності структур даних і пам'яті на основі використання кубітних покриттів функціональних елементів, методів адресного паралельного моделювання, убудованого діагностування та ремонту, що дозволяє значно підвищити вихід придатної продукції завдяки створенню інфраструктури сервісного обслуговування. Об'єкт дослідження - процеси паралельної обробки функціональних примітивів для синтезу, аналізу, тестування, діагностування та ремонту цифрових виробів на основі використання кубітних структур даних. Основні результати: кубітні моделі опису цифрових систем і компонентів, які характеризуються компактністю опису таблиць істинності у формі Q-покриттів і дозволяють підвищити швидкодію програмних і апаратних засобів інтерпретативного моделювання обчислювальних пристроїв; матрична модель кубітних примітивів для реалізації комбінаційних схем, яка характеризується адресним об'єднанням Q-покриттів на елементах пам'яті, з'єднаних у цифрову схему за допомогою вектора станів ліній, і дає можливість відновлювати працездатність відмовних логічних примітивів; автоматна MQT-модель цифрового пристрою, яка характеризується використанням тільки адресовних структур пам'яті та операції транзакції для програмної і апаратної реалізації комбінаційних і послідовностних функциональностей та дозволяє створювати швидкодіючі та надійні обчислювачі для проектування сервісів кіберпростору; Q-метод інтерпретативного справного моделювання цифрових схем, який характеризується використанням компактних Q-покриттів замість таблиць істинності та дозволяє істотно підвищити швидкодію аналізу схеми.