Информатика

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

Авторы: Уколова Е. В.

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

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

Авторы: Уколов И. В.

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

МЕТОДЫ И АЛГОРИТМЫ ИДЕНТИФИКАЦИИ ПАРАМЕТРОВ ВНЕШНЕГО ТЕПЛООБМЕНА ПРОЦЕССОВ ТЕПЛОМАССОПЕРЕНОСА

Авторы: Ткаченко В. Н., Иванова А. А., Шуба О. В.

Предложены методы и алгоритмы идентификации параметров внешнего теплообмена на основе метода наименьших квадратов. Проведён сравнительный анализ методов идентификации распределенных параметров.

O РАЗРЕШИМОСТИ ОБРАТНОЙ ЗАДАЧИ ШТУРМА – ЛИУВИЛЛЯ В СИММЕТРИЧНОМ СЛУЧАЕ

Авторы: Мазур Т. В.

В статье предоставлены необходимые и достаточные условия разрешимости обратной задачи восстановления оператора Штурма – Лиувилля по его спектру в случае симметричного относительно середины отрезка потенциала.

УСЛОВИЯ РЕАЛИЗУЕМОСТИ ФУНКЦИЙ НА ПОЛУРЕШЁТКАХ УСТОЙЧИВЫМИ К СОСТЯЗАНИЯМ СХЕМАМИ

Авторы: Панкратова И. А.

В статье рассматриваются схемы, реализующие функции на полурешётках. Даётся определение функциональной устойчивости таких схем к состязаниям, формулируются условия реализуемости функций на полурешётках функционально устойчивыми схемами в произвольном базисе и в любых RS (от Resistor, Switch)-базисах.

ОБ ОДНОМ ПОДХОДЕ К ВОССТАНОВЛЕНИЮ ПОВЕДЕНИЯ КОНЕЧНОГО АВТОМАТА С ЗАЦИКЛИВАНИЕМ ИЗМЕНЕНИЙ СОСТОЯНИЙ

Авторы: Ермошина О. С.

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