ПРЕДИСЛОВИЕ

5

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

Бессмертный И. А. Управление контекстом в информационных системах

7

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

Косяков М. С., Шинкарук Д. Н., Торопов А. В., Шполянский Ю. А. Применение технологии CUDA для ускорения расчета цен опционов европейского типа сеточным методом

13

Дифференциальное уравнение Блэка—Шоулза решено численно по схеме Кранка—Николсона на графическом процессоре с применением технологии CUDA. Использование видеокарты NVIDIA GTX 580 позволило достичь ускорения более чем в 20 раз по сравнению с однопоточным расчетом на процессоре Intel Core i7 3,4 ГГц и в 2—3 раза по сравнению с наилучшими показателями многопоточной версии, основанной на технологии GCD на процессорах 2x Intel Xeon 3,06 ГГц с 24 ядрами. Результаты получены для нагрузочных параметров, представляющих практический интерес в системах алгоритмической торговли.

Шинкарук Д. Н., Шполянский Ю. А., Косяков М. С. Анализ эффективности применения технологии CUDA для решения систем линейных уравнений с трехдиагональными матрицами в задачах расчета цен опционов

20

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

Рубина И. C., Тропченко А. Ю. Исследование алгоритмов кодирования преобразованием в рамках задач сжатия опорных и остаточных кадров видеопоследовательности

26

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

Тропченко А. А., Тропченко А. Ю. Нейросетевые методы идентификации человека по изображению лица

31

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

Щеглов К. А., Щеглов А. Ю. Модель контроля доступа к создаваемым файловым объектам

37

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

Поляков В. И., Скорубский В. И. Преобразование моделей алгоритмов

41

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

КОМПЬЮТЕРНЫЕ СИСТЕМЫ И СЕТИ

Алиев Т. И., Соснин В. В., Шинкарук Д. Н., Тихонов М. Ю., Бурмакин Н. Г. САПР маршрутизируемой компьютерной сети на основе компонентов с открытыми исходными кодами

47

Рассматриваются проблемы разработки САПР маршрутизируемых компьютерных сетей, обеспечивающих diffServ-сервисы QoS, с использованием компонентов с открытым исходным кодом на примере систем NS-3 и Qt Framework.

Богатырев В. А., Богатырев С. В., Богатырев А. В. Функциональная надежность вычислительных систем с перераспределением запросов

53

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

Алиев Т. И. Задачи синтеза систем с потерями

57

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

Муравьева-Витковская Л. А. Обеспечение качества обслуживания в мультисервисных компьютерных сетях за счет приоритетного управления

64

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

ПРОГРАММНО-АППАРАТНЫЕ СРЕДСТВА ИНФОРМАЦИОННО-УПРАВЛЯЮЩИХ СИСТЕМ

Ожиганов А. А. Композиционные кодовые шкалы для преобразователей линейных перемещений

69

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

Болгаров И. С., Маковецкая Н. А., Платунов А. Е., Постников Н. П. Проектирование приборных контроллеров

73

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

Николаенков А. В. Аспектные технологии в системах с преобладающей программной компонентой

78

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

Ожиганов А. А., Захаров И. Д. Система автоматизированного проектирования псевдорегулярных кодовых шкал

80

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

Чураев С. О. Метод реверсивной случайной выборки для измерения с пикосекундным разрешением времени задержки в элементах интегральных схем

84

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

SUMMARY (перевод Ю. И. Копилевича)

89