Квантові моделі обчислювальних процесів для тестування цифрових систем на кристалах

Мурад Алі Аббас

Публікація:
Квантові моделі обчислювальних процесів для тестування цифрових систем на кристалах

dc.contributor.author	Мурад Алі Аббас
dc.date.accessioned	2016-06-23T13:06:01Z
dc.date.available	2016-06-23T13:06:01Z
dc.date.issued	2012
dc.description.abstract	Основними результатами роботи є: нова апаратно-орієнтована модель паралельного обчислення булеана, яка характеризується використанням процесорної Хассе-структури; нова автоматна модель комбінаційного пристрою, що характеризується можливістю автономного та вбудованого відновлення працездатності компонентів логічних пристроїв за рахунок переадресації дефектних примітивів; удосконалена кубітна модель даних, яка відрізняється нечисельним поданням розрядів у двійковому векторі; удосконалений суперпозиційний метод синтезу кубів функціональностей, що відрізняється формою отримання компактного покриття; удосконалений метод оцінювання ефективності обчислювальних структур, у якому застосовано модифікований алгоритм Дейкстра для пошуку найкоротших шляхів між вершинами графової моделі функціональних блоків. The aim of the research is reducing repairing time of digital systems-on-chips, based on qubit models and quantum methods for testing and repairing, forming hardware and software redundancy of built-in infrastructure IP for functional components with given level of structural granularity. Main results: a new hardware-focused model for parallel computing the Boolean (the set of all subsets), which is characterized by using processor Hassestructure; a new automaton model of combinational unit, which is characterized by the possibility of autonomous and built-in repairing components of logic devices by means of readdressing faulty primitives; an improved qubit model of data that differs from analogues by not numerical view of bits in a binary vector; an improved superposition method for synthesis of functionality cubes that differs from analogues by form of obtaining coverage; an improved method for evaluating the effectiveness of computational structures, which is characterized by using modified Dijkstra's algorithm to find the shortest paths between the nodes of the graph model of functional blocks.	uk_UA
dc.identifier.citation	Мурад Алі Абас Квантові моделі обчислювальних процесів для тестування цифрових систем на кристалах : автореф. дис. ... канд. техн. наук : 05.13.05 "Комп'ютерні системи та компоненти" / А. А. Мурад ; МОНМС України, Харк. нац. ун-т радіоелектроніки. - Х., 2012. - 20 с.	uk_UA
dc.identifier.uri	http://openarchive.nure.ua/handle/document/1172
dc.language.iso	uk	uk_UA
dc.subject	верифікація	uk_UA
dc.subject	діагностування	uk_UA
dc.subject	тестування	uk_UA
dc.subject	цифрові системи на кристалах	uk_UA
dc.subject	кубіт	uk_UA
dc.subject	суперпозиція	uk_UA
dc.subject	графова модель	uk_UA
dc.subject	булеан	uk_UA
dc.subject	відновлення працездатності	uk_UA
dc.subject	verification	uk_UA
dc.subject	diagnosis	uk_UA
dc.subject	testing	uk_UA
dc.subject	system-on-chip	uk_UA
dc.subject	qubit	uk_UA
dc.subject	superposition	uk_UA
dc.subject	graph model	uk_UA
dc.subject	the set of all subsets	uk_UA
dc.subject	repair	uk_UA
dc.title	Квантові моделі обчислювальних процесів для тестування цифрових систем на кристалах	uk_UA
dc.type	Other	uk_UA
dspace.entity.type	Publication