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 adaptability of rice varieties is one of themost concerned questions to rice breeders.Inrice breeding,combined variety test and re-gional trials which included multiple genotypesand environments were conducted to ...The adaptability of rice varieties is one of themost concerned questions to rice breeders.Inrice breeding,combined variety test and re-gional trials which included multiple genotypesand environments were conducted to identifythe adaptability of new rice varieties.In mostregional trials,interaction between genotypeand environment is significant,so it is impor-tant to analyze the interaction for estimating展开更多
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.展开更多
The creep effect of suspensions in electro-dynamic loudspeakers was modeled based on fractional order derivatives.The fractional standard linear solid(FSLS) model was presented by substituting the Abel dashpot for N...The creep effect of suspensions in electro-dynamic loudspeakers was modeled based on fractional order derivatives.The fractional standard linear solid(FSLS) model was presented by substituting the Abel dashpot for Newton dashpot in Standard Linear Solid(SLS) model.The electrical impedance as well as the transfer function between diaphragm displacement and input voltage of the two tested midrange loudspeakers was measured by Klippel laser analyzer system,and the model parameters were identified by the least-mean-square method.By comparing the fitting results of FSLS model with the other two classical models- 4 Parameter Logarithmic model and SLS model,the results show that the FSLS model can rightly predict the frequency dependent compliance loss factor and yield higher accuracy for modeling the creep effect in loudspeaker suspensions.展开更多
基金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 adaptability of rice varieties is one of themost concerned questions to rice breeders.Inrice breeding,combined variety test and re-gional trials which included multiple genotypesand environments were conducted to identifythe adaptability of new rice varieties.In mostregional trials,interaction between genotypeand environment is significant,so it is impor-tant to analyze the interaction for estimating
文摘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.
文摘The creep effect of suspensions in electro-dynamic loudspeakers was modeled based on fractional order derivatives.The fractional standard linear solid(FSLS) model was presented by substituting the Abel dashpot for Newton dashpot in Standard Linear Solid(SLS) model.The electrical impedance as well as the transfer function between diaphragm displacement and input voltage of the two tested midrange loudspeakers was measured by Klippel laser analyzer system,and the model parameters were identified by the least-mean-square method.By comparing the fitting results of FSLS model with the other two classical models- 4 Parameter Logarithmic model and SLS model,the results show that the FSLS model can rightly predict the frequency dependent compliance loss factor and yield higher accuracy for modeling the creep effect in loudspeaker suspensions.