Modeling and Analysis of Information Systems / Моделирование и анализ информационных систем (МАИС)
Not a member yet
782 research outputs found
Sort by
Подход к конкретизации тестовых сценариев в рамках технологии автоматизации тестирования промышленных программных проектов
Get PDFIn this paper we propose an approach to efficient automating test technology for industrial software projects, that uses a formal model of the system, automatically performs a symbolic verification, generation and concretization of the symbolic traces, the generation of test suites for concretized traces, and also includes tools for analysis of the testing results, allowing users to automate the full cycle of testing. Particular emphasis is placed on the presentation of the algorithm concretization and setting of test scenarios.Предложен подход к созданию эффективной технологии автоматизации тестирования промышленных программных проектов, который использует формальную модель системы, выполняет автоматически символьную верификацию, генерацию и конкретизацию символьных трасс, генерацию тестовых наборов по конкретизированным трассам, а также включает средства анализа результатов исполнения тестов, позволяя автоматизировать полный цикл тестирования. Особый акцент сделан на изложении алгоритма конкретизации и настройки тестовых сценариев
О работе семинара «Нелинейная динамика»
Get PDFВ 2011—2012 годах в рамках научно-образовательного центра «Нелинейная динамика» продолжил работу научный семинар, посвященный исследованиям поведения и методам анализа динамических систем. За прошедший учебный год на нем было заслушано более тридцати сообщений по тематике исследований научно-образовательного центра. Ниже представлены тезисы наиболее интересных докладов, прозвучавших на семинаре
Использование информационных технологий и инфраструктур для агрегации научной информации. Опыт Канады, Нидерландов, Германии
Get PDFIn the paper we focus on the experience of some Networked Readness Index (NRI) leading countries. We are interested in their actions aimed at creating and using e-infrastructures and IT for the research data aggregation. As far as quite many of NRI leaders are EU countries, we also take into account EU approaches to the task mentioned. We study some steering papers and some particular IT-projects in the field as well. As a result of the analysis we ascertain that some approaches in different countries have much in common. All of the countries examined acknowledge the problem of e-infrastructures for research data storage and processing to be vital. The countries work hard in order to build and integrate it with the others. We can clearly see some differences caused by traditions and authorities. Sometimes we even could estimate the level of success of a particular country on the way to the problem solution. We also indicate some common elements for all e-infrastructures for research data storage and processing.В работе анализируется опыт создания и использования информационных технологий и инфраструктур для агрегации научной информации в трех странах-лидерах мирового ИТ-рейтинга «Индекс сетевой готовности», а также опыт Европейского Союза в целом. Изучались как руководящие и аналитические документы, так и конкретные действующие проекты в рассматриваемой предметной области. Проведенное исследование позволяет выделить как характерные общие черты в подходах, в понимании актуальности и необходимости решения задачи создания национальных инфраструктур хранения и обработки данных научных исследований и их объединения, так и заметные организационные различия, основанные на принятых в каждой конкретной стране механизмах (традициях) и органах управления, а также оценить уровень продвижения в решении поставленных задач. Были также указаны общие основные элементы построения всех инфраструктур хранения и обработки данных научных исследований
Полиномиальный метод построения равновесных конфигураций точечных вихрей на плоскости
Get PDFThe problem of constructing and classifying stationary and translating configurations of point vortices with an arbitrary choice of circulations is studied. The polynomial method enabling one to find any such configuration is described in detail. Stationary configurations for vortex systems with circulations Γ, −µΓ are classified in the case of integer µ. New configurations are obtained.Рассматривается вопрос построения и классификации статических и равномерно движущихся конфигураций точечных вихрей на плоскости при произвольном выборе интенсивностей вихрей. Дается детальное описание полиномиального метода, позволяющего находить любую такую конфигурацию. Проводится классификация статических конфигураций для вихрей с интенсивностями Γ, −µΓ при условии, что µ – целое число, а количество вихрей не превышает десяти. Получены новые конфигурации
Оценка числа решетчатых разбиений плоскости на центрально-симметричные полимино заданной площади
Get PDFWe study a problem about the number of lattice plane tilings by the given area centrosymmetrical polyominoes. A polyomino is a connected plane geomatric figure formed by joiining a finite number of unit squares edge to edge. At present, various combinatorial enumeration problems connected to the polyomino are actively studied. There are some interesting problems on enuneration of various classes of polyominoes and enumeration of tilings of finite regions or a plane by polyominoes. In particular, the tiling is a lattice tiling if each tile can be mapped to any other tile by a translation which maps the whole tiling to itself. Earlier we proved that, for the number T(n) of a lattice plane tilings by polyominoes of an area n, holds the inequalities 2n−3 + 2[ n−3 2 ] ≤ T(n) ≤ C(n + 1)3 (2, 7)n+1 . In the present work we prove a similar estimate for the number of lattice tilings with an additional central symmetry. Let Tc(n) be a number of lattice plane tilings by a given area centrosymmetrical polyominoes such that its translation lattice is a sublattice of Z 2 . It is proved that C1( √ 2)n ≤ Tc(n) ≤ C2n 2 ( √ 2.68)n . In the proof of a lower bound we give an explicit construction of required lattice plane tilings. The proof of an upper bound is based on a criterion of the existence of lattice plane tiling by polyominoes, and on the theory of self-avoiding walks on a square lattice
Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах
Get PDFThe peculiarities of transforming functional dataflow parallel programs into programs with finite resources are analysed. It is considered how these transformations are affected by the usage of asynchronous lists, the return of delayed lists and the variation of the data arrival pace relative to the time of its processing. These transformations allow us to generate multiple programs with static parallelism based on one and the some functional dataflow parallel program.Анализируются особенности преобразования функционально-потоковых параллельных программ в программы, использующие ограниченные вычислительные ресурсы. Рассматривается, каким образом влияют на эти преобразования: использование асинхронных списков, возврат задержанных списков, изменение темпа поступления данных по отношению ко времени их обработки. Применение подобных преобразований позволяет порождать различные программы со статическим параллелизмом, используя в качестве основы одну и ту же функционально-потоковую параллельную программу
Полиэдральные графы задач об остовных деревьях при дополнительных ограничениях
Get PDFIn this paper, we study polyhedral properties of two spanning tree problems with additional constraints. In the first problem, it is required to find a tree with a minimum sum of edge weights among all spanning trees with the number of leaves less than or equal to a given value. In the second problem, an additional constraint is the assumption that the degree of all nodes of the spanning tree does not exceed a given value. The recognition versions of both problems are NP-complete. We consider polytopes of these problems and their 1-skeletons. We prove that in both cases it is a NP-complete problem to determine whether the vertices of 1-skeleton are adjacent. Although it is possible to obtain a superpolynomial lower bounds on the clique numbers of these graphs. These values characterize the time complexity in a broad class of algorithms based on linear comparisons. The results indicate a fundamental difference between combinatorial and geometric properties of the considered problems from the classical minimum spanning tree problem
TCP TIPS: транспортный протокол для ненадежных сетей, передающих чувствительные к задержкам данные
Get PDFThe article describes TCP TIPS, the transport level protocol, which aim is to effi- ciently use the available bandwidth. This protocol implements the proactive methods for congestion avoidance. These methods allow TCP TIPS to yield the required amount of bandwidth to high-priority flows with realtime data and to use this amount, when it becomes available.Описывается протокол TCP TIPS, направленный на эффективное использование доступной пропускной способности сети. Этот протокол реализует проактивную схему борьбы с перегрузкой в сети. Использованная схема позволяет TCP TIPS уступать требуемую долю пропускной способности сети потокам, передающим данные реального времени. При этом TCP TIPS продолжает использовать освобождаемую долю после завершения указанных потоков
Шары в пространствах последовательностей
Get PDFWe introduce a new metric on a space of right-sided infinite sequences drawn from a finite alphabet. Emerging from a problem of entropy estimation of a discrete stationary ergodic process, the metric is important on its own part and exhibits some interesting properties. For example, the measure of a ball is discontinuous at every binary rational value of log r, where r is the radius.Предлагается новая метрика на пространстве правосторонних бесконечных последовательностей над конечным алфавитом. Введенная в задаче оценивания энтропии дискретных стационарных процессов, эта метрика обладает рядом интересных свойств. Например, мера шара является разрывной при любом двоично-рациональном значении log r, где r – радиус шара
Фазовая модель Курамото с инерцией: бифуркации потери синхронности и перехода к хаосу
No full textWe consider a finite-dimensional model of phase oscillators with inertia in the case of star configuration of coupling. The system of equations is reduced to a nonlinearly coupled system of pendulum equations. We prove that the transition from synchronous to asynchronous oscillations occurs via bifurcation of saddle-node equilibrium. In this connection the asynchronous regime can be partially synchronous rotations. We find that the reverse transition from asynchronous to synchronous regime occurs via bifurcation of homoclinic orbit both of the saddle equilibrium point and of the saddle periodic orbit. In the case of homoclinic loop of the saddle point the synchrony appears only from asynchronous mode without partially synchronized rotations. In the case of the homoclinic curve of the saddle periodic orbit the system undergoes a chaotic rotation regime which results in a random return to synchrony. We establish that return transitions are hysteretic in the case of large inertia.В данной работе рассматривается конечномерная модель Курамото с инерцией в случае топологии типа "звезда". Система уравнений сводится к нелинейно связанной системе маятниковых уравнений. Мы докажем, что переход от синхронных к асинхронным колебаниям происходит через седлоузловую бифуркацию состояния равновесия. Таким образом, асинхронный режим может представлять собой частично синхронные вращения. Обратный переход от асинхронного режима к синхронному происходит через бифуркацию гомоклинической орбиты как седлового состояния равновесия, так и седловой периодической орбиты. В случае гомоклинической петли седла синхронность возникает только из асинхронного режима без частично синхронных вращений. В случае гомоклинической кривой седловой периодической орбиты в системе имеет место хаотический режим вращения, который приводит к случайному возврату синхронности. Установлено, что переходы туда и обратно происходят с гистерезисом при большой инерции