Аннотация: Настоящая работа посвящена разработке системы практических методов защиты программного обеспечения от рефакторинга с целью снижения вероятности нарушения авторских прав на используемые алгоритмы. В качестве базового метода защиты предлагается подход, особенностью которого является использование линейных конгруэнтных последовательностей как основы для отображения порядка расположения операторов языка на требуемый функциональностью порядок выполнения программы. Предложена конкретная технология обфускации программ, написанных на скриптовых языках, в частности на Microsoft Visual Basic. Также обсуждается вариант формального понимания степени стойкости рассматриваемой системы методов. Для формального описания понятия обфускации программ и степени стойкости обфускации используется теоретико-множественный формализм. Ряд результатов теории чисел использован в работе для обоснования существования решения задачи обфускации в предлагаемой постановке для произвольной программы. Основным результатом работы является новый практический подход к обфускации программ, написанных на скриптовых языках, который в известной степени может быть обобщен на языковые системы иной природы. Также в работе продемонстрирован парадоксальный результат - обфусцированная программа может полностью соответствовать парадигме структурного программирования при сохранении заявленной степени стойкости к рефакторингу.

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

Abstract: The article is devoted to development of the system of practical methods of protection of software against refactoring for purpose of lowering probability of infringement copyright for used algorithms. As the basic method of protection offered approach, which feature is use of the linear congruent sequences as bases for morphism of an order of layout operators of programming language to the execution order of the program, required by functionality. The specific technology of an obfuscation programs written in scripting languages, in particular on Microsoft Visual Basic, is offered. Also the notation of formal understanding of a level resistance of the considered system of methods is discussed. For the formal description of concept of an obfuscation programs and a level resistance of an obfuscation used the set-theoretic formalism. Several results of the number theory is used in article for reasons for existence of the solution of the task obfuscation in the offered setting for any program. The main result of article is new practical approach to an obfuscation programs, written in scripting languages, which can be to a certain extent generalized on language systems of other nature. Also in article the paradoxical result is shown - the obfuscation code can correspond completely to a paradigm of structured programming when saving the declared level of resistance to refactoring.

Keywords: code refactoring, obfuscation, machine code, linear congruential generator, lexical analysis, source code, computational complexity, spaghetti code, structured programming, VBA

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

Ключевые слова: Моделирование 3D сцен, распознавание образов, распознавание изображений, групповые точечные объекты, группы малоразмерных объектов, анализ сцен, архитектура программного комплекса, иерархии классов, визуализация моделей, анализ эффективности распознавания

Abstract: The subject of the research is the architecture of the 3D scene generator containing point and small-sized object groups with coordinate and impulse noises. The authors examine methods of constructing software class hierarchies based on the set requirements for construction algorithm integration and noise contamination. The authors analyze the process of constructing a universal interface for scene algorithm construction which does not have the feature of being excessive in relation to container classes for parameters and repeated implementation of identical algorithms for different types of data while reserving a possibility to vary input parameters of the generation method. The universal nature of the interface for sample generation procedures and integration with noise contamination procedures and data integrity check are ensured through organizing weakly connected hierarchy based on generalized functors using a type list. The authors define the main classes of abstractions necessary for modeling the main types of objects that have parameter specifications of observing conditions for an opportunity to analyze the accuracy of further recognition. The generator has a particular feature to support point primitives and their groups, stochastic models of group objects and distortions, extensibility of object model types and noises and possibility of being integrated with user's programs in order to analyze efficiency of recognition methods. 

Keywords: class hierarchies, software package architecture, scene analysis, small-sized object groups, group point objects, image recognition, pattern recognition, 3D scene modeling, model visualization, recognition efficiency analysis

