Программные продукты и системы

Статьи журнала №4 2018

1. Система корпус-менеджер: архитектура и модели корпусных данных [№4 за 2018 год]
Авторы: Мухамедшин Д.Р. (damirmuh@gmail.com) - Институт прикладной семиотики Академии наук Республики Татарстан (аспирант); Сулейманов Д.Ш. (khusainov.aidar@gmail.com) - Казанский (Приволжский) федеральный университет (профессор), доктор технических наук;
Аннотация: Современные системы управления корпусными данными позволяют решать широкий спектр задач, связанных с компьютерной лингвистикой. Часто такие системы основаны на готовых решениях, что приводит к проблемам со скоростью выполнения поисковых запросов (выборок данных), гибкостью, масштабируемостью и расширяемостью системы. В данной статье рассмотрена архитектура системы корпус-менеджер, разработанной для управления корпусом татарского языка, и предложена модель корпусных данных, которая решает ряд проблем существующих систем корпус-менеджер. В статье подробно описана архитектура программной части системы, которая позволяет быстро разрабатывать дополнительные модули и интегрировать в систему сторонние приложения. Представленная модель корпусных данных разработана для решения задач быстрого поиска по словоформам и леммам (прямого поиска), а также по морфологическим свойствам (обратного поиска). Она позволяет также осуществлять фразовый и синтаксический поиск, таким образом обеспечивая решение задач, связанных с более сложными выборками данных. Авторами были проведены эксперименты с целью выбора наиболее оптимального набора технологий хранения данных, который позволяет решать поставленные перед системой задачи и имеет возможности для расширения ее функционала в будущем. В статье представлены результаты экспериментов, в том числе тестирования производительности различных СУБД и хранилищ данных. Описанные архитектура системы и модель корпусных данных применены в поисковом модуле системы управления корпусом татарского языка, который показывает существенный прирост скорости выполнения поисковых запросов по сравнению с аналогичными модулями в других системах.
Ключевые слова: корпус-менеджер, корпусные данные, архитектура системы, модель данных, поисковая система, субд
Keywords: corpus manager, corpus data, system architecture, Data Model, search engine, DBMS
Просмотров: 7591

2. Грамматика запросов для хранилища разнородных данных в проактивных системах [№4 за 2018 год]
Авторы: Чан Ван Фу (vanphu.vstu.russia@gmail.com) - Волгоградский государственный технический университет (аспирант); Сай Ван Квонг (svcuonghvktqs@gmail.com) - Волгоградский государственный технический университет (аспирант); Щербаков М.В. (maxim.shcherbakov@vstu.ru) - Волгоградский государственный технический университет (старший научный сотрудник), доктор технических наук;
Аннотация: Проблема хранения и обработки разнородных данных (как структурированных, так и неструктурированных), получаемых из различных источников, актуальна при реализации систем проактивной поддержки этапа функционирования жизненного цикла сложных многообъектных распределенных систем. Разнородность данных требует хранения их описания в виде метаданных для последующей автоматической обработки. Для решения проблемы эффективного хранения разнородных данных используется архитектура, называемая «озеро данных». Она реализует механизмы пакетной обработки данных и обработки данных в режиме реального времени. Задача совершенствования методов для эффективного доступа к разнородным данным включает в себя следующие подзадачи: разработка грамматики запросов типа SQL к разнородным данным, построение парсера для распознавания запросов в соответствии с новой грамматикой, разработка модулей обработки разнородных данных в соответствии с запросом, разработка рекомендаций (методики) применения разработанных модулей в проактивных системах поддержки принятия решений. Предлагаемая грамматика основана на расширениях DML языка SQL, в частности, расширениях оператора SELECT. Для обработки сформированных запросов в соответствии с новой грамматикой сгенерирован парсер с использованием библиотеки ANTLR 3.0. В результате генерации созданы классы на языке Java, объекты которых используются для разбора запросов. Реализовано и испытано ПО на основе сгенерированного парсера и модулей обработки разнородных данных. В результате испытания ПО, реализующего предложенную грамматику в системе проактивной поддержки принятия решений, проанализировано время выполнения унифицированных запросов с различными объемами разнородных данных. Главным результатом применения грамматики является снижение времени на обработку разнородных данных в рамках одного запроса.
Ключевые слова: проактивные системы, поддержка принятия решений, сбор данных, распределенная обработка данных, озеро данных, разнородные данные
Keywords: proactive systems, decision support, data acquisition, synthetic flexible model, data lake, heterogeneous data
Просмотров: 6426

