智能实验室物理实体的形式化方法

摘要：

通过引入Petri网对可表示静态物理世界W的知识重构与抽象模型进行扩展,以增强其描述物理实体动态行为的能力.将改进后的模型运用于智能实验室,结果表明,其能满足智能实验室物理实体形式化的要求.

关键词：智能实验室、信息物理系统、知识重构与抽象、Petri网、形式化

所属期刊栏目：56

分类号：TP301.2(计算技术、计算机技术)

资助基金：中国科学院上海技术物理研究所创新专项基金CX-63

在线出版日期：2018-05-02（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：389-394