Программный комплекс анализа структурного сходства систем с учетом расположения фрагментов
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.
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.
This proceedings publication is a compilation of selected contributions from the “Third International Conference on the Dynamics of Information Systems” which took place at the University of Florida, Gainesville, February 16–18, 2011. The purpose of this conference was to bring together scientists and engineers from industry, government, and academia in order to exchange new discoveries and results in a broad range of topics relevant to the theory and practice of dynamics of information systems. Dynamics of Information Systems: Mathematical Foundation presents state-of-the art research and is intended for graduate students and researchers interested in some of the most recent discoveries in information theory and dynamical systems. Scientists in other disciplines may also benefit from the applications of new developments to their own area of study.