Modeling and Analysis of Information Systems / Моделирование и анализ информационных систем (МАИС)
Not a member yet
782 research outputs found
Sort by
Приводимость пространства модулей стабильных рефлексивных пучков ранга 2 с классами Черна c1 = −1, c2 = 4, c3 = 2 на пространстве P3
Get PDFWe prove the reducibility of the moduli space MrefP³(2; −1, 4, 2) of stable rank 2 re- flexive sheaves with Chern classes c₁ = −1, c₂ = 4, c₃ = 2 on projective space P³. This gives the first example of a reducible space in the series of moduli spaces of stable rank 2 reflexive sheaves with Chern classes c₁= −1, c₂ = 4, c₃ = 2m, m = 1, 2, 3, 4, 5, 6, 8. We find two components of the expected dimension 27 of this space and give their geometric description via the Serre construction.В статье доказывается приводимость пространства MrefP³ (2; −1, 4, 2) модулей стабильных рефлексивных пучков ранга 2 с классами Черна c₁ = −1, c₂ = 4, c₃ = 2 на P³. Это первый пример приводимого пространства в серии пространств модулей стабильных рефлексивных пучков ранга 2 с c₁= −1, c₂ = 4, c₃ = 2m, m = 1, 2, 3, 4, 5, 6, 8. Найдены две неприводимые компоненты этого пространства, имеющие ожидаемую размерность 27, и дается их геометрическое описание посредством конструкции Серра
О нецелочисленных гранях метрического многогранника
Get PDFThe integrality recognition problem is considered on the sequence Mn,k of the nested Boolean quadric polytope relaxations, including the rooted semimetric Mn and the metric Mn,3 polytopes. Constraints of the metric polytope cut off all faces of the rooted semimetric polytope, containing only fractional vertices, that allows to solve the problem of integrality recognition on Mn in polynomial time. To solve the problem of integrality recognition on the metric polytope, we consider the possibility of cutting off all fractional faces of Mn,3 by some relaxation Mn,k. We represent the coordinates of the metric polytope in a homogeneous form by a three-dimensional block matrix. We show that to answer the question of the metric polytope fractional faces cutting off, it is sufficient to consider only constraints of the triangle inequalities form.На последовательности Mn,k вложенных релаксаций булева квадратичного многогранника, включающей корневой полуметрический Mn и метрический Mn,3 многогранники, рассматривается задача распознавания целочисленности. Ограничения метрического многогранника отсекают все грани корневого полуметрического многогранника, содержащие только нецелочисленные вершины, что позволяет решить задачу распознавания целочисленности на Mn за полиномиальное время. Для решения задачи распознавания целочисленности на метрическом многограннике исследуется возможность отсечения всех нецелочисленных граней Mn,3 некоторой релаксацией Mn,k. Координаты точек метрического многогранника представляются в однородном виде в форме трехмерной блочной матрицы. Показывается, что при исследовании вопроса отсечения нецелочисленных граней метрического многогранника достаточно учитывать только ограничения вида неравенств треугольника.
Аттрактор в кольцевой структуре обобщенных нейронных элементов автогенераторного типа
Get PDFA perspective model of a neuron cell — the generalized neural element (GNE) is studied in this article. The model has an universal character. It combines properties of a neuron-oscillator and a neuron-detector. In this structure cyclic sequential pulse generation elements of the ring are studied. A nonlinear mapping for mismatches between pulses of neighboring elements is constructed. We prove the existence of a fixed point of this mapping (threshold value of mismatches) and its stability in a small neighborhood of the fixed point. In doing so the existence of a stable oscillatory mode of neural activity (attractor) of a certain type is proved. The parameters of the attractor (threshold values of mismatches) can be controlled in advance, due to the choice of synaptic weights of the links in the ring.В статье изучается перспективная нейронная модель — обобщенный нейронный элемент (ОНЭ). Эта модель носит универсальный характер, объединяя свойства нейрона-автогенератора и нейрона-детектора. Исследуется кольцевая структура обобщенных нейронных элементов автогенераторного типа. В этой структуре изучается циклический режим последовательной генерации импульсов элементами кольца. Строится нелинейное отображение для рассогласований между импульсами соседних элементов. Доказывается существование неподвижной точки этого отображения (предельных рассогласований) и его устойчивость в малой окрестности неподвижной точки. Тем самым доказывается существование устойчивого колебательного режима нейронной активности (аттрактора) заданного вида. Параметрами аттрактора (величинами предельных рассогласований) можно управлять заранее, за счет выбора синаптических весов связей в кольце
О числе сосуществующих автоволновых решений цепочки диффузионно связанных осцилляторов нейронного типа
Get PDFWe consider a model of neuron complex formed by a chain of diffusion coupled oscillators. Every oscillator simulates a separate neuron and is given by a singularly perturbed nonlinear differential-difference equation with two delays. Oscillator singularity allows reduction to limit system without small parameters but with pulse external action. The statement on correspondence between the resulting system with pulse external action and the original oscillator chain gives a way to demonstrate that under consistent growth of the chain node number and decrease of diffusion coefficient we can obtain in this chain unlimited growth of its coexistent stable periodic orbits (buffer phenomenon). Numerical simulations give the actual dependence of the number of stable orbits on the diffusion parameter value.Рассматривается математическая модель нейронной ассоциации, представляющая собой цепочку диффузионно связанных осцилляторов. Каждый из осцилляторов, моделирующих отдельный нейрон, задан некоторым сингулярно возмущенным скалярным нелинейным дифференциально-разностным уравнением с двумя запаздываниями. Сингулярность осцилляторов позволяет перейти к предельной системе без малых параметров, но с импульсным внешним воздействием. Утверждение о соответствии между полученной системой с импульсным воздействием и исходной цепочкой осцилляторов дает возможность показать, что в этой цепочке при согласованном увеличении числа звеньев цепочки и уменьшении коэффициента диффузии происходит неограниченный рост количества ее сосуществующих устойчивых периодических движений (ре- ализуется феномен буферности). Выполнен численный эксперимент, позволяющий определить, как меняется число устойчивых режимов системы при изменении параметра связи
Графический язык DPMine для автоматизации экспериментов в области автоматического построения и анализа процессов
Get PDFProcess mining is a new direction in the field of modeling and analysis of processes, where the use of information from event logs describing the history of the system behavior plays an important role. Methods and approaches used in the process mining are often based on various heuristics, and experiments with large event logs are crucial for the study and comparison of the developed methods and algorithms. Such experiments are very time consuming, so automation of experiments is an important task in the field of process mining. This paper presents the language DPMine developed specifically to describe and carry out experiments on the discovery and analysis of process models. The basic concepts of the DPMine language as well as principles and mechanisms of its extension are described. Ways of integration of the DPMine language as dynamically loaded components into the VTMine modeling tool are considered. An illustrating example of an experiment for building a fuzzy model of the process discovered from the log data stored in a normalized database is given.Извлечение процессов (process mining) — это новое направление в области моделирования и анализа процессов, в котором важную роль играет использование информации из журналов (логов) событий, хранящих историю поведения системы. Методы и подходы, используемые при извлечении процессов, часто опираются на различные эвристики, и эксперименты с большими логами событий важны для обоснования и сравнения разрабатываемых методов и алгоритмов. Такие эксперименты весьма трудоемки, поэтому их автоматизация является актуальной задачей в области извлечения процессов. В данной работе представлен язык DPMine, разработанный специально для описания и проведения экспериментов по извлечению и анализу моделей процессов. Дается описание основных концепций языка, а также принципов и механизмов его расширения. Рассматриваются вопросы интеграции языка в инструмент моделирования VTMine в виде динамически загружаемых компонентов. Приводится пример эксперимента по построению нечеткой модели процесса по логу данных, хранящемуся в виде нормализованной базы данных
Поведенческая идентификация программ
Get PDFThe algorithm of pattern mining from sequences of system calls is described. Patterns are used for process identification or establishing the fact that some sequence of system calls was produced by the process which was used in pattern extraction. Existing algorithms are computationaly more complex or reveals high false positive runs in experiments in comparision with an automaton building algorithm. Our algorithm is less complex and more precise in comparision with the classical N-gram algorithm. Performance tests reveal that our kernel monitor does not significatly slow down the processing of the operating system. After 20 minutes of learning the algorithm is able to identify any thread of any process with 85% precision. Program identification based on behavior is used for anomaly detection of malicious activities in system.В работе описан алгоритм выделения шаблонов переменной длины из последовательностей системных вызовов. Эти шаблоны используются для идентификации процессов – установления того, что некоторая последовательность вызовов была сгенерирована тем же самым процессом, из которого были выделены шаблоны. Существующие алгоритмы либо вычислительно сложны, либо имеют высокий уровень ложных срабатываний по сравнению со сложным и ненадежным автоматным подходом. Предложенный в работе алгоритм имеет низкую вычислительную сложность и большую точность, чем классический N-граммный алгоритм. Тесты производительности показали, что реализованный монитор системных вызовов несущественно замедляет работу операционной системы. Предложенный алгоритм после двадцатиминутного обучения способен идентифицировать за одну минуту потоки процессов с точностью 85%. Поведенческая идентификация потоков программ используется для аномального обнаружения вредоносных воздействий на систему
Использование случайной выборки моделей для решения задачи интерполяции Крейга в рамках ограниченной проверки моделей
Get PDFOne of the most serious problems when doing program analyses is dealing with function calls. While function inlining is the traditional approach to this problem, it nonetheless suffers from the increase in analysis complexity due to the state space explosion. Craig interpolation has been successfully used in recent years in the context of bounded model checking to do function summarization which allows one to replace the complete function body with its succinct summary and, therefore, reduce the complexity. Unfortunately this technique can be applied only to a pair of unsatisfiable formulae.In this work-in-progress paper we present an approach to function summarization based on Craig interpolation that overcomes its limitation by using random model sampling. It captures interesting input/output relations, strengthening satisfiable formulae into unsatisfiable ones and thus allowing the use of Craig interpolation. Preliminary experiments show the applicability of this approach; in our future work we plan to do a full evaluation on real-world examples
Уравнения движения твердого тела с двумя упругими стержнями
Get PDFIn the paper we propose a mathematical model of a mechanical system consisting of a rigid body and two rigidly connected elastic straight rods located in the same plane. The system rotates around the axis passing through the mass center of a rigid body and perpendicular to the plane of the rods. The rods are modeled by the Euler–Bernoulli beam. The mathematical model is an initial-boundary value problem for a hybrid system of differential equations. The cases of fast and slow rotations of the system are considered.В работе построена математическая модель механической системы, состоящей из твердого тела и двух жестко связанных с ним и лежащих в одной плоскости упругих прямолинейных стержней, которая вращается вокруг оси, проходящей через центр массы твердого тела перпендикулярно плоскости расположения стержней. Стержни моделируются балкой Эйлера–Бернулли. Математическая модель представляет собой начально-краевую задачу для гибридной системы дифференциальных уравнений. Рассмотрены случаи быстрого и медленного вращения системы