Шифр: 004.4 Б14
Багхдаді Аммар Авні Аббас. Кубітні моделі та методи аналізу і діагностування цифрових пристроїв : автореф. дис. ... канд. техн. наук : 05.13.05 "Комп'ютерні системи та компоненти" / Багхдаді Аммар Авні Аббас ; М-во освіти і науки України, Харків. нац. ун-т радіоелектроніки. – Харків : ХНУРЕ, 2015. – 20 с.
Багхдаді Аммар Авні Аббас. Кубітні моделі та методи аналізу і діагностування цифрових пристроїв : автореф. дис. ... канд. техн. наук : 05.13.05 "Комп'ютерні системи та компоненти" / Багхдаді Аммар Авні Аббас ; М-во освіти і науки України, Харків. нац. ун-т радіоелектроніки. – Харків : ХНУРЕ, 2015. – 20 с.
- Електронна версія (pdf / 751 Kb)
- Замовити
Статистика використання: Завантажень: 3 Видач: 0
Анотація:
Кубітні моделі опису цифрових систем і компонентів, які характеризуються
компактністю опису таблиць істинності у формі Q-покриттів дозволяють
підвищити швидкодію програмних і апаратних засобів інтерпретативного
моделювання обчислювальних пристроїв. Матрична модель кубітних
примітивів для реалізації комбінаційних схем, яка характеризується адресним
об'єднанням Q-покриттів на елементах пам'яті, з'єднаних у цифрову схему за
допомогою вектора станів ліній дає можливість відновлювати працездатність відмовних логічних примітивів. Автоматна MQT-модель цифрового пристрою, яка характеризується використанням тільки адресовних структур пам'яті та операції транзакції для програмної і апаратної реалізації комбінаційних і послідовностних функциональностей дозволяє створювати швидкодіючі тa надійні обчислювачі.
Q-метод інтерпретативного справного моделювання цифрових схем, який
характеризується використанням компактних Q-покриттів замість таблиць істинності дозволяє істотно підвищити швидкодію аналізу схеми.
компактністю опису таблиць істинності у формі Q-покриттів дозволяють
підвищити швидкодію програмних і апаратних засобів інтерпретативного
моделювання обчислювальних пристроїв. Матрична модель кубітних
примітивів для реалізації комбінаційних схем, яка характеризується адресним
об'єднанням Q-покриттів на елементах пам'яті, з'єднаних у цифрову схему за
допомогою вектора станів ліній дає можливість відновлювати працездатність відмовних логічних примітивів. Автоматна MQT-модель цифрового пристрою, яка характеризується використанням тільки адресовних структур пам'яті та операції транзакції для програмної і апаратної реалізації комбінаційних і послідовностних функциональностей дозволяє створювати швидкодіючі тa надійні обчислювачі.
Q-метод інтерпретативного справного моделювання цифрових схем, який
характеризується використанням компактних Q-покриттів замість таблиць істинності дозволяє істотно підвищити швидкодію аналізу схеми.
Тема:
- УДК
- 004.382 Комп'ютери загального призначення
- 004.415.5 Гарантії якості програмного забезпечення. Верифікація і оцінка (V&V)
- 519.713 Автомати Ключові слова
- моделювання, моделирование, modeling, simulation
- верифікація, верификация
- діагностування, диагностирование
- цифрові системи на кристалах, цифровые системы на кристаллах, Systems on Chip- SoC
- графові моделі, графовые модели
- квантові обчислення, квантовые вычисления