Preview

Информатика

Расширенный поиск

ЕЖЕКВАРТАЛЬНЫЙ НАУЧНЫЙ ЖУРНАЛ

Издаётся с января 2004 г.

№ 3 (2016)
Скачать выпуск PDF

ОБРАБОТКА СИГНАЛОВ, ИЗОБРАЖЕНИЙ И РЕЧИ

5-13 285
Аннотация

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

14-24 281
Аннотация

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

25-30 308
Аннотация

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

ЗАЩИТА ИНФОРМАЦИИ

31-37 226
Аннотация

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

АВТОМАТИЗАЦИЯ ПРОЕКТИРОВАНИЯ

38-48 347
Аннотация

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

СТАТЬИ ПО МАТЕРИАЛАМ КОНФЕРЕНЦИЙ

49-58 262
Аннотация

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

59-66 260
Аннотация

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

67-69 1757
Аннотация

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

80-86 244
Аннотация

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

87-95 270
Аннотация

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

96-100 438
Аннотация

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

101-104 256
Аннотация

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

105-112 2005
Аннотация

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

113-123 270
Аннотация

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



ISSN 1816-0301 (Print)
ISSN 2617-6963 (Online)