Анализ проблем развития инновационно активных кластеров в России
Nested Petri nets (NP-nets) are Petri nets with net tokens - an extension of high-level Petri nets for modeling active objects, mobility and dynamics in distributed systems. In this paper we present an algorithm for translating two-level NP-nets into behaviorally equivalent Colored Petri nets with the view of applying CPN methods and tools for nested Petri nets analysis. We prove, that the proposed translation preserves dynamic semantics in terms of bisimulation equivalence.
The monograph presents results by professor Dr. A. Shalumov’s Research School of Modeling, Information Technology and Automated Systems (Russia). The program, ASONIKA, developed by the school is reviewed here regarding reliability and quality of devices for simulation of electronics and chips during harmonic and random vibration, single and multiple impacts, linear acceleration and acoustic noise, and steady-state and transient thermal effects. Calculations are done for thermal stress during changes in temperature and power in time. Calculations are done for number of cycles to fatigue failure under mechanical loads as well as under cyclic thermal effects. Simulation results for reliability analysis are taken into account. Models, software interface, and simulation examples are presented.
For engineers and scientists involved in design automation of electronics.
The article considers the processes of progress in production and service sectors and answers the question how and thanks to what service sector of Russian economy left the productive one behind (concerning contribution in GDP of our country). The rates of development of service sector turned out to be so high firstly - as a reason of peculiarities of new Russian economy, which historically was built on the market principles and was developing in conditions of investment resources deficit, secondly - as a reason of system differences between «physical» goods and services as an object of sale. Nowadays Russia faces an unusual symbiosis: effective service companies, operating in hard competitive sphere with average profitability and non-affective from the point of management industrial companies, which thanks to monopolistic pricing have great profitability, providing profits of Russian budget and determining a macroeconomic situation.
The book is devoted to comprehensive analysis of the greenhouse gas emission regulation systems, including international, regional and national experience in development and implementation of direct and indirect "carbon" regulation, cap-and-trade schemes, international carbon market and its mechanisms, joint implementation projects, perspectives of carbon market evolution in the future, proposals on imtroduction of low carbon development mechanisms in Russia
In the paper integrated information systems for corporate planning and budgeting are considered. Four groups of practical tasks exceeding the bounds of typical functionality of special-purpose planning and budgeting information systems are allocated. Several classes of information systems (simulation, statistical analysis, financial analysis and modeling, group decision making, business intelligence), which may provide the completeness of corporate planning and budgeting are denoted as solutions complementary to special-purpose planning and budgeting systems.