This paper is a continuation of our last paper [1] which describes the theory of Virt-BLP model. Based on Virt-BLP model,this paper implements a mandatory access control(MAC) framework applicable to multi-level securi...This paper is a continuation of our last paper [1] which describes the theory of Virt-BLP model. Based on Virt-BLP model,this paper implements a mandatory access control(MAC) framework applicable to multi-level security(MLS) in Xen. The Virt-BLP model is the theoretical basis of this MAC framework,and this MAC framework is the implementation of Virt-BLP model. Our last paper focuses on Virt-BLP model,while this paper concentrates on the design and implementation of MAC framework. For there is no MAC framework applicable to MLS in virtual machine system at present,our MAC framework fills the blank by applying Virt-BLP model to Xen,which is better than current researches to guarantee the security of communication between virtual machines(VMs) . The experimental results show that our MAC framework is effective to manage the communication between VMs.展开更多
In a low energy moon return mission, due to the weak stability of the orbit, it is necessary to implement an accurate orbital maneuver to guarantee a successful return. During the process of getting the optimal thrust...In a low energy moon return mission, due to the weak stability of the orbit, it is necessary to implement an accurate orbital maneuver to guarantee a successful return. During the process of getting the optimal thrust control with these two kinds of methods, it is hard to guess the initial value of the co-states in the indirect method while a large amount of calculation is needed to insure the precision in the direct method. To solve the problem, in this paper a combined method is given which has the merit of both direct and indirect methods. In this method, the virtual satellite method(VSM) and the Gauss pseudo-spectral method(GPM)are applied, while the fuel optimal control strategy is computed with GPM to carry out a soft rendezvous between the spacecraft and a hypothetical virtual satellite running on the nominal low energy return orbit so that the spacecraft will enter the return orbit accurately. Compared with the direct and indirect methods, this combined method can avoid guessing the initial value of the co-states and the complexity of calculation is acceptable. According to the simulation results, the spacecraft is inserted to the target return orbit with a high accuracy and also the optimization is very effective.展开更多
基金supported by National Key Basic Research and Development Plan (973 Plan) of China (No. 2007CB310900)National Natural Science Foundation of China (No. 90612018, 90715030 and 60970008)
文摘This paper is a continuation of our last paper [1] which describes the theory of Virt-BLP model. Based on Virt-BLP model,this paper implements a mandatory access control(MAC) framework applicable to multi-level security(MLS) in Xen. The Virt-BLP model is the theoretical basis of this MAC framework,and this MAC framework is the implementation of Virt-BLP model. Our last paper focuses on Virt-BLP model,while this paper concentrates on the design and implementation of MAC framework. For there is no MAC framework applicable to MLS in virtual machine system at present,our MAC framework fills the blank by applying Virt-BLP model to Xen,which is better than current researches to guarantee the security of communication between virtual machines(VMs) . The experimental results show that our MAC framework is effective to manage the communication between VMs.
基金supported by National Natural Science Foundation of China(No.11172077)Autonomous Space System laboratory(ASSL) of Harbin Institute of Technology
文摘In a low energy moon return mission, due to the weak stability of the orbit, it is necessary to implement an accurate orbital maneuver to guarantee a successful return. During the process of getting the optimal thrust control with these two kinds of methods, it is hard to guess the initial value of the co-states in the indirect method while a large amount of calculation is needed to insure the precision in the direct method. To solve the problem, in this paper a combined method is given which has the merit of both direct and indirect methods. In this method, the virtual satellite method(VSM) and the Gauss pseudo-spectral method(GPM)are applied, while the fuel optimal control strategy is computed with GPM to carry out a soft rendezvous between the spacecraft and a hypothetical virtual satellite running on the nominal low energy return orbit so that the spacecraft will enter the return orbit accurately. Compared with the direct and indirect methods, this combined method can avoid guessing the initial value of the co-states and the complexity of calculation is acceptable. According to the simulation results, the spacecraft is inserted to the target return orbit with a high accuracy and also the optimization is very effective.
