Hierarchical timed automata based verification of dynamic evolution process in open environments

Author(s):  
Yu Zhou ◽  
Jidong Ge ◽  
Pengcheng Zhang
2021 ◽  
Vol 9 ◽  
Author(s):  
Luosong Jin ◽  
Cheng Chen ◽  
Yun Li ◽  
Xiangyang Wang ◽  
Yuanyuan Cheng

In this paper, we aim to analyze how to effectively promote compliance management in the electricity market. We construct an evolutionary game model under the two different scenarios, i.e., the scenario without governmental supervision and the scenario with governmental supervision, and explicitly describes the strategic behaviors and dynamic evolution process of power enterprises and regulators in the power market. According to the results of the evolutionary stable strategy, we find that, in the absence of governmental supervision, the long-term stable equilibrium of power enterprises' choice of strategy “Compliance” and regulatory agencies' choice of strategy “Not bribery” is hard to be realized. Only if the government effectively supervises the compliance management of the electricity market can the ideal compliance behavior of the two stakeholders be achieved. Furthermore, we conduct a simulation study to analyze the impacts of the various model parameters on the dynamic evolution process. The specific results show that the lower compliance cost, the higher psychological cost, and the larger profit loss of the power enterprises, as well as the lower inspection cost, the higher psychological cost, and the larger rewards of the regulatory agencies, can promote the formation of compliance management. Besides, the larger penalty charged by the government is also conducive to the compliance management of the electricity market.


2021 ◽  
Vol 2021 ◽  
pp. 1-8
Author(s):  
Qiao Jiang ◽  
Qianting Ma ◽  
Xiaoxing Liu

The stability of the interbank market is an essential guarantee for the sustainable development of society. Network entropy theory provides a critical research paradigm for the study of the stability of the interbank market. Considering that few scholars have conducted in-depth analysis on the influencing factors of the network entropy’s evolution process, this paper constructs the stock correlation network entropy model in the Chinese interbank market based on the correlation of stock price fluctuation. It focuses on analyzing the influencing factors in the dynamic evolution process of the stock correlation network entropy. In the light of empirical research, we can obtain the following results. First, the interbank market network’s aggregation coefficient, the interbank market network’s centrality, and the bank stock’s return rate play a positive role in the dynamic evolution of stock correlation network entropy in the Chinese interbank market. Second, the bank stock return’s volatility is negatively correlated with its network entropy. To maintain the stability of the financial market, the supervision department can monitor the stability of the interbank market by constructing the stock correlation network entropy.


Kybernetes ◽  
2020 ◽  
Vol 49 (12) ◽  
pp. 3019-3045
Author(s):  
Jianfei Li ◽  
Mengxia Sun ◽  
Li Ren ◽  
Bei Li

Purpose The advent of the new retail era witnessed the consumers’ demand shift from on the traditional product quality to on the full supply chain service quality, and product service and service manufacturing is gradually taking shape. The purpose of this paper is to propose whether there is a “quality bridge” in the dynamic evolution process of retail service supply chain (RSSC) and discuss the system role, steady-state characteristics and dynamic evolution mechanism of service quality in this dynamic evolution process. Design/methodology/approach This paper proposes the dissipation system structure of the RSSC under the steady-state quality constraint, constructs a Markov chain model (MCM) for the evolution of the service quality of RSSC, and tests the objective existence of the steady-state distribution of the service quality by taking Chinese HJ retail enterprises as samples. Findings The research value of this study is summarized as follows. The research finds that the evolution of service quality of RSSC is a dynamic and non-linear growth process, which has significant characteristics of complex adaptability and steady-state convergence. The study finds that the quality evolution process of the RSSC is a steady-state convergence process, and there is a steady-state distribution of quality in its co-evolution, in which different process input levels have a significant positive impact on the stable level of quality state. The study finds that the steady state of quality plays a crucial role in the collaborative evolution of the RSSC, that is, when the service quality reaches a certain steady state distribution, the operating efficiency and profit level of the whole chain will show an “explosive” growth trend. Originality/value Quality bridge, an original concept in this paper, represents the role of quality steady-state in the operation of RSSC. Based on Markov chain and system simulation tools, this paper verifies the existence of steady-state service quality and its positive effect on the co-evolution and sustainable development of RSSC. When the service quality reaches a certain steady distribution, the operating efficiency and income level of the whole chain will show n trend of explosive growth.


