The FIPA specification of MAS (multi-agent system)is accepted by most of the applications of MAS in the world, and has b......

分布仿真实验管理系统摒弃了分布仿真系统传统的手工运行方式,实现了对仿真实验全方位全过程的管理,提高了实验的自动化程度和运行......

统一建模语言（UML）是目前广泛使用的一种面向对象建模语言，其图形化，半形式化的特点，使其缺乏精确的语义描述，模型之间容易出现不一致问......

In common sense reasoning two typical types of defaultsare encountered. One is of the form "All birds can fly except b1,......

分析了典型电力应急预案的内容和结构,提出了基于本体论的应急预案形式化方法,归纳出组织、事件、规则、措施、约束、资源等主要概......