Зображення обкладинки

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

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

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Электронное моделирование
Дата:	2017
Автори:	Хаханов, В.И., Емельянов, И.В., Любарский, М.М., Чумаченко, С.В., Литвинова, Е.И., Тамер Бани Амер
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України 2017
Теми:	Вычислительные процессы и системы
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/131221
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Кубитный метод дедуктивного анализа неисправностей для логических схем / В.И. Хаханов, И.В. Емельянов, М.М. Любарский, С.В. Чумаченко, Е.И. Литвинова, Тамер Бани Амер // Электронное моделирование. — 2017. — Т. 39, № 6. — С. 59-91. — Бібліогр.: 12 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Кубитные технологии анализа и диагностирования цифровых устройств
за авторством: Хаханов, В.И., та інші
Опубліковано: (2015)

Квантовый метод синтеза тестов на основе кубитных структур данных
за авторством: Хаханов, В.И., та інші
Опубліковано: (2018)

Модели анализа неисправностей цифровых систем на основе FPGA, CPLD
за авторством: Хаханов, В.И., та інші
Опубліковано: (2001)

Логический ассоциативный вычислитель
за авторством: Хаханов, В.И., та інші
Опубліковано: (2011)

Представление и реализация логических функций в родственной форме
за авторством: Кочкарев, Ю.А., та інші
Опубліковано: (2011)

Применение конвейеризации для увеличения быстродействия логических схем
за авторством: Бибило, П.Н., та інші
Опубліковано: (2013)

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

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

Сучасна математика — поєднання дедуктивного та індуктивного підходів
за авторством: Сергієнко, І., та інші
Опубліковано: (2003)

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

Диагностика неисправностей в одной системе непрямого управления
за авторством: Шамолин, М.В.
Опубліковано: (2009)

Моделирование метода сечений для классификации пятен лазерных пучков с использованием программируемых логических интегральных схем
за авторством: Тимченко, Л.И., та інші
Опубліковано: (2012)

Интегральные модели в задачах анализа электрических цепей
за авторством: Верлань, А.Ф., та інші
Опубліковано: (2016)

О паралогичности некоторых логических построений
за авторством: Василик, П.В., та інші
Опубліковано: (2008)

Метод исследования динамики нестационарных тепловых процессов при наличии симметричных граничных условий
за авторством: Федорчук, В.А., та інші
Опубліковано: (2014)

Метод и алгоритмы реализации на ПЛИС функции активации для искусственных нейронных сетей
за авторством: Кравец, П.И., та інші
Опубліковано: (2015)

Методы интерполяции данных наблюдений в информационно-вычислительных системах "ИВМ РАН – Мировой океан" и "ИВМ РАН – Черное море"
за авторством: Захарова, Н.Б., та інші
Опубліковано: (2012)

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

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

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

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

Сущность логических парадоксов специальной теории относительности
за авторством: Аверин, Г.В.
Опубліковано: (2014)

Метод моделирования параллельно-иерархической сети для обработки данных на основе построения функциональных рядов
за авторством: Тимченко, Л.И., та інші
Опубліковано: (2015)

Анализ алгоритмических особенностей вычисляемых матриц при решении задач программирования средствами матричных макроопераций
за авторством: Мельник, И.В., та інші
Опубліковано: (2011)

Метод и модель планирования распределения пакетов заданий в кластере Grid системы
за авторством: Листровой, С.В., та інші
Опубліковано: (2016)

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

Метод минимизации суммарного запаздывания работ на одиночном устройстве на основе рангового подхода и правил доминирования
за авторством: Минухин, С.В., та інші
Опубліковано: (2014)

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

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

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

Моделирование поля излучения спиральной антенны
за авторством: Ильницкий, Л.Я., та інші
Опубліковано: (2010)

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

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

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

Метод перечисления максимальных независимых множеств в неориентированных графах
за авторством: Листровой, С.В., та інші
Опубліковано: (2017)

Метод поиска наибольших максимальных независимых множеств вершин неориентированного графа
за авторством: Листровой, С.В., та інші
Опубліковано: (2017)

Метод решения k-SAT-задачи сведением ее к задаче о покрытии
за авторством: Листровой, С.В., та інші
Опубліковано: (2015)

Структурированные гранулы нечеткого множества в задачах гранулярного компьютинга
за авторством: Минаев, Ю.Н., та інші
Опубліковано: (2015)

Идентификация аномалий трафика компьютерных систем на основе методики структурирования многомерного трафика
за авторством: Минаев, Ю.Н., та інші
Опубліковано: (2013)

Нечетко множественные характеристики одномерных временных рядов
за авторством: Минаев, Ю.Н., та інші
Опубліковано: (2016)