П. Е. Ильин, мл. научн. сотр., аспирант, Московский энергетический институт

Многозадачная территориально распределенная вычислительная среда с учетом затрат на передачу данных

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

Ключевые слова: многозадачность, распределенные вычисления, территориально распределенные вычисления, вычислительная среда, управление приоритетами, планировщик, планирование задач.

Стр. 2 – 7

В. А. Петров, аспирант, А. Г. Тормасов, канд. физ.-мат. наук, доц., зам. зав. каф., МФТИ

Длительность поиска в распределенной системе с регулярной структурой в условиях точечной загруженности

Рассмотрено поведение длительности поиска в распределенной системе при повышении загруженности сети вплоть до критических значений. Изучение про-водится в рамках двух моделей. Результаты сравниваются друг с другом.

Ключевые слова: распределенная система, тиражирование данных, прослойка специальных серверов, марковские процессы, сети Петри, N-k схема хранения файлов, поиск частей файла, регулярная структура графа, точечная загруженность, имитационное моделирование, эмпирическая функция распределения, вероятностное пространство, алгоритм Дейкстры.

Стр. 7 – 14

А. Ю. Орлов, ведущий инж.-конструктор, НПК "Маджента Девелопмент", А. В. Иващенко, канд. техн. наук, доц., руководитель проектов, Самарский государственный аэрокосмический университет

Организация виртуального сообщества в сети Интернет

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

Ключевые слова: Интернет, социальная сеть, вир-туальное сообщество, онлайн-браузер.

Стр. 15 – 19

В. А. Зелепухина, ведущий программист отдела internet-технологий, Астраханский государственный университет

Разработка систем управления содержимым интернет-ресурсов на основе автоматической генерации web-интерфейса и SQL-запросов

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

Ключевые слова: интернет-ресурс, система управления содержимым, автоматическая генерация, web-интерфейс, SQL-запрос

Стр. 20 – 22

В. А. Немтинов, д-р техн. наук, доц., А. М. Манаенков, студент, В. В. Морозов, студент, К. В. Немтинов, студент, Тамбовский государственный технический университет

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

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

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

Стр. 23 – 25

Д. Н. Кобзаренко, канд. техн. наук, ст. науч. сотр., Институт проблем геотермии Дагестанского НЦ

Ускорение поиска ближайших узлов в задаче 2D-интерполяции на регулярной сетке при большом объеме исходных и результирующих данных

Излагается методика ускорения поиска ближайших узлов в задаче 20-интерполяции на регулярной сетке при большом объеме исходных и результирующих данных. На основе предлагаемой методики разработан алгоритм интерполяции на регулярной сетке, заключающейся в поиске ближайшего соседа. Тестирование на реальном наборе данных показало, что данная методика дает приблизительно двукратное ускорение вычисления по сравнению с широко известным программным пакетом Golden Software Surfer 7.0.

Ключевые слова: геоинформационные технологии, двумерная интерполяция.

Стр. 26 – 31

Ю. И. Димитриенко, д-р физ.-мат. наук, проф., зав. каф., А. П. Соколов, аспирант, МГТУ им. Н. Э. Баумана

Система автоматизированного прогнозирования свойств композиционных материалов

Представлены результаты разработки методики автоматизированного вычисления эффективных упругих характеристик композиционных материалов с различной структурой армирования: пространственно-армированной по трем ортогональным направлениям, четырехнаправленной по диагоналям куба и тканевой. Расчет осуществлен на основе конечно-элементного метода решения так называемых локальных задач Жpq, возникающих при использовании метода асимптотического осреднения Бахвалова — Победри. Представлены результаты разработки программного комплекса для вычисления эффективных упругих характеристик композитов и некоторые характерные результаты его paботы для указанных типов структур армирования.

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

Стр. 31 – 38

А. И. Гирча, мл. научн. сотр., НИИ механики МГУ им. M. В. Ломоносова

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

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

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

Стр. 38 – 43

В. Я. Гальченко, д-р техн. наук, проф., зав. каф., Д. Л. Остапущенко, аспирант, Луганский государственный медицинский университет

Численный анализ пространственной конфигурации магнитных полей объектов сложной геометрической формы с учетом нелинейных характеристик веществ

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

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

Стр. 43 – 49

А. Б. Барский, д-р техн. наук, проф. каф. "Вычислительные системы и сети", МИИТ, Москва E-mail: arkbarsk@mail.ru

Применение логической нейронной сети для распознавания объектов временного ряда по заданному набору признаков

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

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

Стр. 49 – 55

Алгебраический подход к исследованию и оптимизации баз знаний продукционного типа

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

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

Стр. 55 – 60

Тестирование компиляторов на программные закладки

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

Ключевые слова: тестирование, компилятор, программные закладки, черный ящик, теория игр, сертификация.

Стр. 61 – 64

Л. Г. Гагарина, д-р техн. наук, проф., зав. каф., Н. С. Фоминова, аспирант, И. С. Калинников, студент, Московский институт электронной техники (технический университет)

