В. Ю. Волконский, канд. техн. наук, С. К. Окунев,
Институт микропроцессорных вычислительных систем РАН, г. Москва
e-mail:SKO@mcst.ruОптимизации критического пути на предикатном представлении программы
Статья посвящена проблемам получения высокоэффективного кода для архитектуры с явно выраженной параллельностью на уровне команд (EPIC ≈ Explicitly Parallel Instruction Computing). Рассматриваются некоторые специфические оптимизирующие преобразования для предикатного представления программы, использующие сокращение критического пути расширенного скалярного участка как основной критерий применения оптимизации. Представлены примеры и краткое описание следующих оптимизирующих методов: исключение условия с критического пути ("unzipping" ≈расстежка молнии на операции "смеситель"); удаление с критических путей потенциально зависимых последовательностей "запись в память ≈ считывание из памяти" путем вставления динамического сравнения адресов; вставление переходов для оптимизации критических путей, зависящих от предиката. Также для них проведено сравнение с подобными методами для предикатного представления программы. Дана экспериментальная оценка применения рассмотренных оптимизирующих методов.
А. В. Ермолович,
Институт микропроцессорных вычислительных систем РАН, г. МоскваБаза кодов как средство повышения эффективности динамической двоично- транслирующей системы
Предлагается способ повышения производительности динамических двоично- транслирующих систем за счет введения базы кодов. Рассматривается реализация базы кодов для двустадийной схемы динамической двоичной трансляции на основе предложенного ранее метода выделения регионов кода.
К. С. Серебряный,
МЭСИТрансформации циклов, содержащих индуктивные переменные
Рассматриваются некоторые широко известные, а также новые способы оптимизации программ, связанные с распознаванием и трансформациями индуктивных переменных. Предлагается набор алгоритмов символьного анализа индуктивных переменных и приводятся практические результаты применения этих алгоритмов.
А. С. Михайлов,
Московский инженерно-физический институт (государственный университет)
(e-mail: almikh@mail.ru)Практический анализ криптографических протоколов
Предложен подход к практическому анализу криптографических протоколов в рамках специальной исследовательской среды информационного обмена. Описыва- ются свойства среды и способ ее организации с помощью вычислительной системы. Рассматриваются существующие проблемы формальных методов анализа надеж- ности криптографических протоколов.
А. В. Меркушева,
Санкт-Петербургский государственный технический университетИнформационная конфиденциальность при передаче речевых сигналов на основе скремблирования методом двойного преобразования
Рассмотрена задача достижения информационной конфиденциальности при передаче речевого сигнала путем скремблирования на основе преобразования вейв- лет-отображения сигнала с помощью Н-эквивалентных матриц. Предложены два вида алгоритма скремблирования и описаны их особенности при аналоговом и циф- ровом каналах связи. Определено количество ключей. На основе двух методов (корреляционного и теоретико-информационного) оценена остаточная информация в скремблированном сигнале.
А. В. Аграновский, канд. техн. наук, А. Ю. Гуфан, Р. А. Хади,
ГНУ НИИ "Спецвузавтоматика" (г. Ростов-на-Дону)О стойкости асимметричных криптосистем на базе эллиптических кривых
Проведен краткий анализ вопросов использования эллиптических кривых в задачах защиты информации. Рассмотрены асимметричные системы Эль-Гамаля, Месси- Омуры и RSA, а также модификации данных алгоритмов, использующие арифметические операции над точками эллиптических кривых. Проведен начальный анализ стойкости данных модификаций.
И. Д. Рудинский, канд. техн. наук,
Калининградский государственный технический университетМодель нечеткого оценивания знаний как методологический базис автоматизации педагогического тестирования
Рассматриваются проблемы создания систем автоматизированного контроля знаний. Предлагается технология тестирования, основанная на применении мето- дов нечеткой алгебры, для учета степени истинности предлагаемых вариантов ответов на тестовые задания. Формулируется и анализируется модель нечеткого оценивания знаний, позволяющая учитывать неполные и неточные ответы тестируемого.
О. Ю. Насадкина, канд. техн. наук, И. А. Попова, Н. С. Рузанова,
Петрозаводский государственный университет
e-mail:onasad@psu.karelia.ruИнформационная система обеспечения организационной деятельности динамично развивающегося университета
Рассмотрена актуальная проблема реализации информационной системы управления динамично развивающегося, имеющего гибкую организационную структуру университета. В качестве одного из вариантов решения поставленной задачи предлагается разработанная Региональным центром новых информационных технологий Петрозаводского университета информационная система управления организационной деятельностью вуза на основе много- структурного подхода к ведению организационной структуры. Реализованная информационная система рассматривается как адаптивное средство в составе интегрированной системы управления, обеспечивающее информационную поддержку и позволяющее сделать управляемым процесс функциональной расширяемости этой системы.
Н. Н. Подольская,
Всероссийский научно-исследовательский институт радиоаппаратуры (г. Санкт-Петербург),
А. А. Подольский,
Санкт-Петербургский государственный институт точной механики и оптики (технический университет)Компьютерная обучающая программа для подготовки инженерно-технического персонала автоматизированной системы управления воздушным движением
Технический контроль функционирования и управление автоматизированной системой управления воздушным движением (АС УВД) осуществляются посредством активных мнемосхем, представленных на экране монитора. Компьютерная программа подготовки инженерно- технического персонала к обслуживанию АС УВД обеспечивает понятийное усвоение принятой системы условных изображений и приобретение понятийных и моторных навыков получения дополнительной оперативной информации о функционировании компонентов АС УВД, а также навыков всевозможных оперативных переключений режимов их работы. Программа базируется на гипертекстовой технологии.