Аннотация: Групповые точечные объекты (ГТО) представляют собой множества изолированных контрастных к фону точечных отметок, объединенных некоторым общим признаком. Во многих приложениях в качестве устойчивого признака выступает форма взаимного располо-жения точечных объектов группы. Применение известных методов распознавания формы ГТО становится проблематичным, когда в поле зрения наблюдателя попадает лишь часть ГТО одного из известных классов. Возможные отклонения точечных объектов от своих эта-лонных положений дополнительно усложняют задачу распознавания частично маскирован-ных ГТО. В работе исследуется распознавание ГТО по наиболее схожим с эталонными локаль-ным описаниям конфигурации соседних элементов ГТО. В качестве локальных описаний используются цилиндрические сечения абстрактного векторного поля с источниками в элементах ГТО и ограниченным масштабом дальнодействия. Локальные описания конфигурации ГТО представляются дискретным комплекснозначным кодом. Модуль и аргумент каждого отсчета соответствуют силе и направлению действия векторного поля. Мера схожести на основе модуля скалярного произведения таких описаний формы обеспечивает инвариантность к ракурсу наблюдения ГТО и не зависит от смещения ГТО в кадре. Характеристики распознавания подтверждают эффективность рассмотренного метода распознавания частично маскированных ГТО в значимом для практики диапазоне случайных флуктуаций координат элементов ГТО.

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

Abstract: Group point objects (GPO) are multitudes of isolated background-contrasting dots united by one common feature. Many apps use a method of mutual arrangement of group point objects. Implementation of well-known methods for recognizing GPOs gets difficult when an observer has only part of GPOs constituting one of famous classes within his or her sight. Possible deviations of point objects from their standard positions additionally complicate the task to recognize partially marked GPOs. In their research the authors perform recognition of GPOs based on most similar local description of configuration with adjacent elements of GPOs. Cylindrical sections of the abstract vector field with sources in GPO elements and restricted scale of long-range interaction are used as local descriptions. Local descriptions of GPO configuration are viewed as discrete complex-valued codes. The module and argument of each reference correspond to the strength and direction of the vector field action. Similarity of such description of forms on the basis of the dot product module ensures invariance to GPO observation angle and does not depend on GPO shift in picture. Recognition features prove efficiency of the reviewed method for recognizing partially masked GPOs in a practically significant scope of random fluctuations in GPO element coordinates. 

Keywords: vector field, analysis of point scenes, spatial compactness, recognition of group objects, point field, associate solid image, cylindrical section of the field, group point object, invariance to rotation, complex coding

Аннотация: Предметом исследования является проблема безопасности информационных систем. Данное направление можно считать одним из наиболее важных в развитии современного общества, этому способствует огромное доверие к технологиям. Уменьшение роли реального человека в современных процессах привело к появлению таких технологий как межмашинное взаимодействие и интернет вещей. Перевод огромного количества данных в электронный вид, наличие элементов автономности, например в транспортной инфраструктуре, ведет к необходимости защиты таких систем от воздействий злоумышленников. Это связано с серьезностью последствий при утрате контроля над системой. В данной статье рассмотрено преднамеренное воздействие злоумышленника в общем случае. Представлены основные последовательные этапы реализации атаки на информационную систему, характерные для большинства угроз безопасности. Учитывается необходимость проводить подготовительные мероприятия и необходимость сокрытия преступления Описание механизма воздействия в статье производится с помощью математического аппарата сетей Петри-Маркова, как наиболее подходящего для данного процесса. Сеть состоит из позиций и переходов, а при прохождении всей сети достигается цель, поставленная злоумышленником. В статье представлены две сети для моделирования одного воздействия – упрощенная и более сложная, позволяющая учесть поведение атакующего более детально. Первая сеть Петри-Маркова позволяет учитывать основные шаги при реализации атаки, для описания приведена система интегро-дифференциальных уравнений. Вторая модель учитывает, в отличие от первой, возможность возврата к предыдущему этапу при возникновении проблем с реализацией угрозы со стороны злоумышленника. Новизна исследования заключается в использовании математических моделей для подробного описания процесса проведения атаки на информационную систему. Предложены две модели, которые будут необходимы для организации информационной безопасности. Они позволят лучше понять поведение злоумышленника и дадут возможность определить наиболее характерные уязвимости информационной системы, требующие устранения или дополнительного контроля.

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

