«ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ И СИСТЕМЫ Труды Третьей международной научной конференции Банное, Россия, 26 февраля — 2 марта 2014 года Научное электронное издание Челябинск ...»

НИИ ТРЕХМЕРНЫХ ЗАДАЧ ДИРИХЛЕ ДЛЯ УРАВНЕНИЯ ГЕЛЬМГОЛЬЦА

Describes the application of mosaic-skeleton method for solving Dirichlet problems for the Helmholtz equation. Initial problems leads to equivalent boundary integral equations. They are approximated by systems of linear algebraic equations, which are solved by an iterative method.

А. В. Панюков

ОПТИМАЛЬНОЕ РАЗМЕЩЕНИЕ ДЕРЕВА В КОНЕЧНОМ МНОЖЕСТВЕ И ПОЛИНОМИh2>

АЛЬНАЯ РАЗРЕШИМОСТЬ ЗАДАЧ КЛАССА NP

Two class location problems of tree onto finite set are distinguished: generalized Weber problem and quadratic assignment problem. Strong polynomial algorithm for Weber problem is known. Under study special quadratic assignment problem holds good strong sense NP-hard. For it solving pseudopolynomial algorithm using Weber problem algorithm is presented. It proves rencontre of classes NP and P. It is proved that computational complexity of problem «Hamilton chain» does not increase value O(|V|6log2|V|).

Т. А. Панюкова

О ПОСТРОЕНИИ МАРШРУТА ДВИЖЕНИЯ РЕЖУЩЕГО ИНСТРУМЕНТА ПРИ УСЛОВИИ

ВЫРЕЗАНИЯ ТОЛЬКО СОСЕДНИХ ДЕТАЛЕЙ

Considers an algorithm for vonstructina an Eulerian trail for a plane Eulerian graph satisfying one global condition for the edges order. Such a graph and such a trail can be con-sidered as a mathematical model for a cutting plan. The condition on edges order means that a part cut-off a sheet does not require additional cuttings and the cut path does not intersect any not-cut path.

Е. А. Савицкий

ИСПОЛЬЗОВАНИЕ АЛГОРИТМА ПОИСКА В ШИРИНУ ДЛЯ ОПРЕДЕЛЕНИЯ УРОВНЕЙ

ВЛОЖЕННОСТИ РЕБЕР ПЛОСКОГО ГРАФА

Considers an algorithm for vonstructina an Eulerian trail for a plane Eulerian graph satisfying one global condition for the edges order. Such a graph and such a trail can be con-sidered as a mathematical model for a cutting Секция 1. Математические модели и алгоритмы Abstracts plan. The condition on edges order means that a part cut-off a sheet does not require additional cuttings and the cut path does not intersect any not-cut path.

В. Н. Симонов, О. К. Красильникова, Д. А. Власов

МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ КОЛЕБАНИЙ УПРУГОЙ ПЛАСТИНЫ С ТОНКОЙ

ВЯЗКО-УПРУГОЙ ПЛЕНКОЙ НА ПОВЕРХНОСТИ

By the methods of the classical theory of oscillations of viscoelastic media mathematical model was implemented, which sets out the analytical relations between the frequency acoustic losses in the oscillatory system «elastic plate — visco-elastic lm» — on the one hand, and the complex modulus of elasticity and the size of the lm — with another.

The results of comparing the calculated values of the change in frequency and acoustic losses rst and second harmonics of the changes found experimentally that show good agreement between theory and experiment.

И. М. Ячиков, И. В. Портнова

МАТЕМАТИЧЕСКАЯ МОДЕЛЬ ТЕПЛОМАССОПЕРЕНОСА В ВАННЕ ДУГОВОЙ ПЕЧИ ПОh2>

СТОЯННОГО ТОКА ПРИ ЭЛЕКТРОВИХРЕВОМ ПЕРЕМЕШИВАНИИ РАСПЛАВА

The mathematical model of non-stationary heat and mass transfer in the bath melt at DC arc furnace. Give an algorithm for determining the parameters of the mixing of the melt and estimating the minimum time needed for the rening process are metal. Software is created allowing identifying a non-stationary temperature and concentration elds in the tub arc furnace with regard to at the electrovortex currents. Software is created allowing identifying a non-stationary temperature and concentration elds in the tub arc furnace with regard to the electrovortex ow.

Секция 2. Искусственный интеллект и интеллектуальные системы Н. А. Бленда

КОЛИЧЕСТВЕННАЯ ОЦЕНКА СЕМАНТИЧЕСКОГО РАССТОЯНИЯ МЕЖДУ НАУЧНЫМИ

