A West Kentucky mine operation in No. 11 seam encountered floor heave, due to the localized increase in the thickness of the fireclay mine floor. Floor heave has overridden seals installed in two mined out panels. The...A West Kentucky mine operation in No. 11 seam encountered floor heave, due to the localized increase in the thickness of the fireclay mine floor. Floor heave has overridden seals installed in two mined out panels. The third seal's location was planned for isolating that area from the Mains. A plan of support has been developed to prevent repetition of the floor heave and related problems outby the seals. The applied ground control measures were successful. An attempt of a 3D numerical modeling was made; thus, it would match the observed behavior of the mine floor and could be used as a design tool in similar conditions. The paper describes sequence of events, an applied mitigation ground control system, and the first stage of numerical modeling.展开更多
At present,there are few security models which control the communication between virtual machines (VMs).Moreover,these models are not applicable to multi-level security (MLS).In order to implement mandatory access con...At present,there are few security models which control the communication between virtual machines (VMs).Moreover,these models are not applicable to multi-level security (MLS).In order to implement mandatory access control (MAC) and MLS in virtual machine system,this paper designs Virt-BLP model,which is based on BLP model.For the distinction between virtual machine system and non-virtualized system,we build elements and security axioms of Virt-BLP model by modifying those of BLP.Moreover,comparing with BLP,the number of state transition rules of Virt-BLP is reduced accordingly and some rules can only be enforced by trusted subject.As a result,Virt-BLP model supports MAC and partial discretionary access control (DAC),well satisfying the requirement of MLS in virtual machine system.As space is limited,the implementation of our MAC framework will be shown in a continuation.展开更多
To provide a simulation system platform for designing and debugging a small autonomous underwater vehicle＇s （AUV） motion controller, a six-degree of freedom （6-DOF） dynamic model for AUV controlled by thruster an...To provide a simulation system platform for designing and debugging a small autonomous underwater vehicle＇s （AUV） motion controller, a six-degree of freedom （6-DOF） dynamic model for AUV controlled by thruster and fins with appendages is examined. Based on the dynamic model, a simulation system for the AUV＇s motion is established. The different kinds of typical motions are simulated to analyze the motion performance and the maneuverability of the AUV. In order to evaluate the influences of appendages on the motion performance of the AUV, simulations of the AUV with and without appendages are performed and compared. The results demonstrate the AUV has good maneuverability with and without appendages.展开更多
文摘A West Kentucky mine operation in No. 11 seam encountered floor heave, due to the localized increase in the thickness of the fireclay mine floor. Floor heave has overridden seals installed in two mined out panels. The third seal's location was planned for isolating that area from the Mains. A plan of support has been developed to prevent repetition of the floor heave and related problems outby the seals. The applied ground control measures were successful. An attempt of a 3D numerical modeling was made; thus, it would match the observed behavior of the mine floor and could be used as a design tool in similar conditions. The paper describes sequence of events, an applied mitigation ground control system, and the first stage of numerical modeling.
基金Acknowledgements This work was supported by National Key Basic Research and Development Plan （973 Plan） of China （No. 2007CB310900） and National Natural Science Foundation of China （No. 90612018, 90715030 and 60970008）.
文摘At present,there are few security models which control the communication between virtual machines (VMs).Moreover,these models are not applicable to multi-level security (MLS).In order to implement mandatory access control (MAC) and MLS in virtual machine system,this paper designs Virt-BLP model,which is based on BLP model.For the distinction between virtual machine system and non-virtualized system,we build elements and security axioms of Virt-BLP model by modifying those of BLP.Moreover,comparing with BLP,the number of state transition rules of Virt-BLP is reduced accordingly and some rules can only be enforced by trusted subject.As a result,Virt-BLP model supports MAC and partial discretionary access control (DAC),well satisfying the requirement of MLS in virtual machine system.As space is limited,the implementation of our MAC framework will be shown in a continuation.
基金Supported by the National Natural Science Foundation of China under Grant No.50909025
文摘To provide a simulation system platform for designing and debugging a small autonomous underwater vehicle＇s （AUV） motion controller, a six-degree of freedom （6-DOF） dynamic model for AUV controlled by thruster and fins with appendages is examined. Based on the dynamic model, a simulation system for the AUV＇s motion is established. The different kinds of typical motions are simulated to analyze the motion performance and the maneuverability of the AUV. In order to evaluate the influences of appendages on the motion performance of the AUV, simulations of the AUV with and without appendages are performed and compared. The results demonstrate the AUV has good maneuverability with and without appendages.