Abstract: The subject of the research is the security of information systems. This trend is one of the most important in the development of the modern society which is conditioned by the growing trust in technologies. The decreasing role of a human in modern processes has led to the creation of such technologies as M2M connectivity and IoT (Internet of things). Conversion of a great amount of data into electronic data and presence of autonomous elements, for example, in transport infrastructure have created the need to defend such systems from law breakers. This is due to the fact that there may be serious consequences in case of losing control over the system. The present article is devoted to deliberate influence of a law breaker in a general case. The authors of the article describe the main successive steps of attacking the information system that are typical for the majority of security threats. The authors underline the fact that certain preparatory measures and the need to suppress traces of crime are needed. The authors describe the mechanism of influence using the method of the mathematical tool 'Petri-Markov nets' as the most appropriate for this process. The net consists of positions and branches and the goal set by a law breaker is achieved when the entire network is passed through. In their article the authors describe two nets for modeling the influence of a law breaker, these are a simplified net and a more complex net allowing to take into account more details of a law breaker's behavior. The first Petri-Markov net allows to consider the main steps towards the attack and uses the system of integral-differential equations to describe it. Unlike the first one, the second model takes into account one's opportunity to return to the previous step when problems with the execution of a threat by a law breaker arise. The novelty of the research is caused by the fact that the authors use mathematical models to make a detailed description of the process of attacking the information system. They offer two models that will be needed to ensure information security. They allow to better understand a law breaker and give opportunity to define the most vulnerable points of the information system requiring elimination or additional control. 

Keywords: integral-differential equations, transition matrix, mathematical model, Petri-Markov nets, offense, attacker, attack, security, protection, information system

Аннотация: Предметом исследования является стеганографическая система защиты информации (ССЗИ) на основе метода прямого расширения спектра с минимально возможным изменением пикселей изображения и его максимальном заполнении. Особое внимание в статье уделяется проблеме создания ССЗИ со слепым декодером, поскольку оригинальное изображение сильно влияет на возможность правильного извлечения встроенной информации. Авторами подробно рассматриваются такие аспекты темы как применение процесса авторегрессии и корректирующих кодов для уменьшения количества ошибок извлечения встроенной информации. Методологической основой исследования являются методы теории помехоустойчивого кодирования, методы обработки цифровых изображений, методы математической статистики. Новизна исследования заключается в том, что определен оптимальный размер блока (32х32 пикселя), при котором двумерный процесс авторегрессии (АР) позволяет получить максимальный прирост в количестве правильно извлеченных встроенных бит. Кроме того исследована эффективность применения БЧХ кода, кода Рида-Соломона и LDPC кода для восстановления встроенных данных. Показано, что LDPC код с алгоритмом «мягкого» принятия решения Belief propagation является наиболее эффективным для уменьшения количества ошибок извлечения встроенной информации стеганографическим методом на основе прямого расширения спектра.

Ключевые слова: защита информации, стеганография, прямое расширение спектра, цифровые изображения, скрытая передача информации, помехоустойчивые коды, процесс авторегресии, БЧХ код, код Рида-Соломона, LDPC код

Abstract: The subject of the research is the steganographic information protection system (SIPS) based on the method of the direct spectrum spread with minimum change of image pixels and maximum image fill. Special attention is paid to the problem of creating a SIPS with a blind decoder because the original image strongly influences the correct extraction of in-built information. The authors examine such aspects of the topic as the application of the autoregression process and error-correcting codes in order to reduce the number of errors during extraction of in-built information. The methodological basis of the research involves methods from the theory of noise-resistant coding, methods of digital image processing, and methods of mathematical statistics. The novelty of the research is caused by the fact that the author defines the optimum block size (32x32 pixels) that enables the two-dimensional autoregression process (AP) to provide the maximum number of correctly extracted in-built bits. Moreover, the authors analyze efficiency of applying BCH Code, Reed-Solomon code and LDPC code for restoration of in-built data. They demonstrate that LDPC code combined with the algorithm of 'soft' decision making 'Belief propagation' option is the most efficient for reducing the number of errors when extracting in-built information by the stenographic method on the basis of the direct spectrum spread. 

