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.展开更多
An aircraft tractor plays a significant role as a kind of important marine transport and support equipment. It＇s necessary to study its controlling and manoeuvring stability to improve operation efficiency. A virtual...An aircraft tractor plays a significant role as a kind of important marine transport and support equipment. It＇s necessary to study its controlling and manoeuvring stability to improve operation efficiency. A virtual prototyping model of the tractor-aircraft system based on Lagrange＇s equation of the first kind with Lagrange mutipliers was established in this paper, According to the towing characteristics, a path-tracking controller using fuzzy logic theory was designed. Direction control herein was carried out through a compensatory tracking approach. Interactive co-simulation was performed to validate the path-tracking behavior in closed-loop, Simulation results indicated that the tractor followed the reference courses precisely on a flat ground.展开更多
In order to obtain the primary parameters and operating characteristics of a DC motor without directly measuring its torque and rational speed, it is proposed to use a PC and a data acquisition card to acquire both th...In order to obtain the primary parameters and operating characteristics of a DC motor without directly measuring its torque and rational speed, it is proposed to use a PC and a data acquisition card to acquire both the dynamic and static data of armature current to establish the performance of a DC permanent magnet motor. The accuracy and validity of this virtual test system proposed were verified by comparing the measurements made with the system proposed with the measurements made with conventional torque meters. It is concluded from the results of comparison that from the mathematic model established for the DC permant magnet motors, both major parameters and operating characteristics can be directly established for the DC motors without measuring their torques and rotational speed, a perfect on line measurement and test system has been established for the DC permanent magnet motors using the theory of virtual test system. The system proposed features shorter test time, higher efficiency and lower cost.展开更多
The linear multi-baseline stereo system introduced by the CMU-RI group has been proven to be a very effective and robust stereovision system. However, most traditional stereo rectification algorithms are all designed ...The linear multi-baseline stereo system introduced by the CMU-RI group has been proven to be a very effective and robust stereovision system. However, most traditional stereo rectification algorithms are all designed for binocular stereovision system, and so, cannot be applied to a linear multi-baseline system. This paper presents a simple and intuitional method that can simultaneously rectify all the cameras in a linear multi-baseline system. Instead of using the general 8-parameter homography transform, a two-step virtual rotation method is applied for rectification, which results in a more specific transform that has only 3 parameters, and more stability. Experimental results for real stereo images showed the presented method is efficient.展开更多
Worldwide the introduction of dispersed generators （DG） in the distribution network is assuming a significant importance. There is an increasing relevance of the energy process efficiency improvement; as for electri...Worldwide the introduction of dispersed generators （DG） in the distribution network is assuming a significant importance. There is an increasing relevance of the energy process efficiency improvement; as for electric power systems, the most interesting perspective concerns the capability of the system to increase the exploitation of the renewable resources. The integration of DGs in the electric distribution network requires a revision of this infrastructure, so far designed and developed assuming that power flows in one direction： from the high voltage transmission network to the medium voltage distribution, to reach final customers on the low voltage network. The attention to an efficient operation of distribution networks is increasing all over the world; this interest is becoming higher and higher also in Italy, where the high energy prices push in the direction of fostering efficiency as much as possible. This work describes a study developed in the AlpEnergy project framework： an International Cooperation Program aimed at introducing an efficient operational model for the distributed production and consumption. In particular it is proposed a new model for the integration and the management of the DG in the distribution network. The new model （defined VPS： Virtual Power System） is based on a communication channel between the active users （generators）, the loads and, eventually, the Distribution System Operators （DSOs）.展开更多
基金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.
基金Harbin Technological Innovation Research Fund(NO:2012RFXXG039)
文摘An aircraft tractor plays a significant role as a kind of important marine transport and support equipment. It＇s necessary to study its controlling and manoeuvring stability to improve operation efficiency. A virtual prototyping model of the tractor-aircraft system based on Lagrange＇s equation of the first kind with Lagrange mutipliers was established in this paper, According to the towing characteristics, a path-tracking controller using fuzzy logic theory was designed. Direction control herein was carried out through a compensatory tracking approach. Interactive co-simulation was performed to validate the path-tracking behavior in closed-loop, Simulation results indicated that the tractor followed the reference courses precisely on a flat ground.
文摘In order to obtain the primary parameters and operating characteristics of a DC motor without directly measuring its torque and rational speed, it is proposed to use a PC and a data acquisition card to acquire both the dynamic and static data of armature current to establish the performance of a DC permanent magnet motor. The accuracy and validity of this virtual test system proposed were verified by comparing the measurements made with the system proposed with the measurements made with conventional torque meters. It is concluded from the results of comparison that from the mathematic model established for the DC permant magnet motors, both major parameters and operating characteristics can be directly established for the DC motors without measuring their torques and rotational speed, a perfect on line measurement and test system has been established for the DC permanent magnet motors using the theory of virtual test system. The system proposed features shorter test time, higher efficiency and lower cost.
文摘The linear multi-baseline stereo system introduced by the CMU-RI group has been proven to be a very effective and robust stereovision system. However, most traditional stereo rectification algorithms are all designed for binocular stereovision system, and so, cannot be applied to a linear multi-baseline system. This paper presents a simple and intuitional method that can simultaneously rectify all the cameras in a linear multi-baseline system. Instead of using the general 8-parameter homography transform, a two-step virtual rotation method is applied for rectification, which results in a more specific transform that has only 3 parameters, and more stability. Experimental results for real stereo images showed the presented method is efficient.
文摘Worldwide the introduction of dispersed generators （DG） in the distribution network is assuming a significant importance. There is an increasing relevance of the energy process efficiency improvement; as for electric power systems, the most interesting perspective concerns the capability of the system to increase the exploitation of the renewable resources. The integration of DGs in the electric distribution network requires a revision of this infrastructure, so far designed and developed assuming that power flows in one direction： from the high voltage transmission network to the medium voltage distribution, to reach final customers on the low voltage network. The attention to an efficient operation of distribution networks is increasing all over the world; this interest is becoming higher and higher also in Italy, where the high energy prices push in the direction of fostering efficiency as much as possible. This work describes a study developed in the AlpEnergy project framework： an International Cooperation Program aimed at introducing an efficient operational model for the distributed production and consumption. In particular it is proposed a new model for the integration and the management of the DG in the distribution network. The new model （defined VPS： Virtual Power System） is based on a communication channel between the active users （generators）, the loads and, eventually, the Distribution System Operators （DSOs）.
