Программный комплекс анализа структурного сходства систем с учетом расположения фрагментов
We introduce the original software tools for building and analysis of the stratified system of structural complexity and similarity models. The models are based on the characterization of placement of fragments in a system topology. The software tools are implemented as a subsystem of the integrated research environment «Graph Model Workshop» and are used in studies of equality and tolerance relations of various graph models of systems.
The article describes the original software tools for an experimental estimation of computational complexity of software solutions for problems on graph models of systems. The classes of the solved problems and the tools for analysis of results are listed. The method based on selection of graph models by their structural complexity is introduced.
The report is focused on the current state in the field of structural analysis of systems. Most general approaches to defining structural similarity and methods for graph models structural similarity analysis are discussed. Implementation of the discussed methods in the various subsystems of the integrated scientific environment «Graph Model Workshop» is demonstrated.
Nested Petri nets (NP-nets) is an extension of the Petri nets formalism within the “nets-within-nets” approach. Due to tokens with individual behavior and the mechanism of synchronization NP-nets are convenient for modeling multi-agent and adaptive systems, flexible workflow nets, and other systems with mobile interacting components and dynamic structure. In contrast to classical Petri nets, there is still a lack of analysis methods for NP-nets. In this paper we show, that the classical Petri nets analysis technique based on place invariants can be extended to NP-nets. This paper defines place invariants of NP-nets, which link several NP-net components and allow to prove crucial behavioral properties directly from the NP-net structure. An algorithm for computing NP-net invariants is presented and illustrated with an example of EJB system verification.
wikimapR is an R package for accessing the raw vector data from Wikimapia via official Wikimapia API. Map data is returned as Simple Features (sf) objects with some of the object details included as nested lists.
In reports discussed are the current problems related to research of languages foe specific purposes and texts (terminology, terminography, dictionaries and translation), development of structural analysis methods of text (mathematical models), the conceptions and instruments of the development of national and specific text corpuses.
This paper addresses the issue of designing control systems for parallel computing structures. Designing methodology described grounds on Petri nets to model computing systems of different dimensionality. Then a description of the Petri nets models (PN-models) vertex projection procedure, which allows constructing new models with differing structural and dynamical properties, is presented. Afterwards the existence of scale system that enables us to compare different PN-models quantitatively is demonstrated. And a comparison criteria for structural and dynamical properties of PN-models is proposed.
We consider certain spaces of functions on the circle, which naturally appear in harmonic analysis, and superposition operators on these spaces. We study the following question: which functions have the property that each their superposition with a homeomorphism of the circle belongs to a given space? We also study the multidimensional case.
We consider the spaces of functions on the m-dimensional torus, whose Fourier transform is p -summable. We obtain estimates for the norms of the exponential functions deformed by a C1 -smooth phase. The results generalize to the multidimensional case the one-dimensional results obtained by the author earlier in “Quantitative estimates in the Beurling—Helson theorem”, Sbornik: Mathematics, 201:12 (2010), 1811 – 1836.
We consider the spaces of function on the circle whose Fourier transform is p-summable. We obtain estimates for the norms of exponential functions deformed by a C1 -smooth phase.