3. Средства поддержки моделирования логических правил в нотации RVML [№4 за 2018 год]
Авторы: Дородных Н.О. (tualatin32@mail.ru) - Институт динамики систем и теории управления СО РАН (младший научный сотрудник), кандидат технических наук; Юрин А.Ю. (iskander@irk.ru) - Институт динамики систем и теории управления СО РАН, г. Иркутск (доцент, зав. лабораторией), кандидат технических наук; Коршунов С.А. (grey.for@gmail.com) - ЦентраСиб (программист);
Аннотация: При наличии широкого спектра различных средств и методов представления и обработки знаний продукционная модель до сих пор является одним из наиболее распространенных и востребованных формализмов представления знаний при разработке экспертных систем различного назначения. В свою очередь, эффективное применение языков разработки продукционных баз знаний требует использования и создания специализированного инструментария, обеспечивающего не только разработку баз знаний, но и визуализацию данного процесса. Для решения задачи визуализации перспективным является использование специализированных нотаций, расширяющих существующие, в частности UML. Примером подобной нотации является Rule visual modeling language (RVML). В работе рассмотрены основные элементы RVML и программных средств, обеспечивающих его поддержку, в частности, веб-ориентированный редактор Web RVML Editor, обеспечивающий не только поддержку визуального моделирования баз знаний продукционного типа в нотации RVML с ориентацией на непрограммирующего специалиста, но и интеграцию с внешними программными системами: Knowledge Base Development System для доступа к модулям-конверторам и Personal Knowledge Base Designer для тестирования создаваемых баз знаний. Приведены описание архитектуры редактора и его функций, а также примеры пользовательского интерфейса. Другим программным средством, рассмотренным в статье, является Tiny RVML Editor, представляющий собой настольное приложение, функционально дублирующее веб-ориентированный редактор и являвшееся для него прототипом. Описанные средства в совокупности обеспечивают многоплатформенную поддержку процесса визуального моделирования продукций в RVML, по возможности используя единый подход и принципы организации пользовательского интерфейса.
Ключевые слова: настольное приложение, веб-ориентированный редактор, rvml, представление знаний, правила, база знаний, визуальное моделирование
Keywords: desktop software, web-based software, rvml, representation of knowledge, rules, knowledge base, visual modeling
Просмотров: 5591