Теоретические основы методики интеллектуального тестирования

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

Ключевые слова: интеллектуальное тестирование, автоматизированная оценка знаний, смысловые связи вопросов, интерполяция, аппроксимация, получаемая информация.

Стр. 64 – 70

Г. А. Доррер, д-р техн. наук, проф., А. А. Попов, аспирант, Г. М. Рудакова, канд. физ.-мат. наук, доц., К. В. Сысенко, аспирант, Сибирский государственный технологический университет, г. Красноярск

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

При использовании модульно-рейтинговой технологии обучения важную роль играет рациональное построение учебных модулей. Большие возможности для решения этой задачи, особенно в условиях частой смены образовательных программ, открывает использование системы БиГОР, разработанной в МГТУ им. Н. Э. Баумана. Предложена методика оптимальной группировки разделов курса (разделяемых единиц контента) в равноценные модули. Методика проиллюстрирована на примере курса "Основы теории управления ".

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

Стр. 70 – 73

О. Д. Жуков, канд. техн. наук, Московский государственный университет им. М. В. Ломоносова

Экспоненциальные вычисления в криптографии

Для применения криптографических методов, осно-ванных на экспоненциальных вычислениях, всегда актуальна проблема ускорения этих вычислений. Предлагаются метод и алгоритм, обеспечивающие существен-ное повышение эффективности выполнения модулярных экспоненциальных вычислений. Метод основан на том, что вычет (остаток) по модулю Р конструируется двумя вычетами по двум другим модулям Р + 1 и Р + 2.
Вычислительная сложность предлагаемого метода при его параллельном исполнении меньше, чем у обычного прямого метода на основе одного модуля. В част-ности, когда Р + 1 и Р + 2 суть произведения F факторов, вычислительная сложность стремится к 1/F. С помощью данного метода могут быть улучшены скоростные параметры не только в криптографии, но и в цифровой обработке сигналов.

Ключевые слова: модулярные числовые системы, вычет, экспоненциальные вычисления, информационная безопасность.

Стр. 74 – 76

Ilyin P. E. Space-Distributed Computing Environment with Multitasking and Data-Transer Costs
This paper reviews the problems of distributed computations, gives the architecture of environment for space-distributed computations with multitasking, gives scheduling algorithm with data transfer costs consideration and compares the offered environment with cluster technology.
Keywords: multitasking, distributed calculations, space-distributed calculations, environment for space- distributed calculations, priority control, scheduler, task scheduling.

Petrov V. A., Tormasov A. G. Duration of Information Retrieval Process in Regular Structured Distributed Systems with Selectively Increasing Network Load
Duration of information retrieval process in distributed systems is researched when network load increases up to critical values. The research is performed in accordance with two mathematical concepts. The results of these two ways are compared.
Keywords: distributed object location and routing substrate, distributed hash tables (DHT), Zipf s law (power law), chunk-server, Markovian process, high-level Petri nets, N-k schema, file assemble, search query, search depth, grating graph, selective network load, simulation, probabilistic model, sample, search area, random vector, event algebra, probability measure, reference set, average of distribution, binomial coefficient, Dijkstra's algorithm.

