Информатика

ГЕНЕТИЧЕСКИЙ АЛГОРИТМ РАЗМЕЩЕНИЯ КОНТРОЛЬНЫХ ТОЧЕК В ЦИФРОВОМ УСТРОЙСТВЕ

В статье рассматривается задача размещения контрольных точек в цифровом устройстве с целью повышения его контролепригодности. Известные ранее методы решения этой задачи базировались на предварительном анализе топологии (структуры) устройства для оценки таких его показателей, как управляемость, наблюдаемость и тестируемость. Соответствующие показатели во многих известных системах анализа контролепригодности вычислялись с использованием программных средств. Проведение такого анализа является достаточно трудоемким процессом.

НЕДОСТИЖИМЫЕ СОСТОЯНИЯ В ДИНАМИЧЕСКИХ СИСТЕМАХ, АССОЦИИРОВАННЫХ С ЦЕПЯМИ И ЦИКЛАМИ

Приводятся формулы для подсчета количества недостижимых состояний в динамических системах, образованных двоичными векторами, кодирующими ориентации цепей и циклов.

О НИЖНЕЙ ОЦЕНКЕ ЧИСЛА РЕБЕР МИНИМАЛЬНОГО РЕБЕРНОГО 1-РАСШИРЕНИЯ СВЕРХСТРОЙНОГО ДЕРЕВА

Граф G∗ называется реберным 1-расширением графа G, если граф G можно вложить в каждый граф, получающийся из графа G∗ , удалением любого его ребра. Реберное 1-расширение G∗ графа G называется минимальным, если графы G и G∗ имеют одинаковое число вершин, а среди всех реберных 1-расширений графа G с тем же числом вершин граф G∗ имеет минимальное число ребер. Дерево называется сверхстройным, если только одна его вершина имеет степень больше двух.

ИНДЕКСЫ В ДИНАМИЧЕСКОЙ СИСТЕМЕ (B, δ) ДВОИЧНЫХ ВЕКТОРОВ

Описывается алгоритм вычисления индексов состояний динамической системы (B, δ), состояниями которой являются двоичные векторы, а эволюционная функция δ преобразует вектор с помощью одновременного выполнения следующих действий: начальный 0 (если он есть) заменяется на 1, каждая диграмма 10 – на 01, финальная 1 (если она есть) –- на 0. Доказывается корректность алгоритма.

НЕПРЕРЫВНОЕ РАСПИСАНИЕ С ДВУХЭЛЕМЕНТНЫМИ ПРЕДПИСАНИЯМИ

Для двухэлементных предписаний найдены условия существования непререрывного расписания.

О РЕШЕНИИ ШАХМАТНЫХ ПОЗИЦИЙ С ПОМОЩЬЮ ФОРМУЛ ЛОГИКИ ВЕТВЯЩЕГОСЯ ВРЕМЕНИ

В работе по произвольной шахматной позиции описано построение 4 формул логики ветвящегося времени. Как минимум, одна из этих формул выполнима, и по ее модели строится решение позиции: оценка позиции (ничья или победа одной из сторон), а также необходимая для ее достижения стратегия. Построение по позиции формул и получение модели и решения иллюстрировано примерами.

ПРИМЕНЕНИЕ МЕТОДА ИСКУССТВЕННЫХ НЕЙРОННЫХ СЕТЕЙ ДЛЯ ОПРЕДЕЛЕНИЯ НЕКОТОРЫХ АМИНОКИСЛОТ В БИНАРНЫХ СМЕСЯХ

Разработана методика применения метода искусственных нейронных сетей для обработки спектрофотометрических данных с целью определения фенилаланина и тирозина в неразделенных бинарных смесях указанных аминокислот на уровне микрограммовых концентраций. Рассчитаны погрешности определения: минимальная до 1%, максимальная не превышает 10%. Максимальная погрешность наблюдается для смесей, содержание компонентов в которых отличаются на порядок и более.

ЭКСПЕРИМЕНТЫ С НЕСТАЦИОНАРНЫМИ БИЛИНЕЙНЫМИ ДИСКРЕТНЫМИ СИСТЕМАМИ

Получены условия существования синхронизирующих, установочных и диагностических последовательностей для нестационарных билинейных систем. Предложены методы синтеза упомянутых последовательностей.

ОБ ОДНОМ АЛГОРИТМЕ ДЛЯ ПОИСКА МАСКИ ДИАГНОСТИЧЕСКОЙ ИНФОРМАЦИИ

Рассматривается задача сокращения диагностической информации с использованием масок. Предлагается новый жадный алгоритм для решения упомянутой задачи. Приводятся статистические данные, подтверждающие эффективность предложенного алгоритма для диагностической информации, полученной для схем из каталога ISCAS’89.

СИНТЕЗ КОНТРОЛИРУЮЩИХ ТЕСТОВЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ С ПРИМЕНЕНИЕМ ГЕНЕТИЧЕСКОГО АЛГОРИТМА

В статье предложен метод построения контролирующих тестов для дискретных устройств, основанный на генетическом алгоритме. Работоспособность и эффективность метода проверялись путем построения тестов для схем, приведенных в каталоге ISCAS’89. Для моделирования работы схем и генерации тестов была написана программа на C++, Visual Studio 2005. Неисправности эмулируются программной установкой соответствующего объекта в памяти в особое состояние, при котором он выполняет функцию неисправного элемента.

Страницы