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

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

Abstract: The subject of the study is the process of decompiling the source code of programs into high-level languages. The author shows the decompilation point in the program transformation cycle which includes the processes of canonization, compilation, optimization, and decompilation. The object of the study is the compiled equivalent of the static data description on a high level programming language, which in general case is a nontrivial mapping of syntactic constructions on a high level programming language into a byte sequences located in executable program modules and constructed considering various optimization techniques for this microprocessor architecture. The paper reviews the static data decompilation process as reconstruction of the parse tree of the program, which is recovered during the analysis of its executable code and as a binary sequence in the memory of the von Neumann machine, which is analyzed by the regular expression created by the decompiler from the supposed description of the data. Regular expressions are traditionally used to analyze character sequences. The article presents another area of application of this tool – for proving the hypothesis that this byte array of the executable module is the equivalent of compiled static data. The author suggests a variant of the corresponding syntax of the regular expression language. The article shows that the proposed method can be used to further verify the quality of the decompiled code.

Keywords: object code, executable module, compilation, program language, regular expression, decompilation, reverse translation, translation, program parsing tree, data definition

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

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

Abstract: This article is devoted to the design of information and software support for the development process for а web-based system of the educational programs at the university level .The need to develop it is due to the requirements for the educational programs under the current federal state educational standards for the higher education. These standards establish that  the results of training are defined as an integral system of competences. Additionally, the article outlines the approach to the development of educational programs satisfying the requirements of the competence paradigm, upon which the basis of the system is being developed. The research is based upon the following methods: systemic analysis, graph theory, combinatorial-ordered modeling and dynamic programming. The scientific novelty of the research involves the development of a model for a learning resource formed as a hierarchy of knowledge spaces. This model of representation provides  modular flexible structure for the learning resources developed on its basis, which is achieved by combining in the model the properties of hierarchical and algebraic structures.

Keywords: learning resources design, higher education program, knowledge space, lattice, lattice-theoretical approach, knowledge domain model, knowledge space extendibility, knowledge space fragmentability, web-based system, learning resource

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

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

Abstract:  Selection of appropriate web services is an important step in the development of service-oriented architecture (SOA) for an information system. When selecting a web service, the quality of service criteria (QoS) are used regularly. These criteria characterize the non-functional properties of web service candidate. However, the functional characteristics of the service that are difficult to quantify, and the factors of the effectiveness of the lifecycle management of composite architectures are also important. The article discusses the comprehensive approach to  evaluation and selection of web services in SOA development on the basis of factors related to non-functional and functional requirements and taking into account the economic efficiency evaluation of implementation and use of service-oriented applications. The choice of service is performed via fuzzy models for integrated assessment of the web service quality. The developed model and algorithm of web service quality evaluation and its software implementation will allow to realize decision support procedures for substantiation and choice of an appropriate structure of SOA-based information system in the situation of incomplete information.

Keywords: QoS, functional requirements, integrated evaluation of quality, non-functional requirements, economic efficiency evaluation, fuzzy model, decision-making support, web services, SOA, Service-oriented architecture

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

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

Abstract: The object of research in the work involves the complex service systems, which are characterized by mutual dependence between the works, their random duration and necessity of rationalize recourses in time. These features stipulate the development of a mathematical model which is meant to form the basis for the optimization task of forming a schedule. As the objective function, a generalized criterion that allows the most efficient allocation of resources over time is chosen. An important parameter of this model is the duration of the service. The assessment of this parameter is an important task, since it directly affects the accuracy of the developed schedule.The formation of a mathematical model is based on the apparatus of probability theory and the theory of project management. To find the duration of the service a cubic equation connecting the variance, the expectation and the mode of the cubic equation was obtained. As a result a mathematical model a mathematical model designed for describing multi-stage servicing systems with a stochastic duration of maintenance of mutually dependent works was found by the authors. This model may be used to describe a whole class of systems with the above features in the case where it is necessary to efficiently allocate resources  over time. Novelty is present in the use of a generalized resource criterion in conjunction with resource and time constraints. The author also finds an evaluation of service time, which is distinguished by increased accuracy in comparison with existing analogues.