4. Исследование комбинированного алгоритма при обучении трехслойных нейронных сетей различной топологии [№4 за 2018 год]
Авторы: Остроух Е.Н. (eostr@donpac.ru) - Донской государственный технический университет (доцент), кандидат технических наук; Евич Л.Н. (bkln@mail.ru) - Донской государственный технический университет (доцент), кандидат физико-математических наук; Чернышев Ю.О. (sergeev00765@mail.ru) - Донской государственный технический университет (профессор), доктор технических наук; Маркин С.Д. (potate82@ya.ru) - Донской государственный технический университет (магистрант); Панасенко П.А. (we_panasenko_777@mail.ru) - Краснодарское высшее военное училище им. генерала армии С.М. Штеменко (преподаватель), кандидат технических наук;
Аннотация: При обучении нейронной сети настройка весовых коэффициентов осуществляется на основе минимизации ошибки вычислений. В случаях, когда целевая функция имеет сложный характер и обладает большим количеством локальных экстремумов, обучение сети с применением градиентных методов оптимизации зачастую не гарантирует нахождение глобального экстремума. Решение этой проблемы на сегодняшний день для большого класса задач осуществляется с помощью генетических алгоритмов как основного метода для обучения сетей обратного распространения ошибки. Развитие этих алгоритмов получило свое продолжение в изучении биоинспирированных алгоритмов и их гибридных модификаций. Использование биоинспирированных алгоритмов, основанных на методах случайного поиска, позволяет решить проблему обхода локальных экстремумов и обладает высокой скоростью сходимости. В работе рассматривается комбинированный биоинспирированный алгоритм, реализующий решение задачи глобальной оптимизации в случае проблем, связанных с обучением искусственных нейронных сетей. Структура сети и число нейронов в каждом скрытом слое являются важными параметрами, влияющими на эффективность обучения искусственных нейронных сетей. Трехслойные нейронные сети позволяют решать большинство сложных задач. Однако влияние количества нейронов в каждом из скрытых слоев на скорость сходимости в общем случае мало изучено. В работе исследуется ранее разработанная авторами комбинация алгоритма светлячков и градиентного спуска для обучения трехслойных нейронных сетей различной топологии. Проведенное исследование дало возможность выявить из рассмотренных искусственных нейронных сетей топологию, позволяющую получить наиболее оптимальное решение за меньшее количество шагов. Анализ производительности алгоритма обучения осуществлен на основе функции «исключающее ИЛИ» (Xor).
Ключевые слова: алгоритмы оптимизации, нейронная сеть, алгоритм светлячков, градиентный спуск
Keywords: optimization algorithms, neural network, Firefly Algorithm, gradient descent
Просмотров: 6741

5. Ontologies in the problems of building a concept domain model [№4 за 2018 год]
Авторы: Виноградов Г.П. (wgp272ng@mail.ru) - Тверской государственный технический университет (профессор), доктор технических наук; Прохоров А.А. (forworkap@mail.ru) - НИИ «Центрпрограммсистем» (зав. отделением);
Abstract: The purpose of the research is the problem of communication between information systems and between an information system and an operator. The problem is relevant due to the IT intellectualization that leads to the fact that an information system acquires the features of an intellectual agent. So, there are new prospects for the digital economy, where information interaction at the network level plays an important role. The methodological basis of the research are the results from theoretical semiotics, from the use of ontology as a form of real world knowledge representation, as well as the publication of domestic and foreign scientists on the problem of communication between information systems. The research includes the communication process analysis. It is revealed that the intelligent agent considers a message as a decision result either to inform or to change the status of another agent. It is shown that communication should be considered as one of the types of control, such as behavior. The authors prove that, in relation to the theory of behavior, this approach requires including psychological aspects into the subject area of the theory of choice. First of all, these are the problems of perception, awareness, understanding the properties of the situation of choice and building assessments of the results of choice, communication, conflict, the introduction of new concepts and the relations between them of a number of others. Communication process support systems should contain a domain model that is understandable and interpreted by a user. It is shown that conceptual modeling of the subject domain based on ontologies is the most appropriate way to build it. The conceptual model consists of a conceptual structure and a concept content description. A conceptual structure is a set of concepts on which four abstraction maps are defined: generalization, type designs, association, and aggregation. A concept content description is carried out using database tables. The essential difference of the used conceptual model from others is describing an association as a usual concept. It is shown that, due to the semantic invariance of conceptual interpretation, it is possible to improve technological and operational characteristics of an information system. The proposed approach creates the basis for the development and organization of the interface of artificial entities both among themselves and with an operator based on a certain “professional language”, which is relevant to a particular subject domain. This involves considering an interface as a sign system and using methods of the theory of artificial intelligence to build it.
Keywords: choice situation, fuzzy judgment, purposeful systems, decision making
Ключевые слова: ситуация выбора, нечеткое суждение, целеустремленные системы, принятие решений
Просмотров: 4797

