Qualitative algebraic equations are the basis of qualitative simulation,which are used to express the dynamic behavior of steady-state continuous processes.When the values and operation of qualitative variables are re...Qualitative algebraic equations are the basis of qualitative simulation,which are used to express the dynamic behavior of steady-state continuous processes.When the values and operation of qualitative variables are redefined,qualitative algebraic equations can be transformed into signed direct graphs,which are frequently used to predict the trend of dynamic changes.However,it is difficult to use traditional qualitative algebra methods based on artificial trial and error to solve a complex problem for dynamic trends.An important aspect of modern qualitative algebra is to model and characterize complex systems with the corresponding computer-aided automatic reasoning.In this study,a qualitative affection equation based on multiple conditions is proposed,which enables the signed di-rect graphs to describe complex systems better and improves the fault diagnosis resolution.The application to an industrial case shows that the method performs well.展开更多
In autonomous underwater vehicles(AUVs) the onboard power used to complete missions is limited.To solve this problem,a landing AUV has been designed,which conserves energy by sitting on the seafloor while monitoring t...In autonomous underwater vehicles(AUVs) the onboard power used to complete missions is limited.To solve this problem,a landing AUV has been designed,which conserves energy by sitting on the seafloor while monitoring the ocean.In order to study the dynamic behaviors for better control of the AUV,the dynamic analysis of the landing AUV is presented in this paper.Based on the momentum theorem and the angular momentum theorem,the dynamic model of the landing AUV is derived.The simulations of rectilinear motion,rotary motion and helix motion indicate the dynamic behaviors of the AUV.The ocean experiments validate the dynamic model presented in this paper.The experiments also verify that the landing AUV can work for a longer time than common AUVs.展开更多
In this paper, we considered the predator-prey system with stage-structure for prey, where the predators predate immature preys only. The positivity and boundedness of the solutions and asymptotic stability of equilib...In this paper, we considered the predator-prey system with stage-structure for prey, where the predators predate immature preys only. The positivity and boundedness of the solutions and asymptotic stability of equilibrium were firstly discussed, and then uniformly persistent sufficient conditions of populations were found.展开更多
Stabilizing unstable operating points is an effective way to enhance process benefits and safety, which motivates the development for a variety of advanced control strategies. The washout filter-aided controller(WFC),...Stabilizing unstable operating points is an effective way to enhance process benefits and safety, which motivates the development for a variety of advanced control strategies. The washout filter-aided controller(WFC), originally used for electric power system and aircraft, has been introduced to adjust the dynamic behavior of chemical process. However, the parameter tuning method faces two major limitations: the dimension of operating variables must be equal to or greater than that of state variables and only one positive real eigenvalue exists in the open loop system. To overcome the two limitations, this paper proposes a new parameter tuning method, so that the WFC is applicable in most chemical processes. By solving a constrained optimization problem, the controller parameters are determined under the constraint that the reassignment of the eigenvalues of the unstable desired operating point can satisfy the stability condition. Thus parts of the equilibrium manifold including the desired operating point are stabilized without affecting the shape of the equilibrium manifold. Finally, the effectiveness of the WFC improved by the proposed parameter tuning method is illustrated through a case study for propanediol anaerobic fermentation.展开更多
The effect of direct electric current on the wetting behavior of molten Bi on Cu substrate at 370℃ was investigated by the sessile drop method. The wettability of molten Bi on Cu without an applied current is poor an...The effect of direct electric current on the wetting behavior of molten Bi on Cu substrate at 370℃ was investigated by the sessile drop method. The wettability of molten Bi on Cu without an applied current is poor and the spreading time required to form the steady-state contact angle (about 102°) is approximately 30 min. With the increase of the applied electric current, the spreading of molten Bi on Cu is accelerated significantly and the steady-state contact angle decreases considerably. The cross-section SEM micrographs of the solidified Bi droplet on Cu substrate show that the electric current has a marked effect on the convection of melt. Correspondingly, the application of an electric current obviously enhances the dissolution of Cu into Bi melt, which may change the wetting triple line configuration. The improvement of wettability induced by electric current is also related to the additional driving force for wetting provided by the electromagnetic pressure gradient force.展开更多
Network structures and human behaviors are considered as two important factors in virus defense currently. However, due to ignorance of network security, normal users usually take simple activities, such as reinstalli...Network structures and human behaviors are considered as two important factors in virus defense currently. However, due to ignorance of network security, normal users usually take simple activities, such as reinstalling computer system, or using the computer recovery system to clear virus. How system recovery influences virus spreading is not taken into consideration currently. In this paper, a new virus propagation model considering the system recovery is proposed first, and then in its steady-state analysis, the virus propagation steady time and steady states are deduced. Experiment results show that models considering system recovery can effectively restrain virus propagation. Furthermore, algorithm with system recovery in BA scale-free network is proposed. Simulation result turns out that target immunization strategy with system recovery works better than traditional ones in BA network.展开更多
This paper studies the existence, uniqueness, and stability of solutions for stochastic impulsive systems. By employing Lyapunov-like functions, some sufficient conditions of the global existence, uniqueness, and stab...This paper studies the existence, uniqueness, and stability of solutions for stochastic impulsive systems. By employing Lyapunov-like functions, some sufficient conditions of the global existence, uniqueness, and stability of solutions for stochastic impulsive systems are established. Furthermore, the results are specialized to the case of linear stochastic impulsive systems. Finally, some examples are given to illustrate the applications of our theory.展开更多
The Cahn-Hilliard equation with irregular potentials and dynamic boundary conditions is considered.The existence of the global attractor is proved and the long time behavior of the trajectories,namely,the convergence ...The Cahn-Hilliard equation with irregular potentials and dynamic boundary conditions is considered.The existence of the global attractor is proved and the long time behavior of the trajectories,namely,the convergence to steady states,is studied.展开更多
基金Supported by the National High Technology Research and Development Program of China(2009AA04Z133)
文摘Qualitative algebraic equations are the basis of qualitative simulation,which are used to express the dynamic behavior of steady-state continuous processes.When the values and operation of qualitative variables are redefined,qualitative algebraic equations can be transformed into signed direct graphs,which are frequently used to predict the trend of dynamic changes.However,it is difficult to use traditional qualitative algebra methods based on artificial trial and error to solve a complex problem for dynamic trends.An important aspect of modern qualitative algebra is to model and characterize complex systems with the corresponding computer-aided automatic reasoning.In this study,a qualitative affection equation based on multiple conditions is proposed,which enables the signed di-rect graphs to describe complex systems better and improves the fault diagnosis resolution.The application to an industrial case shows that the method performs well.
基金Supported by National High Technology Research and Development Program of China ("863" Program,No. 2006AA09A312)National Science and Technology Major Project (No. 2008ZX05027-004-03)
文摘In autonomous underwater vehicles(AUVs) the onboard power used to complete missions is limited.To solve this problem,a landing AUV has been designed,which conserves energy by sitting on the seafloor while monitoring the ocean.In order to study the dynamic behaviors for better control of the AUV,the dynamic analysis of the landing AUV is presented in this paper.Based on the momentum theorem and the angular momentum theorem,the dynamic model of the landing AUV is derived.The simulations of rectilinear motion,rotary motion and helix motion indicate the dynamic behaviors of the AUV.The ocean experiments validate the dynamic model presented in this paper.The experiments also verify that the landing AUV can work for a longer time than common AUVs.
文摘In this paper, we considered the predator-prey system with stage-structure for prey, where the predators predate immature preys only. The positivity and boundedness of the solutions and asymptotic stability of equilibrium were firstly discussed, and then uniformly persistent sufficient conditions of populations were found.
基金Supported by the National Basic Research Program of China(2012CB720500)the National Natural Science Foundation of China(21306100)
文摘Stabilizing unstable operating points is an effective way to enhance process benefits and safety, which motivates the development for a variety of advanced control strategies. The washout filter-aided controller(WFC), originally used for electric power system and aircraft, has been introduced to adjust the dynamic behavior of chemical process. However, the parameter tuning method faces two major limitations: the dimension of operating variables must be equal to or greater than that of state variables and only one positive real eigenvalue exists in the open loop system. To overcome the two limitations, this paper proposes a new parameter tuning method, so that the WFC is applicable in most chemical processes. By solving a constrained optimization problem, the controller parameters are determined under the constraint that the reassignment of the eigenvalues of the unstable desired operating point can satisfy the stability condition. Thus parts of the equilibrium manifold including the desired operating point are stabilized without affecting the shape of the equilibrium manifold. Finally, the effectiveness of the WFC improved by the proposed parameter tuning method is illustrated through a case study for propanediol anaerobic fermentation.
基金Project(50704001) supported by the National Natural Science Foundation of China
文摘The effect of direct electric current on the wetting behavior of molten Bi on Cu substrate at 370℃ was investigated by the sessile drop method. The wettability of molten Bi on Cu without an applied current is poor and the spreading time required to form the steady-state contact angle (about 102°) is approximately 30 min. With the increase of the applied electric current, the spreading of molten Bi on Cu is accelerated significantly and the steady-state contact angle decreases considerably. The cross-section SEM micrographs of the solidified Bi droplet on Cu substrate show that the electric current has a marked effect on the convection of melt. Correspondingly, the application of an electric current obviously enhances the dissolution of Cu into Bi melt, which may change the wetting triple line configuration. The improvement of wettability induced by electric current is also related to the additional driving force for wetting provided by the electromagnetic pressure gradient force.
基金supported by China NSF(61572222, 61272405, 61272033, 61272451, 61472121)Fundamental Research Funds for the Central Universities and the open research fund of Zhejiang Provincial Key Lab of Data StorageTransmission Technology, Hangzhou Dianzi University(No. 201301)
文摘Network structures and human behaviors are considered as two important factors in virus defense currently. However, due to ignorance of network security, normal users usually take simple activities, such as reinstalling computer system, or using the computer recovery system to clear virus. How system recovery influences virus spreading is not taken into consideration currently. In this paper, a new virus propagation model considering the system recovery is proposed first, and then in its steady-state analysis, the virus propagation steady time and steady states are deduced. Experiment results show that models considering system recovery can effectively restrain virus propagation. Furthermore, algorithm with system recovery in BA scale-free network is proposed. Simulation result turns out that target immunization strategy with system recovery works better than traditional ones in BA network.
基金This research is supported by the National Natural Science Foundation of China under Grant No. 60274007, and the Post Doctoral Foundation of China and the Excellent Young Program of the Education Department of Hunan Province under Grant No. 04B068, and the NSERC-Canada.
文摘This paper studies the existence, uniqueness, and stability of solutions for stochastic impulsive systems. By employing Lyapunov-like functions, some sufficient conditions of the global existence, uniqueness, and stability of solutions for stochastic impulsive systems are established. Furthermore, the results are specialized to the case of linear stochastic impulsive systems. Finally, some examples are given to illustrate the applications of our theory.
文摘The Cahn-Hilliard equation with irregular potentials and dynamic boundary conditions is considered.The existence of the global attractor is proved and the long time behavior of the trajectories,namely,the convergence to steady states,is studied.