[PDF][PDF] Генетические алгоритмы построения входных идентифицирующих последовательностей цифровых устройств

ДЕ Иванов - Донецк: ТОВ «Цифровая типографiя, 2012 - researchgate.net
Цифровая техника нашла широкое применение как в производстве, так и в быту. В
обеих сферах применения потребитель вправе требовать высокой надёжности …

Parallel fault simulation on multi-core processors

DE Ivanov - Радіоелектронні і комп'ютерні системи, 2009 - irbis-nbuv.gov.ua
In this paper we propose a fault simulation algorithm that utilizes all cores in multi-core
processors. We adapt for multi-core workstation our early proposed distributed fault …

Генетический подход проверки эквивалентности последовательностных схем

ДЕ Иванов - Радіоелектроніка, інформатика, управління, 2009 - cyberleninka.ru
При проектировании современных цифровых схем перед разработчиком часто
возникает задача верификации эквивалентности двух схем, что связано с …

[PDF][PDF] Генетические алгоритмы построения идентифицирующих последовательностей для цифровых схем с памятью

ДЕ Иванов - 2008 - iamm.su
In the life cycle of development of digital circuits developer need to solve the several
problems of building of input sequences: test, initializing and verifying of equivalence. In this …

[PDF][PDF] Distributed Genetic Algorithm of Test Generation For Digital Circuits

D Ivanov, Y Skobtsov - 2006 - iamm.su
ГЕНЕТИЧЕСКИЕ АЛГОРИТМЫ В ГЕНЕРАЦИИ ПРОВЕРЯЮЩИХ ТЕСТОВ ЦИФРОВЫХ
СХЕМ Page 1 Distributed Genetic Algorithm of Test Generation For Digital Circuits Skobtsov …

[PDF][PDF] Ускорение работы генетических алгоритмов при построении тестов

ДЕ Иванов, ЮА Скобцов - Искусственный интеллект, 2001 - iai.dn.ua
Рассматривается проблема построения тестов для синхронных
последовательностных схем с помощью генетического алгоритма. Основанная на …

[PDF][PDF] Распределенные алгоритмы моделирования и генерации тестов

ДЕ Иванов, ЮА Скобцов… - Радіоелектронні і комп' …, 2006 - irbis-nbuv.gov.ua
Генетические алгоритмы (ГА) успешно используются при генерации проверяющих
тестов цифровых схем [1](с 90-х годов) наряду с детерминированными структурными …

[PDF][PDF] Алгоритмы достижения состояний в цифровых устройствах и их применение в задачах диагностики

ДЕ Иванов - Вісник Хмельницького національного …, 2012 - journals.khnu.km.ua
В статье рассматривается задача достижения заданного состояния в синхронных
последовательностных цифровых устройствах. Предлагается два метода решения …

[PDF][PDF] Методы параллельного моделирования СБИС с неисправностями

ДЕ Иванов - Радіоелектронні і комп'ютерні системи, 2012 - irbis-nbuv.gov.ua
В данной статье рассматриваются подходы к построению параллельных методов
моделирования больших цифровых устройств с неисправностями. Выделяются три …

[PDF][PDF] Автоматизированная система моделирования и идентификации цифровых устройств АСМИД-Evolution

ДЕ Иванов - Проблемы информационных технологий, 2011 - iamm.su
Перечень функций, которые возлагаются на компьютерную технику, требует
повышения надёжности её функционирования. Данное свойства современных …