6. Равномерное распределение вычислительных процессов и сетевой нагрузки по физическим и логическим ядрам кластера в UNIX-подобных системах [№4 за 2018 год]
Авторы: Пальчевский Е.В. (teelxp@inbox.ru) - Финансовый университет при Правительстве Российской Федерации (преподаватель); Халиков А.Р. (khalikov.albert.r@gmail.com) - Уфимский государственный авиационный технический университет (доцент), кандидат физико-математических наук;
Аннотация: Данная статья посвящена равномерному распределению вычислительных процессов в кластерах. Разработан аппаратно-программный модуль Distribution, предназначенный для распределения вычислительных процессов (в том числе и сетевой нагрузки) по физическим и логическим ядрам CPU посредством доработки цепей Маркова в вычислительном кластере. Показана нагрузочная зависимость физических ресурсов от запускаемых задач на вычислительном кластере. Обоснована целесообразность применения аппаратно-программного модуля Distribution. Рассчитано распределение цепи для переноса вычислительных процессов между физическими серверами кластера. Система распределения нагрузки включает три этапа: первый – разработка алгоритма, второй – техническая реализация, третий – тестирование аппаратно-программного модуля. На первом этапе представлен функционал разработанного аппаратно-программного модуля: «старт», «стоп», «перезапуск», «проверка нагрузки сетевого стека», «установка значения загруженности ядра». На втором этапе приводится схема разработанного аппаратно-программного модуля. На третьем этапе проводится апробация аппаратно-программного модуля. В ходе тестирования было подтверждено снижение загруженности на вычислительные ресурсы физического сервера. Разработанное решение не только снижает нагрузку на 11,15 единицы, но и позволяет параллельно запускать сложные и ресурсоемкие вычислительные процессы без нарушения работоспособности ЭВМ.
Ключевые слова: распределение нагрузки, нагрузочная способность, обработка данных, цепи маркова
Keywords: load distribution, load capacity, data processing, Markov chains
Просмотров: 5797

7. Построение программной инфраструктуры сферы услуг в условиях цифровой экономики [№4 за 2018 год]
Авторы: Иващенко А.В. (anton-ivashenko@yandex.ru) - Самарский государственный аэрокосмический университет им. академика С.П. Королева (национальный исследовательский университет) (профессор), доктор технических наук; Корчивой С.А. (cor28@mail.ru) - Научно-исследовательский институт радио (соискатель);
Аннотация: В статье рассматривается проблема проектирования и оценки эффективности ПО виртуальных посреднических операторов в сфере услуг на этапах планирования затрат и оценки хода реализации проектов цифровой экономики. Отмечаются особенности реализации таких решений, связанные с виртуализацией сервисов в цифровых социальных системах. Для решения проблем предлагается модель инфраструктурного возврата цифровой экономики, основанная на соотнесении виртуальных преимуществ цифровой экономической системы и затрат на создание и развитие ее програм- мной инфраструктуры на всех этапах ее разработки, развития и эксплуатации. Состав затрат на создание и развитие инфраструктуры, подлежащий оценке эффективности, может учитывать маркетинговые затраты инвестора, а также затраты на развитие проектов, находящихся на посевной стадии (в том числе связанной с проведением НИР/НИОКР), с учетом оценки рисков потери инвестиционного ресурса. В основе модели лежит формальное представление продуктов или услуг в виде цепочек взаимосвязанных сервисов, для реализации которых необходимо разовое или регулярное выполнение определенных мероприятий известной стоимости. Реализацию сервисов в рамках определенной цифровой платформы предлагается представить в виде графа, связывающего объекты ИТ-инфраструктуры, поставщиков услуг и продуцируемые сервисы с помощью отношений инфраструктурного обеспечения и выполнения. В дополнение к этому выделяется эффект эмиссии сервисов, когда подмножество существующих сервисов и событий обращения к ним приводит к появлению новых сервисов за счет объединения или пересечения без непосредственного использования инфраструктуры. Определение эффективности реализации программной инфраструктуры основано на расчете стоимости ее запуска для эксплуатации и сопоставлении ее с доходами от реализации сервисов потребителям. Предложенная модель использовалась при реализации ПО для виртуальных посреднических операторов в сфере услуг, в которой одним из важных аспектов цифровизации является возможность организации взаимодействия поставщиков и потребителей в едином информационном пространстве.
Ключевые слова: цифровая экономика, модель инфраструктурного возврата, виртуальный посреднический оператор
Keywords: digital economy, infrastructural return model, virtual intermediary operator
Просмотров: 5381

