Modeling and Analysis of Information Systems / Моделирование и анализ информационных систем (МАИС)
Not a member yet
782 research outputs found
Sort by
Непрерывное уплощение правильного тетраэдра точными отображениями
No full textWe proved in [10] that each Platonic polyhedron P can be folded into a flat multilayered face of P by a continuous folding process of polyhedra. In this paper, we give explicit formulas of continuous functions for such a continuous flattening process in R³ for a regular tetrahedron.The article is published in the author’s wording.В статье [10] нами доказано, что любой правильный многогранник P допускает непрерывное (изометричное) складывание (или разглаживание) на плоскость. В настоящей статье мы приводим явные формулы непрерывных функций такого процесса складывания для правильного тетраэдра в R³ . Статья публикуется в авторской редакции
Инструментальная система для поддержки разработки и исследования программно-конфигурируемых сетей подвижных объектов
Get PDFThis article describes the organization principles for wireless mesh-networks (software-defined net-works of mobile objects). The emphasis is on the questions of getting effective routing algorithms for such networks. The mathematical model of the system is the standard transportation network. The key parameter of the routing system is the node reachability coefficient — the function depending on several basic and additional parameters (“mesh-factors”), which characterize the route between two network nodes. Each pair (arc, node) is juxtaposed to a composite parameter which characterizes the “reacha-bility” of the node by the route which begins with this arc. The best (“shortest”) route between two nodes is the route with the maximum reachability coefficient. The rules of building and refreshing the routing tables by the network nodes are described. With the announcement from the neighbor the node gets the information about the connection energy and reliability, the announcement time of receipt, the absence of transitional nodes and also about the connection capability. On the basis of this informationthe node applies the penalization (decreasing the reachability coefficient) or the reward (increasing the reachability coefficient) to all routes through this neighbor node. The penalization / reward scheme has some separate aspects: 1. Penalization for the actuality of information. 2. Penalization / reward for the reliability of a node. 3. Penalization for the connection energy. 4. Penalization for the present connection capability. The simulator of the wireless mesh-network of mobile objects is written. It is based on the suggested heuristic algorithms. The description and characteristics of the simulator are stated in the article. The peculiarities of its program realization are also examined.В данной статье рассмотрены принципы организации беспроводных mesh-сетей программно-конфигурируемых сетей подвижных объектов. Основное внимание уделяется вопросам построения эффективных алгоритмов маршрутизации для подобных сетей. Математической моделью системы является стандартная транспортная сеть. В качестве ключевого параметра системы маршрутизации рассматривается коэффициент доступности узла функция, зависящая от ряда основных и дополнительных параметров ((mesh-факторовв), характеризующих маршрут между двумя узлами сети. Каждой паре (дуга, узел) сопоставляется композитный параметр, характеризующий 裂доступностьь узла по маршруту, начинающемуся данной дугой. Лучшим ((кратчайшимм) маршрутом между двумя узлами считается маршрут с наибольшим коэффициентом доступности. Описаны правила построения и обновления таблиц маршрутизации узлами сети. Получая анонс от соседа, узел имеет сведения об энергетике соединения, надежности соединения, времениполучения анонса, отсутствии промежуточных узлов, а также располагаемой пропускной способности. На основании этой информации ко всем маршрутам, проходящим через данного соседа, может быть применена пенализация (наложение штрафа) или поощрение (увеличение коэффициента доступности). Указанная схема пенализации / поощрения складывается из отдельных аспектов:1. Пенализация за актуальность информации.2. Пенализация / вознаграждение за надежность узла.3. Пенализация за энергетику соединения.4. Пенализация за располагаемую пропускную способность.На основе предложенных эвристических алгоритмов маршрутизации построен симулятор беспроводной mesh-сети подвижных объектов, описание и характеристики которого приведены в статье. Также рассмотрены особенности программной реализации симулятора
Генерация случайных чисел и параллельных потоков случайных чисел для расчетов Монте-Карло
Get PDFModern methods and libraries for high quality pseudorandom number generation and for generation of parallel random number streams for Monte Carlo simulations are considered. The probability equidistribution property and the parameters when the property holds at dimensions up to logarithm of mesh size are considered for Multiple Recursive Generators.Рассматриваются современные методы и пакеты программ генерации псевдослучайных чисел высокого качества, а также генерации параллельных потоков случайных чисел, для использования в расчетах Монте-Карло. Рассмотрено свойство равнораспределения вероятности для генераторов вида Multiple Recursive Generators и параметры, при которых это свойство выполняется на длине до логарифма размера сетки
О существовании ABA-факторизаций у спорадических групп ранга 3
Get PDFA finite group G with proper subgroups A and B has triple factorization G = ABA if every element g of G can be represented as g = aba0 , where a and a 0 are from A and b is from B. Such a triple factorization may be sometimes degenerate to AB-factorization. The task of finding triple factorizations for a group is fundamental and can be used for understanding the group structure. For instance, every simple finite group of Lie type has a natural factorization of such a type. Besides, the triple factorization is widely used in the study of graphs, geometries and varieties. The goal of this article is to find triple factorizations for sporadic groups of rank 3. We have proved the existence theorem of ABA-factorization for sporadic simple groups McL and F i22. There exist two rank 3 permutation representations of F i22. We have proved that ABA-factorizations exist in both cases
Управление параллелизмом в задаче автоматической замены агента dataflow-сети на платформе Smart-M3 и в интернете вещей
Get PDFThe paper describes implementation of dataflow networks based on Smart-M3 platform for use cases related to the Internet of Things. The mechanism for automatic substitution of computational agents created on top of Smart-M3 platform is described. The paper reviews concurrency issues of the developed solution regarding Smart-M3 platform, as well as in the broader context of the Internet of Things.Рассматриваются механизмы и область применимости разрабатываемого авторами решения для автоматической замены обрабатывающих агентов в dataflow-сетях, построенных на базе платформы Smart-M3 и применяемых для сценариев, характерных для интернета вещей. Приведены описание предлагаемого решения и обзор проблем управления параллелизмом, специфичных для реализации данного механизма как на платформе Smart-M3, так и в более широком контексте интернета вещей
Моделирование систем автоматического управления на основе полиномов Вольтерра
Get PDFThe problem of the existence of the solutions of polynomial Volterra integral equations of the first kind of the second degree is considered. An algorithm of the numerical solution of one class of Volterra nonlinear systems of the first kind is developed. Numerical results for test examples are presented.Рассмотрен вопрос существования решений полиномиальных интегральных уравнений Вольтерра I рода второй степени. Разработан алгоритм численного решения одного класса нелинейных систем Вольтерра I рода. Приводятся также численные результаты для тестовых примеров
Особенности применения модельно-ориентированного подхода при разработке промышленных приложений
No full textThe article considers the specifics of a model oriented approach to software development based on the usage of Model Driven Architecture (MDA), Model Driven Software Development (MDSD) and Model Driven Development (MDD) technologies. Benefits of this approach usage in the software development industry are described. The main emphasis is put on the system design, automated code generation for large systems, verification, proof of system properties and reduction of bug density. Drawbacks of the approach are also considered. The approach proposed in the article is specific for industrial software systems development. These systems are characterized by different levels of abstraction, which is used on modeling and code development phases. The approach allows to detail the model to the level of the system code, at the same time store the verified model semantics and provide the checking of the whole detailed model. Steps of translating abstract data structures (including transactions, signals and their parameters) into data structures used in detailed system implementation are presented. Also the grammar of a language for specifying rules of abstract model data structures transformation into real system detailed data structures is described. The results of applying the proposed method in the industrial technology are shown.The article is published in the authors’ wording.В статье рассмотрены особенности применения технологий разработки программных систем на основе модельно-ориентированного подхода: Model Driven Software Development (MDSD), Model Driven Architecture (MDA) и Model Driven Development (MDD). Описаны преимущества использования подходов в промышленности. Основной акцент сделан на проектирование систем, автоматическую генерацию кода больших систем, верификацию, доказательство свойств систем и уменьшение плотности ошибок. Приведены недостатки использования данного подхода, одним из которых является различная степень детальности модели и реальной реализованной системы на языке программирования. В работе предлагается подход, характерный для систем, имеющих многоуровневое представление, связанное с детализацией функциональности приложения до уровня, на котором осуществляется прямая генерация корректного кода. Подход позволяет детализировать модель до уровня реального кода системы, при этом сохранить проверенную семантику модели и обеспечить проверку всей детальной модели. Детализация проводится как по потоку управления, так и по потоку данных. Представлены шаги по преобразованию абстрактных структур данных (в том числе транзакций, сигналов и их параметров) в структуры данных, используемых в реализации систем. Приведена грамматика языка задания правил преобразования структур данных абстрактной модели в детальные структуры данных реальной системы и общая схема преобразования. Приведены результаты применения предложенного метода в промышленной технологии.Статья представляет собой расширенную версию доклада на VI Международном семинаре “Program Semantics, Specification and Verification: Theory and Applications”, Казань, 2015.Статья публикуется в авторской редакции
Дедуктивная верификация телекоммуникационных систем, представленных на языке Си
Get PDFA deductive approach to verification of telecommunication systems written in C is proposed. The approach is based on the extension of C by declarative statements and on reduction of verification of parallel communicating components of these systems to separate verification of components written in this extension. An example of verification of a data link protocol is considered.Предложен дедуктивный подход к верификации телекоммуникационных систем, представленных на языке C. Подход основан на расширении языка C декларативными операторами и сведении верификации параллельных взаимодействующих компонент телекоммуникационных систем к раздельной верификации компонент, представленных на расширенном языке. Рассмотрен пример верификации протокола передачи данных
Обобщенное решение одной начально-краевой задачи, возникающей в механике дискретно-континуальных систем
Get PDFIn this paper we define a generalized solution of an initial boundary value problem for a linear system of differential equations with one ordinary differential equation and two partial differential equations (a hybrid system of differential equations). We have proved the existence theorem for a generalized solution, its uniqueness, the correctness of the problem. An analytical formula for the solution is found. Such a system of differential equations arises in the study of discrete-continuum mechanical systems.Дано определение обобщенного решения начально-краевой задачи для линейной системы дифференциальных уравнений, содержащей обыкновенное дифференциальное уравнение и два уравнения в частных производных (гибридной системы дифференциальных уравнений). Доказана теорема существования обобщенного решения, его единственность, корректность постановки задачи. Получена аналитическая формула решения. Такие системы дифференциальных уравнений возникают при изучении дискретно-континуальных механических систем
Совершенные призмоиды и гипотеза о минимальном числе граней центрально-симметричных многогранников
Get PDFIn this paper we introduce and study a class of centrally symmetric polytopes – perfect prismatoids – and some its properties related to the famous conjecture concerning face numbers of centrally symmetric polytopes are proved. It is proved that any Hanner polytope is a perfect prismatoid and any perfect prismatoid is affine equivalent to some 0/1-polytope. Построен класс совершенных призмоидов, и доказаны некоторые их свойства, связанные со знаменитой гипотезой Калаи о минимальном числе граней выпуклого центрально-симметричного многогранника. Доказано, что многогранники Ханнера, на которых согласно гипотезе Калаи достигается минимум общего числа граней у центрально-симметричного многогранника, являются совершенными призмоидами. Также доказано, что любой совершенный призмоид аффинно эквивалентен некоторому 0/1-многограннику, полученному из куба той же размерности