吉林大学学报（理学版）2018，Vol.56Issue(2)：389-394,6.DOI:10.13413/j.cnki.jdxblxb.2018.02.33
智能实验室物理实体的形式化方法
Formalizing Method of Physical Entities in Intelligent Lab
摘要
Abstract
By introducing Petri nets,we extended the knowledge reformulation and abstraction model that could represent the static physical world W,in order to enhance its ability to describe the dynamic behavior of physical entities.The improved model was applied to intelligent lab.The results show that the improved moder can meet the formalizing requirements of physical entities in the intelligent lab.关键词
智能实验室/信息物理系统/知识重构与抽象/Petri网/形式化Key words
intelligent lab/cyber-physical system (CPS)/knowledge reformulation and abstraction (KRA)/Petri net/formalizing分类
信息技术与安全科学引用本文复制引用
廖星星,孙胜利,金钢..智能实验室物理实体的形式化方法[J].吉林大学学报（理学版）,2018,56(2):389-394,6.基金项目
中国科学院上海技术物理研究所创新专项基金(批准号:CX-63). （批准号:CX-63）
