排序方式： 共有6条查询结果，搜索用时 15 毫秒
1
1.
结合西安交通大学自动化实验中心的建设情况,从实验教学理念、实验室运作与管理机制、创新性实验环节设计、校企联合实验室建设等方面,探讨了研究型大学自动化专业实验室的建设思路。 相似文献
2.
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π-calculus is presented,which is suited for the describing and analyzing of concurrent MAS with dynamic topology,π-calculus describes the belief-desire- intention(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π-calculus,an example of dynamic multi-agent systems in e-commerce is provided.Finally,by using an existingπ-calculus supporting tool, MAS model and some key behaviors properties are analyzed and verified. 相似文献
3.
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. 相似文献
4.
1 Introduction Identification of an unknown systemfrom availabledata is i mportant in many fields . There are severalmodels representing systems that are dominated bynonlinear characteristics . NARMAX model provides aunified and si mple representation for a wide class ofdiscrete-ti me nonlinear stochastic systems , proposedby Leontaritis ,et al.[1]System identification usingNARMAX model consists of two stages : model struc-ture determination and parameter esti mation proce-dure . The ide… 相似文献
5.
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 π-calculus is presented, which is suited for the describing and analyzing of concurrent MAS with dynamic topology. π-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 π-calculus, an example of dynamic multi-agent systems in e-commerce is provided. Finally, by using an existing π-calculus supporting tool,MAS model and some key behaviors properties are analyzed and verified. 相似文献
6.
A new approach is proposed to improve the general identification algorithm of multidimensional systems using wavelet networks. The general algorithm involves mapping vector input into its norm to avoid problem of dimensionality in construction multidimensional wavelet basis functions. Thus, the basis functions are spherically symmetric without direction selectivity. In order to restore the direction selectivity, the improved approach weights the input variables before mapping it into a scalar form. The weights can be obtained using universal optimization algorithms. Generally, only local optimal weights are obtained. Even so, performance of identification can be improved. 相似文献
1