Keywords: mathematical model, tochastic parameters, mutual dependence of works, random duration of service, resource criterion, time constraints, PERT, beta distribution , expected values, project management

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

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

Abstract: The object of studies concerns the methods for evaluation of the graph nodes. The author pays attention to the fact that the existing centrality metrics, such as level centrality, closeness centrality, interval centrality, own vector, etc., are sometimes not suitable for modeling the situations, when graph nodes are social object models, and therefore, they are capable of cooperation in order to achieve social goals.  In this case game-theoretic centrality models (such as coalition games models) are better suited to reflect the modeling object.  The methodology of the study involves the elements of graph theory, probability theory, as well as the apparatus for the analysis of social networks as a new independent scientific sphere. The key result of the stuy is that game-theoretic centrality based upon the Shapley vector is a flexible and mostly universal instrument for the social graph analysis.  It allows to consider an unlimited set of quality characteristics of the graph nodes, as well as their topological qualities in any combination in order to evaluate the nodes.

Keywords: algorithm, permutation, Shapley vector, coalition games, group centrality, level centrality, node centrality, social network, social graph, graph

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

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

Abstract: The immediate object of studies is the module for automatic detection for the manipulator mechanism collisions with the prohibited zones, which is used in intellectual robot guidance. The object of studies involves geometrical analysis characterizing the position of the manipulator mechanism and the known prohibited zones.  The authors provide detailed analysis of analytical value of the allowed configurations sphere within the space of generalized coordinates with two prohibited zones present in the working space of a manipulator. The generalized coordinates space is provided for by the axes of the rectangular coordinates system based upon the directions of angles  providing for the movements in the turning pairs.  It is offered to use the sufficient condition for the collisions based upon the usage within the space of allowed configurations. All of the allowed configurations within the generalized coordinates space are reflected by a geometrical object.  The said geometrical object is provided for via analytical means with the use of several kinematic surfaces limiting it. The main result of the study is shorter calculation period for test assignments regarding virtual modeling for the manipulator movement of a "Komodo dragon" mobile robot with the use of the detection algorithm for collisions between the mechanism and the environment. The special input of the authors into the issue involves the development of the knowledge database assignment, which is used for intellectual guidance for manipulator motion in the familiar environment.  The novelty of the study is due to the development of the more productive method of information analysis on the position of manipulator mechanism and prohibited zones based upon the analytical dependencies, which are used to establish the allowed configuration space. The use of this space  for the trajectory synthesis within the generalized coordinates space allows one to correct the manipulator motion in order to predict and to exclude the dead-end situations when synthesizing the velocity vector movement.

Keywords: kinematic couples, intelligent robots, restricted areas, knowledge base, the virtual model operation of movements, kinematic surfaces, geometrical analysis, robot traffic control, area of allowed configurations, space of generalized coordinates

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

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

Abstract: The objects of the study are articulated lever mechanisms based on the use of third-order third-class structural groups by the Assur-Artobolevsky classification. These mechanisms are studied and designed as actuators of high-performance machines. Of the many lever mechanisms of the third class, the so-called limit-forming mechanisms are singled out to become the object of studies,  making it possible to obtain approximate outgrade of the output link, and, consequently, of the working tool by using the limit positions of the lever diads. The third class articulated lever mechanisms of the third class are being analyze, due to their kinematic features these mechanisms allow to provide approximate out-riggers of the output link in both its extreme positions in accordance with the preassigned operating schedule of the machine.The method of the study of hinged mechanisms with approximate stops of the out-put link in the two extreme positions according to the given cyclogram is the method of constructive geometric modeling as the basis for the development of an analytical geomet-ric model of the mechanisms under consideration. Based upon the constructive geometric modeling  the authors propose the method for designing six-link mechanisms of the third class with two approximate stops of the output link in the extreme positions according to the preassigned cyclogram. Possible branching of the kinematic scheme of this mechanism is revealed. An analytical geometric model for the synthesis of six-link hinged mechanisms of the third class as executive devices for high-performance machines for printing, food, textile and a number of other industries has been created by the authors.

Keywords: dwells, free parameters, Chebyshev approximation, working body, geometric construction, branching, cyclogram, kinematic scheme, hinged mechanism, Geometric modeling