ПУБЛИКАЦИЯМИ

Semantic representation of publications, analysis of semantic nets of text documents, notion and numeric measures of semantic distance of documents, difference between semantic distance of ontologies and semantic nets are considered in the article.

Н. М. Боргест

ВВЕДЕНИЕ В ОНТОЛОГИЮ ПРОЕКТИРОВАНИЯ

The report discusses the theoretical basis of a new scientic eld, achieving a synthesis of design practices in various domains based on ontologies.

A. Vokhmintsev, A. Melnikov

APPLICATION OF FACTUAL ANALYSIS OF FULL TEXT DOCUMENTS IN THE FIELD OF BUSIh2>

NESS INTELLIGENCE

Present a method of extracting factual data (objects, their attributes and relationships) from natural language texts using ontological knowledge base model. Subject area is represented through ontological model extended by fuzzy links between objects. Using this ontology-based approach, we have created “Cyber-analytic”, information analysis system which is capable of extracting facts from natural-language texts in Russian and English, and representing them as object relationships (person, organization, action, attribute, etc.). We use i2 Analyst’s Notebook as a visualization tool.

Е. А. Горбатова, М. В. Зарецкий

ОНТОЛОГИЧЕСКИЙ ПОДХОД К РАЗРАБОТКЕ ГИБРИДНЫХ ЭКСПЕРТНЫХ СИСТЕМ В

ГИДРОМЕТАЛЛУРГИИ

The ontology that allows to combine deterministic and fuzzy approaches to the development of decision support systems in hydrometallurgy has been proposed.

Г. Г. Куликов, В. В. Антонов, Д. В. Антонов

АНАЛИЗ ВОЗМОЖНОСТИ ИЗВЛЕЧЕНИЯ АНАЛИТИЧЕСКИХ ЗНАНИЙ ИЗ ФОРМАЛЬНОЙ

МОДЕЛИ ИНФОРМАЦИОННОЙ СИСТЕМЫ ПРЕДМЕТНОЙ ОБЛАСТИ НЕЙРОСЕТЕВЫМИ

МЕТОДАМИ

Considers the problem of extracting knowledge, based on construction of mathematical and information models of the subject area for the various aspects of taking into account the existing ambiguities of the description of object.

It is shown that for the description of cybernetic the properties of the object it is expedient to use these methods.

А. Ю. Маковецкий, В. И. Кобер

ЧАСТОТНЫЙ АНАЛИЗ МЕТОДА ГРАДИЕНТНОГО СПУСКА В ЗАДАЧАХ ВОССТАНОВЛЕh2>

НИЯ ИЗОБРАЖЕНИЙ И ЛИНЕЙНАЯ ВАРИАЦИЯ

In the work, the problem of restoration of signals blurred by a linear operator is considered. An image as a function of two variables can be well described with two variations. One of them is a metrical characteristic of continuously differentiable functions. Another one is called a linear variation. The linear variation is a topological characteristic of a function of two variables. We carry out a detailed analysis of the gradient descent method for signal restoration. Restoration errors of the method can be overcome by using linear variations. Computer simulation illustrates restoration results by the gradient descent method.

Ч. Т. Нгуен, С. Д. Двоенко

УСТРАНЕНИЕ ЗАВИСИМОСТИ ОТ ДИКТОРА И ОТ ВЛИЯНИЯ ПОМЕХ ПРИ РАСПОЗНАВАh2>

НИИ РЕЧЕВЫХ КОМАНД

The problem of recognizing of а voice commands is discussed. To improve the quality of recognition the changing of amplitude spectra of signals of unfamiliar speakers to amplitude spectra of signals of familiar speaker is proposed. A heuristic technique is also proposed, which is to increase the sample values of the amplitude spectra of speech signals by a constant. The results of experiments are reported.

А. Р. Нургатин

ПОИСК УСТОЙЧИВЫХ ПРИЗНАКОВ ИЗОБРАЖЕНИЙ. АЛГОРИТМ SPEED UP ROBUST

FEATURE

The author considers the problem of finding the features in the image, as well as methods for its solution, in algorithm SURF. Consideration of the problems encountered in descriptor image processing in general and the problems encountered in the selected algorithm. Consideration of the strengths of this algorithm and possible ways of its optimization. The algorithm is divided into semantic modules for further use in other works.

Д. А. Ризванов

УПРАВЛЕНИЕ РЕСУРСАМИ В СЛОЖНЫХ СИСТЕМАХ НА ОСНОВЕ МНОГОАГЕНТНОГО

ПОДХОДА

