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

• 作者: 孙胜利 廖星星 金钢
• 来源期刊: 吉林大学学报（理学版）
• 学科: 工学
• 关键词: 智能实验室 信息物理系统 知识重构与抽象 Petri网 形式化
• 年，卷（期）: 2018,（2）
• 所属期刊栏目: 计算机科学
• 页码范围: 389-394
• 页数: 6页
• 分类号: TP301.2
• 字数: 3335字
• 语种: 中文
• DOI: 10.13413/j.cnki.jdxblxb.2018.02.33

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙胜利	中国科学院上海技术物理研究所红外探测与成像技术重点实验室	79	545	12.0	20.0
2	金钢	中国科学院上海技术物理研究所红外探测与成像技术重点实验室	34	285	10.0	14.0
3	廖星星	中国科学院上海技术物理研究所红外探测与成像技术重点实验室	7	7	1.0	2.0