Buchumschlag

Кубитный метод дедуктивного анализа неисправностей для логических схем

Разработаны инновационные методы взятия булевых производных, синтеза тестов на их основе, а также дедуктивного моделирования неисправностей для функциональных элементов, заданных кубитными покрытиями. В методах анализа использованы векторные логические операции and, or, not, xor, а также операция вс...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Электронное моделирование
Datum:	2017
Hauptverfasser:	Хаханов, В.И., Емельянов, И.В., Любарский, М.М., Чумаченко, С.В., Литвинова, Е.И., Тамер Бани Амер
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України 2017
Schlagworte:	Вычислительные процессы и системы
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/131221
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Кубитный метод дедуктивного анализа неисправностей для логических схем / В.И. Хаханов, И.В. Емельянов, М.М. Любарский, С.В. Чумаченко, Е.И. Литвинова, Тамер Бани Амер // Электронное моделирование. — 2017. — Т. 39, № 6. — С. 59-91. — Бібліогр.: 12 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Кубитные технологии анализа и диагностирования цифровых устройств
von: Хаханов, В.И., et al.
Veröffentlicht: (2015)

Квантовый метод синтеза тестов на основе кубитных структур данных
von: Хаханов, В.И., et al.
Veröffentlicht: (2018)

Модели анализа неисправностей цифровых систем на основе FPGA, CPLD
von: Хаханов, В.И., et al.
Veröffentlicht: (2001)

Логический ассоциативный вычислитель
von: Хаханов, В.И., et al.
Veröffentlicht: (2011)

Представление и реализация логических функций в родственной форме
von: Кочкарев, Ю.А., et al.
Veröffentlicht: (2011)

Применение конвейеризации для увеличения быстродействия логических схем
von: Бибило, П.Н., et al.
Veröffentlicht: (2013)

Организация систем функционального контроля комбинационных схем на основе модифицированного кода с суммированием взвешенных переходов
von: Сапожников, В.В., et al.
Veröffentlicht: (2015)

Исследование электронно-ионной оптики электродных систем высоковольтного тлеющего разряда с использованием компьютерного анализа изображений
von: Мельник, И.В.
Veröffentlicht: (2007)

Сучасна математика — поєднання дедуктивного та індуктивного підходів
von: Сергієнко, І., et al.
Veröffentlicht: (2003)

О возможных основаниях немонотонного дедуктивного синтеза программ
von: Приходько, П.П.
Veröffentlicht: (2003)

Диагностика неисправностей в одной системе непрямого управления
von: Шамолин, М.В.
Veröffentlicht: (2009)

Моделирование метода сечений для классификации пятен лазерных пучков с использованием программируемых логических интегральных схем
von: Тимченко, Л.И., et al.
Veröffentlicht: (2012)

Интегральные модели в задачах анализа электрических цепей
von: Верлань, А.Ф., et al.
Veröffentlicht: (2016)

О паралогичности некоторых логических построений
von: Василик, П.В., et al.
Veröffentlicht: (2008)

Метод исследования динамики нестационарных тепловых процессов при наличии симметричных граничных условий
von: Федорчук, В.А., et al.
Veröffentlicht: (2014)

Метод и алгоритмы реализации на ПЛИС функции активации для искусственных нейронных сетей
von: Кравец, П.И., et al.
Veröffentlicht: (2015)

Методы интерполяции данных наблюдений в информационно-вычислительных системах "ИВМ РАН – Мировой океан" и "ИВМ РАН – Черное море"
von: Захарова, Н.Б., et al.
Veröffentlicht: (2012)

Представление алгебропредикатных структур в виде ассоциативно-логических преобразователей
von: Булкин, В.И.
Veröffentlicht: (2012)

Синтез логических многополюсников с заданной динамикой выходных процессов
von: Левин, В.И.
Veröffentlicht: (2012)

Численно-аналитическое решение нелинейной стационарной задачи теплопроводности для бесконечной термочувствительной многослойной пластины
von: Гаврыш, В.И.
Veröffentlicht: (2014)

Метод непосредственного умножения элементов конечного поля GF(2m) с использованием логических функций
von: Кубицкий, В.И., et al.
Veröffentlicht: (2014)

Сущность логических парадоксов специальной теории относительности
von: Аверин, Г.В.
Veröffentlicht: (2014)

Метод моделирования параллельно-иерархической сети для обработки данных на основе построения функциональных рядов
von: Тимченко, Л.И., et al.
Veröffentlicht: (2015)

Анализ алгоритмических особенностей вычисляемых матриц при решении задач программирования средствами матричных макроопераций
von: Мельник, И.В., et al.
Veröffentlicht: (2011)

Метод и модель планирования распределения пакетов заданий в кластере Grid системы
von: Листровой, С.В., et al.
Veröffentlicht: (2016)

Снижение энергопотребления цифровых устройств с помощью операции объединения циклов
von: Лазоренко, Д.И., et al.
Veröffentlicht: (2010)

Метод минимизации суммарного запаздывания работ на одиночном устройстве на основе рангового подхода и правил доминирования
von: Минухин, С.В., et al.
Veröffentlicht: (2014)

Система «SKF Copperhead» — обнаружение неисправностей горнодобывающего оборудования и оборудования для переработки полезных ископаемых
Veröffentlicht: (2003)

Метод исследования изоморфизма неразложимых гиперкомплексных числовых систем
von: Калиновский, Я.А.
Veröffentlicht: (2017)

Трансформация кода программ высокого уровня при синтезе цифровых систем для снижения их энергопотребления
von: Лазоренко, Д.И.
Veröffentlicht: (2007)

Моделирование поля излучения спиральной антенны
von: Ильницкий, Л.Я., et al.
Veröffentlicht: (2010)

Интегро-алгоритмический метод вычисления логарифма матрицы с произвольной точностью
von: Аристов, В.В.
Veröffentlicht: (2014)

Моделирование триодных источников электронов высоковольтного тлеющего разряда с пластинчатым управляющим электродом и коническим анодом
von: Мельник, И.В.
Veröffentlicht: (2017)

Моделирование триодных источников электронов высоковольтного тлеющего разряда с пластинчатым управляющим электродом и коническим анодом
von: Мельник, И.В.
Veröffentlicht: (2017)

Метод перечисления максимальных независимых множеств в неориентированных графах
von: Листровой, С.В., et al.
Veröffentlicht: (2017)

Метод поиска наибольших максимальных независимых множеств вершин неориентированного графа
von: Листровой, С.В., et al.
Veröffentlicht: (2017)

Метод решения k-SAT-задачи сведением ее к задаче о покрытии
von: Листровой, С.В., et al.
Veröffentlicht: (2015)

Структурированные гранулы нечеткого множества в задачах гранулярного компьютинга
von: Минаев, Ю.Н., et al.
Veröffentlicht: (2015)

Идентификация аномалий трафика компьютерных систем на основе методики структурирования многомерного трафика
von: Минаев, Ю.Н., et al.
Veröffentlicht: (2013)

Нечетко множественные характеристики одномерных временных рядов
von: Минаев, Ю.Н., et al.
Veröffentlicht: (2016)