The use of multi-agent and knowledge engineering technologies for resource management in complex systems are discussed in this paper. The prototypes of decision support system for the resource management for various practical problems are implemented. The use of multi-agent technology improves the adequacy and efficiency of resource management in complex systems.

О. В. Савченко, Д. В. Куреннов

ИНТЕЛЛЕКТУАЛЬНАЯ СИСТЕМА УПРАВЛЕНИЯ РОБОТОМ: СИНТЕЗ ИНСТРУМЕНТОВ

ПРОГРАММИРОВАНИЯ — КОНЕЧНЫХ АВТОМАТОВ И НЕЙРОННЫХ СЕТЕЙ

This project’s goal is the creation of intelligent system to control the robotic object, which combines both traditional and innovative programming methods.

The main software component of the system is a finite state machine. A neural network as one of the parts of the finite state machine is designed to detect various images and modelling the behavior of the robot depending on the type of the detected object. The system can be applied to the solution of tasks and in other technological areas.

Секция 2. Искусственный интеллект и интеллектуальные системы Abstracts С. В. Смирнов

МНОГОЗНАЧНАЯ И НЕЧЕТКАЯ ЛОГИКИ В ОНТОЛОГИЧЕСКОМ АНАЛИЗЕ ДАННЫХ

The thesis investigates the problem of the automatic creation of ontological specifications for conceptually structuring domains of interest on the basis of Ontological Data Analysis. In particular, sources, description and processing of nonstrict formal contexts in the construction of ontologies by the Formal Concept Analysis are being analyzed. For work with the uncertain and inconsistent data multiple-valued logic VTF and fuzzy logic is used.

Ш. Д. Сулейманов, О. А. Невзорова, М. М. Аюпов

МОДЕЛЬ ГЕНЕРАЦИИ УЧЕБНЫХ ВОПРОСОВ НА ОСНОВЕ ОНТОЛОГИЧЕСКОГО ПРЕДh2>

СТАВЛЕНИЯ ПРЕДМЕТНОЙ ОБЛАСТИ

Describes the model of automatic question generation which is based on all kinds of forms of database queries.

The applied «Informatics» ontology is presented in the tables of the relational database. Every test question is described on three levels (ontological level, lexical level and implementing level).

Л. Р. Черняховская, Н. И. Федорова, И. П. Владимирова

УПРАВЛЕНИЕ ВЗАИМОДЕЙСТВУЮЩИМИ ПРОЦЕССАМИ НА ОСНОВЕ ИНТЕГРИРОh2>

ВАННОЙ МОДЕЛИ ПРЕДСТАВЛЕНИЯ ЗНАНИЙ

The process of integrated presentation model making and knowledge processing in interactive processes with the purpose of simple concept comprehension provision used in the interactive business process management is considered.

интеллектуальные системы и распределенные вычисления Д. В. Вербов

УПРАВЛЕНИЕ МНОЖЕСТВЕННЫМИ БАЗАМИ ДАННЫМИ ЕДИНЫМИ СРЕДСТВАМИ

Describes methods of monitoring and managing information systems in condition of transformation and integration. Introduced metrics and approaches to monitoring information systems extending functions of system Oracle Enterprise Manager.

В. Е. Гвоздев, О. Я. Бежаева

МЕТОДОЛОГИЧЕСКИЕ ОСНОВЫ ПРОЕКТИРОВАНИЯ ТРЕБОВАНИЙ К ПРОГРАММНЫМ

СИСТЕМАМ

Proposes the requirements formation methodology for software systems and projects on the basis of different approaches. The structure of requirements formation methodology is considered.

Д. Б. Козырев, Е. М. Абакумов

ВОПРОСЫ СОЗДАНИЯ ЭЛЕКТРОННОЙ КОНСТРУКТОРСКОЙ ДОКУМЕНТАЦИИ ПРИ

КОМПЛЕКСНОМ ИСПОЛЬЗОВАНИИ СИСТЕМА АВТОМАТИЗИРОВАННОГО ПРОЕКТИРОh2>

ВАНИЯ CREO PARAMETRIC И PDM-СИСТЕМЫ WINDCHILL

Presents the main advantages of using and questions of creation electronic design documentation in CAD Creo Parametric and PDM-system Windchill in the conditions of FSUE “VNIIA”, which is the developer and manufacturer of production.

В. Ю. Мельцов, Г. А. Чистяков

ФОРМАЛЬНАЯ ВЕРИФИКАЦИЯ АЛГОРИТМОВ С ПОМОЩЬЮ ТЕХНИКИ ПРОВЕРКИ

МОДЕЛЕЙ И МАТЕМАТИЧЕСКОГО АППАРАТА ЛОГИЧЕСКОГО ВЫВОДА