Orlov A. Yu., Ivashchenko A. V. Web Online Community Management
Tnis paper contains a description of Internet virtual communities organization (by users' interests) technique using new information technologies. The problems of study, support and management of virtual community as a complex self-organized system are considered. The example of virtual community organization on the basis of online browser is presented.
Keywords: Internet, social, network, virtual community, online browser.

Zelepuhina V. A. Development of Content Management Systems for Internet-Resources on the Basis of Automatic Generation of Web-Interface and SQL-Queries
Approach to development of the content management systems of internet-resources based on the automatic generation of web-interface and SQL-queries is offered in the article. Idea of approach — to form necessary information for the web-interface realization and automatically generate and process the data-base query in demand of user on the basis of formal specification of every component of data model and features of operations with data.
Keywords: Internet, content management systems, cms, automatic generation, web-interface, SQL.

Nemtinov V. A., Manaenkov A. M., Morozov V. V., Nemtinov К. V. Technology of Creation of Spatial Models of Territorially Distributed Objects with Use of Geoinformation Systems
The paper describes the technology of creation of spatial models of territorially distributed objects with use of geoinformation systems on an example of cultural objects, in particular a virtual museum of the memorial complexes devoted to The Great Patriotic War. It includes creation of 3D-models of objects, bases of attributive data for each complex and toolkit for their analysis.
Keywords: spatial models of territorially distributed objects, geoinformation system.

Kobzarenko D. N. Acceleration of Searching the Nearest Nodes in 2D Interpolation on a Regular Grid Having a Large Size of the Initial and Resulted Data
The paper states the technique of acceleration of searching the nearest nodes in a task of 2D interpolation on a regular grid having a large size of the initial and resulting data. On the basis of the offered technique the algorithm of interpolation on a regular grid represented by searching the nearest neighbor is developed. Testing for a real data set has shown that the given technique gives approximately double acceleration of calculation in comparison with widely known software package Golden Software Surfer 7.0.
Keywords: geoinformation technologies, 2D interpolation.

Dimitrienko Yu. I., Sokolov A. P. Automated Forecasting of Composite Material Properties by Means of Homogenization Method.
Results of development of automated computational software system designed for effective elastic properties obtaining of composite materials with different reinforced inner structures are presented in this article. 3D-reinforced, 4D-reinforced by cube diagonals, textile inner structures of composites are considered. Computations have been performed on the base of the finite-element method for a so-called local problem of the elasticity theory, appearing after the homogenization method (by Bakhvalov and Pobedria) application. Results of the development of program software system for elastic properties computation for the composites with reinforced inner structures are presented.
Keywords: periodic structures, composite material, homogenization, homogeneous, heterogeneous, asymptotic analysis, viscosity, elasticity.

Gircha A. I. The Development of a Software Suite for Modeling Non-Stationary Hydrodynamic Processes
Using Numerical Metod of Viscous Vortex Domains
Main characteristics of a newly developed software suite for performing numerical simulations in aerodynamics are presented. The suite is based on viscous vortex domains method. Special attention is paid to the mechanisms that provide functional extensibility of the suite. Software implementation features including the approach for increasing the flexibility of the suite using scripting languages are also presented.
Keywords: viscous fluid flows, numerical aerodynamic simulation, numerical methods, software suites, software extensibility, software flexibility, scripting languages.

Halchenko V. Ya., Ostapuschenko D. L. The Numerical Analysis a Magnetic Fields Spatial Configuration of Objects with the Complex Geometrical From in View of Nonlinear Materials Characteristics
This article deals with the software developed by the authors which ensures field intensity calculation in limited and unlimited calculation region of magnetic systems confining ferromagnetic parts of complex geometric form taking into consideration nonlinear magnetic properties.
Keywords: software, magnetic system, ferromagnetic, nonlinear magnetic property, volume integral equation, adaptive discretization, numerical integration, system of linear and nonlinear equations, Newton's method.

Barsky A. B. Logical Network Application for the Time Series Objects Recognition on Base of Known Set of Signs
Possibilities of object choice from the time series on base of its signs by means of logical neural network are examined. This apparatus allow making parallel analyze all signs with etalon. Simultaneous comparison with few etalons allows constructing the decision make system.
Keywords: time series object, set of signs, recognition, logical network, decision make system.

Makhortov S. D., Podvalny S. L. The Algebraic Approach to Research and Optimization of Knowledge Bases of Production Type
In this article the algebraic system containing semantics of the expanded production logic is considered. Operations and relations of this system correspond to the full set of logical connectives of a propositional calculus. In this system the infinite operations realizing universal and existential quantifiers for the production logic model are defined. Theorems on logical closure structure and on existence of a logical reduction of the considered algebraic system are proved. The effective way of a logical reduction construction is specified.
The received results can be applied to research and automatic optimization of knowledge bases of production type, such as knowledge bases of systems of symbolical mathematics.
Keywords: production logic, algebraic system, complete lattice, logical closure, logical reduction.

Mironov S. V. Compilers Testing on Logic Bombs
This article describes the problem of detecting logic bombs in compilers and an offered method of testing compilers without source codes on logic bombs. This method is based on methods of black-box testing and game theory. The suitable model of logic bomb has been developed. The recommendations of practice for using developed method are stated.
Keywords: testing, compiler, logic bomb, black box, game theory, certification.

Gagarina L. G., Fominova N. S., Kalinnikov I. S. Theory Basis of Intellectual Testing
In this article we concentrate our attention on problem of adequate knowledge estimation. As the measure of adequateness we take the student's knowledge estimation been made by a teacher after subject discussion. The main questions this article tries to answer to are those as follows: Whether it is possible to use computer testing despite the subject discussion with the teacher? Is there any model of software for testing that makes it an analogue of subject discussion with the teacher in a field of knowledge estimation?
Keywords: intellectual testing, automatic knowledge estimation, meaning based relation of questions, interpolation, approximation, received information.

Dorrer G. A., Popov A. A., Rndakova G. M., Sysenko К. V. Optimal Combination the Divided Units of Content to Learing Modules on Basis of Bigor System
When the module-rating educational technology is using, the problem of rational synthesis of learning modules became an important one. The good opportunities for solving of this problem, especially when the educational programs are change often give the using of BiGOR system which was developed in Moscow Bauman University. In the work presented the method of optimal combination the learning course components (the divided units of content) to some number of equivalent modules is suggested. This method is illustrated on example of the course "The Basis of Control Theory".
Keywords: learning modules, divided units of content, BiGOR system, module-rating educational technology, optimization of learning course structure.

Zhukov O. D. Exponential Computing in Cryptography
The method proposed for cryptography is based on an idea that the remainder for modules SPS is constructed from the remainders with module SP+2S and SP+2S. The efficiency of the method depends strongly on whether or not SP+1S and SP+2S can be decomposed into smaller prime factors
Keywords: modular number system, remainder, exponentian computing information secuirity.

наверх

оглавление