Keywords: direct spectrum spread, digital images, hidden data transmission, noise-resistant codes, autoregression process, BCH code, Reed-Solomon code, LDPC code, steganography, information protection

Аннотация: Внутритрубная диагностика – это часть комплекса методов неразрушающего контроля, которая позволяет выявлять внутренние дефекты трубопроводов с помощью технического диагностирования.Основными задачами ВТД являются выявление дефектов в металле трубопровода, дефектов сварных швов, дефектов геометрии трубопровода, распознавание типа дефектов, определение их размеров и положения на трубопроводе. Для выполнения этой задачи разрабатывается киберфизическая система, к которой предъявляются определенные требования. В статье рассмотрено оборудование группы компаний АО «Диаконт», одного из мировых лидеров в области высокотехнологичных решений для обеспечения безопасности и повышения эффективности в атомной, нефтегазовой промышленности и тепловой энергетике. Wелью данного исследования является анализ проектно-конструкторских и технологических решений, использованных при разработке роботизированного комплекса для ВТД в АО «Диаконт». Актуальность данной цели обуславливается ростом спроса на киберфизические системы данного предназначения, связанного с ее взрывозащищенностью и низкой стоимостью. Таким образом, создание киберфизических систем контроля состояния трубопроводов является трудоёмкой и наукоемкой задачей. В связи с особенностями среды проведения ВТД к частям диагностического комплекса предъявляются жесткие требования в части взрывозащиты. Помимо этого система должна иметь ряд конструктивных особенностей, связанных с преодолением фасонных изделий, наклонных и вертикальных участков трубопровода. Вклад автора заключается в анализе существующих технологических решений при разработке киберфизических систем контроля трубопроводов.

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

Abstract: Intratubal diagnostics is part of a set of non-destructive control methods allowing to define internal defects of conduit pipes by the means of technical diagnosis. The main goals of intratubal diagnostics are to define defects in the conduit pipe metal, welded joints, conduit pipe geometry, types of defects, their location and position inside a conduit pipe. To achieve these tasks, a cyber physical system certain requirements set for is usually developed. The present article is devoted to a group of companies 'Diakont', one of the world leaders in the sphere of high technological solutions of security arrangements and increasing efficiency in nuclear, petroleum and thermal power industries. The purpose of the present research is to analyze engineering and technological solutions used in the process of developing a robotlike complex for intratubal diagnostics at 'Diakont' company. The rationale of the research is caused by the growing demand for cyber physical systems related to explosion safety and low cost. Thus, creation of a cyber physical system for controlling conduit pipes is a challenging task. As a result of peculiarities of the environment where intratubal diagnostics are performed, there are strict explosion safety requirements for details and parts of the diagnostic suite. Moreover, the system must have a number of engineering specifics aimed at passing shaped objects, inclined and vertical parts of conduit pipes. The authors' contribution to the topic is their analysis of existing technological solutions made in the process of developing cyber physical systems for controlling conduit pipes.   

Keywords: high technology systems, technotronic security , explosion safety, robotlike system, intratubal technical diagnosis, non-destructive testing, technological solutions, engineering solutions, cyber physical systems, conduit pipe control

Аннотация: Предметом исследования являются методы оптимизации и, в частности, методы случайного поиска (глобальных) экстремумов функций. Объектом исследования являются проблемы случайного поиска, связанные с заменой потока равномерно распределенных истинно случайных чисел на псевдослучайные последовательности. Авторами был сконструирован модельный пример, способный наглядно продемонстрировать возникновение ограничений метода равномерного случайного поиска в условиях, когда длина периода используемой псевдослучайной последовательности сравнима с потенциально достижимым количеством вычислений целевой функции на данном классе традиционных вычислителей. Показано наличие серьезных ограничений генератора псевдослучайных чисел, встроенного в VBA-подсистему пакета Microsoft Office, при использовании в алгоритмах случайного поиска. При синтезе модельной целевой функции были использованы методы алгебры и анализа. Основные результаты исследования были получены на основе проведения множества численных экспериментов и использования методов сравнения и обобщения. Основными выводами проведенного исследования являются тезис о нецелесообразности использования на современном этапе встроенного в VBA-подсистему пакета Microsoft Office датчика псевдослучайных чисел в алгоритмах случайного поиска и рекомендация замены встроенного датчика на генераторы нового поколения, такие как, например, «вихрь Мерсенна».

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

