А. Л. Стемпковский, акад. РАН, директор, Н. Н. Левченко, канд. техн. наук, ст. науч. сотр.,
A.С. Окунев, канд. техн. наук, ст. науч. сотр.,
B.В. Цветков, канд. техн. наук, ст. науч. сотр.,
Институт проблем проектирования в микроэлектронике РАН, г. Москва E-mail: stall08@ippm.ru, nick@ippm.ru

Параллельная потоковая вычислительная система — дальнейшее развитие архитектуры и структурной организации вычислительной системы с автоматическим распределением ресурсов

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

Стр. 2 – 7

А. И. Перегуда, д-р техн. наук, проф., Д. А. Тимашов, студент, Обнинский государственный технический университет атомной энергетики (ИАТЭ)

Математическая модель надежности локальной вычислительной сети

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

Стр. 7 – 15

А. И. Грушин, канд. техн. наук, ведущий научн. сотр., М. Л. Ремизов, инженер-конструктор, ИТМ и ВТ РАН им. С. А. Лебедева

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

Предлагается алгоритм работы и структура нормализующей части устройства сложения чисел с плавающей запятой, позволяющие выполнить в аппаратуре требования стандарта ANSI/IEEE Standard No. 754 в части режима постепенного отрицательного переполнения без увеличения времени выполнения команды с небольшими дополнительными затратами оборудования.
Ключевые слова: быстродействующее устройство сложения чисел с плавающей запятой, предсказание величины сдвига, стандарт на двоичную арифметику с плавающей запятой IEEE 754, быстрая нормализация.

Стр. 16 - 20

С. А. Зинкин, канд. техн. наук, доц., Пензенский государственный университет

Элементы новой объектно-ориентированной технологии для моделирования и реализации систем и сетей хранения и обработки данных

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

Стр. 20 – 27

С. М. Авдошин, канд. техн. наук, зав. каф., М. П. Шатилов, студент, Государственный университет — Высшая школа экономики, г. Москва

Информационные технологии онтологического инжиниринга

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

Стр. 28 – 37

Л. В. Найханова, канд. техн. наук, зав. кафедрой, Восточно-Сибирский государственный технологический университет

Генерация множества ядер продукционных правил в задаче автоматического построения библиотеки декларативных методов

Предлагается решение проблемы автоматического построения продукционных правил на основе применения генетического программирования. Сгенерированные правила предназначены для формирования библиотеки методов построения онтологии.
Ключевые слова: продукционные правила, генетическое программирование, построение онтологии, струк-тура хромосомы

Стр. 37 – 42

А. С. Клещев, д-р физ.-мат. наук, зав. отделом, Институт автоматики и процессов управления ДВО РАН, г. Владивосток

Роль онтологии в программировании. Часть 1. Аналитика*

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

*Работа выполнена при финансовой поддержке ДВО РАН в рамках Программы Президиума РАН № 14 "Фундаментальные проблемы информатики и информационных технологий", проект 06-1-П14-051 "Интеллектуальные системы, основанные на многоуровневых моделях предметных областей".

Стр. 42 – 46

В. В. Коробицын, канд. физ.-мат. наук, доц., С. С. Ильин, струдент, Омский государственный университет им. Ф. М. Достоевского

Реализация симметричного шифрования по алгоритму ГОСТ-28147 на графическом процессоре

Предлагаются реализации симметричного шифрования алгоритма ГОСТ-28147 с использованием прикладных интерфейсов DirectX и OpenGL. Описывается подход к организации процесса вычислений и приводятся несколько способов реализации базовых операций алгоритма. Представлены результаты вычислительных экспериментов на различных видеокартах, подтверждающие применимость данной технологии для организации системы потокового шифрования с высокой скоростью.
Ключевые слова: симметричное шифрование, параллельная обработка данных, графические процессоры, пиксельные шейдеры.

Стр. 46 – 51

В. В. Сафронов¹⁾, д-р техн. наук, проф., И. В. Григорьев²⁾, А. Н. Попов²⁾, А. В. Ткачук^2)
1)ОАО "КБ Электроприбор", г. Саратов;
²⁾Военный институт, г. Саратов

Решение задач совершенствования системы образования с использованием методов ранжирования

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

Стр. 52 – 57

С. А. Горбатков, д-р техн. наук, проф., зав. региональной кафедрой, Всероссийский заочный финансово-экономический институт, филиал в г. Уфа Д. В. Полупанов, канд. техн. наук, ст. преподаватель, Башгосуниверситет, г. Уфа

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

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

