In this paper,a stochastic multi-group AIDS model with saturated incidence rate is studied.We prove that the system is persistent in the mean under some parametric restrictions.We also obtain the sufficient condition ...In this paper,a stochastic multi-group AIDS model with saturated incidence rate is studied.We prove that the system is persistent in the mean under some parametric restrictions.We also obtain the sufficient condition for the existence of the ergodic stationary distribution of the system by constructing a suitable Lyapunov function.Our results indicate that the existence of ergodic stationary distribution does not rely on the interior equilibrium of the corresponding deterministic system,which greatly improves upon previous results.展开更多
In this paper a mathematical model of AIDS is investigated.The conditions of the existence of equilibria and local stability of equilibria are given.The existences of transcritical bifurcation and Hopf bifurcation are...In this paper a mathematical model of AIDS is investigated.The conditions of the existence of equilibria and local stability of equilibria are given.The existences of transcritical bifurcation and Hopf bifurcation are also considered.in particular,the conditions for the existence of Hopf bifurcation can be given in terms of the coefficients of the characteristic equation.The method extends the application of the Hopf bifurcation theorem to higher differential equations which occur in biological models,chemical models,and epidemiological models etc.展开更多
An agent in the decision support system (DSS) has to cope with quantitative analysis processing normally. However, from the view of agent working style, the agent oriented aid modeling operations need new procedure ...An agent in the decision support system (DSS) has to cope with quantitative analysis processing normally. However, from the view of agent working style, the agent oriented aid modeling operations need new procedure accepted by the agent. For example, in the distributed activity planning processes, the transforming problem description has to use a unified pattern first, then to compute the activity′s 6 time parameters, activity′s duration, entity plan scheme, optimal calculation and so on. In this paper, we propose a process manner of agent oriented modeling for the distributed activity network. The goal is to introduce an agent working procedure included model usage, multi agent cooperating, communicating among agents and interaction between system and human. Also, it included the problem representation, the initial process, agent design, transform and the computing with interaction in detail.展开更多
To reduce the difficulty and enhance the enthusiasm of private-owned electric vehicles(EVs) in participating in frequency regulation ancillary service market(FRASM), a decision aid model(DAM) is proposed. This paper p...To reduce the difficulty and enhance the enthusiasm of private-owned electric vehicles(EVs) in participating in frequency regulation ancillary service market(FRASM), a decision aid model(DAM) is proposed. This paper presents three options for EV participating in FRASM, i. e., the base mode(BM), unidirectional charging mode(UCM), and bidirectional charging/discharging mode(BCDM), based on a reasonable simplification of users' participating willingness. In BM, individual EVs will not be involved in FRASM, and DAM will assist users to set the optimal charging schemes based on travel plans under the time-of-use(TOU) price. UCM and BCDM are two modes in which EVs can take part in FRASM. DAM can assist EV users to create their quotation plan, which includes hourly upper and lower reserve capabilities and regulation market mileage prices. In UCM and BCDM, the difference is that only the charging rate can be adjusted in the UCM, and the EVs in BCDM can not only charge but also discharge if necessary. DAM can estimate the expected revenue of all three modes, and EV users can make the final decision based on their preferences. Simulation results indicate that all the three modes of DAM can reduce the cost, while BCDM can get the maximum expected revenue.展开更多
The geometrical and topological information of 3D computer aided design (CAD) models should be represented as a neut- ral format file to exchange the data between different CAD systems. Exchange of 3D CAD model data...The geometrical and topological information of 3D computer aided design (CAD) models should be represented as a neut- ral format file to exchange the data between different CAD systems. Exchange of 3D CAD model data implies that the companies must exchange complete information about their products, all the way from design, manufacturing to inspection and shipping. This informa- tion should be available to each relevant partner over the entire life cycle of the product. This led to the development of an international standard organization (ISO) neutral format file named as standard for the exchange of product model data (STEP). It has been ob- served from the literature, the feature recognition systems developed were identified as planar, cylindrical, conical and to some extent spherical and toroidal surfaces. The advanced surface features such as B-spline and its subtypes are not identified. Therefore, in this work, a STEP-based feature recognition system is developed to recognize t--spline surface features and its sub-types from the 3D CAD model represented in AP203 neutral file format. The developed feature recognition system is implemented in Java programming language and the product model data represented in STEP AP203 format is interpreted through Java standard data access interface (JSDAI). The developed system could recognize B-spline surface features such as B-Spline surface with knots, quasi uniform surface, uniform surface, rational surface and Bezier surface. The application of extracted B-spline surface features information is discussed with reference to the toolpath generation for STEP-NC (STEP AP238).展开更多
基金The work was supported by NSF of China(11801041,11871473)Foudation of Jilin Province Science and Technology Development(20190201130JC)+1 种基金Scientific Rsearch Foundation of Jilin Provincial Education Department(JJKH20181172KJ,JJKH20190503KJ)Natural Science Foundation of Changchun Normal University.
文摘In this paper,a stochastic multi-group AIDS model with saturated incidence rate is studied.We prove that the system is persistent in the mean under some parametric restrictions.We also obtain the sufficient condition for the existence of the ergodic stationary distribution of the system by constructing a suitable Lyapunov function.Our results indicate that the existence of ergodic stationary distribution does not rely on the interior equilibrium of the corresponding deterministic system,which greatly improves upon previous results.
基金This project is supported by the National Science Foundation "Tian Yuan" Terms and LNM Institute of Mechanics Academy of ScienceThis project is supported by the NationalYunnan Province Natural Science Foundation of China
文摘In this paper a mathematical model of AIDS is investigated.The conditions of the existence of equilibria and local stability of equilibria are given.The existences of transcritical bifurcation and Hopf bifurcation are also considered.in particular,the conditions for the existence of Hopf bifurcation can be given in terms of the coefficients of the characteristic equation.The method extends the application of the Hopf bifurcation theorem to higher differential equations which occur in biological models,chemical models,and epidemiological models etc.
文摘An agent in the decision support system (DSS) has to cope with quantitative analysis processing normally. However, from the view of agent working style, the agent oriented aid modeling operations need new procedure accepted by the agent. For example, in the distributed activity planning processes, the transforming problem description has to use a unified pattern first, then to compute the activity′s 6 time parameters, activity′s duration, entity plan scheme, optimal calculation and so on. In this paper, we propose a process manner of agent oriented modeling for the distributed activity network. The goal is to introduce an agent working procedure included model usage, multi agent cooperating, communicating among agents and interaction between system and human. Also, it included the problem representation, the initial process, agent design, transform and the computing with interaction in detail.
基金supported in part by the National Natural Science Foundation of China(No.51777065).
文摘To reduce the difficulty and enhance the enthusiasm of private-owned electric vehicles(EVs) in participating in frequency regulation ancillary service market(FRASM), a decision aid model(DAM) is proposed. This paper presents three options for EV participating in FRASM, i. e., the base mode(BM), unidirectional charging mode(UCM), and bidirectional charging/discharging mode(BCDM), based on a reasonable simplification of users' participating willingness. In BM, individual EVs will not be involved in FRASM, and DAM will assist users to set the optimal charging schemes based on travel plans under the time-of-use(TOU) price. UCM and BCDM are two modes in which EVs can take part in FRASM. DAM can assist EV users to create their quotation plan, which includes hourly upper and lower reserve capabilities and regulation market mileage prices. In UCM and BCDM, the difference is that only the charging rate can be adjusted in the UCM, and the EVs in BCDM can not only charge but also discharge if necessary. DAM can estimate the expected revenue of all three modes, and EV users can make the final decision based on their preferences. Simulation results indicate that all the three modes of DAM can reduce the cost, while BCDM can get the maximum expected revenue.
文摘The geometrical and topological information of 3D computer aided design (CAD) models should be represented as a neut- ral format file to exchange the data between different CAD systems. Exchange of 3D CAD model data implies that the companies must exchange complete information about their products, all the way from design, manufacturing to inspection and shipping. This informa- tion should be available to each relevant partner over the entire life cycle of the product. This led to the development of an international standard organization (ISO) neutral format file named as standard for the exchange of product model data (STEP). It has been ob- served from the literature, the feature recognition systems developed were identified as planar, cylindrical, conical and to some extent spherical and toroidal surfaces. The advanced surface features such as B-spline and its subtypes are not identified. Therefore, in this work, a STEP-based feature recognition system is developed to recognize t--spline surface features and its sub-types from the 3D CAD model represented in AP203 neutral file format. The developed feature recognition system is implemented in Java programming language and the product model data represented in STEP AP203 format is interpreted through Java standard data access interface (JSDAI). The developed system could recognize B-spline surface features such as B-Spline surface with knots, quasi uniform surface, uniform surface, rational surface and Bezier surface. The application of extracted B-spline surface features information is discussed with reference to the toolpath generation for STEP-NC (STEP AP238).