In this paper, we establish new sufficient conditions for the infected equilibrium of a nonresident computer virus model to be globally asymptotically stable. Our results extend two kind of known results in recent lit...In this paper, we establish new sufficient conditions for the infected equilibrium of a nonresident computer virus model to be globally asymptotically stable. Our results extend two kind of known results in recent literature.展开更多
We study a proposed model describing the propagation of computer virus in the network with antidote in vulnerable system. Mathematical analysis shows that dynamics of the spread of computer viruses is determined by th...We study a proposed model describing the propagation of computer virus in the network with antidote in vulnerable system. Mathematical analysis shows that dynamics of the spread of computer viruses is determined by the threshold Ro. If Ro 〈 1, the virusfree equilibrium is globally asymptotically stable, and if R0 〉 1, the endemic equilibrium is globally asymptotically stable. Lyapunov functional method as well as geometric approach are used for proving the global stability of equilibria. A numerical investigation is carried out to confirm the analytical results. Through parameter analysis, some effective strategies for eliminating viruses are suggested.展开更多
Particle swarm optimizer （PSO）, a new evolutionary computation algorithm, exhibits good performance for optimization problems, although PSO can not guarantee convergence of a global minimum, even a local minimum. Ho...Particle swarm optimizer （PSO）, a new evolutionary computation algorithm, exhibits good performance for optimization problems, although PSO can not guarantee convergence of a global minimum, even a local minimum. However, there are some adjustable parameters and restrictive conditions which can affect performance of the algorithm. The sufficient conditions for asymptotic stability of an acceleration factor and inertia weight are deduced in this paper. The value of the inertia weight w is enhanced to （ - 1, 1）. Furthermore a new adaptive PSO algorithm--harmonious PSO （HPSO） is proposed and proved that HPSO is a global search algorithm. Finally it is focused on a design task of a servo system controller. Considering the existence of model uncertainty and noise from sensors, HPSO are applied to optimize the parameters of fuzzy PID controller. The experiment results demonstrate the efficiency of the methods.展开更多
Virtualization technology plays a key role in cloud computing.Thus,the security issues of virtualization tools（hypervisors,emulators,etc.） should be under precise consideration.However,threats of insider attacks are...Virtualization technology plays a key role in cloud computing.Thus,the security issues of virtualization tools（hypervisors,emulators,etc.） should be under precise consideration.However,threats of insider attacks are underestimated.The virtualization tools and hypervisors have been poorly protected from this type of attacks.Furthermore,hypervisor is one of the most critical elements in cloud computing infrastructure.Firstly,hypervisor vulnerabilities analysis is provided.Secondly,a formal model of insider attack on hypervisor is developed.Consequently,on the basis of the formal attack model,we propose a new methodology of hypervisor stability evaluation.In this paper,certain security countermeasures are considered that should be integrated in hypervisor software architecture.展开更多
A micro-extended-analog-computer （uEAC） is developed on the basis of Rubel＇ s extended analog computer（EAC） model. Through the uEAC mathematical model, the resistance properties of the conductive sheet, several f...A micro-extended-analog-computer （uEAC） is developed on the basis of Rubel＇ s extended analog computer（EAC） model. Through the uEAC mathematical model, the resistance properties of the conductive sheet, several feedback uEAC models, and a more flexible uEAC cell structure with a multi-level hierarchy are discussed. Futhermore, for the dynamic uEAC array with a linear Lukasiewicz function, a nonlinear differential equation description is presented, and then a sufficient global asymptotic stability condition is derived by utilizing a Lyapunov function and a Lipchitz function. Finally, comparative simulations for a cam servo mechanism system are conducted to verify the capability of the uEAC array as an adaptive controller.展开更多
基金supported by Scientific Research(c),No.24540219 of Japan Society for the Promotion of Sciencesupported by Grant-in-Aid for Research Activity Start-up,No.25887011 of Japan Society for the Promotion of Science
文摘In this paper, we establish new sufficient conditions for the infected equilibrium of a nonresident computer virus model to be globally asymptotically stable. Our results extend two kind of known results in recent literature.
文摘We study a proposed model describing the propagation of computer virus in the network with antidote in vulnerable system. Mathematical analysis shows that dynamics of the spread of computer viruses is determined by the threshold Ro. If Ro 〈 1, the virusfree equilibrium is globally asymptotically stable, and if R0 〉 1, the endemic equilibrium is globally asymptotically stable. Lyapunov functional method as well as geometric approach are used for proving the global stability of equilibria. A numerical investigation is carried out to confirm the analytical results. Through parameter analysis, some effective strategies for eliminating viruses are suggested.
基金Sponsored by the Teaching and Research Award Program for Outstanding Young Teacher in Higher Education Institute of MOE (20010248)Beijing Education Committee Coorperation Building Foundation
文摘Particle swarm optimizer （PSO）, a new evolutionary computation algorithm, exhibits good performance for optimization problems, although PSO can not guarantee convergence of a global minimum, even a local minimum. However, there are some adjustable parameters and restrictive conditions which can affect performance of the algorithm. The sufficient conditions for asymptotic stability of an acceleration factor and inertia weight are deduced in this paper. The value of the inertia weight w is enhanced to （ - 1, 1）. Furthermore a new adaptive PSO algorithm--harmonious PSO （HPSO） is proposed and proved that HPSO is a global search algorithm. Finally it is focused on a design task of a servo system controller. Considering the existence of model uncertainty and noise from sensors, HPSO are applied to optimize the parameters of fuzzy PID controller. The experiment results demonstrate the efficiency of the methods.
文摘Virtualization technology plays a key role in cloud computing.Thus,the security issues of virtualization tools（hypervisors,emulators,etc.） should be under precise consideration.However,threats of insider attacks are underestimated.The virtualization tools and hypervisors have been poorly protected from this type of attacks.Furthermore,hypervisor is one of the most critical elements in cloud computing infrastructure.Firstly,hypervisor vulnerabilities analysis is provided.Secondly,a formal model of insider attack on hypervisor is developed.Consequently,on the basis of the formal attack model,we propose a new methodology of hypervisor stability evaluation.In this paper,certain security countermeasures are considered that should be integrated in hypervisor software architecture.
基金Supported by the National Natural Science Foundation of China(61433003,61273150)Beijing Higher Education Young Elite Teacher Project
文摘A micro-extended-analog-computer （uEAC） is developed on the basis of Rubel＇ s extended analog computer（EAC） model. Through the uEAC mathematical model, the resistance properties of the conductive sheet, several feedback uEAC models, and a more flexible uEAC cell structure with a multi-level hierarchy are discussed. Futhermore, for the dynamic uEAC array with a linear Lukasiewicz function, a nonlinear differential equation description is presented, and then a sufficient global asymptotic stability condition is derived by utilizing a Lyapunov function and a Lipchitz function. Finally, comparative simulations for a cam servo mechanism system are conducted to verify the capability of the uEAC array as an adaptive controller.
