УДК 004.27
А. Л. Стемпковский, акад. РАН, директор,
Н. Н. Левченко, канд. техн. наук, ст. науч. сотр.,
A.С. Окунев, канд. техн. наук, ст. науч. сотр.,
B.В. Цветков, канд. техн. наук, ст. науч. сотр.,
Институт проблем проектирования в микроэлектронике РАН, г. Москва
E-mail: stall08@ippm.ru, nick@ippm.ru
Параллельная потоковая вычислительная система ≈ дальнейшее развитие архитектуры и структурной организации вычислительной системы с автоматическим распределением ресурсов
Рассматривается базовая архитектура и структурная организация параллельной потоковой вычислительной системы (ППВС). Оцениваются достоинства и преимущества использования нетрадиционной модели вычислений с управлением потоком данных, аппаратной ее реализации, описываются общие принципы функционирования ППВС. Предлагаются варианты аппаратной реализации системы в виде многоядерного кристалла, а также пути развития и масштабирования данной системы.
Ключевые слова: архитектура параллельной потоковой вычислительной системы, параллельные вычисления, динамически формируемый контекст, нетрадиционная модель вычислений с управлением потоком данных.
УДК 519.873:004.732
А. И. Перегуда, д-р техн. наук, проф.,
Д. А. Тимашов, студент,
Обнинский государственный технический университет атомной энергетики (ИАТЭ)
Математическая модель надежности локальной вычислительной сети
Рассмотрена математическая модель надежности локальной вычислительной сети (ЛВС) произвольной топологии с восстанавливаемыми элементами. Получены соотношения для нахождения асимптотических значений таких показателей надежности, как вероятность потери данных в ЛВС, вероятность исправного функционирования всей сети, вероятность функционирования сети со сниженной эффективностью.
Ключевые слова: надежность, локальная сеть, математическая модель, вероятность отказа.
УДК 004.315
А. И. Грушин, канд. техн. наук, ведущий научн. сотр.,
М. Л. Ремизов, инженер-конструктор,
ИТМ и ВТ РАН им. С. А. Лебедева
Нормализующая часть быстродействующего устройства сложения чисел с плавающей запятой
Предлагается алгоритм работы и структура нормализующей части устройства сложения чисел с плавающей запятой, позволяющие выполнить в аппаратуре требования стандарта ANSI/IEEE Standard No. 754 в части режима постепенного отрицательного переполнения без увеличения времени выполнения команды с небольшими дополнительными затратами оборудования.
Ключевые слова: быстродействующее устройство сложения чисел с плавающей запятой, предсказание величины сдвига, стандарт на двоичную арифметику с плавающей запятой IEEE 754, быстрая нормализация.
УДК 004.7
С. А. Зинкин, канд. техн. наук, доц.,
Пензенский государственный университет
Элементы новой объектно-ориентированной технологии для моделирования и реализации систем и сетей хранения и обработки данных
Предлагаются модели и методы, которые могут быть использованы в качестве основы создания новой объектно-ориентированной сетевой технологии моделирования и проектирования распределенных систем хранения и обработки данных на основе согласованных взаимодействий объектов через общее пространство ≈ коммуникационную среду или общее пространство информационных объектов.
Ключевые слова: системы хранения и обработки данных, объектно-ориентированное моделирование, сетевая информационная технология, согласованные взаимодействия объектов и процессов, коммуникационная среда, пространство информационных объектов.
УДК 004.822
С. М. Авдошин, канд. техн. наук, зав. каф.,
М. П. Шатилов, студент,
Государственный университет ≈ Высшая школа экономики, г. Москва
Информационные технологии онтологического инжиниринга
Рассмотрены основные понятия онтологического инжиниринга. Рассмотрены языки описания онтологии и занимаемая ими ниша в контексте семантической паутины. Проведен анализ инструментов онтологического инжиниринга. Описаны наиболее конкурентоспособные инструменты для построения, отображения и объединения онтологии.
Ключевые слова: онтологический инжиниринг, классификация онтологии, инструмент разработки онтологии, семантическая паутина.
УДК 004.89
Л. В. Найханова, канд. техн. наук, зав. кафедрой,
Восточно-Сибирский государственный технологический университет
Генерация множества ядер продукционных правил в задаче автоматического построения библиотеки декларативных методов
Предлагается решение проблемы автоматического построения продукционных правил на основе применения генетического программирования. Сгенерированные правила предназначены для формирования библиотеки методов построения онтологии.
Ключевые слова: продукционные правила, генетическое программирование, построение онтологии, структура хромосомы
УДК 004.5; 004.8
А. С. Клещев, д-р физ.-мат. наук, зав. отделом,
Институт автоматики и процессов управления ДВО РАН, г. Владивосток
Роль онтологии в программировании. Часть 1. Аналитика*
Обсуждается ряд направлений в программировании, где использование онтологии может привести к существенному прогрессу. В первой части рассматриваются основные понятия, связанные с онтологиями, и возможности использования онтологии при анализе предметных областей и построении их математических моделей.
Ключевые слова: онтология, концептуализация, база знаний, разработка программного обеспечения, аналитика, математическая модель предметной области, метаонтология, онтологический анализ.
______________________________________________________________________
*Работа выполнена при финансовой поддержке ДВО РАН в рамках Программы Президиума РАН N 14 "Фундаментальные проблемы информатики и информационных технологий", проект 06-1-П14-051 "Интеллектуальные системы, основанные на многоуровневых моделях предметных областей".
УДК 004.056.55
В. В. Коробицын, канд. физ.-мат. наук, доц.,
С. С. Ильин, струдент,
Омский государственный университет им. Ф. М. Достоевского
Реализация симметричного шифрования по алгоритму ГОСТ-28147 на графическом процессоре
Предлагаются реализации симметричного шифрования алгоритма ГОСТ-28147 с использованием прикладных интерфейсов DirectX и OpenGL. Описывается подход к организации процесса вычислений и приводятся несколько способов реализации базовых операций алгоритма. Представлены результаты вычислительных экспериментов на различных видеокартах, подтверждающие применимость данной технологии для организации системы потокового шифрования с высокой скоростью.
Ключевые слова: симметричное шифрование, параллельная обработка данных, графические процессоры, пиксельные шейдеры.
В. В. Сафронов, д-р техн. наук, проф.,ОАО "КБ Электроприбор", г. Саратов;
И. В. Григорьев, А. Н. Попов, А. В. Ткачук, Военный институт, г. Саратов
Решение задач совершенствования системы образования с использованием методов ранжирования
Рассматриваются некоторые задачи, возникающие в процессе совершенствования системы образования. Они сводятся к многокритериальным и многовекторным задачам ранжирования. На примере задачи подбора кандидатов на должности руководящего и преподавательского состава предлагается метод решения. Рассмотрен численный пример.
Ключевые слова: совершенствование системы образования, многовекторные задачи ранжирования, подбор руководящего состава.
УДК 336:004 + 519.7
С. А. Горбатков, д-р техн. наук, проф., зав. региональной кафедрой,
Всероссийский заочный финансово-экономический институт, филиал в г. Уфа
Д. В. Полупанов, канд. техн. наук, ст. преподаватель,
Башгосуниверситет, г. Уфа
Интеллектуальные информационные технологии отбора налогоплательщиков для проведения выездных проверок на основе гибридных нейросетевых моделей
Разрабатывается информационная технология налогового контроля, базирующаяся на гибридной нейросетевой модели. Указанная модель состоит из нейросетевой модели аппроксимации производственной функции кластера налогоплательщиков и вероятностной модели ранжирования налогоплательщиков, учитывающей искажения отчетной документации, предысторию и масштаб деятельности. Предлагаются и подтверждаются вычислительными экспериментами оригинальные методы предпроцессорной обработки данных, повышающие качество и адекватность разработанных моделей.
Ключевые слова: технология налогового контроля, гибридная нейросетевая модель, нейросетевая модель аппроксимации производственной функции в кластере, вероятностная модель ранжирования, предпроцессорная обработка данных, метод вложенных математических моделей.
УДК 002.66
М. М. Горбунов-Посадов*, д-р физ.-мат. наук, ст. научн. сотр.,
Н. В. Максимов**, д-р техн. наук, проф.,
Т. А. Полилова*, д-р физ.-мат. наук, ст. научн. сотр.,
В. И. Строгонов***, д-р техн. наук, зам. директора Центра программных технологий
*Институт прикладной математики им. М. В. Келдыша РАН
** Московский инженерно-физический институт (технический университет)
*** Международный научно-исследовательский институт проблем управления
Об информационном обеспечении деятельности ВАК Минобрнауки России
В настоящее время ВАК Российской Федерации ставит задачу широкого использования информационных технологий для организации взаимодействия с сетью диссертационных советов. Рассматривается сложившаяся ситуации в области документооборота "ВАК ≈диссертационные советы" и документооборота внутри ВАК. Предлагается использовать web-формы в качестве основного механизма формирования аттестационных дел. Обсуждается сложившаяся практика и перспективы размещения в сети Интернет авторефератов и полных текстов диссертаций. Анализируются структура и интерфейсы баз данных "Ученые России", "Диссертационные советы" и др.
Ключевые слова: высшая аттестационная комиссия, информационные технологии, процессы аттестации научных кадров, автоматизированные системы управления, информационно-аналитические системы, web-формы.
В. И. Джиган, д-р техн. наук., гл. науч. сотр. ГУП,
"Научно-производственный центр "Электронные вычислительно-информационные системы" (ГУП НПЦ "ЭЛВИС"), г. Москва
И. Д. Плетнева, ст. преподаватель,
Московский государственный институт электронной техники (технический университет)
Линейно-ограниченный нормализованный алгоритм по критерию наименьшего среднего квадратичного отклонения для цифровой адаптивной антенной решетки
Рассматривается использование линейных ограничений в нормализованном градиентном алгоритме, который применяется для управления адаптивными антенными решетками, функционирующими по критерию постоянства модуля информационных символов. Приводятся вычислительная процедура алгоритма и оценка требуемого числа арифметических операций. С помощью моделирования сравнивается эффективность полученного алгоритма и линейно-ограниченного алгоритма по критерию наименьших квадратов.
Ключевые слова: адаптивная антенная решетка, линейные ограничения критерия постоянства модуля информационных сигналов, нормализованный алгоритм по критерию наименьшего среднего квадратичного отклонения, созвездие.
УДК 004.9
В. И. Аникин, д-р техн. наук, проф., нач. отд. информатизации,
О. В. Аникина, ассистент,
Тольяттинский государственный университет сервиса
E-mail: anikin@tolgas.ru
Эффективная техника создания табличных моделей в Microsoft Excel
Обсуждается оригинальная техника создания алгоритмических табличных моделей в Microsoft Excel без программирования на языке VBA. Идея техники базируется на аналогии между процессом пересчета содержимого ячеек электронной таблицы и выполнением потока команд компьютерной программы, а также на принципах структурного программирования. Техника моделирования может быть полезной для менеджеров, специалистов в прикладных областях, преподавателей, аспирантов и студентов высших учебных заведений.
Ключевые слова: алгоритмическое табличное моделирование, табличная модель, Microsoft Excel, программирование без программирования, структурное программирование.
Перспективы развития высокопроизводительных вычислительных архитектур
Всероссийская научно-практическая конференция, приуроченная к 60-летию ИТМиВТ им. С.А. Лебедева