Аннотации номера Научно-Технический Вестник информационных технологий, механики и оптики

2006 , ТОМ 06, НОМЕР 2 ( ФЕРАЛЬ )

ISSN 2226-1494 (print), ISSN 2500-0373 (online)

Меню

Публикации

Главный редактор

НИКИФОРОВ
Владимир Олегович
д.т.н., профессор

Партнеры

Аннотации номера

ИНФОРМАЦИОННЫЕ СИСТЕМЫ И ТЕХНОЛОГИИ

ИНСТРУМЕНТАЛЬНОЕ СРЕДСТВО ДЛЯ ТРАНСЛЯЦИИ ИЕРАРХИЧЕСКИХ ДОКУМЕНТОВ В РЕЛЯЦИОННЫЕ БАЗЫ ДАННЫХ Вашенков О. Е., Лямин А. В.

В работе рассматривается метод трансляции иерархических документов XML в реляционные базы данных. Суть метода – в разработке специальных правил транслирования для установки соответствия между иерархическим документом и реляционной структурой.

ИССЛЕДОВАНИЕ ТЕХНОЛОГИИ СОЗДАНИЯ МОДУЛЬНО-НАРАЩИВАЕМЫХ МНОГОПРОЦЕССОРНЫХ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ С ПРОГРАММИРУЕМОЙ АРХИТЕКТУРОЙ НА ОСНОВЕ РЕКОНФИГУРИРУЕМОЙ ЭЛЕМЕНТНОЙ БАЗЫ Кужаков П. В., Андреев А. Л.

В статье исследуются технологии создания высокопроизводительных модульно-наращиваемых многопроцессорных вычислительных систем (ВММВС) с программируемой архитектурой и структурно-процедурной организацией параллельных вычислений для эффективного решения широкого класса вычислительно-емких задач.

МОДЕЛИРОВАНИЕ ЛОГИЧЕСКИХ НЕИСПРАВНОСТЕЙ В ЦИКЛАХ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ ПРОГРАММ Петров К. В., Немолочнов О. Ф.

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

ДЕКЛАРАТИВНЫЙ ПОДХОД К ВЛОЖЕНИЮ И НАСЛЕДОВАНИЮ АВТОМАТНЫХ КЛАССОВ Астафуров А. ., Шопырин Д. Г.

В работе предлагается декларативный подход к реализации автоматных объектов в рамках современных объектно-ориентированных императивных языков программирования со статической проверкой типов. Отличительной особенностью предлагаемого подхода является возможность использования наследования и вложения макросостояний.

АВТОМАТНОЕ ПРОГРАММИРОВАНИЕ С ИСПОЛЬЗОВАНИЕМ ДИНАМИЧЕСКИХ ЯЗЫКОВ ПРОГРАММИРОВАНИЯ Степанов О. Г., Шопырин Д. Г.

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

ОТНОШЕНИЕ НАСЛЕДОВАНИЯ ДЛЯ ТИПОВ СО СЛОЖНЫМ ПОВЕДЕНИЕМ Поликарпова Н. И., Шопырин Д. Г.

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

МЕТАПРОГРАММИРОВАНИЕ НА ОСНОВЕ ТЕКСТОВОГО ПРЕПРОЦЕССОРА Лоторейчик В. Ю., Шопырин Д. Г.

В работе предлагается ряд мер по усовершенствованию препроцессора языка C/С++. Предлагаемые расширения позволят как повысить уровень безопасности использования препроцессора, так и значительно увеличить его выразительную мощность. В частности, предлагаемые усовершенствования призваны расширить возможности и упростить использование метапрограммирования на основе препроцессора.

МЕТОДЫ КОНТРОЛЯ КАЧЕСТВА ОБСЛУЖИВАНИЯ В МУЛЬТИСЕРВИСНЫХ СЕТЯХ Будько М. Ю., Жигулин Г. П.

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

АНАЛИТИЧЕСКАЯ МОДЕЛЬ ПОДСИСТЕМЫ ШИФРОВАНИЯ ТРАНСПОРТНОГО ПОТОКА Костин М. ., Алиев Т. И.

Статья содержит детальное описание аналитической модели подсистемы шифрования транспортного потока, передаваемого в широковещательном однонаправленном канале связи. Аналитическая модель позволяет рассчитывать основные характеристики подсистемы при определенных исходных параметрах и заданном внешнем воздействии.

АНАЛИТИЧЕСКАЯ МОДЕЛЬ ПОДСИСТЕМЫ ПРИЕМА И ОБРАБОТКИ СЕРВИСНОЙ ИНФОРМАЦИИ Костина А. ., Алиев Т. И.

В работе предлагается аналитическая модель подсистемы приема и обработки сервисной информации (интегрированный приемник/декодер), передаваемой в транспортном потоке стандарта DVB, приведены основные характеристики модели исследуемой системы, приведен анализ и интерпретация результатов.

ПОВЫШЕНИЕ ЭФФЕКТИВНОСТИ ПЕРЕДАЧИ РЕЧЕВЫХ СИГНАЛОВ Будько М. Б., Жигулин Г. П.

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

СЖАТИЕ ВИДЕО С ПОМОЩЬЮ ВЫДЕЛЕНИЯ ЛОКАЛЬНЫХ ОБЛАСТЕЙ Курносенков И. Н., Тропченко А. Ю.

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

ПОСТРОЕНИЕ МОДЕЛИ ДАННЫХ ПРОГРАММЫ ПО ИСХОДНОМУ КОДУ Корнеев Г. А., Шалыто А. А.

102

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

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

ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ СУБЪЕКТОВ РОССИЙСКОЙ ФЕДЕРАЦИИ КАК СОСТАВНАЯ ЧАСТЬ НАЦИОНАЛЬНОЙ БЕЗОПАСНОСТИ РОССИИ Проценко Е. А., Осовецкий Л. Г.

111

В статье предпринята попытка описать состояние информационной безопасности субъектов Российской Федерации.

ИСПЫТАНИЕ ПРОГРАММНОГО ПРОДУКТА НА СООТВЕТСТВИЕ ОЦЕНОЧНОМУ УРОВНЮ ДОВЕРИЯ Пикулькин Д. ., Проскурин Ю. ., Фокин М. ., Осовецкий Л. Г.

116

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

МОДЕЛЬ СОЗДАНИЯ ПРОФИЛЕЙ ЗАЩИТЫ ДЛЯ СЕТЕЙ СВЯЗИ И СИСТЕМ КОММУТАЦИИ Минакова Н. А., Осовецкий Л. Г.

121

В статье рассматривается подход к созданию профилей защиты для сетей связи и систем коммутации. Основу выбранного решения составляет метод, определяющий критичность сегментов (МОУКС). На основании определенного уровня критичности и предполагаемых угроз для сегмента к нему предъявляются функциональные требования безопасности (ФТБ) и оценочные уровни доверия (ОУД) из ISO 15408 определенной иерархии, что позволит создать обоснованный профиль защиты для сети связи и системы коммутации.

МЕТОДЫ DATA MINING В АВТОМАТИЗИРОВАННОМ ПОСТРОЕНИИ ПРОФИЛЯ ПОЛЬЗОВАТЕЛЯ ЗАЩИЩАЕМОЙ АВТОМАТИЗИРОВАННОЙ СИСТЕМЫ Гарусев М. ., Тимонина Е. .

127

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

КОМПЛЕКС ЛОГИЧЕСКОГО КОНТРОЛЯ ИСПОЛЬЗОВАНИЯ ОБЩИХ КРИТЕРИЕВ Калашник Е. О., Осовецкий Л. Г.