Авторитетность издания
ВАК - К1
RSCI, ядро РИНЦ
Добавить в закладки
Следующий номер на сайте
№4
Ожидается:
09 Декабря 2024
Статьи журнала №3 2014
1. An approach to case-based synthesis of functional programs [№3 за 2014 год]Автор: Fastovets N.N. (nnf-cmc@cs.msu.ru) - Lomonosov Moscow State University (аспирант );
Abstract: This article deals with an automatic functional programs synthesis problem. We consider the way to apply case-based reasoning approach to program synthesis. In order to use such framework for our problem we have to consider several subproblems: definition of a "similarity" relation over program specifications space, search of the most suitable known program for a given specification and adaptation of a chosen program to new specification. We will consider adaptation method only in this article and leave other subproblems for further work. We can consider the problem of adaptation as a problem of program correction: we have to modify given (chosen in search procedure) program, so that it will satisfy a given specification. There is a method for functional logic program correction, which have a form of conditional term-rewriting systems. So, our idea is to translate a functional program to term-rewriting system and then apply the correction method to it. In this article we will consider procedures of such translation and adaptation of the correction method for our task.
Аннотация: В данной статье рассматривается проблема автоматического синтеза функциональных программ.
Описывается способ применения рассуждений на основе прецедентов в синтезе программ. Для применения этого
подхода к задаче необходимо рассмотреть несколько подзадач: определение отношения «похожести» в пространстве
спецификаций программ, поиск наиболее подходящей к заданной спецификации известной программы и адаптация
выбранной программы к новой спецификации. Авторы рассматривают только подзадачу адаптации, оставив остальные подзадачи для дальнейшей работы.
Задачу адаптации можно рассматривать как коррекцию программы, то есть модификации выбранной в ходе поиска программы таким образом, чтобы она удовлетворяла заданной спецификации. Существует метод коррекции
функционально логических программ, имеющих вид системы переписывания термов с условиями. Таким образом,
идея авторов состоит в трансляции функциональной программы в систему переписывания термов и в применении к
ней известного метода коррекции. В данной статье рассматриваются процедура такой трансляции и адаптация метода коррекции для поставленной задачи.
Keywords: term rewriting system, case based reasoning, program correction, program synthesis, artificial intelligenceКлючевые слова: term rewriting system, case based reasoning, program correction, program synthesis, artificial intelligence
Просмотров: 8440
2. Modular SOM for dynamic object identification [№3 за 2014 год]
Авторы: Averkin A.N. (averkin2003@inbox.ru) - Dorodnicyn Computing Centre, RAS (доцент), кандидат физико-математических наук; Povidalo I.S. (ipovidalo@gmail.com) - Dubna Internacional University for Nature, Socitty and Man (аспирант ), Аспирант ;
Abstract: Object identification is complicated if noises are present in the source data, some of the object parameters change according to unknown laws or the exact number of the object parameters is unknown. In such cases neural network can be applied for dynamic object identification. There are a lot of different types of neural networks that can be used for dy-namic object identification. Among different neural network architectures applicable for dynamic object identification a class of neural networks based on self-organizing maps (SOM) can be noted. In this article, a number of neural networks based on self-organizing maps that can be successfully used for dynamic object identification are described. Unique SOM-based mod-ular neural networks, inspired by mammal's brain cortex studies, with vector quantized associative memory and recurrent self-organizing maps as modules are presented. The structure and algorithms of learning and operation of such SOM-based neural networks are described in details. Some experimental results and comparison with some other neural networks are giv-en.
Аннотация: Идентификация динамического объекта затруднена, если в исходных данных присутствуют шумы, некоторые параметры динамического объекта изменяются по неизвестным законам или точное число параметров объекта не известно. В таких случаях для решения задачи идентификации могут быть успешно применены нейронные сети. Существует
множество различных типов нейронных сетей, применимых для идентификации динамического объекта. Среди всевозможных нейросетевых структур, применимых для решения задачи идентификации, выделяется класс нейронных сетей, основанных на самоорганизующихся картах (SOM). В данной статье описан ряд нейронных сетей, основанных на самоорганизующихся картах и успешно применимых для идентификации динамических объектов. Представлены уникальные модульные нейронные сети на основе SOM, полученные в результате исследований коры головного мозга млекопитающих, где в
качестве модулей применены векторная квантовая память и рекуррентные самоорганизующиеся карты. Подробно описаны
структура и алгоритмы обучения и работы таких сетей, также приведены некоторые результаты экспериментов и сравнения
с другими нейросетевыми алгоритмами идентификации динамических объектов.
Keywords: rsom, vqtam, dynamic object identification, time series prediction, forecasting, modular neural networks, neural networksКлючевые слова: rsom, vqtam, dynamic object identification, time series prediction, forecasting, modular neural networks, neural networks
Просмотров: 11485
3. Логика движения в системе «Бинарная модель знаний» [№3 за 2014 год]
Авторы: Плесневич Г.С. (salve777@mail.ru) - Научно-исследовательский университет «МЭИ» (профессор), кандидат физико-математических наук; Горкина А.А. (salve777@mail.ru) - Научно-исследовательский университет «МЭИ» (аспирант );
Аннотация: Субраманиан В.С. предложил, а Яман Ф. (с участием Нау Д.) разработала так называемую логику движения (ЛД), которая предоставляет формальный язык, включающий термины классической логики и ньютоновой механики. ЛД комбинирует пропозициональную логику, методы распространения ограничений и геометрические рассуждения, имеет декларативный синтаксис и семантику, основанную на моделях. Эта логика формализует рассуждения о планах движения объектов. В ЛД естественно описываются планы движения объектов и существует возможность предсказания их дальнейшего расположения. Объекты в ней рассматриваются как материальные точки в пространстве. Однако многие реальные приложения, связанные с моделированием движущихся объектов, требуют представления структуры и характеристик этих объектов. Необходимо описание сложных объектов в менее сложных тер-минах. Плесневичем Г.С. предложен проект системы «Бинарная модель знаний» (БМЗ), предназначенной для онтологического (концептуального) моделирования. БМЗ содержит формальные языки для структурной и логической спецификации объектов. В настоящей статье показано, как осуществляется интеграция ЛД в БМЗ, которые хорошо дополняют друг друга с точки зрения применимости и выразительной силы. Таким образом, получается система ЛД+БМЗ для онтологического моделирования приложений, связанных с поведением движущихся объектов. Рассматривается пример применения этой системы для задачи управления авиатрафиком.
Abstract: There are various applications where there is a critical need to reason about moving objects. V.S. Subramani-an offered and F. Yaman (with D. Nau's participation) developed so-called logic of motion (LOM) that provides the formal
language including terms of classical logic and Newtonian mechanics. LOM combines propositional logic, constraint sati s-faction and geometric reasoning. LOM has declarative syntax and semantics based on models, and formaliz es reasoning
about planned movement of objects. LOM can naturally describe schemes and plans for moving objects and there is a poss i-bility to predict their further locations. LOM consideres objects as material points in space; thus, they have no structure and
characteristics (attributes). However, numerous real applications with modeling of moving objects also require a representa-tion of the structure and characteristics of these objects. Also, they require the description of complex objects in terms of
simpler ones. G.S. Plesniewicz offered a project of the system "Binary Model of Knowledge" (BMK) for ontological (co n-ceptual) modelling. BMK contains formal languages for structural and logical specification of objects. This paper shows how
to integrate LOM into BMK system. LOM and BMK nicely complement each other in applicability and expressive power.
Therefore, we receive a system LOM+BMK for ontological (conceptual) modelling of applications considering moving structured objects behavior. A wide range of applications would benefit from using the system LOM+BMR. An example of
air traffic control using LOM+BMK is considered.
Ключевые слова: бинарные модели знаний, модели знаний, модели данных, логика движения, онтологическое моделирование, представление знанийKeywords: binary knowledge models, model of knowledge, data models, logic of motion, ontological modeling, representation of knowledge
Просмотров: 11938
4. Когнитивные технологии визуализации многомерных данных для интеллектуальной поддержки принятия решений [№3 за 2014 год]
Авторы: Цаплин В.В. (vtzaplin@yandex.ru) - НИИ «Центрпрограммсистем» (доцент, главный научный сотрудник ), кандидат военных наук; Горохов В.Л. (vigorohov@mail.ru) - Санкт-Петербургский государственный архитектурно-строительный университет (профессор), доктор технических наук; Витковский В.В. (vvv@sao.ru) - Специальная астрофизическая обсерватория РАН (профессор ), кандидат физико-математических наук;
Аннотация: В статье изложены принципы когнитивной машинной графики и приведены примеры ее практического применения для разработки систем поддержки принятия решений (СППР). Феномен когнитивной машинной графики со-стоит в генерации на экране дисплея изображений, создающих в сознании человека-оператора зрелищные образы. Эти образы имеют эстетическую привлекательность и стимулируют интуицию человека. Изображение на дисплее создает в его сознании движущийся трехмерный образ, который формируется всей совокупностью многомерных данных и визуально отображает свойства изучаемой предметной области. При восприятии этих образов человек-оператор способен выявлять отдельные геометрические свойства наблюдаемого образа и связывать их с предметным содержанием обрабатываемых многомерных данных. Весьма важной является возможность сочетать предлагаемую когнитивную технологию с современными возможностями интеллектуальных программных интерфейсов и программ многомерного статистического анализа данных. Предлагаются принципиально новые алгоритмические подходы к когнитивной визуализации, основанные на гиперболической геометрии и алгебраических многообразиях. В определенном смысле можно говорить о появлении нового вида СППР – когнитивных систем поддержки принятия решений.
Abstract: The article describes principles and examples of cognitive machine graphics for developing Decision Support
Systems (DSS). The cognitive machine graphics phenomenon is displaying graphic representations which create spectacular
images in the human operator brain. These images stimulate its descriptive impressions, closely related to the intuitive mec h-anisms of thinking. The cognitive effect is in the fact that man perceives the moving projection as three-dimensional picture
characterized by multidimensional data properties in the multidimensional space. After the multidimensional data visual as-pects study there appears the possibility for a user to paint interesting separate objects or groups of objects by standard ma-chine drawing. Next user can return to the image rotation procedure to check the intuitive user’s ideas about the clusters an d
the relationship in multidimensional data. It is possible to develop the cognitive machine drawing methods in combination
with other information technologies. They are the packets of digital images processing and multidimensional statistical analy-sis. The proposed method was based on the idea of possibility to assemble a cognitive image as object in hyperbolic space. In
special sense it is possible to say that new kind of DSS – Cognitive Decision Support Systems (CDSS) appear.
Ключевые слова: чрезвычайные ситуации., системы поддержки принятия решений, алгоритмы когнитивной визуализации обстановки, когнитивная визуализация многомерных статистических данных, когнитивный образ в многомерном пространствеKeywords: emergency situations, decision support systems, algorithms of environment cognitive visualization, cognitive visualization of the multidimensional statistical data, cognitive image in multidimensional space
Просмотров: 16284
5. Построение и исследование предметной онтологии электронного обучения [№3 за 2014 год]
Авторы: Балашова И.Ю. (irs-80@mail.ru) - Пензенский государственный университет, кандидат технических наук;
Аннотация: В статье рассмотрена проблема интеграции и анализа знаний в сфере электронного обучения, обусловленная неопределенностью терминологии, отсутствием однозначной интерпретации и обоснованной классификации знаний о предметной области. Предложено решение задачи построения единой модели знаний на основе предметной области. При изучении различных решений в области онтологического исследования электронного обучения показано, что рассмотренные онтологии характеризуются концептуальной локальностью и локальностью в использовании. Их фрагментарный характер не позволяет составить основу единой модели знаний. Тем самым показана необходимость разработки предметной онтологии, фиксирующей знания, общие для предметной области электронного обучения, что позволит ей обеспечивать логическую согласованность между отдельными онтологиями при объединении. В результате онтологического анализа выделены ключевые классы онтологии электронного обучения, составляющие общий словарь терминов для представления знаний о предметной области. Построена и обоснована таксономия классов онтологии, представляющая иерархию терминов по отношению к вложению. Состав классов исследован со ссылками на нормативные источники. Проведен анализ экземпляров классов. Выделены перспективные пути развития экземпляров ключевых классов онтологии. Установлено множество межклассовых отношений (объектных свойств), определяющих смысловую структуру рассматриваемой предметной области. Предложены пути практического применения построенной предметной онтологии. Сформулированы направления дальнейших исследований.
Abstract: The article considers the problem of integrating and analyzing knowledge in e-learning. This problem is
caused by uncertain terminology, the lack of an unambiguous interpretation and reasonable domain knowledge classification.
The author proposes a solution for the problem of constructing a unified domain-based knowledge model. Exploring different
solutions in ontological investigation of e-learning has shown that considered ontologies involve conceptual locality and lo-cality in using. Their fragmentary nature does not allow forming the basis of a single model of knowledge. Thus, the author
shows the need to develop a domain-specific ontology that fix common for e-learning domain knowledge. This will allow
providing logical consistency between separate ontologies when combining. As a result of an ontological analysis, the key
e-learning ontology classes are highlighted. They establish a common vocabulary of terms to represent domain knowledge.
The paper constructs and proves a taxonomy of ontology classes which represents terms hierarchy on the investment relation.
The structure of classes is investigated with links to standards. There is an analysis of classes’ instances. The article indicates
perspective ways of development for key classes’ instances of ontology. It also determines the set of interclass relations (object properties) which define semantic domain structure. The author suggests the ways of domain ontology practical applica-tion. The directions for further research are formulated.
Ключевые слова: системы управления образовательным контентом, системы управления обучением, онтология, электронное обучениеKeywords: educational content management system, education systems, ontology, e-learning
Просмотров: 15676
6. Восстановление эллипсиса как задача автоматической обработки текстов [№3 за 2014 год]
Авторы: Мальковский М.Г. (malk@cs.msu.su) - Московский государственный университет им. М.В. Ломоносова, доктор физико-математических наук; Миняйлов В.С. (malk@cs.msu.su) - Московский государственный университет им. М.В. Ломоносова (аспирант ); Старостин А.С. (malk@cs.msu.su) - Компания ABBYY;
Аннотация: Любому естественному языку присуще явление омонимии, когда одни и те же языковые знаки, помещенные в различные контексты, могут интерпретироваться по-разному. Это явление является главной причиной, обусловливающей сложность решения задач автоматического синтаксического анализа, актуальность и практическая значимость которых на сегодняшний день несомненна. Помимо омонимии, в естественных языках можно наблюдать еще одно явление, в рамках которого потенциальная неоднозначность языка проявляется не менее ярко. Речь идет об эллипсисе. Эти два явления имеют общую природу, однако омонимия изучается компьютерной лингвистикой на протяжении десятилетий, а эллипсис лишь вскользь упоминается в отдельных работах. Даже простейшие случаи эллипсиса являются в настоящее время труднопреодолимым препятствием для алгоритмов синтаксического анализа. В настоящей работе предложен подход к решению задачи автоматического синтаксического анализа, характер-ной особенностью которого является то, что корректная обработка эллиптических конструкций оказывается естественным элементом общей схемы синтаксического анализа, включающей три параллельно функционирующих механизма: предсказаний, слияний и оценочного механизма.
Abstract: Nowadays the importance of automatic syntactic analysis of natural language texts is obvious. Phenomenon of
homonymy is a feature of any natural language. It is the main reason which explains complexity of the task of automatic syn-tactic analysis: the same language signs placed into different contexts can be interpreted differently. Note that in a natural
languages there is one more phenomenon besides homonymy. Its potential ambiguity is shown also well. This phenomenon is ellipsis. Despite common nature of both phenomena and the fact that homonymy is studied by computer linguistics during
decades, the ellipsis is mentioned in some papers only in passing. Nowadays even the simplest ellipsis cases are a hard obsta-cle for syntactic analysis algorithms.
An approach to solve the problem of automatic syntactic analysis is proposed in the paper. Correct processing of elliptic
constructions is a natural element of a general scheme of syntactic analysis including three parallel functioning mechanisms
(mechanisms of predictions, mechanism of mergers and estimation mechanism) is the main feature of the approach.
Ключевые слова: механизм предсказаний., эллипсис, автоматический синтаксический анализKeywords: prediction mechanism, ellipsis, syntactic analysis
Просмотров: 11500
7. Линейное решение задачи квадратичного программирования [№3 за 2014 год]
Авторы: Татаренко С.И. (srgiv@mail.ahp.tstu.ru) - Тамбовский государственный технический университет, кандидат технических наук;
Аннотация: В работе описан метод поиска максимума квадрики на многогранном множестве ограничений, основанный на решениях систем линейных уравнений, размерность которых не выше числа переменных целевой функции. Вначале путем ортогональных преобразований и масштабирования матрица квадратичной формы приводится к нормальному виду. Затем с помощью замены переменных исходная задача сводится к задаче поиска минимального расстояния между точкой безусловного экстремума и многогранным множеством ограничений. Для определения расстояния строятся перпендикуляры к граням многогранника различной размерности. Для уменьшения числа исследуемых граней разработан специальный порядок перебора граней. Исследованию подлежат только грани, содержащие вершину, ближайшую к точке безусловного экстремума, и видимые из этой точки. В случае наличия нескольких ближайших равноудаленных вершин исследуется грань, содержащая все эти вершины, и грани меньшей размерности, имеющие с первой гранью не менее двух общих ближайших вершин.
Abstract: The work describes a quadric maximum search method on a polyhedral restrictions set. It is based on solving
linear equations systems when their dimension no higher than a number of objective function variables. In the beginning, a
quadric matrix is worked reduced to a normal view using orthogonal transformations and scaling. Then, using variables re-placement, the initial problem is reduced to a problem of searching the minimum distance between an unconditional
extremum point and a polyhedral restrictions set. Perpendiculars to different dimension polyhedron sides are constructed to
measure the distance. The special order of sides search is developed to reduce the number of studied sides. The subject to re-search includes only the sides containing the top which is the closest to an unconditional extremum point and seen from this
point. If there is not only one closest top, then the side containing all these tops and the sides of lower dimension having not
less than two shared closest tops with the first side are investigated.
Ключевые слова: квадратичная задача, нелинейное программирование, оптимизация, математическое программированиеKeywords: quadratic problem, non-linear programming, optimisation, mathematical programming
Просмотров: 16193
8. Anomaly detection based on Markov chain model with production rules [№3 за 2014 год]
Авторы: Kovalev S.M. (drewnia@rambler.ru) - Rostov State Transport University (профессор), доктор технических наук; Sukhanov A.V. (drewnia@rambler.ru) - Rostov State Transport University (аспирант );
Abstract: The paper presents a new technique for anomaly detection in temporal data. This technique uses Markov chain model to represent a temporal profile of process behavior. The model includes the production rules that specify transition probabilities between process states considering its historical data. Such model has been trained and tested in target process. Therefore, we try to find scarce observations that we consider anomalous. These anomalous observations had the low level of our model support. The model has been tested on Coffee model that is used for benchmarking of anomaly detection tech-niques. The computational experiments showed that this technique can distinguish normal behavior from normal activities in observed process. The value of our technique is the fact that it combines advantages of stochastic and one-class techniques. In this connection such technique can be used in wide range of application areas connected to monitoring and diagnosis of emergency technological situations.
Аннотация: В статье рассматривается новый подход к обнаружению аномалий в темпоральных данных. В предлагаемом методе использована марковская модель с целью нахождения темпорального профиля поведения процесса.
В модель были включены корректирующие продукционные правила, уточняющие вероятности перехода между состояниями процесса с учетом его предыстории. Данная модель была обучена и протестирована на исследуемом процессе. В итоге найдены редко встречаемые паттерны, принятые за аномалии, получившие низкий уровень поддержки
стохастической моделью. В вычислительных экспериментах исследован процесс на основе модели темпорального
паттерна типа Coffee, применяемой для бенчмаркинга методов обнаружения аномалий. В результате экспериментов
показано, что предлагаемый метод с высокой вероятностью позволяет отличить нормальные паттерны от аномалий.
Метод применим в широком спектре приложений, связанных с мониторингом и диагностикой нештатных технологических ситуаций.
Keywords: monitoring and diagnosis, probability model, one-class techniques, stochastic techniques, emergency situations, markov chains, anomaly detectionКлючевые слова: monitoring and diagnosis, probability model, one-class techniques, stochastic techniques, emergency situations, markov chains, anomaly detection
Просмотров: 9480
9. Особенности создания пользовательского классификатора для отображения обстановки на электронной карте [№3 за 2014 год]
Авторы: Войцеховский С.В. (vsv25@mail.ru) - Военно-космическая академия им. А.Ф. Можайского (старший преподаватель), кандидат технических наук; Девяткин А.М. (kosnaft1972@rambler.ru) - Военно-космическая академия им. А.Ф. Можайского (профессор, начальник факультета), доктор технических наук; Котенок А.А. (kosnaft1972@rambler.ru) - Военно-космическая академия им. А.Ф. Можайского (зам. начальника факультета), кандидат военных наук; Обухов А.В. (aleks.obuhov@yandex.ru) - Военно-космическая академия им. А.Ф. Можайского (старший преподаватель), кандидат технических наук;
Аннотация: Решение задачи целераспределения в штабах военных округов в настоящее время осуществляется в ручном режиме, что не позволяет оперативно реагировать на резкие изменения обстановки и вносить коррективы в процесс целераспределения. В условиях стремительного повышения мобильности войск снижение временных затрат на планирование их действий становится не только актуальной, но и одной из самых важных задач военной науки. В рамках выполнения научно-исследовательской работы в академии был разработан макет автоматизированного комплекса целераспределения объектов поражения противника, который прошел апробацию в ходе совместного стратегического учения «Запад-2013». Разработка данного программного комплекса позволила поднять работу группы планирования огневого поражения на новый качественный уровень и повысить оперативность принятия решения командиром. Обязательным условием для формирования в геоинформационной системе пространственных данных субъектами, осуществляющими их создание, является наличие классификаторов, разработанных с учетом положений ГОСТ Р 52439-2005. Таким образом, разработка макета программного комплекса с системой визуализации на электронной карте, технологии применения и его апробация привели к необходимости принятия решения об использовании нескольких известных классификаторов или о создании нового цифрового классификатора. Применяя известные классификаторы, невозможно было решить все поставленные задачи, стоящие перед программным комплексом целераспределения объектов поражения противника. Кроме того, использование не одного, а нескольких классификаторов условных знаков существенно усложнило бы алгоритм работы системы визуализации. Поэтому с целью отображения обстановки и результатов решения расчетной задачи целераспределения в программе с помощью условных знаков был создан свой классификатор Rigel. В статье представлены результаты создания цифрового классификатора для отображения обстановки и результатов решения расчетной задачи на электронной карте.
Abstract: Nowadays the solution of target distribution problem in the staffs of military districts is performed "manually".
It does not allow react quickly to sudden situation changes and making adjustments in the target allocation process. In the
context of sharp increasing of troops mobility, decrease of time spending on planning their actions is not only relevant, but
also one of the most important tasks of military science. An automated complex model for target allocation of enemy destruc-tion objective was designed at the academy as a part of the research work. The model was tested during a joint strategic exe r-cises "West-2013". This software package development allowed improving the fire damage planning group work and a com-mander’s decision making efficiency.
To form spatial data in a geographic information system, classifiers developed using GOST R 52439-2005 are a manda-tory requirement. Thus, the design of a software system model with an electronic map visualization system, its application
technologies and testing showed the need in making a decision to use several well -known classifiers or to create a new digital
classifier.
It was not possible to solve all the problems for software complex model for target allocation of enemy d estruction objec-tive using just known classifiers. Furthermore, the use of not one but several classifiers of symbols can complicate a visual i-zation system operation algorithm significantly. Therefore, in order to reflect the situation and the results of solving target al-location computational problem in the program using symbols, a Rigel classifier have been created. The article presents the
results of creating digital classifier to show the situation and the results of solving electronic map computational problem.
Ключевые слова: слой., условный знак, цифровой классификатор, алгоритм, система ви-зуализации, программный комплекс, геоинформационная система, задача целераспределенияKeywords: layer, conventional sign, digital qualifier, algorithm, , software package, geoinformation system, target setting task
Просмотров: 18116
10. Сравнительный анализ систем имитационного моделирования для исследования технологических процессов обработки информации в глобально распределенных автоматизированных информационных системах [№3 за 2014 год]
Автор: Бондаренко А.А. (bondarenko.a.a.7@gmail.com) - Государственный научно-исследовательский институт авиационных систем (аспирант );
Аннотация: В данной статье рассматривается проблема выбора системы имитационного моделирования для исследования глобально распределенных автоматизированных информационных систем. В последние годы сформировался особый класс этих систем, которые можно назвать глобально распределенными. Они отличаются наличием центральной БД и разветвленной структурой из сотен локальных СУБД, распределенных на значительной территории. Автор описывает ключевые особенности этих систем и приходит к выводу о необходимости исследования проистекающих в них технологических процессов обработки информации. В статье обоснован выбор имитационного моделирования в качестве средства анализа. Анализируются наиболее популярные и подходящие под рассматриваемую задачу программные пакеты имитационного моделирования: Simulink, GPSS World, Extend и Arena, при этом дается обобщен-ная характеристика каждого программного продукта. Выдвигается тезис о неочевидности выбора одного из программных продуктов и предлагается оценить свойства системы, существенные для решения поставленной задачи. При построении иерархической структуры признаков используется предложенная Дэвидом Кельтоном группировка возможностей программных продуктов, а в качестве механизма агрегирования – суммирование значений показателей по локальным или интегральным группам дерева. Сравниваются веса качеств систем, и на основе их анализа выбирается наиболее оптимальная (с большим весом качества) система. В результате проведенного исследования для анализа глобально распределенных автоматизированных информационных систем автор предлагает использовать систему имитационного моделирования Simulink.
Abstract: This article examines the problem of simulation system choice for globally distributed automated information
systems (AIS) research. A special type of AIS, the so called globally distributed ones, has emerged in recent years. Such sys-tems differ from their predecessors thanks to having a central database and a complicated structure of hundreds local databas e
management systems (DBMS) distributed over a significant area. The author describes the key features of the discussed sys-tems and insists on the necessity of studying information processing technologies progressing in them. The choice of the
simulation method for such cases of analysis is well-grounded. The article also analyzes popular and reasonable software
packages related to simulation: Simulink, GPSS World, Extend and Arena; and gives generalized descriptions of every soft-ware product. The author considers the thesis of non-obviousness while discussing the choice of software products and offers
to evaluate their quality presented as a set of system properties essential for solving the occurred problem. To construct th e
hierarchy of features the author uses the classification of software products possibilities given in "Simulation" by David
Kelton. Indicator value summation for local or integral tree groups is used as an aggregating mechanism. At the same time
quality weights of various systems are compared. It helps to choose the most optimum (with higher quality weight) system.
As a result of the study, the author suggests using Simulink simulation system for analyzing globally distributed automated
information systems.
Ключевые слова: extend, gpss, arena, matlab, simulink, агрегирование, сравнительный анализ, имитационное моделирование, автоматизированная информационная системаKeywords: extend, gpss, arena, matlab, simulink, aggregation, comparative analysis, simulation, automated information system
Просмотров: 23973
| 1 | 2 | 3 | 4 | Следующая → ►