An extended π calculus was introduced to deal with secure movement and intercommunication between agents. The system extends Nomadic-π with objective migration primitive and confined region which serves as annotatio...An extended π calculus was introduced to deal with secure movement and intercommunication between agents. The system extends Nomadic-π with objective migration primitive and confined region which serves as annotation labels of agents and channels. The confined region labels were used to uniquely identify the constraints on the migration and communication of agents, with the labels, the agents could be confined in a secure subsystem and the inter-agent communication could be confined between agents located on trusted sites during computation. The operational semantics for the calculus was given out, and a type system which enforces security properties called confined migration and confined communication was developed.展开更多
The present article focuses on modeling issues to simulate cryogenic fluid cavitating flows.A revised cavitation model,in which the thermal effect is considered,is derivated and established based on Kubota model.Cavit...The present article focuses on modeling issues to simulate cryogenic fluid cavitating flows.A revised cavitation model,in which the thermal effect is considered,is derivated and established based on Kubota model.Cavitating flow computations are conducted around an axisymmetric ogive and a 2D quarter caliber hydrofoil in liquid nitrogen implementing the revised model and Kubota model coupled with energy equation and dynamically updating the fluid physical properties,respecitively.The results show that the revised cavitation model can better describe the mass transport process in the cavitation process in cryogenic fluids.Compared with Kubota model,the revised model can reflect the observed"frosty"appearance within the cavity.The cavity length becomes shorter and it can capture the temperature and pressure depressions more consistently in the cavitating region,particularly at the rear of the cavity.The evaporation rate decreases,and while the magnitude of the condensation rate becomes larger because of the thermal effect terms in the revised model compared with the results obtained by the Kubota model.展开更多
基金The National Defense Project of China(No417010602)
文摘An extended π calculus was introduced to deal with secure movement and intercommunication between agents. The system extends Nomadic-π with objective migration primitive and confined region which serves as annotation labels of agents and channels. The confined region labels were used to uniquely identify the constraints on the migration and communication of agents, with the labels, the agents could be confined in a secure subsystem and the inter-agent communication could be confined between agents located on trusted sites during computation. The operational semantics for the calculus was given out, and a type system which enforces security properties called confined migration and confined communication was developed.
基金supported by the National Natural Science Foundation of China(Grant No.50979004)the Doctor Reserch Fund of Univercity(Grant No.20080070027)
文摘The present article focuses on modeling issues to simulate cryogenic fluid cavitating flows.A revised cavitation model,in which the thermal effect is considered,is derivated and established based on Kubota model.Cavitating flow computations are conducted around an axisymmetric ogive and a 2D quarter caliber hydrofoil in liquid nitrogen implementing the revised model and Kubota model coupled with energy equation and dynamically updating the fluid physical properties,respecitively.The results show that the revised cavitation model can better describe the mass transport process in the cavitation process in cryogenic fluids.Compared with Kubota model,the revised model can reflect the observed"frosty"appearance within the cavity.The cavity length becomes shorter and it can capture the temperature and pressure depressions more consistently in the cavitating region,particularly at the rear of the cavity.The evaporation rate decreases,and while the magnitude of the condensation rate becomes larger because of the thermal effect terms in the revised model compared with the results obtained by the Kubota model.