Proposes a method of formal verification of parallel algorithms based on model checking techniques and the inference theory. The method reduces the overall verification time due to the high degree of parallelism of the apparatus in use.

Н. С. Мясников

ОБЗОР ТЕХНОЛОГИИ BIG DATA

Presents the concept of Big data. Describes the characteristics of Big data, and also reviews the main approaches, technologies and methods that allow Big data process.

С. А. Петунин

ИСТОРИЯ И ТЕНДЕНЦИИ РАЗВИТИЯ СУПЕРКОМПЬЮТЕРНОГО СИСТЕМНОГО ПРОh2>

ГРАММНОГО ОБЕСПЕЧЕНИЯ

Supercomputer software design trends are presented in this article.

Г. Р. Шахмаметова

ПРИНЦИПЫ ИНТЕГРАЦИИ ИНТЕЛЛЕКТУАЛЬНЫХ ТЕХНОЛОГИЙ ДЛЯ РЕШЕНИЯ ЗАh2>

ДАЧ ПОДДЕРЖКИ ПРИНЯТИЯ РЕШЕНИЙ ПРИ УПРАВЛЕНИИ СЛОЖНЫМИ ОБЪЕКТАМИ

НА ОСНОВЕ АНТИКРИЗИСНОГО ПОДХОДА

The basic principles of intelligent technologies integration for the solution of problems of decision-making support for control on the basis of crisis approach by complex objects, which are organizational-technical systems, economic objects and complex technical objects, are considered in the article.

Н. И. Юсупова, К. Р. Еникеева

КОНЦЕПЦИЯ ПОДДЕРЖКИ ПРИНЯТИЯ РЕШЕНИЙ ПРИ СТРАТЕГИЧЕСКОМ ПЛАНИРОh2>

ВАНИИ И УПРАВЛЕНИИ СИЛАМИ И СРЕДСТВАМИ ПРОТИВОДЕЙСТВИЯ ЧРЕЗВЫЧАЙh2>

НЫМ СИТУАЦИЯМ

Considers the problem of strategic management of forces and resources for emergency situations counteraction. Presented the concept of intellectual information decision support system based on the system approach and integration of modern information technologies.

Т. И. Батталов, А. Р. Насибуллин

СИСТЕМЫ ОЦЕНИВАНИЯ ДЕЯТЕЛЬНОСТИ В ОБРАЗОВАНИИ И ЭКОНОМИКЕ

Discusses the software implementation of the staff evaluation by technology «360 degrees» to assess the teachers’ activity in educational institutions by students. The information model and the information system are described.

Н. М. Боргест, М. Д. Коровин, Ф. Ю. Кукуев

ИНТЕРАКТИВНЫЙ МОНИТОР РОБОТА-ПРОЕКТАНТА

Describes the concept of an interactive monitor for the intellectual designer’s assistant — a decision support system in the domain of the preliminary aircraft design. A new approach to the user-CAD interaction based on the natural language implementation is proposed and described on the example on the intellectual designer’s assistant. The concept of an interaction schema between the design methods, CAD metamodels and the interactive monitor of the intellectual designer’s assistant is given.

М. Б. Гузаиров, А. И. Агадуллина

ИНФОРМАЦИОННОЕ И МЕТОДИЧЕСКОЕ ОБЕСПЕЧЕНИЕ СИСТЕМЫ ПОДДЕРЖКИ

ПРИНЯТИЯ РЕШЕНИЙ ПРИ УПРАВЛЕНИИ ЭКОЛОГИЧЕСКОЙ БЕЗОПАСНОСТЬЮ ПРОh2>

МЫШЛЕННОГО ПРЕДПРИЯТИЯ

Describes the information and methodological foundation of decision making support system in environmental safety management for industrial enterprise. The environmental risk-based audit is considered as a tool to assess the environmental safety level of enterprise. The functional model and information model of the environmental audit process are developed.

Секция 4. Информационные технологии в экономике, промышленности и образовании Abstracts И. В. Захарова, Е. А. Жиделева

АВТОМАТИЗИРОВАННОЕ СОСТАВЛЕНИЕ РАСПИСАНИЯ В ВУЗЕ

Deals with the mathematical model of the task scheduling, formalizing the initial data and boundary conditions.

И. А. Лакман, З. В. Максименко

ИССЛЕДОВАНИЕ ВЛИЯНИЯ МИГРАЦИИ НА СОЦИАЛЬНО-ЭКОНОМИЧЕСКУЮ СИТУАh2>

ЦИЮ В РЕГИОНАХ РОССИЙСКОЙ ФЕДЕРАЦИИ