In this study, regional persistent haze events(RPHEs) in the Beijing–Tianjin–Hebei(BTH) region were identified based on the Objective Identification Technique for Regional Extreme Events for the period 1980–201...In this study, regional persistent haze events(RPHEs) in the Beijing–Tianjin–Hebei(BTH) region were identified based on the Objective Identification Technique for Regional Extreme Events for the period 1980–2013. The formation mechanisms of the severe RPHEs were investigated with focus on the atmospheric circulation and dynamic mechanisms. Results indicated that:(1) 49 RPHEs occurred during the past 34 years.(2) The severe RPHEs could be categorized into two types according to the large-scale circulation, i.e. the zonal westerly airflow(ZWA) type and the high-pressure ridge(HPR) type. When the ZWA-type RPHEs occurred, the BTH region was controlled by near zonal westerly airflow in the mid–upper troposphere.Southwesterly winds prevailed in the lower troposphere, and near-surface wind speeds were only 1–2 ms^-1. Warm and humid air originating from the northwestern Pacific was transported into the region, where the relative humidity was 70% to 80%, creating favorable moisture conditions. When the HPR-type RPHEs appeared, northwesterly airflow in the mid–upper troposphere controlled the region. Westerly winds prevailed in the lower troposphere and the moisture conditions were relatively weak.(3) Descending motion in the mid-lower troposphere caused by the above two circulation types provided a crucial dynamic mechanism for the formation of the two types of RPHEs. The descending motion contributed to a reduction in the height of the planetary boundary layer(PBL), which generated an inversion in the lower troposphere. This inversion trapped the abundant pollution and moisture in the lower PBL, leading to high concentrations of pollutants.展开更多
The Si-O bond breaking event in the a-quartz at the first triplet (T1) excitation state is studied by using ab initio molecular dynamics (AIMD) and nudged elastic band calculations. A meta-stable non-bridging oxyg...The Si-O bond breaking event in the a-quartz at the first triplet (T1) excitation state is studied by using ab initio molecular dynamics (AIMD) and nudged elastic band calculations. A meta-stable non-bridging oxygen hole center and E1 center (NBOHC-E) is observed in the AIMD which consists of a broken Si-O bond with a Si-O distance of 2.54A. By disallowing the re-bonding of the Si and 0 atoms, another defect configuration (lll- Si/V-Si) is obtained and validated to be stable at both ground and excitation states. The NBOHC-E is found to present on the minimal energy pathway of the initial to IlI-Si/V-Si transition, showing that the generating of the NBOHC-E is an important step of the excitation induced structure defect. The energy barriers to produce the NBQHC-E' and Ⅲ-Si/V-Si defects are calculated to be 1.19 and 1.28eV, respectively. The electronic structures of the two defects are calculated by the self-consistent GW calculations and the results show a clear electron transition from the bonding orbital to the non-bonding orbital.展开更多
Differed from the existed applications of generalized stochastic Petri net(GSPN) theory in machine-tool manufacturing system, reliability computation of FMS, testabilityparameters determination and fault analysis, a n...Differed from the existed applications of generalized stochastic Petri net(GSPN) theory in machine-tool manufacturing system, reliability computation of FMS, testabilityparameters determination and fault analysis, a new idea of applying GSPN to model and performanceanalysis for the serial and parallel production system is proposed. And one typical discrete eventdynamic system (DEDS), turner-unit of palletizing system, is taken as a real case to research. Basedupon the established GSPN models, the working performances of serial and parallel layout arecompared. Furthermore, their differences of working mechanisms including feeding mechanism,coordinating mechanism and monitoring mechanism are discussed. Thus the theoretical basis which ishelpful to appraise layout plan and its reasonableness is provided. Meanwhile, the research resultsshow that parallel layout is more advantageous to greatly improve the operational speed ofproduction system than serial one.展开更多
In this work, the modeling and stability problem for a communication network system is addressed. The communication network system consists of a transmitter which sends messages to a receiver. The proposed model consi...In this work, the modeling and stability problem for a communication network system is addressed. The communication network system consists of a transmitter which sends messages to a receiver. The proposed model considers two possibilities. The first one, that messages are successfully received, while in the second one, during the sending process the transmitter breaks down and as a result the message does not reach the receiver. Timed Petrinets is the mathematical and graphical modeling technique utilized. Lyapunov stability theory provides the required tools needed to aboard the stability problem. Employing Lyapunov methods, a sufficient condition for stabilization is obtained. It is shown that it is possible to restrict the communication network system state space in such a way that boundedness is guaranteed. However, this restriction results to be vague. This inconvenience is overcome by considering a specific recurrence equation, in the max-plus algebra, which is assigned to the timed Petri net graphical model.展开更多
This paper deals with the dynamic output feedback stabilization problem of deterministic finite automata(DFA).The static form of this problem is defined and solved in previous studies via a set of equivalent condition...This paper deals with the dynamic output feedback stabilization problem of deterministic finite automata(DFA).The static form of this problem is defined and solved in previous studies via a set of equivalent conditions.In this paper,the dynamic output feedback(DOF)stabilization of DFAs is defined in which the controller is supposed to be another DFA.The DFA controller will be designed to stabilize the equilibrium point of the main DFA through a set of proposed equivalent conditions.It has been proven that the design problem of DOF stabilization is more feasible than the static output feedback(SOF)stabilization.Three simulation examples are provided to illustrate the results of this paper in more details.The first example considers an instance DFA and develops SOF and DOF controllers for it.The example explains the concepts of the DOF controller and how it will be implemented in the closed-loop DFA.In the second example,a special DFA is provided in which the DOF stabilization is feasible,whereas the SOF stabilization is not.The final example compares the feasibility performance of the SOF and DOF stabilizations through applying them to one hundred random-generated DFAs.The results reveal the superiority of the DOF stabilization.展开更多
Abstract This paper describes the dynamic behavior of extended timed event graphs related to place delay in the dioid framework. By Cofer and Garg's supervisory control theory^|3|, we address control problems of e...Abstract This paper describes the dynamic behavior of extended timed event graphs related to place delay in the dioid framework. By Cofer and Garg's supervisory control theory^|3|, we address control problems of extended timed events graphs. Supervisory control of extended timed event graphs (a class of discrete event dynamic systems) is studied in the dioid framework, a necessary and sufficient condition for the ideals of the set of firing time sequences of transitions to be controllable is presented. We prove all the strongly controllable subsets can form a complete lattice.展开更多
The compatible-invariant subset of deterministic finite automata( DFA) is investigated to solve the problem of subset stabilization under the frameworks of semi-tensor product( STP) of matrices. The concepts of co...The compatible-invariant subset of deterministic finite automata( DFA) is investigated to solve the problem of subset stabilization under the frameworks of semi-tensor product( STP) of matrices. The concepts of compatibleinvariant subset and largest compatible-invariant subset are introduced inductively for Moore-type DFA,and a necessary condition for the existence of largest compatible-invariant subset is given. Meanwhile,by using the STP of matrices,a compatible feasible event matrix is defined with respect to the largest compatible-invariant subset.Based on the concept of compatible feasible event matrix,an algorithm to calculate the largest compatible-invariant subset contained in a given subset is proposed. Finally,an illustrative example is given to validate the results.展开更多
Max-plus algebra has been widely used in the study of discrete-event dynamic systems.Using max-plus algebra makes it easy to specify safety constraints on events since they can be described as a set of inequalities of...Max-plus algebra has been widely used in the study of discrete-event dynamic systems.Using max-plus algebra makes it easy to specify safety constraints on events since they can be described as a set of inequalities of state variables,i.e.,firing times of relevant events.This paper proves that the problem of solving max-plus inequalities in a cube(MAXINEQ)is nondeterministic polynomial-time hard(NP-hard)in strong sense and the problem of verifying max-plus inequalities(VERMAXINEQ)is co-NP.As a corollary,the problem of solving a system of multivariate max-algebraic polynomial equalities and inequalities(MPEI)is shown to be NP-hard in strong sense.The results indicate the difficulties in comparing max-plus formulas in general.Problem structures of specific systems have to be explored to enable the development of efficient algorithms.展开更多
基金jointly sponsored by the National Basic Research Program of China(973 Program)(Grant No.2013CB430202)the National Natural Science Foundation of China(Grant No.41401056)+1 种基金the China Meteorological Administration Special Public Welfare Research Fund(Grant No.GYHY201406001)the Research Innovation Program for College Graduates of Jiangsu Province(Grant No.KYLX15 0858)
文摘In this study, regional persistent haze events(RPHEs) in the Beijing–Tianjin–Hebei(BTH) region were identified based on the Objective Identification Technique for Regional Extreme Events for the period 1980–2013. The formation mechanisms of the severe RPHEs were investigated with focus on the atmospheric circulation and dynamic mechanisms. Results indicated that:(1) 49 RPHEs occurred during the past 34 years.(2) The severe RPHEs could be categorized into two types according to the large-scale circulation, i.e. the zonal westerly airflow(ZWA) type and the high-pressure ridge(HPR) type. When the ZWA-type RPHEs occurred, the BTH region was controlled by near zonal westerly airflow in the mid–upper troposphere.Southwesterly winds prevailed in the lower troposphere, and near-surface wind speeds were only 1–2 ms^-1. Warm and humid air originating from the northwestern Pacific was transported into the region, where the relative humidity was 70% to 80%, creating favorable moisture conditions. When the HPR-type RPHEs appeared, northwesterly airflow in the mid–upper troposphere controlled the region. Westerly winds prevailed in the lower troposphere and the moisture conditions were relatively weak.(3) Descending motion in the mid-lower troposphere caused by the above two circulation types provided a crucial dynamic mechanism for the formation of the two types of RPHEs. The descending motion contributed to a reduction in the height of the planetary boundary layer(PBL), which generated an inversion in the lower troposphere. This inversion trapped the abundant pollution and moisture in the lower PBL, leading to high concentrations of pollutants.
基金Supported by the National Natural Science Foundation of China under Grant Nos 10744048 and 11202032the Defense Industrial Technology Development Program of China under Grant No B1520132013
文摘The Si-O bond breaking event in the a-quartz at the first triplet (T1) excitation state is studied by using ab initio molecular dynamics (AIMD) and nudged elastic band calculations. A meta-stable non-bridging oxygen hole center and E1 center (NBOHC-E) is observed in the AIMD which consists of a broken Si-O bond with a Si-O distance of 2.54A. By disallowing the re-bonding of the Si and 0 atoms, another defect configuration (lll- Si/V-Si) is obtained and validated to be stable at both ground and excitation states. The NBOHC-E is found to present on the minimal energy pathway of the initial to IlI-Si/V-Si transition, showing that the generating of the NBOHC-E is an important step of the excitation induced structure defect. The energy barriers to produce the NBQHC-E' and Ⅲ-Si/V-Si defects are calculated to be 1.19 and 1.28eV, respectively. The electronic structures of the two defects are calculated by the self-consistent GW calculations and the results show a clear electron transition from the bonding orbital to the non-bonding orbital.
基金This project is supported by National 863 Hi-Tech Project of China (No.512980106) Provincical Natural Science Foundation of Zhejiang (No.ZD0107).
文摘Differed from the existed applications of generalized stochastic Petri net(GSPN) theory in machine-tool manufacturing system, reliability computation of FMS, testabilityparameters determination and fault analysis, a new idea of applying GSPN to model and performanceanalysis for the serial and parallel production system is proposed. And one typical discrete eventdynamic system (DEDS), turner-unit of palletizing system, is taken as a real case to research. Basedupon the established GSPN models, the working performances of serial and parallel layout arecompared. Furthermore, their differences of working mechanisms including feeding mechanism,coordinating mechanism and monitoring mechanism are discussed. Thus the theoretical basis which ishelpful to appraise layout plan and its reasonableness is provided. Meanwhile, the research resultsshow that parallel layout is more advantageous to greatly improve the operational speed ofproduction system than serial one.
文摘In this work, the modeling and stability problem for a communication network system is addressed. The communication network system consists of a transmitter which sends messages to a receiver. The proposed model considers two possibilities. The first one, that messages are successfully received, while in the second one, during the sending process the transmitter breaks down and as a result the message does not reach the receiver. Timed Petrinets is the mathematical and graphical modeling technique utilized. Lyapunov stability theory provides the required tools needed to aboard the stability problem. Employing Lyapunov methods, a sufficient condition for stabilization is obtained. It is shown that it is possible to restrict the communication network system state space in such a way that boundedness is guaranteed. However, this restriction results to be vague. This inconvenience is overcome by considering a specific recurrence equation, in the max-plus algebra, which is assigned to the timed Petri net graphical model.
文摘This paper deals with the dynamic output feedback stabilization problem of deterministic finite automata(DFA).The static form of this problem is defined and solved in previous studies via a set of equivalent conditions.In this paper,the dynamic output feedback(DOF)stabilization of DFAs is defined in which the controller is supposed to be another DFA.The DFA controller will be designed to stabilize the equilibrium point of the main DFA through a set of proposed equivalent conditions.It has been proven that the design problem of DOF stabilization is more feasible than the static output feedback(SOF)stabilization.Three simulation examples are provided to illustrate the results of this paper in more details.The first example considers an instance DFA and develops SOF and DOF controllers for it.The example explains the concepts of the DOF controller and how it will be implemented in the closed-loop DFA.In the second example,a special DFA is provided in which the DOF stabilization is feasible,whereas the SOF stabilization is not.The final example compares the feasibility performance of the SOF and DOF stabilizations through applying them to one hundred random-generated DFAs.The results reveal the superiority of the DOF stabilization.
基金Supported by National Key Project of China and the National Sciences Foundation of China (Graot No.69874040).
文摘Abstract This paper describes the dynamic behavior of extended timed event graphs related to place delay in the dioid framework. By Cofer and Garg's supervisory control theory^|3|, we address control problems of extended timed events graphs. Supervisory control of extended timed event graphs (a class of discrete event dynamic systems) is studied in the dioid framework, a necessary and sufficient condition for the ideals of the set of firing time sequences of transitions to be controllable is presented. We prove all the strongly controllable subsets can form a complete lattice.
基金supported by the National Natural Science Foundation of China(61573199,61573200)
文摘The compatible-invariant subset of deterministic finite automata( DFA) is investigated to solve the problem of subset stabilization under the frameworks of semi-tensor product( STP) of matrices. The concepts of compatibleinvariant subset and largest compatible-invariant subset are introduced inductively for Moore-type DFA,and a necessary condition for the existence of largest compatible-invariant subset is given. Meanwhile,by using the STP of matrices,a compatible feasible event matrix is defined with respect to the largest compatible-invariant subset.Based on the concept of compatible feasible event matrix,an algorithm to calculate the largest compatible-invariant subset contained in a given subset is proposed. Finally,an illustrative example is given to validate the results.
基金supported by the National Natural Science Foundation of China (Grant Nos.60574067 and 60721003).
文摘Max-plus algebra has been widely used in the study of discrete-event dynamic systems.Using max-plus algebra makes it easy to specify safety constraints on events since they can be described as a set of inequalities of state variables,i.e.,firing times of relevant events.This paper proves that the problem of solving max-plus inequalities in a cube(MAXINEQ)is nondeterministic polynomial-time hard(NP-hard)in strong sense and the problem of verifying max-plus inequalities(VERMAXINEQ)is co-NP.As a corollary,the problem of solving a system of multivariate max-algebraic polynomial equalities and inequalities(MPEI)is shown to be NP-hard in strong sense.The results indicate the difficulties in comparing max-plus formulas in general.Problem structures of specific systems have to be explored to enable the development of efficient algorithms.