СИНТЕЗ И АНАЛИЗ ЛОГИЧЕСКИХ Х-ФУНКЦИЙ
Journal Title: Радиоэлектроника и информатика - Year 2018, Vol 2, Issue 2
Abstract
Предлагаются модели и методы кубитного синтеза и анализа логических Х-функций (xor, not-xor) от n переменных [1-8], которые являются мощным математическим средством для решения задач генерации тестов, моделирования неисправностей, создания тестопригодных схем. Их основное преимущество заключается в проверяемости неисправностей, инверсных по отношению к исправному поведению логической схемы.
Authors and Affiliations
Вугар Абдуллаев, Владимир Иванович Хаханов, Светлана Чумаченко, Евгения Литвинова
Keywords
Related Articles
- EP ID EP584703
- DOI 10.30837/1563-0064.2.2018.152970
- Views 87
- Downloads 0
МАТЕМАТИЧЕСКАЯ МОДЕЛЬ ДЛЯ ВИРТУАЛЬНОГО МОНИТОРИНГА РАДИАЛЬНОЙ НЕРАВНОМЕРНОСТИ РАСПРЕДЕЛЕНИЯ ПРИМЕСИ В РАСПЛАВЕ И СЛИТКЕ КРЕМНИЯ НА ПРИМЕРЕ ФОСФОРА
Усовершенствуется математическая модель для вирту- ального мониторинга радиальной и осевой неравномер- ности распределения примеси в расплаве и слитке крем- ния. В результате апробации модели путем сравнения расчетных и...
Разработка трехуровневого метода иерархической маршрутизации на основе принципа целевой координации
Предлагается трехуровневый метод иерархической маршрутизации, основанный на принципе целевой координации. Метод основан на декомпозиционном представлении потоковой модели маршрутизации и включает в себя три уровня иерарх...
Мethod for approximating the distribution function of the states in the single-channel system with a self-similar traffic
Estimation of the service quality characteristics in a single-channel system with queue for the packet network is often reduced to the determination of the Hurst exponent for self-similar traffic, after which using the k...
АЛГОРИТМ УНИФИКАЦИИ В МЕТОДЕ РЕЗОЛЮЦИЙ ДЛЯ ЛОГИКИ ПРЕДИКАТОВ
Рассматривается проблема повышения эффективно- сти интеллектуальных систем, использующих в каче- стве механизма логического вывода метод резолюций для исчисления предикатов первого порядка. Показы- вается, что метод резо...
Secure Multipath Routing Algorithm with Optimal Balancing Message Fragments in MANET
Abstract—This paper is devoted to the proposition of the algorithm of secure multipath routing with optimal balancing message fragments number in MANET. The work considered the concept of the threshold secret sharing sch...