Preview

Информатика

Расширенный поиск
№ 1(13) (2007)

ЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕ

5-15 32
Аннотация
Рассматривается проблема нахождения отношения параллельности на множестве меток корректного алгоритма логического управления. Исследуется случай, когда структура переходов между цепочками алгоритма описывается небезопасной a-сетью, а корректность алгоритма обеспечивается с помощью специальных операций изменения последовательности выполнения цепочек, не отображаемых в a-сети, – операций гашения.
16-21 23
Аннотация

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

22-29 38
Аннотация
Экспериментально исследуется влияние различных процедур раздельной и совместной минимизации систем полностью определенных булевых функций на площадь регулярных схем программируемых логических матриц и на сложность нерегулярных схем, синтезированных в библиотеке проектирования отечественных  базовых матричных кристаллов.
30-39 39
Аннотация

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

40-45 36
Аннотация

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

ОБРАБОТКА ИЗОБРАЖЕНИЙ И РАСПОЗНАВАНИЕ ОБРАЗОВ

46-56 31
Аннотация

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

57-66 25
Аннотация
Рассматривается общий подход к классификации многозональных спутниковых изображений. Даются сравнение, оценка точности  и анализ методов классификации (с обучением и без) многозональных спутниковых изображений применительно к представительским классам землепользования на территории Республики Беларусь. Анализ проводится с использованием программного продукта ERDAS Imagine 8.7 компании Leica Geosistems.

МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ

67-75 25
Аннотация

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

76-88 29
Аннотация
Предлагается вычислительный алгоритм для определения параметров неизотермических напорных течений в гидравлической сети узла выработки пара установки гидроконверсии вакуумного газойля. Используется математическая модель несжимаемой жидкости. Строятся неявные конечноразностные схемы для аппроксимации уравнений тепло- и массопереноса. Доказывается разрешимость полученных систем линейных алгебраических уравнений. Приводятся результаты вычислительного эксперимента.

ПРИКЛАДНЫЕ ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ

89-97 30
Аннотация

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

98-105 28
Аннотация

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

ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ

106-113 26
Аннотация

Предлагается оригинальная адаптивная технология распознавания пользователей компьютерных систем по клавиатурному почерку (КП). Синтезированная на ее основе идентификационная процедура использует адаптированные доверительные пороги и реализует принцип дифференциации в анализируемых текстах одинаковых слов рабочего словаря. Это позволяет существенно повысить уровень достоверности распознавания КП. Полученные экспериментальные данные показывают, что при доверительных вероятностях 92–98 % средние вероятности ошибок первого и второго родов в рамках созданной технологии не превышают порога 0,09.

114-122 56
Аннотация

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

123-128 34
Аннотация

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

КРАТКИЕ СООБЩЕНИЯ

129-132 22
Аннотация

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

КОНФЕРЕНЦИИ



Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


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