Modeling and Analysis of Information Systems / Моделирование и анализ информационных систем (МАИС)
Not a member yet
782 research outputs found
Sort by
Изоморфизм компактификаций модулей векторных расслоений: неприведенные схемы модулей
Get PDFWe continue the study of the compactification of the moduli scheme for Gieseker-semistable vector bundles on a nonsingular irreducible projective algebraic surface S with polarization L, by locally free sheaves. The relation of main components of the moduli functor or admissible semistable pairs and main components of the Gieseker – Maruyama moduli functor (for semistable torsion-free coherent sheaves) with the same Hilbert polynomial on the surface S is investigated. The compactification of interest arises when families of Gieseker-semistable vector bundles E on the nonsingular polarized projective surface (S, L) are completed by vector bundles E on projective polarized schemes (S, L) of special form. The form of the scheme S, of its polarization L and of the vector bundle E is described in the text. The collection ((S, L), E) is called a semistable admissible pair. Vector bundles E on the surface (S, L) and E on schemes (S, L) are supposed to have equal ranks and Hilbert polynomials which are compute with respect to polarizations L and L, respectively. Pairs of the form ((S, L), E) named as S-pairs are also included into the class under the scope. Since the purpose is to study the compactification of moduli space for vector bundles, only families which contain S-pairs are considered. We build up the natural transformation of the moduli functor for admissible semistable pairs to the Gieseker – Maruyama moduli functor for semistable torsion-free coherent sheaves on the surface (S, L), with same rank and Hilbert polynomial. It is demonstrated that this natural transformation is inverse to the natural transformation built in the preceding paper and defined by the standard resolution of a family of torsion-free coherent sheaves with a possibly nonreduced base scheme. The functorial isomorphism constructed determines the scheme isomorphism of compactifications of moduli space for semistable vector bundles on the surface (S, L).В работе продолжено изучение компактификации схемы модулей полустабильных по Гизекеру векторных расслоений на неособой неприводимой проективной алгебраической поверхности S с поляризацией L, локально свободными пучками. Исследуется связь основных компонент функтора модулей допустимых полустабильных пар и основных компонент функтора модулей Гизекера –Маруямы (полустабильных когерентных пучков без кручения) с тем же полиномом Гильберта на поверхности S. Рассматриваемая компактификация получается, если семейства полустабильных по Гизекеру векторных расслоений E на поляризованной неособой проективной поверхности (S,L) пополняются векторными расслоениями E на проективных поляризованных схемах (S,L) специального вида. Вид схемы S, поляризации L и расслоения E описан в тексте работы. Набор ((S,L),E) назван полустабильной допустимой парой. Векторные расслоения E на поверхности (S,L) и E на схемах (S,L) предполагаются имеющими равные ранги и полиномы Гильберта, вычисляемые относительно поляризаций L и L соответственно. Пары вида ((S,L),E), называемые S-парами, также входят в рассматриваемый класс. Поскольку целью исследования является изучение компактификации пространства модулей векторных расслоений, рассматриваются только семейства, содержащие S-пары. Построено естественное преобразование функтора модулей допустимых полустабильных пар в функтор модулей Гизекера – Маруямы полустабильных когерентных пучков без кручения на поверхности (S,L), имеющих те же ранг и полином Гильберта. Показано, что это естественное преобразование является двусторонним обратным к естественному преобразованию, построенному в предшествующей работе и определяемому стандартным разрешением семейства когерентных пучков без кручения, имеющего возможно неприведенную базисную схему. Построенный изоморфизм функторов модулей определяет изоморфизм компактификаций пространства модулей полустабильных векторных расслоений на поверхности (S,L) как алгебраических схем
Разработка активного внешнего модуля сетевой топологии для контроллера программно-конфигурируемой сети Floodlight
Get PDFTraditional network architecture is inflexible and complicated. This observation has led to a paradigm shift towards software-defined networking (SDN), where network management level is separated from data forwarding level. This change was made possible by control plane transfer from the switching equipment to software modules that run on a dedicated server, called the controller (or network operating system), or network applications, that work with this controller. Methods of representation, storage and communication interfaces with network topology elements are the most important aspects of network operating systems available to SDN user because performance of some key controller modules is heavily dependent on internal representation of the network topology. Notably, firewall and routing modules are examples of such modules. This article describes the methods used for presentation and storage of network topologies, as well as interface to the corresponding Floodlight modules. An alternative algorithm has been suggested and developed for message exchange conveying network topology alterations between the controller and network applications. Proposed algorithm makes implementation of module alerting based on subscription to the relevant events. API for interaction between controller and network applications has been developed. This algorithm and API formed the base for Topology Tracker module capable to inform network applications about the changes that had occurred in the network topology and also stores compact representation of the network to speed up the interaction process.Традиционная архитектура сети передачи данных является негибкой и сложной. Данное обстоятельство привело к появлению парадигмы программно-конфигурируемой сети (ПКС), в которой уровень управления сетью отделен от уровня передачи данных. Это стало возможно за счет переноса плоскости управления с коммутационного оборудования в программные модули, которые работают на выделенном сервере, называемом контроллером (или сетевой операционной системой), или в сетевые приложения, которые работают с этим контроллером. Способы представления, хранения и интерфейсы взаимодействия с элементами сетевой топологии, доступные пользователям контроллера ПКС, являются одними из наиболее важных аспектов сетевых операционных систем. Данное обстоятельство обусловлено тем, что функционирование некоторых ключевых модулей контроллера в существенной степени основано на внутреннем представлении сетевой топологии. Такими модулями, к примеру, являются модуль firewall, модуль маршрутизации и т.д. В данной статье рассмотрены применяемые способы представления и хранения сетевой топологии, а также интерфейсы взаимодействия с соответствующими модулями контроллера Floodlight. Предложен и разработан альтернативный алгоритм обмена сообщениями об изменении сетевой топологии между контроллером и сетевыми приложениями, позволяющий реализовать оповещение на основе подписки на соответствующие события. Разработан API для модуля взаимодействия с прикладными программами контроллера программно-конфигурируемой сети. На основе данного алгоритма и API разработан модуль Topology Tracker, способный в активном режиме сообщать сетевым приложениям о произошедших изменениях в топологии сети и хранящий ее компактное представление для ускорения процесса взаимодействия
Пакеты импульсов в системе взаимодействующих осцилляторов с запаздыванием и их статистическая обработка
Get PDFThe statistical analysis of random quantities derived from the dynamics of interaction of a pair of neuron-type oscillators are presented. It is shown that computation of some statistical characteristics of the process allows, with enough precision, to distinguish two types of orbits, while their phase portraits, Lyapunov dimension and time plots are slightly different.Проводится статистический анализ случайных величин, полученных при анализе динамики взаимодействия пары осцилляторов нейронного типа. Удалось установить, что вычисление некоторых статистических характеристик процесса возникновения высокоамплитудных импульсов позволяет с достаточной степенью точности диагностировать два типа режимов, тогда как фазовый портрет, ляпуновская размерность и графики реализации упомянутых режимов различаются слабо
Об одном классе операторных включений
Get PDFThe operator inclusion 0 ∈ A(x)+N(x) is studied. The main results refer to the case, when A – a bounded operator of monotone type from a reflexive space into conjugate to it, N – a conevalued operator. No solution criterion of the viewed inclusion is set up. Integer characteristics of multivalued mappings with homotopy invariance and additivity are introduced. Application to the theory of variational inequalities with multivalued operators is identified.Изучается операторное включение 0 ∈ A(x) + N(x). Основные результаты относятся к случаю, когда A – ограниченный оператор монотонного типа из рефлексивного пространства в сопряжённое к нему, N – конуснозначный оператор. Устанавливается критерий отсутствия решений рассматриваемого включения. Вводятся целочисленные характеристики многозначных отображений, обладающие свойствами гомотопической инвариантности и аддитивности. Намечены приложения к теории вариационных неравенств с многозначными операторами
Полиэдральные графы задач РАЗБИЕНИЕ НА ТРЕУГОЛЬНИКИ и ПОЛНЫЙ ДВУДОЛЬНЫЙ ПОДГРАФ
Get PDFWe provide an effective description of graphs of polyhedra for GRAPH PARTITIONING and COMPLETE BIPARTITE SUBGRAPH problems. We establish the fact, that the clique number for each of this problems increases exponentially with the dimension of the space.Приводится эффективное описание графов многогранников задач РАЗБИЕНИЕ НА ТРЕУГОЛЬНИКИ и ПОЛНЫЙ ДВУДОЛЬНЫЙ ПОДГРАФ. Для каждого из них устанавливается, что плотность графа, то есть его кликовое число, растет экспоненциально по размерности пространства
О нулях некоторых характеристических квазиполиномов
Get PDFThe location of zeros of two characteristic quasi-polynomials arising from studying the differential equations with a retarded argument is considired. The first one originates from the mathematical model of electromagnetic oscillations generator with a delayed feedback, the second one — from the Lang-Kobayashi system that is a well-known mathematical model of a quantum generator. The D-partition figures are presented in a prameter space and possible critical cases are found out. The large delay case important for applications is considered. In this case, for quasi-polinomial roots obtained are the analytical dependencies on a value reciprocal to the delay, and uniform asymptotical formulas are constructed.В работе изучается расположение нулей двух характеристических квазиполиномов, возникающих при изучении дифференциальных уравнений с запаздывающим аргументом: первый — при изучении математической модели генератора электромагнитных колебаний с запаздывающей обратной связью, второй — при изучении системы уравнений Ланга–Кобаяши, которая является известной математической моделью квантового генератора. Для квазиполиномов построена картина D-разбиений в пространстве параметров, выявлены возможные критические случаи. Рассмотрен случай большого запаздывания, который важен для приложений. В этом случае для нулей квазиполиномов получены аналитические зависимости от величины, обратной запаздыванию, и построены равномерные асимптотические формулы
МП-автоматы с независимыми счётчиками
No full textPush-down automata with independent counters (PDACs) combine the power of PDAs and Petri Nets. They were developed in [21, 15], as a tool of recognition of languages generated by Categorial Dependency Grammars (CDGs). CDGs are classical categorial grammars extended by oriented polarized valencies. They express both projective and non-projective dependencies between the words of a sentence. PDAC is a usual PDA equipped with a finite number of counters. The independence of counters means that their state has no effect on the choice of an automaton move. In the first part of the paper we compare some variants of PDACs and prove the equivalence of two variants of PDAs with independent counters: without syntactic and without semantic ε-loops. Some connections between PDAC-languages and Petri Net languages are noticed. Then we show that PDACs are equivalent to stack+bag push-down automata (SBPA) independently introduced by Søgaard and that ε-acyclic SBPAs recognize exactly CDG-languages. Multimodal Categorial Dependency Grammars (mmCDGs) were introduced in [4] as an extension of GDGs that allows control of some intersections of dependencies. The class of mmCDG-languages is rich enough and has good closure properties, that it forms AFL. In the second part of the paper we extend PDACs and introduce push-down automata with stacks of independent counters (PDASC). PDASCs extend PDACs twofold: (i) each counter is a stack of integers and (ii) there is a restriction function which allows to diminish a head of a counter only if the heads of all dependent counters are zeros. Our main result says that these PDASCs accept exactly the class of mmCDG- languages. The article is published in the author’s wording
Уравнение кинетики измельчения с произвольным законом распределения времени ожидания
Get PDFA generalized kinetic equation of a grinding process is obtained. The equation is valid for arbitrary distribution of particle destruction waiting time. In terms of the equation a grinding process model with the power law of waiting time distribution is proposed. The particle size dependence of the power index is taken into account and its in°uence on grinding process kinetics is investigated.Получено обобщенное кинетическое уравнение процесса измельчения для любого заданного закона распределения времени ожидания разрушения. Найденное уравнение позволяет моделировать процесс разрушения со степенным распределением времени ожидания и исследовать влияние зависимости показателя степени от размера частиц на кинетику процесса
Счетные идеалы в полурешетке Dе степеней
Get PDFIn the article we have proved that any countable ideal in the semi-lattice of the De is the intersection of two principal ideals generated by quasi-minimal covers for this ideal.Доказано, что любой счетный идеал в полурешетке степеней перечислимости является пересечением двух главных идеалов, порожденных квазиминимальными накрывающими данного идеала
Дедуктивная верификация протокола скользящего окна
Get PDFWe consider the well-known Sliding Window Protocol which provides reliable and efficient transmission of data over unreliable channels. A formal proof of correctness for this protocol faces substantial difficulties caused by a high degree of parallelism which creates a significant potential for errors. Here we consider a version of the protocol that is based on selective repeat of frames. The specification of the protocol by a state machine and its safety property are represented in the language of the verification system PVS. Using the PVS system, we give an interactive proof of this property of the Sliding Window Protocol.Рассматривается известный протокол скользящего окна, который обеспечивает надёжную и эффективную передачу данных по ненадёжным каналам. Формальное доказательство корректности этого протокола требует преодоления существенных трудностей, связанных с высокой степенью параллелизма, которая создаёт значительные возможности для ошибок. Здесь рассматривается версия данного протокола, основанная на выборочном повторе кадров. На языке системы верификации PVS описаны спецификация этого протокола с помощью машины состояний и его свойство безопасности. С помощью системы PVS проведено в интерактивном режиме доказательство этого свойства протокола скользящего окна