8. Building a specialist’s knowledge model in the digital economy [№4 за 2018 год]
Авторы: Виноградов Г.П. (wgp272ng@mail.ru) - Тверской государственный технический университет (профессор), доктор технических наук; Виноградова Н.Г. (wgp272ng@mail.ru) - Тверской государственный технический университет (аспирант); Шапель Д.А. (dez788@yandex.ru) - НИИ «Центрпрограммсистем» (зав. сектором информационных технологий);
Abstract: The purpose of the study is to investigate the problem of forming a training standard and the construction of a higher education specialist knowledge model. These problems are considered important when managing the process of professional personnel training for the digital economy. The authors used the methods of system analysis, the theory of active systems, the theory of information management, coordinated management in organizational systems, methods and approaches of the artificial intelligence theory. The research shows that Russia's entry into the Bologna Process caused some downturns. Specialists’ training effectiveness and quality has become lower. It has become difficult to integrate higher education institutions into a new social and economic system of the country. Specialists’ training goals, including the goals at all training stages, do not conform to the goals of economic entities. At the same time, universities are the ones who are mainly responsible for training specialists who meet the requirements of the digital economy. One of the ways to overcome these downturns might be the transition of universities to the design and technological type of work organization. Then the most promising form of educational project management is the implementation of the model of information interaction between parties concerned (organizations and universities) within the framework of active self-developing network expert environments. The paper presents the structure of an active self-developing network expert environment and its functioning principles when forming specialist’s model standards and knowledge. This approach allows considering the construction of training standards and development of a specialist knowledge model in the context of corporate intellectual potential management strategies. The implementation of this approach is a multi-stage process of collecting, analyzing, evaluating and processing large amounts of information. The authors propose a system that provides searching, filtering, summarizing information, determining its value and prospects. It is established that the method of improving the quality of educational project decisions is the synthesis of network expertise technologies and the methodology of the theory of active systems. The paper shows that the effective formation of training standards and a specialists’ knowledge model is possible within the framework of self-organizing expert environments that are presented as active systems with heterogeneous agents with a counter method of communicating information with the active influence of the center. The effective implementation of this approach implies changing the goals of the higher education system from meeting the needs for training higher education personnel шт order to develop an innovative economy. This will ensure the interaction of universities and organizations in the management of their intellectual capital in the digital economy on a new legislative basis.
Keywords: self-organizing expert environments., coordinated management, education system, active system, knowledge model, digital economy
Ключевые слова: самоорганизующиеся экспертные среды, согласованное управление, система образования, активная система, модель знаний, цифровая экономика
Просмотров: 5138