Abstract: The subject of the research is the methods of optimization, in particular, methods of random search for the global extremum of functions. The object of the research is the problems of the random search connected with the replacing the flow of equally distributed truly random numbers with pseudorandom sequences. The authors have created a simulative example that can clearly demonstrate limitations of the method of equal random search in case when the period length of a pseudo-random sequence used is comparable to potentially achievable number of target function calculations in the given group of traditional calculations. The authors demonstrate that there are serious limitations of the random number generator installed in the VBA-subsystem of the Microsoft Office package when using the option of random search in algorithms. When synthesizing the model target function, the author has used the methods of algebra and analysis. The main results of the research is the statement about impractibility of using the pseudo-random number generator installed in the VBA-subsystem of the Microsoft Office package in random search algorithms and recommendations on how to replace the installed sensor with the new generation generators such as Mersenne twister.   

Keywords: stochastic optimization, optimization, continuous function, nonlinear programming, linear congruential generator, smooth function, Mersenne twister, Rosenbrock function, objective functions, extremum

Аннотация: The subject of the research is the models and algorithms of the morphological analysis of texts, the category of suffixes and rules for using them in the Uzbek language. The object of the research is the processes of defining roots in Uzbek sentences according to morphological rules of the Uzbek language without using additional dictionaries. Developed methods and models are oriented at specific features of the Uzbek language, its structure, peculiarities of word forms for further comparison, standardization and search for analogous texts in data bases. Research methods used by the author include morphological analysis of texts, abstract programming, method of finite state machines and flow charts and methods of mathematical modeling. In order to create the antiplaque program it is important to research the specific characters of the language of a text. The article presents an approach to morphological analysis of Uzbek words. The approach is based on the analysis of words according to the finite state machines (FSM) method and based on defining the root of the word according to the word order in Uzbek language.

Ключевые слова: abstract programming, word parser, morphologic rule, automata theory, normalization of words, determining the root, suffixes, finite state automaton, affixes, analysing natural language

Аннотация: Автоматизированное схемотехническое проектирование аналоговых электронных устройств связано с определенными трудностями, обусловленными высокой степенью неоднородности параметров их элементов.В настоящее время не удается осуществить полную автоматизацию проектирования аналоговых микроэлектронных устройств, т. е. их проектирование без участия человека, особенно при решении задач структурного синтеза. Однако при максимальном использовании квалификации разработчика и осуществлении тесного диалогового взаимодействия между ним и компьютером задачи структурного и параметрического синтеза могут быть успешно решены. Этому во многом способствует широкий комплекс аналитических программ, имеющихся в современных САПР радиоэлектронной аппаратуры. В статье проведен обзор возможностей системы NI ELVIS для экспериментального исследования аналоговых электронных устройств. Рассмотрено совместное применение систем Multisim и NI ELVIS при проектировании аналоговых электронных устройств. Совместное использование систем Multisim и NI ELVIS в процессе курсового проектирования аналоговых электронных устройств позволяет студентам максимально приблизиться к условиям работы в современных проектных организациях, в частности, минимизировать объем ручных расчетов. При этом студентами выполняются следующие схемотехнические проектные процедуры: -Выбор схемы аналогового электронного устройства. -Прикидочный ручной расчет. -Моделирование выбранной схемы в системе Multisim. -Экспериментальное исследование устройства в системе NI ELVIS.

Ключевые слова: аналоговые электронные устройства, автоматизированное проектирование, NI ELVIS, LabVIEW, Multisim, аналоговая схемотехника, лабораторные работы, преподавание, компьютерное моделирование, операционные усилители

