Кафедра автоматизації проектування обчислювальної техніки (АПОТ)
Постійний URI для цієї колекції
Перегляд
Перегляд Кафедра автоматизації проектування обчислювальної техніки (АПОТ) за автором "Baghdadi, Ammar Awni Abbas"
Зараз показано 1 - 7 з 7
Результатів на сторінку
Варіанти сортування
Публікація Quantum Modeling and Repairing Digital Systems(EWDTS, 2013) Baghdadi, Ammar Awni Abbas; Hahanov, V. I.; Palanichamy, Manikandan; Litvinova, E. I.; Dementiev, S.The results of studies concerning the models and methods of quantum diagnosis of digital systems, qubit fault simulation and analysis of fault-free behavior, as well as repair of faulty primitives, are presented.A fault is defined as each individual discrepancy of a product to specification, but fault model should never lead out the product beyond the functionality limits. Therefore fault (fault model – failure) is time fixed part of the functionality that is tied to a physical component. The constant line fault is fixed transition 0- 0 at two adjacent cycles. It makes no sense to consider it as a further extension to other cycles, because according to the automaton model they are all described by means of two adjacent time frames. By extending this two-frame concept to automaton variables we can introduce the full set of fault transitions: 00, 01, 10, 11. Indeed, if we consider the automatic variables, for instance for the register, it is necessary to generate test patterns for verifying the above transitions. Based on the concept of the fault, it follows that the total number of states of functionality also forms a complete set of faults, with the only difference being that the specific fault is always a complement to test signal that detects a fault.Публікація Qubit Model for Solving the Coverage Problem(EWDTS, 2012) Hahanov, V. I.; Litvinova, E. I.; Chumachenko, S. V.; Baghdadi, Ammar Awni Abbas; Eshetie, Abebech MandefroQubit (quantum) structures of data and computational processes for significantly improving performance when solving problems of discrete optimization and fault-tolerant design are proposed. We describe a hardware-focused models for parallel (one cycle) calculating the power set (the set of all subsets) on the universe of n primitives for solving coverage problems, minimization of Boolean functions, data compression, analysis and synthesis of digital systems through the implementation of the processor structure in the form of the Hasse diagram. A prototype of quantum device, implemented by programmable logic, is described. A quantum computer is designed for fault-tolerant design and solving optimization problems by way of the brute-force method through the use of set theory. Considering the discreteness and multiple-valuedness of the alphabets for description of information processes, the parallelism, inherent in the quantum computing, is particularly actual when developing effective and intelligent engines for data retrieval in cyberspace or Internet, tools for synthesis of faulttolerant digital primitives and systems, designing and testing digital systems-on-chips, tools for solving problems of discrete optimization. It does not cover the physical basis of quantum computing, originally planted in the works of scientists, focused on the use of non-deterministic quantum interactions within the atom.Публікація Квантовые структуры для тестирования цифровых устройств(ХНУРЭ, 2013) Хаханов, В. И.; Baghdadi, Ammar Awni Abbas; Чумаченко, С. В.; Шкиль, А. С.Предлагаются теория и примеры реализации квантовых моделей, методов и алгоритмов для повышения быстродействия существующих программных и аппаратных средств анализа цифровых вычислительных устройств за счет увеличения размерности структур данных и памяти. Вводятся понятия, термины и определения, необходимые для понимания теории и практики квантовых вычислений. Описываются результаты исследований, касающихся моделей и методов квантового диагностирования цифровых систем, кубитного моделирования исправного поведения, восстановления работоспособности отказавших примитивов.Публікація Квантові моделі даних і обчислювальних процесів(Науково-технічний журнал : Радіоелектронні і комп'ютерні системи (РЕКС), 2012) Хаханов, В. І.; Литвинова, Є. І.; Гузь, О. А.; Хаханова, І. В.; Murad, Ali Abbas; Baghdadi, Ammar Awni AbbasПредлагаются кубитные (квантовые) структуры данных и вычислительных процессов для существенного повышения быстродействия при решении задач поиска, распознавания, принятия решений, дискретной оптимизации и отказоустойчивого проектирования. Описаны аппаратно ориентированные модели параллельного (за один цикл) вычисления булеана (множества всех подмножеств) на универсуме из n примитивов для решения задач покрытия, минимизации булевых функций, сжатия данных, синтеза и анализа цифровых систем за счет реализации процессорной структуры в форме диаграмме Хассе. Представлен прототип квантового устройства, реализованного на основе программируемой логики для оптимального решения задачи покрытия при анализе киберпространства.Публікація Кубитные структуры данных вычислительных устройств(Научно-технический журнал : Автоматизированные системы управления и приборы автоматики, 2013) Хаханов, В. И.; Литвинова, Е. И.; Хаханова, И. В.; Врублевский, Н. Н.; Baghdadi, Ammar Awni AbbasПредлагаются кубитные модели и методы повышения быстродействия программных и аппаратных средств анализа цифровых устройств за счет увеличения размерности структур данных и памяти. Вводятся основные понятия, термины и определения, необходимые для имплементации квантовых вычислений в практику анализа виртуальных компьютеров. Описываются результаты исследований, касающихся проектирования и моделирования компьютерных систем в киберпространстве на основе использования двухкомпонентного автомата <память, транзакции>.Публікація Кубитные технологии анализа и диагностирования цифровых устройств(Научно-технический журнал : Радиоэлектроника и информатика, 2013) Хаханов, В. И.; Чумаченко, С. В.; Шкиль, А. С.; Меликян, Вазген; Baghdadi, Ammar Awni AbbasПредлагаются теория и примеры реализации кубитных моделей, методов и алгоритмов для повышения быстродействия существующих программных и аппаратных средств анализа цифровых вычислительных устройств за счет увеличения размерности структур данных и памяти для одновременного хранения обрабатываемых состояний. Описываются результаты исследований, касающихся моделей и методов диагностирования цифровых систем, моделирования исправного поведения, восстановления работоспособности отказавших примитивов.Публікація Метрика и критерии анализа киберпространства(ХНУРЭ, 2011) Хаханов, В. И.; Мурад, Али Аббас; Baghdadi, Ammar Awni Abbas; Гузь, О. А.; Хаханова, И. В.Предлагаются метрика и критерии качества взаимодействия объектов при анализе кибер-пространства, представленного в двоичном и многозначном исчислении. Показываются направления использования оценок для задач поиска, распознавания и принятия решений.