9. Оптимальное управление с обратной связью одним классом нелинейных систем по квадратичному критерию [№4 за 2018 год]
Авторы: Афанасьев А.П. (apa@isa.ru) - Институт проблем передачи информации им. А.А. Харкевича РАН (ИППИ РАН), Московский государственный университет им. М.В. Ломоносова (профессор), доктор физико-математических наук; Дзюба С.М. (sdzyuba@mail.ru) - Тверской государственный технический университет (профессор), доктор физико-математических наук; Пчелинцев А.Н. (pchelintsev.an@yandex.ru) - Тамбовский государственный технический университет (доцент), кандидат физико-математических наук; Емельянова И.И. (emelyanova-123@yandex.ru) - Тверской государственный технический университет (ст. преподаватель);
Аннотация: Статья посвящена проблеме синтеза оптимального управления нелинейными системами с выделенной линейной частью по квадратичному критерию. Данная проблема имеет достаточно большое значение, поскольку многие модели технических, физических, биологических и экономических систем описываются именно такими моделями. Приведен метод синтеза оптимального управления с обратной связью. Он базируется на специальном методе последовательных приближений и является развитием результатов, полученных в более ранних работах авторов, в которых доказано: если время работы системы достаточно мало, то предложенный метод равномерно сходится. Это позволяет установить существование решения исходной задачи в виде закона управления с обратной связью и дает процедуру приближенного построения этого закона. Если время работы системы велико, как это обычно бывает на практике, то доказать равномерную сходимость метода последовательных приближений не удается. Это объясняется спецификой метода. Однако многочисленные вычислительные эксперименты показали, что простая сходимость метода наблюдается во многих случаях. Более того, можно показать, что из сходимости метода на произвольном промежутке времени следует существование решения исходной задачи. Это дополнительно дает ее (задачи) приближенное решение, причем в виде закона управления с обратной связью. Таким образом, предложенный метод является обоснованным для решения задач во многих практических ситуациях. В статье приведен пример его использования для решения задачи стабилизации режимов работы регулятора Уатта. Данный пример имеет достаточно большое практическое значение, поскольку стабилизация работы этого регулятора является классической задачей теории управления. Для численной реализации примера использовались методы объектно-ориентированного программирования. Численный эксперимент показал, что метод позволяет стабилизировать работу регулятора Уатта в достаточно широком диапазоне извлечения параметров.
Ключевые слова: метод последовательных приближений, оптимальное управление с обратной связью, нелинейная система, объектно-ориентированное программирование
Keywords: successive approximations method, optimal feedback control, nonlinear system, object(oriented programming
Просмотров: 5887

10. Разработка модифицированного алгоритма случайного множественного доступа с возможностью погашения интерференции [№4 за 2018 год]
Авторы: Жежера С.А. (ii.sgegera@gmail.com ) - Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики (Университет ИТМО) (аспирант);
Аннотация: Предметом исследования являются пропускная способность и надежность беспроводных сетей в системах множественного случайного доступа. В системе множественного доступа передача данных основана на соперничестве станций за общую среду передачи, при этом каждый узел, не имеющий задолженности, передает пакет, рискуя попасть в случайные конфликты. Cтатья посвящена новому решению, основанному на совместной работе алгоритма с процедурой погашения интерференции, когда базовая станция в состоянии осуществить вычитание абонентского сигнала из ранее принятого сигнала, чтобы восстановить остаточный сигнал для повышения надежности беспроводных сетей с пульсирующим трафиком. Модифицированный алгоритм основан на идее поиска в множестве принятых сигналов ортогонального подмножества, позволяющего одновременно извлечь все множество конфликтных сигналов. Алгоритм использует полный перебор и потому обладает значительной вычислительной сложностью. В результате исследований выявлено, что при использовании процедуры погашения интерференции происходит ускорение процесса разрешения конфликта. Для этого необходимо хранить абонентские сигналы в специальных дополнительных ячейках памяти. При модификации алгоритма множественного доступа в исходящий сигнал от каждого абонента добавляется служебная информация о предыдущих попытках передать сигнал. Исключительное право использования процедуры погашения интерференции позволяет снизить вероятность возникновения конфликтов и таким образом увеличить качество передачи данных. В статье исследована возмож-ность повышения эффективности случайного множественного доступа с погашением интерференции. Предлагается использовать модифицированный алгоритм из семейства ALOHA с возможностью погашения интерференции в сетях с использованием пуассоновского входного потока.
Ключевые слова: алгоритм случайного множественного доступа, интерференция, алгоритм доступа к каналу, алгоритм разрешения конфликта, случайный множественный доступ, период разрешения конфликта, беспроводные сети
Keywords: random multiple access algorithm, interference, channel access algorithm, conflict resolution algorithm, random multiple access, conflict resolution period, wireless network
Просмотров: 7152

| 1 | 2 | 3 | Следующая → ►