Abstract: Automated schematic design of analogous electronic devices is associated with certain difficulties created by the high degree of their parameters inhomogenuity. At the present time it is impossible to carry out a full automation of designing analogous microelectronic devices, i.e. their engineering without human participation, especially in the process of solving tasks of structural synthesis. However, tasks of structural and parametric synthesis can be successfully solved by the maximum use of the engineer's competence and conduction of a close dialog interaction between the engineer and computer. This is in many ways conditioned by a wide range of analytical programs installed in modern CAD of electronic equipment. In their article the authors provide a review of opportunities of the NI ELVIS system for experimental research of analogous electronic devices. They also view the joint application of the Multisim and NI ELVIS systems to the process of engineering analogous electronic devices. Combination of Multisim and NI ELVIS systems in the process of a course engineering of analogous electronic devices allow students to get the best idea of working conditions at today's engineering organizations and, in particular, to minimize the load of manual calculations. Students perform the following circuit engineering procedures: selection of the scheme for an analogous electronic device; 'quick look' calculation; modeling of the chosen scheme by using the Multisim software; experimental research of a device by using the NI ELVIS system. 

Keywords: operational amplifiers, computer simulation, teaching, practical work, analog circuit design, NI ELVIS, LabVIEW, Multisim, comptuter aided design, analog electronic devices

Аннотация: В данной статье объектом исследования являются информационные процессы в асинхронных дискретно-событийных системах. Примерами таких систем могут быть организационно-экономические, производственные и вычислительные системы. Предметом исследования является методология формализации и анализа асинхронных дискретно-событийных систем на основе интеграции методов искусственного интеллекта и поведенческого дискретно-событийного моделирования. В качестве примера подходящей предметной области в настоящей работе рассматривается участок гибкого автоматизированного производства, сокращенно ГАП (FMS – Flexible Manufacturing Systems). Методология исследования базируется на логике предикатов первого и второго порядков, формализме сетей абстрактных машин, моделях искусственного интеллекта и на впервые предлагаемых концептуальных сетях Петри. Новизна исследования состоит в получении в конечном итоге на основе концептуальной и поведенческой модели асинхронной дискретно-событийной системы формализованных непосредственно исполнимых спецификаций, например, пригодных для последующей реализации сетевого программного обеспечения беспроводной вычислительной сети, управляющей гибким автоматизированным производством изделий. В части I статьи показано, что семантические сети с событиями, ролевыми и каузальными связями между объектами (сценарные сети) могут в достаточно полной степени представлять логическую, структурную и процедурную парадигмы интеллектуальных систем, в том числе систем ситуационного управления. Формализован процесс построения сценарных моделей на основе концептуальных графов, что позволяет использовать указанные модели в составе экспертно-имитационных моделей систем ситуационного управления. Показано, что концептуальное представление сценариев позволяет естественным образом автоматизировать переход к построению базы знаний на основе реляционного подхода, что обеспечивает повышение оперативности внесения изменений в концептуальную модель и базу знаний (например, при изменениях в предметной области). Запросы к базе знаний, построенной на основе концептуального графа, могут быть формализованы на языке сетей абстрактных машин, что упрощает дальнейшее проектирование человеко-машинного интерфейса интеллектуальной системы на базе известных языков типа C++, C#, SQL, Visual Prolog и др.

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

