For the cloud computing system,combined wth the memory function and incomplete matching of the biological immune system,a formal modeling and analysis method of the cloud computing system survivability is proposed by ...For the cloud computing system,combined wth the memory function and incomplete matching of the biological immune system,a formal modeling and analysis method of the cloud computing system survivability is proposed by analyzing the survival situation of critical cloud services.First,on the basis of the SAIR(susceptible,active,infected,recovered)model,the SEIRS(susceptible,exposed,infected,recovered,susceptible)model and the vulnerability diffusion model of the distributed virtual system,the evolution state of the virus is divided into six types,and then the diffusion rules of the virus in the service domain of the cloud computing system and the propagation rules between service domains are analyzee.Finally,on the basis of Bio-PEPA(biological-performance evaluation process algebra),the formalized modeling of the survivability evolution of critical cloud services is made,and the SLIRAS(susceptible,latent,infected,recovered,antidotal,susceptible)model is obtained.Based on the stochastic simulation and the ODEs(ordinary differential equations)simulation of the Bio-PEPA model,the sensitivity parameters of the model are analyzed from three aspects,namely,the virus propagation speed of inter-domain,recovery ability and memory ability.The results showthat the proposed model has high approximate fitting degree to the actual cloud computing system,and it can well reflect the survivable change of the system.展开更多
In the last decades, there is a lot of discussion in many scientific fields, about the high importance of water as a basic element for the existence and the maintenance of life, aiming to the right and proper usage of...In the last decades, there is a lot of discussion in many scientific fields, about the high importance of water as a basic element for the existence and the maintenance of life, aiming to the right and proper usage of water in our everyday basic water-needs due to its limited resources and the growing demand. This research deals with simple ways and technological systems applicable in urban residential buildings for the better management of domestic fresh water, as far as its maintenance and sustainability. Main aim of the survey is the effective minimization of urban daily water usage. All measurements of water quantities have estimated in the imperial gallon （1 gallon = 4.546 liter）, and in liter （1 liter = 0.2 gallon）.展开更多
基金The National Natural Science Foundation of China(No.61202458,61403109)the Natural Science Foundation of Heilongjiang Province of China(No.F2017021)Harbin Science and Technology Innovation Research Funds(No.2016RAQXJ036)
文摘For the cloud computing system,combined wth the memory function and incomplete matching of the biological immune system,a formal modeling and analysis method of the cloud computing system survivability is proposed by analyzing the survival situation of critical cloud services.First,on the basis of the SAIR(susceptible,active,infected,recovered)model,the SEIRS(susceptible,exposed,infected,recovered,susceptible)model and the vulnerability diffusion model of the distributed virtual system,the evolution state of the virus is divided into six types,and then the diffusion rules of the virus in the service domain of the cloud computing system and the propagation rules between service domains are analyzee.Finally,on the basis of Bio-PEPA(biological-performance evaluation process algebra),the formalized modeling of the survivability evolution of critical cloud services is made,and the SLIRAS(susceptible,latent,infected,recovered,antidotal,susceptible)model is obtained.Based on the stochastic simulation and the ODEs(ordinary differential equations)simulation of the Bio-PEPA model,the sensitivity parameters of the model are analyzed from three aspects,namely,the virus propagation speed of inter-domain,recovery ability and memory ability.The results showthat the proposed model has high approximate fitting degree to the actual cloud computing system,and it can well reflect the survivable change of the system.
文摘In the last decades, there is a lot of discussion in many scientific fields, about the high importance of water as a basic element for the existence and the maintenance of life, aiming to the right and proper usage of water in our everyday basic water-needs due to its limited resources and the growing demand. This research deals with simple ways and technological systems applicable in urban residential buildings for the better management of domestic fresh water, as far as its maintenance and sustainability. Main aim of the survey is the effective minimization of urban daily water usage. All measurements of water quantities have estimated in the imperial gallon （1 gallon = 4.546 liter）, and in liter （1 liter = 0.2 gallon）.
