Dynamic architecture of multi-agent systems （MAS） is important for critical systems. As the existing formal specifications of MAS cannot describe its dynamic architecture, a formal approach using n-calculus is prese...Dynamic architecture of multi-agent systems （MAS） is important for critical systems. As the existing formal specifications of MAS cannot describe its dynamic architecture, a formal approach using n-calculus is presented, which is suited for the describing and analyzing of concurrent MAS with dynamic topology, n-calculus describes the belief-desireintention （BDI） model that represents agent＇s mental states and provides many useful facilities to analyze MAS model such as deadlock, behavior equivalence, and model checking. To illustrate the favorable representation capability of n-calculus, an example of dynamic multi-agent systems in e-commerce is provided. Finally, by using an existing n-calculus supporting tool, MAS model and some key behaviors properties are analyzed and verified.展开更多
The control strategy is presented using passive and active hybrid magnetically suspended flywheels（P＆A MSFWs）,which can help meet the requirements of high precision and high stability for earth-observation satellit...The control strategy is presented using passive and active hybrid magnetically suspended flywheels（P＆A MSFWs）,which can help meet the requirements of high precision and high stability for earth-observation satellites.Compared with the conventional flywheel,P＆A MSFW has more rotation degrees of freedom（DOFs）since the rotor is suspended by magnetic bearings,and thus requires more efficient controllers.A modified sliding mode control law（SMC）to our novel nonlinear and coupled system is presented,which is interrupted by inertia matrix uncertainties and external disturbances.SMC law via Lyapunov method is improved,and a fuzzy control scheme is used to attenuate the chatting and control attitude accuracy and maintain the robustness of SMC.Simulation results are provided to illustrate the efficiency of our model by using our control law.展开更多
基金Project supported by the National High-Technology Research and Development Program of China(Grant No.8632003AA721070)
文摘Dynamic architecture of multi-agent systems （MAS） is important for critical systems. As the existing formal specifications of MAS cannot describe its dynamic architecture, a formal approach using n-calculus is presented, which is suited for the describing and analyzing of concurrent MAS with dynamic topology, n-calculus describes the belief-desireintention （BDI） model that represents agent＇s mental states and provides many useful facilities to analyze MAS model such as deadlock, behavior equivalence, and model checking. To illustrate the favorable representation capability of n-calculus, an example of dynamic multi-agent systems in e-commerce is provided. Finally, by using an existing n-calculus supporting tool, MAS model and some key behaviors properties are analyzed and verified.
文摘The control strategy is presented using passive and active hybrid magnetically suspended flywheels（P＆A MSFWs）,which can help meet the requirements of high precision and high stability for earth-observation satellites.Compared with the conventional flywheel,P＆A MSFW has more rotation degrees of freedom（DOFs）since the rotor is suspended by magnetic bearings,and thus requires more efficient controllers.A modified sliding mode control law（SMC）to our novel nonlinear and coupled system is presented,which is interrupted by inertia matrix uncertainties and external disturbances.SMC law via Lyapunov method is improved,and a fuzzy control scheme is used to attenuate the chatting and control attitude accuracy and maintain the robustness of SMC.Simulation results are provided to illustrate the efficiency of our model by using our control law.
