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

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

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

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

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

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

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

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

23–25 октября 2007 г., Минск, Беларусь

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