Предлагаются синтезируемые VHDL-модели систем не полностью определенных булевых функций. Приводятся результаты экспериментов по различным способам схемной реализации VHDL-описаний таких систем функций комбинационными схемами в библиотеке проектирования заказных СБИС и FPGA.

Исследуется влияние процедур технологически независимой оптимизации функциональных описаний, которые представлены системами булевых функций, на сложность и задержку схем, синтезированных из библиотечных элементов КМОП СБИС. Сравнивается эффективность предварительной минимизации и алгебраической декомпозиции систем булевых функций в классе ДНФ при оптимизации функциональных описаний средствами синтезатора LeonardoSpectrum. Экспериментальное исследование показало, что к наиболее существенному уменьшению сложности и задержки схем приводит последовательное выполнение на этапе технологически независимой оптимизации процедур минимизации систем булевых функций и алгебраической декомпозиции.

Рассматриваются методы поиска решений систем линейных неравенств специального вида, состоящих из разностных неравенств с двумя переменными и интервальных ограничений с одной переменной. Для решения таких систем предлагаются два подхода, с помощью которых могут быть найдены два экстремальных («максимальное» и «минимальное») решения, а также некоторые другие решения. Первый подход основан на методе Фурье – Моцкина, второй – на представлении системы в виде сети ограничений.

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

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

Рассматривается библиотека MIPCL – свободное программное обеспечение, предназначенное для быстрой и эффективной компьютерной реализации моделей смешанно целочисленного программирования (СЦП). Вычислительные эксперименты доказали, что сегодня MIPCL является наиболее эффективным свободным инструментом для решения задач СЦП. Библиотека MIPCL, документация и многочисленные примеры предоставляются на условиях лицензии GLPL (GNU Lesser Public License), поэтому MIPCL свободно доступна как для некоммерческого, так и коммерческого использования.

Рассматривается проблема рекурсивного (алгоритмического) представления класса сложности NPcoNP. Предлагается новый метод алгоритмического перечисления всех задач в классе сложности NPcoNP с использованием полиномиальных недетерминированных машин Тьюринга.

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

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

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

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

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

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

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