Известия Саратовского университета. Новая серия.
ISSN 1816-9791 (Print)
ISSN 2541-9005 (Online)


Информатика

О бесконтурных точных расширениях

Точные расширения неориентированных графов достаточно хорошо исследованы, а о точных расширениях орграфов известно значительно меньше. В данной работе доказывается, что только бесконтурный или сильно связный граф может быть точным 1-расширением орграфа. Более того, бесконтурным точным 1-расширением может быть только транзитивный турнир.

Об одном алгоритме для поиска маски диагностической информации

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

Синтез контролирующих тестовых последовательностей с применением генетического алгоритма

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

Синтез псевдослучайных контролирующих тестов для дискретного устройства

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

Эксперименты с нестационарными билинейными дискретными системами

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

О решении шахматных позиций с помощью формул логики ветвящегося времени

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

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

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

Методы и алгоритмы идентификации параметров внешнего теплообмена процессов тепломассопереноса

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

Автоматная интерпретация целочисленных последовательностей

Преобразование фазовых картин в геометрические образы законов функционирования автоматов, предложенное и разработанное В.А. Твердохлебовым, позволило представлять фазовые картины едиными математическими структурами –- ломаными линиями с числовыми координатами точек. В.А.Твердохлебовым показано, что последовательность элементов из конечного множества, совмещенная с линейным порядком на множестве входных слов, определяет законы функционирования дискретной детерминированной динамической системы (автомата).

Условия реализуемости функций на полурешётках устойчивыми к состязаниям схемами

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

Страницы