2020 ◽  
Vol 11 ◽  
Author(s):  
Yiqi Zhao ◽  
Xianfeng Zhao ◽  
Yuanjian Qin

Using the Grounded theory, we took 15 Chinese entrepreneurs as the research objects and constructed the entrepreneurial process model of dynamic evolution of entrepreneurial motivation. The model includes seven themes, such as egoist motivation, bottleneck, altruistic motivation, TP/MTP, empathy, responsible leadership, CSR implementation and entrepreneurial performance. Through the analysis of the internal relations between these elements, we abstracts the law of the dynamic evolution process of entrepreneurial motivation of Chinese entrepreneurs, and reveals the mechanism of the dynamic evolution process of entrepreneurial motivation. The theoretical contribution of this paper is mainly reflected in the following two aspects: (1) it enriches and expands the research results in the field of entrepreneurship motivation of Chinese entrepreneurs. From the perspective of entrepreneurial motivation, this study analyzes the dynamic evolution process of Internet entrepreneurs’ entrepreneurial motivation, extracts the rules of entrepreneurial process of dynamic evolution of Internet entrepreneurs, and provides a new path for enriching and expanding the research on Internet entrepreneurs’ entrepreneurial motivation. (2) The study of turning point (TP) that enriches and complements the dynamic evolution of entrepreneurs’ entrepreneurial motivation. Using grounded theory, this paper deeply analyzes the reasons for the dynamic evolution of entrepreneurial motivation, and provides empirical evidence for the research on the evolution of localized entrepreneurial motivation in China.


2014 ◽  
Vol 2014 ◽  
pp. 1-10 ◽  
Author(s):  
Chongli Di ◽  
Xiaohua Yang

The relationship between water resources supply and demand is very complex and exhibits nonlinear characteristics, which leads to fewer models that can adequately manage the dynamic evolution process of the water resources supply-demand system. In this paper, we propose a new four-dimensional dynamical model to simulate the internal dynamic evolution process and predict future trends of water supply and demand. At the beginning, a new four-dimensional dynamical model with uncertain parameters is established. Then, the gray code hybrid accelerating genetic algorithm (GHAGA) is adopted to identify the unknown parameters of the system based on the statistic data (1998–2009). Finally, the dynamical analysis of the system is further studied by Lyapunov-exponent, phase portraits, and Lyapunov exponent theory. Numerical simulation results demonstrate that the proposed water resources supply-demand system is in a steady state and is suitable for simulating the dynamical characteristics of a complex water supply and demand system. According to the trends of the water supply and demand of several nonlinear simulation cases, the corresponding measures can be proposed to improve the steady development of the water resources supply-demand system.


2020 ◽  
Vol 0 (0) ◽  
Author(s):  
Bentao Zou ◽  
Yuefen Wang

AbstractScientific research teams play an increasingly significant role in scientific activities. To better understand the dynamic evolution process of research teams, we explored measures that quantify the evolution of prolific research teams. We collected our data from the Web of Science in the field of artificial intelligence, and applied the label propagation algorithm to identify research teams in the co-authorship network. The Top 1‰ prolific teams were selected as our research object, whose node stability and two types of edge stabilities were measured. The results show that prolific teams are much more stable during the evolution process, in terms of both member and membership stability. The measure of stability has varying degrees of impact on teams with different sizes, and small-sized teams get considerably different stability results by different measures.


2011 ◽  
Vol 422 ◽  
pp. 304-309 ◽  
Author(s):  
Zhen Hua Ouyang

An effective monitoring system is conducive to grasp the dynamic evolution process of disaster occurring, to study the disaster-mechanism, to forecast the future development trend and ultimately to predict the disaster occurring. In this paper, focused on the surface displacement, an automatic on-line monitoring system of tailings dam which based on GSM/GPRS communication platform has been researched and developed. As a part of tailing pond disaster monitoring system, the researched and developed monitoring system could monitor the surface displacement of tailings dam automatically and remotely, and also can collect deformation data regularly and transfer to distant control center real-time. According to its application in an iron tailings dam in Diaxian, Shanxi Province of China, the researched and developed monitoring system could achieve the same monitoring effect with the electronic total station. This automatic monitoring system provided another method to grasp the dynamic evolution process of tailings dam from stability to failing down.


Sign in / Sign up

Export Citation Format

Share Document