Опыт моделирования миграционных потоков на уровне регионов и муниципальных образований РФ
An attempt to model the migration flows at regional and municipal level for the period 2003-2008 in Russia is made. Research corroborates the importance of "poverty traps" in determining migration in Russia. Main flows originate from regions and municipalities with higher wages, that means from more social and economic developed territories. Despite stable social and economic development the constraints that do not allow citizens to change their residence still exist in the regions. However, according to the results of internal migration modeling in one of the Russian regions, the poverty trap effect is insignificant for relative close movements.
The paper presents a formalism and a tool for modelling and analysis of distributed real-time systems of mobile agents. For that we use a time extension of our Resource Driven Automata Nets (TRDA-nets) formalism. A TRDA-net is a two-level system. The upper level represents distributed environment locations with a net of active resources. On the lower level agents are modeled by extended finite state machines, asynchronously consuming/producing shared resources through input/output system ports (arcs of the system net). We demonstrate modelling facilities of the formalism and show that specific layers of TRDA-nets can be translated into Timed Automata, as well as into Time Petri nets, thus TRDA-nets integrate merits of both formalisms.
The main target of the IEEE East-West Design & Test Symposium (EWDTS-2013) is to exchange experiences between scientists and technologies of Eastern and Western Europe, as well as North America and other parts of the world, in the field of design, design automation and test of electronic circuits and systems. EWDTS’13 covers the following topics:
• Analog, Mixed-Signal and RF Test
• Analysis and Optimization
• EDA Tools for Design and Test
• Failure Analysis, Defect and Fault
• Modeling & Fault Simulation
• Power Issues in Testing
• Reliability of Digital Systems
• Thermal, Timing and Electrostatic Analysis of SoCs and Systems on Board
These are the proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’16) in Torun, Poland, June 20–21, 2016. It is a co-located event of • Petri Nets 2016 – the 37th International Conference on Applications and Theory of Petri Nets and Concurrency and • ACSD 2016 – the 16th International Conference on Application of Concurrency to System Design. More information about the workshop can be found at http://www.informatik.uni-hamburg.de/TGI/events/pnse16/ For the successful realization of complex systems of interacting and reactive software and hardware components the use of a precise language at different stages of the development process is of crucial importance. Petri nets are becoming increasingly popular in this area, as they provide a uniform language supporting the tasks of modeling, validation and verification. Their popularity is due to the fact that Petri nets capture fundamental aspects of causality, concurrency and choice in a natural and mathematically precise way without compromising readability. The use of Petri nets (P/T-nets, colored Petri nets and extensions) in the formal process of software engineering, covering modeling, validation and verification, is presented as well as their application and tools supporting the disciplines mentioned above.
These are the proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’13) and the International Workshop on Modeling and Business Environments (ModBE’13) in Milano, Italy, June 24–25, 2013. These are co-located events of Petri Nets 2013, the 34th international conference on Applications and Theory of Petri Nets and Concurrency.
PNSE'13 presents the use of Petri Nets (P/T-Nets, Coloured Petri Nets and extensions) in the formal process of software engineering, covering modelling, validation, and veriﬁcation, as well as their application and tools supporting the disciplines mentioned above.
ModBE’13 provides a forum for researchers from interested communities to investigate, experience, compare, contrast and discuss solutions for modeling in business environments with Petri nets and other modeling techniques.
An approach to integration of information systems and modeling systems is suggested. It is based on the DSM-platform MetaLanguage allowing to create modeling languages and domain models and to define model transformations.
1. Description of the problem. Instrumental analysis makes it possible to find the arguments of adjudication on the bounders and structure of corpus delicti, its correlation to criminal and filling-up legislation. 2. Initial theses. Corpus delicti is regarded as that expressed in criminal law doctrine result of reorganization of orders of criminal law into other practically necessary form. That happens in the process of theory and practical experience accumulation. The construction of corpus delicti is transformed for practical needs, textually expressed system of features, regulated by criminal law and characterizing deeds as a crime of a definite type. Correlation of construction of corpus delicti with law and doctrine. Corpus delicti, its algorithm. Transition from law regulations to corpus delicti can be done: 1) prog-nostically; 2) within constant analysis of law; 3) in the process of law application. 3. Stages of instrumental building of corpus delicti: prognostic, doctrinal, law applicatory. Instrumental approach to corpus delicti includes within each stage: 1) based on criminal law decision of classification of corpus delicti and its borders; 2) objective description of a factual model; 3) acception of meaning correlated with legal notions and constructions; 4) choice of the construction of the corpus delicti and disposal of characteristics; 5) verification of legitimacy, necessity and adequacy of foundation. 4. Instrumental analysis of disputable questions of understanding and application of constructions of corpus delicti. A. Functions and purposes of application of construction of corpus delicti. Functions of corpus delicti: a) modeling; b) communicative; c) identificatory; d) technological. B. Contents of corpus delicti. Contents of corpus delicti as it is traditionally regarded does not correspond to indications of crime, does not characterize features of social danger; sign of danger of penalty also does go into corpus delicti. Two variants are proposed for the discussion: widening of the borders of corpus delicti by means of introduction of signs of social danger and signs, defining individualization of penalty and to limitate corpus delicti by characteristic of criminally punished act, separating it from contents of guilt and contents of social danger. C. Structure of corpus delicti. There are two problems: division of elements of crime seems to be extremely harsh and inadequate - it is expedient to include signs of special and time limits of act, causal links, crossing signs of objective and subjective sides, first of all consequences and an object of crime, into the structure of corpus delicti. Forms of committing a criminally punished act is a crime commitment in complicity, ideal system, not finished crime.
In this work the demand for the incoming tourism in the Russian Federation is modeling. The panel data for 16 countries - the basic sources of tourist streams - and the period with 2000 for 2009 are used. Modeling is spent separately for each of 10 tourist zones of Russia. In quality a determinant of demand there are considered a total national product in a country of origin, the exchange rate, transport charges, cost of residing, lag of the demand variable and the fictitious variables reflecting influence of shocks in quality a determinants of demand. The received estimations of dynamic models of demand correspond to expectations, are statistically significant and can be useful in practice of planning of development of entrance tourism in various municipal formations and regions of Russia.
We address the external effects on public sector efficiency measures acquired using Data Envelopment Analysis. We use the health care system in Russian regions in 2011 to evaluate modern approaches to accounting for external effects. We propose a promising method of correcting DEA efficiency measures. Despite the multiple advantages DEA offers, the usage of this approach carries with it a number of methodological difficulties. Accounting for multiple factors of efficiency calls for more complex methods, among which the most promising are DMU clustering and calculating local production possibility frontiers. Using regression models for estimate correction requires further study due to possible systematic errors during estimation. A mixture of data correction and DMU clustering together with multi-stage DEA seems most promising at the moment. Analyzing several stages of transforming society’s resources into social welfare will allow for picking out the weak points in a state agency’s work.