Modeling and Analysis of Information Systems / Моделирование и анализ информационных систем (МАИС)
Not a member yet
782 research outputs found
Sort by
КОРПОРАТИВНАЯ ДИНАМИКА СИСТЕМ ЛОГИСТИЧЕСКИХ УРАВНЕНИЙ С ЗАПАЗДЫВАНИЕМ И С БОЛЬШИМ ЗАПАЗДЫВАЮЩИМ УПРАВЛЕНИЕМ
Get PDFA system of two logistic equations with delay coupled by delayed control is considered. It is shown that in the case of a sufficiently large delay control coefficient the problem of the dynamics of the initial systems is reduced to studying the non-local dynamics of special families of partial differential equations that do not contain small and large parameters. New interesting dynamic phenomena were discovered on the basis of the results of numerical analysis. Systems of three logistic delay equations with two types of ”diffusion” relation were considered. Special families of partial differential equations that do not contain small and large parameters were also constructed for each of these systems. The results of the study of the original equations dynamic properties are presented. It is shown that the difference in the dynamics of the considered systems of three equations may be of a fundamental nature.Рассматривается система двух логистических уравнений с запаздыванием, связанных через запаздывающее управление. Показано, что при достаточно большом коэффициенте запаздывающего управления задача о динамике исходных систем сводится к исследованию нелокальной динамики специальных семейств уравнений с частными производными, не содержащих малые и большие параметры. На основе представленных результатов численного исследования таких уравнений обнаружен ряд новых и интересных динамических явлений. Рассмотрены системы из трех логистических уравнений с запаздыванием с двумя типами «диффузионных» связей. Для каждой из этих систем были так же построены специальные семейства уравнений с частными производными, не содержащие малых и больших параметров. Приведены результаты исследования динамических свойств исходных уравнений. Показано, что различие в динамике рассмотренных систем трех уравнений может носить принципиальных характе
Контекстно-свободная грамматика одной ритмической модели русского стиха
Get PDFA formal model of the Russian verse based on the accentual segmentation of its structure is offered and considered. A context-free grammar (in N. Chomsky’s sense) which generates correct rhythmic forms of the presented model is constructed.Предложена и рассмотрена формальная модель русского стиха, основанная на акцентной сегментации его структуры. Построена контекстно-свободная грамматика в смысле Н. Хомского, порождающая правильные ритмические формы представленной модели стиха.
Формальная диагонализация схем Лакса–Дарбу
No full textWe discuss the concept of Lax-Darboux scheme and illustrate it on well known examples associated with the Nonlinear Schro¨dinger (NLS) equation. We explore the Darboux links of the NLS hierarchy with the hierarchy of Heisenberg model, principal chiral field model as well as with differential-difference integrable systems (including the Toda lattice and differential-difference Heisenberg chain) and integrable partial difference systems. We show that there exists a transformation which formally diagonalises all elements of the Lax-Darboux scheme simultaneously. It provides us with generating functions of local conservation laws for all integrable systems obtained. We discuss the relations between conservation laws for systems belonging to the Lax-Darboux scheme.В статье мы обсуждаем концепцию схемы Лакса–Дарбу и иллюстрируем ее на хорошо известных примерах, ассоциированных с нелинейным уравнением Шрёдингера. Мы изучаем связи, возникшие благодаря преобразованиям Дарбу, между иерархиями нелинейного уравнения Шрёдингера, модели Гейзенберга, модели главного кирального поля, а также дифференциально-разностными системами (такими как цепочка Тоды и дифференциально-разностная цепочка Гейзенберга) и конечно-разностными интегрируемыми системами. Мы показываем, что существует формальное преобразование, которое одновременно диагонализует все элементы схемы Лакса–Дарбу. Это приводит нас к производящим функциям локальных законов сохранения для всех интегрируемых систем, полученных в рамках данной схемы Лакса–Дарбу. Обсуждаются связи между законами сохранения систем, принадлежащих заданной схеме Лакса–Дарбу
Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ
No full textThe problem of improving precision of static analysis and verification techniques for C is hard due to simplification assumptions these techniques make about the code model. We present a novel approach to improving precision by executing the code model in a controlled environment that captures program errors and contract violations in a memory and time efficient way. We implemented this approach as an executor module Tassadar as a part of bounded model checker Borealis. We tested Tassadar on two test sets, showing that its impact on performance of Borealis is minimal.The article is published in the authors’ wording.Существующие средства и методы статического анализа и верификации кода на языке С используют различные методики упрощения программной модели, приводящие к значительному снижению точности анализа. В данной работе представлен новый подход к повышению точности анализа путем исполнения программной модели в контролируемом окружении, которое позволяет точно определять ошибочные ситуации, такие, как нарушения контрактов кода и ошибки работы с памятью, оставаясь при этом эффективным с точки зрения затрат по времени и по памяти. Данный подход был реализован в модуле под названием «Tassadar» в рамках средства ограниченной проверки моделей «Borealis». Прототип был опробован на стандартных наборах тестовых программ данного средства и показал минимальное влияние на его общую производительность.Статья представляет собой расширенную версию доклада на VI Международном семинаре “Program Semantics, Specification and Verification: Theory and Applications”, Казань, 2015.Статья публикуется в авторской редакции
Полнота динамики значений свойств данных в СУБД DIM
No full textThis paper is devoted to justifying the possibility of DBMS DIM usage and its interaction mechanism as an algorithmically complete implementation of an objectdynamic model. An extension for a static OD-model by including sets of algorithmic procedures which modify values of object attributes and also create, remove and modify objects themselves is considered. To ensure the possibility of modifying DIM DB data in a way equivalent to OD-model modifications, interaction and history relations between DIM objects are considered. To minimize the dependence from concrete language constructions, which describe OD-model algorithmic procedures, the reduction to the universal form – Turing machine is performed. A way to create a Turing machine equivalent to OD.MT in terms of DIM, where a special set of PL/ODQL procedures is used as a control unit and a functional table is proposed. Later, a mechanism to form a memory tape of such DIM.MT by encoding information about DIM object, and their subsequent decoding back to DIM objects is described. The process of work of such a machine is modelled by using an endless cycle of executing some PL/ODQL procedures of reading and writing objects from / to the memory tape. Basing on the earlier proved theorem about the static completeness of data representation in DIM, at the end of the paper the proof on the completeness of representation of the Objects attributes values dynamics is considered. The article is published in the author’s wording
Об одном вопросе А.И. Мальцева из "Коуровской тетради"
Get PDFIt is shown that the derived subgroup of the free group is not first-oder definable.Устанавливается, что коммутант свободной нециклической группы не является ее формульной подгруппой
О конечных группах с большой степенью неприводимого характера
Get PDFLet G be a finite nontrivial group with an irreducible complex character χ of degree d = χ(1). It is known from the orthogonality relation that the sum of the squares of degrees of irreducible characters of G is equal to the order of G. N. Snyder proved that if |G| = d(d + e), then the order of G is bounded in terms of e, provided e > 1. Y. Berkovich proved that in the case e = 1 the group G is Frobenius with the complement of order d. We study a finite nontrivial group G with an irreducible complex character Θ such that |G| ≤ 2Θ(1)2 and Θ(1) = pq, where p and q are different primes. In this case we prove that G is solvable groups with abelian normal subgroup K of index pq. We use the classification of finite simple groups and prove that the simple nonabelian group whose order is divisible by a prime p and of order less than 2p4 is isomorphic to L2(q), L3(q), U3(q), Sz(8), A7, M11 or J1.Пусть G – конечная неединичная группа с неприводимым комплексным характером χ степени d. Согласно соотношениям ортогональности для неприводимых характеров, сумма квадратов степеней этих характеров равна порядку группы G. Н. Снайдером доказано, что если |G| = d(d + e), то порядок группы G ограничен функцией e при e > 1. Я. Берковичем доказано, что в случае e = 1 группа G является группой Фробениуса с дополнением порядка d. В данной работе изучается конечная неединичная группа G, обладающая неприводимым комплексным характером Θ, для которого |G| ≤ 2Θ(1)2. Доказано, что в случае, когда Θ(1) – произведение двух различных простых чисел p и q, группа G является разрешимой группой с абелевой нормальной подгруппой K индекса pq. С помощью классификации простых конечных групп доказано, что простая неабелева группа, порядок которой делится на простое число p и не превышает 2p4, изоморфна одной из следующих групп: L2(q), L3(q), U3(q), Sz(8), A7, M11, J1
Автоколебания решеток нелинейных элементов в опыте Скотта
Get PDFBifurcation analysis of dynamic system modeling the array of coupled ocillators in the experience of Scott are presented. The non-resonant cases are considered. Выполнен бифуркационный анализ динамической системы, моделирующей решетку взаимодействующих осцилляторов в опыте Скотта. Рассмотрен нерезонансный случай
О построении и верификации программ логических контроллеров
Get PDFWe review some methods and approaches to programming discrete problems for Programmable Logic Controllers on the example of constructing PLC-programs for controling a code lock. For these approaches we evaluate the usability of the model checking method for the analysis of program correctness with respect to the automatic verification tool Cadence SMV. Some possible PLC-program vulnerabilities arising at a number approaches to programming of PLC are revealed.Проводится обзор методов и подходов к программированию «дискретных» задач ПЛК на примере задачи построения программы управления кодовым замком. Для этих подходов оценивается удобство анализа программной корректности методом проверки модели относительно средства автоматической верификации Cadence SMV. Выявляются возможные уязвимости ПЛК-программ, возникающие при некоторых подходах к программированию ПЛК
Первая ярославская летняя школа по дискретной и вычислительной геометрии
No full textWe summarize the results of the First Yaroslavl Summer School on Discrete and Computational Geometry and asses its future perspectives.Обобщены результаты работы первой ярославской летней школы по дискретной и вычислительной геометрии и обозначены перспективы будущей работы