Modeling and Analysis of Information Systems / Моделирование и анализ информационных систем (МАИС)
Not a member yet
782 research outputs found
Sort by
О гладкости в Lp, 0 < p < 1
Get PDFWe discuss properties of functions which are covered by spreading the differentiation operator from the space W₁¹.Обсуждаются свойства функций, охватываемых распространением оператора дифференцирования за границы пространства W₁¹
СООТВЕТСТВУЕТ ЛИ ВАШ ЖУРНАЛ СОБЫТИЙ ВЫСОКОУРОВНЕВОЙ МОДЕЛИ ПРОЦЕССА?
No full textProcess mining is a relatively new field of computer science, which deals with process discovery and analysis based on event logs. In this paper we consider the problem of models and event logs conformance checking. Conformance checking is intensively studied in the frame of process mining research, but only models and event logs of the same granularity were considered in the literature. Here we present and justify the method of checking conformance between a high-level model (e.g. built by an expert) and a low-level log (generated by a system).The article is published in the author’s wording.Process mining – это технология, которая посредством извлечения данных из журнала событий предоставляет различные методы для исследования реального процесса, его улучшения и контроля над ним. В данной статье мы рассматриваем проблему проверки соответствия между высокоуровневой моделью процесса и журналом событий. Проверка соответствия интенсивно изучается в рамках process mining, но в литературе можно найти только методы, позволяющие измерить этот показатель между логом и моделью одного уровня. В статье мы представляем алгоритм проверки соответствия между высокоуровневой моделью процесса (построенной экспертами) и низкоуровневым журналом событий (сгенерированным системой), а также доказываем его применимость.Статья публикуется в авторской редакции.
Аппроксимационные свойства нильпотентных групп
Get PDFLet π be a set of primes. Recall that a group G is said to be a residually finite π-group if for every nonidentity element a of G there exists a homomorphism of the group G onto some finite π-group such that the image of the element a differs from 1. A group G will be said to be a virtually residually finite π-group if it contains a finite index subgroup which is a residually finite π-group. Recall that an element g in G is said to be π-radicable if g is an m-th power of an element of G for every positive π-number m. Let N be a nilpotent group and let all power subgroups in N are finitely separable. It is proved that N is a residually finite π-group if and only if N has no nonidentity π-radicable elements. Suppose now that π does not coincide with the set Π of all primes. Let π 0 be the complement of π in the set Π. And let T be a π 0 component of N i.e. T be a set of all elements of N whose orders are finite π 0 -numbers. We prove that the following three statements are equivalent: (1) the group N is a virtually residually finite π-group; (2) the subgroup T is finite and quotient group N/T is a residually finite π-group; (3) the subgroup T is finite and T coincides with the set of all π-radicable elements of N
Асимптотика моментов сингулярной функции Лебега
Get PDFRecall Lebesgue’s singular function. Imagine flipping a biased coin with probability p of heads and probability q = 1 − p of tails. Let the binary expansion of ξ ∈ [0, 1]: ξ = ∑∞ k=1 ck2−k be determined by flipping the coin infinitely many times, that is, ck = 1 if the k-th toss is heads and ck = 0 if it is tails. We define Lebesgue’s singular function L(t) as the distribution function of the random variable ξ: L(t) = Prob{ξ < t}. It is well-known that L(t) is strictly increasing and its derivative is zero almost everywhere (p ̸= q). The moments of Lebesque’ singular function are defined as Mn = Eξn. The main result of this paper is the following: Mn = O(nlog2 p).Напомним определение сингулярной функции Лебега. Пусть в результате бросания несимметричной монеты с вероятностью p выпадает решка, а с вероятностью q = 1 − p – орел. Пусть бинарное разложение ξ ∈ [0, 1]: ξ =∑∞k=1 ck2−k задается бросанием монеты бесконечно много раз, т.е. ck = 1, если результат k-го бросания – решка, и ck = 0, если – орел. Сингулярная функция Лебега L(t) является функцией распределения случайной величины ξ: L(t) = Prob{ξ < t}. Хорошо известно, что L(t) строго возрастает и ее производная равна нулю почти всюду (p ̸= q). Моменты сингулярной функции Лебега определяются как Mn = Eξn. Основной результат работы – следующая оценка: Mn = O(nlog2 p)
Наследcтвенные свойства модульных сетей
Get PDFHereditary graph properties are those that can be inherited from the graph to all its subgraphs (such as planarity). Modular nets of active resources is a (Petri nets)- powerful formalism with simple modular syntax. Boundedness and liveness are fundamental semantic properties for Petri net models. It is shown that boundedness and liveness, being not hereditary in general, are downward-hereditary (net-to-subnet) and upward-hereditary (subnet-to-net) for the particular types of AR-subnets. It is also shown that boundedness is downward-hereditary and unboundedness is upward-hereditary for arbitrary subnets after a specific module interface transformation (so-called R-normalization).Свойство графа называется наследственным, если каждый подграф также обладает этим свойством (например, планарность). Модульные сети активных ресурсов — формализм, эквивалентный по выразительной мощности сетям Петри, но при этом обладающий простым модульным синтаксисом. Ограниченность и живость — фундаментальные семантические свойства моделей, основанных на сетях Петри. Показано, что ограниченность и живость, не являясь наследственными свойствами в общем случае, становятся наследственными вниз (от сети к подсети) и наследственными вверх (от подсети к сети) для специальных типов АР-модулей. Также показано, что ограниченность наследуется вниз, а неограниченность наследуется вверх для произвольных модулей в сетях, подвергнутых достаточно простому и не нарушающему их поведение преобразованию интерфейсов модулей — процедуре Р-нормализации
Локальная динамика трех осцилляторов со связью вещательного типа
Get PDFThe dynamics of interaction of three neurons is studied. One of possible options of the link is a feedback loop arising at modeling neuronets is considered.Изучается динамика взаимодействия трех нейроподобных осцилляторов. Рассматривается один из возможных вариантов связи — связь вещательного типа, возникающая при моделировании нейросетей
Потоки в обобщенных сетях со связанными дугами
Get PDFThe problem of finding the maximum flow in nets of a special form is considered. In such nets the arcs are related in such a way that the total flow passing through the related arcs does not exceed the minimum throughput of these arcs. It is shown that the theorem by Ford and Fulkerson, according to which the maximum flux value is equal to the throughput of a minimum cut, is not performed for such networks. The estimations of the maximum flow in a generalized net with bound arcs are proposed. And the algorithm for finding the maximum flow in such nets is developed.Приведены основные формулировки и определения для обобщенных сетей со связанными дугами. Показано, что для таких сетей не выполняется теорема Форда и Фалкерсона о том, что величина максимального потока в сети равна пропускной способности минимального разреза. Получены точные оценки (сверху и снизу) для величины максимального потока в обобщенной сети со связанными дугами. Кроме того, предложен алгоритм нахождения максимального потока для рассматриваемых сетей
Многочлены объема для некоторых многогранников в пространствах постоянной кривизны
Get PDFIt is known that for each simplicial polyhedron P in 3-space there exists a monic polynomial Q depending on the combinatorial structure of P and the lengths of its edges only such that the volume of the polyhedron P as well as one of any polyhedron isometric to P and with the same combinatorial structure are roots of the polynomial Q. But this polynomial contains many millions of terms and it cannot be presented in an explicit form. In this work we indicate some special classes of polyhedra for which these polynomials can be found by a sufficiently effective algorithm which also works in spaces of constsnt curvature of any dimension.Известно, что для каждого симплициального многогранника P в 3-пространстве существует многочлен Q, зависящий только от комбинаторного строения многогранника и длин его ребер, такой, что объемы многогранника P и любого другого изометричного P многогранника с таким же комбинаторным строением являются корнями многочлена Q. Но этот многочлен содержит много миллионов слагаемых, и его нельзя выписать в явном виде. В работе мы указываем один класс многогранников, для которых эти многочлены можно выписать в компактной форме, верной также в пространствах постоянной кривизны любой размерности
О выразительности подхода к построению ПЛК-программ по LTL-спецификации
Get PDFThe article is devoted to the approach to constructing and verification of discrete PLC-programs by LTL-specification. This approach provides an ability of correctness analysis of PLC-programs by the model checking method. The linear temporal logic LTL is used as a language of specification of the program behavior. The correctness analysis of LTL-specification is automatically performed by the symbolic model checking tool Cadence SMV. The article demonstrates the consistency of the approach to constructing and verification of PLC programs by LTL-specification from the point of view of Turing power. It is proved, that in accordance with this approach for any Minsky counter machine can be built an LTL-specification, which is used for machine implementation in any PLC programming language of standard IEC 61131-3. Minsky machines equipollent Turing machines, and the considered approach also has Turing power. The proof focuses on representation of a counter machine behavior in the form of a set of LTL-formulas and matching these formulas to constructions of ST and SFC languages. SFC is interesting as a specific graphical language. ST is considered as a basic language because an implementation of a counter machine in IL, FBD/CFC and LD languages is reduced to rewriting blocks of ST-program. The idea of the proof is demonstrated by an example of a Minsky 3-counter machine, which implements a function of squaring
Разработка механизма адаптивной маршрутизации трафика в программно-конфигурируемых сетях
Get PDFThe purpose of this work is to develop a unitary mechanism of adaptive routing of different kinds, basing on the current requirements on the quality of service. The software configuration of a network is the technology of the future. The trend in communication systems constantly confirms this fact. However, the application of this technology in its current form is justified only in large networks of technology giants and telecom operators. Today we have a large number of dynamic routing protocols to route big volume traffic in communication networks. Our task is to create the solution that can use the opportunities of each node to make a decision on the transmission of information by all possible means for each type of traffic. Achieving this goal is possible by solving the problem of the development of generalized metrics, which details the links between devices in the network, and the problem of establishing a framework of adaptive logical network topology (route management) to ensure the quality of the whole network in order to meet the current requirements on the quality of a particular type service