Abstract: The object of the present article is information processes in asynchronous discrete event systems. Examples of such systems include organization-economical, production and computer-based systems. The subject of the research is the methodology of formalization and analysis of asynchronous discrete event systems based on integration of artificial intellect and behavioral discrete event modeling methods. As an example of a relevant topical area the authors of the present article view a section of flexible automated manufacturing systems (FMS - Flexible Manufacturing Systems). The methodological basis of the research involves the logic of predicates of the first and second order, formal description of abstract machines, artificial intellect models and Petri conceptual nets offered for the first time. The novelty of the research is caused by the fact that as a result of their research and based on their conceptual and behavioral model of an asynchronous discrete event system, the authors define formalized directly realizable specifications, for example, typical for further realization of the wireless network system running the flexible production process. The first part of the article demonstrates that semantic networks with events, role and causal connections between objects (scenario networks) may sufficiently present logical, structural and procedural paradigm of intelligent systems including the system of situational management. The authors have also formalized the process of building scenario models based on conceptual graphs which allows to use the aforesaid models as part of expert simulation models of the situation management system. They demonstrate that a conceptual presentation of scenarios allows a natural transfer towards building the knowledge bases based on the relational approach which improves the performance function that makes changes to the conceptual model and knowledge base (for example, when the topical area is changed). Demands for the knowledge base built on the basis of the conceptual graph may be formalized in the language of abstract machine networks which simplifies further design of a human-computer interface of the intelligence system based on famous languages like C++, C#, SQL, Visual Prolog, etc.

Keywords: requests, relational database, robot-based manufacturing, casual relations, role relations, scenarios, conceptual graphs, semantic networks, intelligent systems, abstract machines

Аннотация: В данной работе предметом исследования является разработка и практическое использование интеллектуальной системы поддержки принятия решений по распределению заданий по ведению реестра операторов персональных. Объектом исследования является задача рационального выбора исполнителей заданий в системе электронного документооборота территориального органа Роскомнадзора. Авторы подробно рассматривают задачи по защите прав субъектов персональных данных, схему обработки и распределения заданий по ведению реестра операторов персональных данных, анализируют проблему ручного распределения заданий, ставят задачу автоматизации эффективного распределения заданий по исполнителям. Для решения поставленной задачи предлагается специально разработанная нечетко-продукционная модель. Данная модель позволяет на основе экспертной оценки квалификации, работоспособности и загруженности исполнителей рационально распределять задания различных уровней сложности. Приводится описание системы поддержки принятия решений и алгоритм ее использования при распределении заданий. Научная новизна предложенного подхода к решению поставленной задачи заключается в автоматизации распределения заданий по исполнителям на основе разработки и практического использования нечетко-продукционной модели. Предлагается оригинальный вид нечетко-продукционных правил для формализации экспертных знаний по рациональному выбору исполнителей заданий с учетом их квалификации, работоспособности и текущего уровня загруженности. Оценка адекватности нечетко-продукционной модели, а также эффективности решения поставленной задачи на базе разработанной системы показала возможность существенного снижения интеллектуальной нагрузки на эксперта при распределении заданий, а также повышение средней скорости принятия решений на 80,3%.

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

Abstract: The subject of the present research article is the development and practical implementation of the intelligent decision support system that distributes tasks related to maintenance of the personal data processors register. The object of the research is the task of a rational choice of task performers in the system of electronic flow of documents run by the territorial body of the Federal Supervision Agency for Information Technologies and Communications. The authors examine tasks of defending the rights of personal data owners, scheme for processing and distributing these tasks of keeping the registry of personal data processors, analyze the problem of manual distribution of tasks and set a goal to automate an efficient distribution of tasks between performers. To achieve the research target, the authors offer their own fuzzy-production model that has been developed especially for these purposes. This model allows to rationally distribute tasks of different difficulty levels based on the expert evaluation of competence, working capacity and work load of performers. The authors also give a description of the decision support system and algorithm for using it in the process of tasks distribution. The scientific novelty of the authors' approach to achieving the aforesaid goal is caused by the fact that they offer an automated distribution of tasks between performers based on developing and practically implementing the fuzzy-production model. They also provide original fuzzy-production rules to formalize expert knowledge concerning a rational selection of tasks performers taking into account their competence, working capacity and current work load. Analysis of the adequacy of this fuzzy-production model as well as efficient solution of the set goals based on the developed system has proved that it is possible to considerably decrease the intellectual load of an expert in the process of tasks distribution as well as increase the speed of the decision making process by 80.3 percent. 

Keywords: software package, fuzzy-production model, tasks distribution, applied subsystem, unified information system, personal data operator, electronic flow of documents, decision support, inference algorithm, intelligent system