Стр. 57 – 63

М. М. Горбунов-Посадов*, д-р физ.-мат. наук, ст. научн. сотр., Н. В. Максимов**, д-р техн. наук, проф.,
Т. А. Полилова*, д-р физ.-мат. наук, ст. научн. сотр., В. И. Строгонов***, д-р техн. наук, зам. директора Центра программных технологий
*Институт прикладной математики им. М. В. Келдыша РАН
** Московский инженерно-физический институт (технический университет)
*** Международный научно-исследовательский институт проблем управления

Об информационном обеспечении деятельности ВАК Минобрнауки России

В настоящее время ВАК Российской Федерации ставит задачу широкого использования информационных технологий для организации взаимодействия с сетью диссертационных советов. Рассматривается сложившаяся ситуации в области документооборота "ВАК —диссертационные советы" и документооборота внутри ВАК. Предлагается использовать web-формы в качестве основного механизма формирования аттестационных дел. Обсуждается сложившаяся практика и перспективы размещения в сети Интернет авторефератов и полных текстов диссертаций. Анализируются структура и интерфейсы баз данных "Ученые России", "Диссертационные советы" и др.
Ключевые слова: высшая аттестационная комиссия, информационные технологии, процессы аттестации научных кадров, автоматизированные системы управления, информационно-аналитические системы, web-формы.

Стр. 63 – 68

Стр. 68 – 74

В. И. Аникин, д-р техн. наук, проф., нач. отд. информатизации, О. В. Аникина, ассистент, Тольяттинский государственный университет сервиса E-mail: anikin@tolgas.ru

Эффективная техника создания табличных моделей в Microsoft Excel

Обсуждается оригинальная техника создания алгоритмических табличных моделей в Microsoft Excel без программирования на языке VBA. Идея техники базируется на аналогии между процессом пересчета содержимого ячеек электронной таблицы и выполнением потока команд компьютерной программы, а также на принципах структурного программирования. Техника моделирования может быть полезной для менеджеров, специалистов в прикладных областях, преподавателей, аспирантов и студентов высших учебных заведений.
Ключевые слова: алгоритмическое табличное моделирование, табличная модель, Microsoft Excel, программирование без программирования, структурное программирование.

Стр. 74 – 77

Перспективы развития высокопроизводительных вычислительных архитектур

Всероссийская научно-практическая конференция, приуроченная к 60-летию ИТМиВТ им. С.А. Лебедева

Стр. 77 - 79

Stempkovsky A. L., Levchenko N. N., Okunev A. S., Tsvetkov V. V. Parallel Dataflow Computing System — the Further Development of Architecture and the Structural Organization of the Computing System with Automatic Distribution of Resources
In given article the base architecture and the structural organization of the parallel dataflow computing system (PDCS) are considered. Advantages of use of nonconventional model of calculations with management by the dataflow, its hardware realization are estimated, the general principles of functioning PDCS are described. Variants of hardware realization of system in the form of a multicore crystal, and also a way of development and scaling of the given system are offered.
Keywords: architecture of the parallel dataflow computing system, parallel computing, dynamically formed context, non-traditional model of computing with management by the dataflow.

Pereguda A. I., Timashov D. A. The Mathematical Model of Reliability of Local Area Network (LAN)
This paper presents the mathematical model of reliability of an arbitrary local area network with repairable components. The study includes an estimation of such reliability measures as asymptotic probability of data loss, asymptotic probability of correct network operation and asymptotic probability of reduced efficiency network operation.
Keywords: reliability, local area network, mathematical model, failure probability.

Grushin A. I., Remizov M. L. Close Path of Fast Floating-Point Adder
An algorithm and structure of the Close path of fast floating-point adder are proposed, that make possible to support ANSI/IEEE Standard No. 754 requirements concerning gradual underflow in hardware with small area increase and without execution time increase.
Keywords: fast floating point adder, leading zero anticipation, IEEE 754 Standard, fast normalization.

Zinkin S. A. Elements of the New Object-Oriented Technology for Data Processing Systems and Networks Modeling and Implementation
We offer some models and ways, which can be used as the basis for establishment of a new network object-oriented technology for data processing systems design and modeling, based on coordination methods for objects interactions through the total medium, used for the networks communications, or through the common information objects space.
Keywords: data processing systems, object-oriented modeling, network information technology, coordination of methods and objects, communications media, common information objects space.

