| 智能实验室物理实体的形式化方法 |
| |
| 引用本文： | 廖星星,孙胜利,金钢.智能实验室物理实体的形式化方法[J].吉林大学学报(理学版),2018,56(2):389-394. |
| |
| 作者姓名： | 廖星星 孙胜利 金钢 |
| |
| 作者单位： | 中国科学院 上海技术物理研究所, 红外探测与成像技术重点实验室, 上海 200083 |
| |
| 摘 要： | 通过引入Petri网对可表示静态物理世界W的知识重构与抽象模型进行扩展, 以增强其描述物理实体动态行为的能力. 将改进后的模型运用于智能实验室, 结果表明, 其能满足智能实验室物理实体形式化的要求.
|
| 关 键 词： | 智能实验室 形式化 信息物理系统 知识重构与抽象 Petri网 |
| 收稿时间： | 2016-10-08 |
Formalizing Method of Physical Entities in IntelligentLab |
| |
| LIAO Xingxing,SUN Shengli,JIN Gang.Formalizing Method of Physical Entities in IntelligentLab[J].Journal of Jilin University: Sci Ed,2018,56(2):389-394. |
| |
| Authors: | LIAO Xingxing SUN Shengli JIN Gang |
| |
| Institution: | Key Laboratory of Infrared System Detection and Imaging Technology,Shanghai Institute of Technical Physics, Chinese Academy of Sciences, Shanghai 200083, China |
| |
| 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. |
| |
| Keywords: | Petri net intelligent lab knowledge reformulation and abstraction (KRA) formalizing cyber physical system (CPS) |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《吉林大学学报(理学版)》浏览原始摘要信息 |
| 点击此处可从《吉林大学学报(理学版)》下载免费的PDF全文 |