Avdoshin S. M., Shatilov M. P. Information Technology of Ontology Engineering
In this paper the basic concepts of ontological engineering, Ontology Description languages and a niche occupied with them in a context of the Semantic Web are considered. The analysis of ontological engineering tools is carried out. The most competitive tools for building, displaying and combining ontologies are described.
Keywords: ontological engineering, ontologies classification, ontology building tools, semantic web.

Naykhanova L. U. Generation of Interiors Set of Production Rules at the Problem of Automatic Structure Declaratory Methods Library
The solution of the problem of automatic structure of production rules on the base of application of genetic programming is suggested. Geneticed rules are destined for formation of ontologies structure library.
Keywords: production rules, genetic programming, formation of ontologies, chromosome structure.

Kleschev A. S. The Role of Ontologies in Software Development. Part 1. Analitics
In the article a number of directions in software development are discussed where using ontologies can lead to a considerable progress. In the first part basic concepts related to ontologies and possibilities for using ontologies to analyze domains and to build their mathematical models are considered.
Keywords: ontology, conceptualization, knowledge base, software development, analytics, domain mathematical model, metaontology, ontological analysis.

Korobitsin V. V., Ilyin S. S. GOST-28147 Encryption Implementation on Graphics Processing Units
The GOST-28147 encryption implementation on graphics processing units for DirectX and OpenGL graphics API is suggested. The approach for organizing the computation process and some realizations of base operation are described. The results of computational experiments on different video cards are given. The results confirm the possibility for applying this technology for organization of high speed stream encryption system.
Keywords: symmetric ciphering, parallel processing, graphics processing units, pixel shaders.

Safronov V. V., Grigoryev I. V., Popov A. N., Tkachuk A. V. The Solution of the Education System Perfection Task Using the Ranking Methods
Some settings of the targets which could be appear during the process of the education system perfections are considering. These targets are brings to the multiple-vector task of ranking. The solution method is offering for the example task of the selection the postulants to the posts of leading and academic staff. The numerical example is considering.
Keywords: The education system perfections, the miltiple-vector task of ranking, keading and academic staff.

Gorbatkov S. A., Polupanov D. V. Intellectual Information Technology of Selection of Taxpayers for Exit Tax Checks Based on Hybrid Neural Network Model
An information taxation control technology is developed, it is based on a hybrid neural network model. The mentioned model consists of neural network approximation model of taxpayers cluster production function and also of a probabilistic model of taxpayers ranging, taking into account report documentation, prehistory and scale of activities. Original methods of data pre-processing are suggested and confirmed by computing experiments. These methods enhance the quality and adequacy of the developed models.
Keywords: taxation control technology, hybrid neural network model, network approximation model of taxpayers cluster production function, probabilistic model of taxpayers ranging, data pre-processing, method of inserted mathematical models.

Gorbunov-Posadov M. M., Maksimov N. V., Polilova T. A., Strogonov V. I. Information Technologies in Practice of Supreme Attestation Committee of MES of Russia
Today Supreme Attestation Committee of MES of Russia poses a problem to use systematically information technologies for interaction between dissertation council and official. The current situation in document circulation inside Committee is considered. Web forms as a main mechanism for e-documents creation are proposed. A practice and perspectives of Internet publication of theses and full texts of dissertations is discussed. The structure and interfaces of databases "Scientists of Russia", "Dissertation Councils", etc. is analyzed.
Keywords: supreme attestation committee, information technologies, certifying processes of scientists, automated control systems, informationally-analysis systems, web-forms.

Djigan V. I., Pletneva I. D. Lineary-Constrained NLMS Algorithm for Digital Adaptive Array
The paper considers the application of the linear constraints in normalized gradient algorithm, used to control of adaptive arrays based on constant modulus criterion. Computational procedure and arithmetic complexity of the algorithm are presented. Simulation compares the efficiency of the presented adaptive algorithm and the linearly constrained least squares algorithm.
Keywords: adaptive arrays, linear constraints, constant modulus criterion, normalized least means squares algorithm, constellation.

Anikin V. I., Anikina О. V. Effective Technique of Creating Table Models in Microsoft Excel
Original technique of creating table models in Microsoft Excel without programming on VBA language is discussed. The idea of technique is based on analogy between cells content recalculating process in electronic table and command stream executing in computer program, and on principles of structural programming. The modeling technique may be useful for managers, applied specialists, high school teachers, aspirants and students.
Keywords: algorithmic table modeling, Microsoft Excel, table model, programming without coding, structural programming.

оглавление