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

吉林大学学报(理学版)

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

廖星星, 孙胜利, 金钢

中国科学院上海技术物理研究所, 红外探测与成像技术重点实验室, 上海 200083

收稿日期:2016-10-08 出版日期:2018-03-26 发布日期:2018-03-27
通讯作者: 孙胜利 E-mail:palm_sun@mail.sitp.ac.cn

Formalizing Method of Physical Entities in Intelligent Lab

LIAO Xingxing, SUN Shengli, JIN Gang

Key Laboratory of Infrared System Detection and Imaging Technology,Shanghai Institute of Technical Physics, Chinese Academy of Sciences, Shanghai 200083, China

Received:2016-10-08 Online:2018-03-26 Published:2018-03-27
Contact: SUN Shengli E-mail:palm_sun@mail.sitp.ac.cn

摘要/Abstract

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

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

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.

Key words: Petri net, intelligent lab, knowledge reformulation and abstraction (KRA), formalizing, cyberphysical system (CPS)

中图分类号:

TP301.2

廖星星, 孙胜利, 金钢. 智能实验室物理实体的形式化方法[J]. 吉林大学学报(理学版), 2018, 56(2): 389-394.

LIAO Xingxing, SUN Shengli, JIN Gang. Formalizing Method of Physical Entities in Intelligent Lab[J]. Journal of Jilin University Science Edition, 2018, 56(2): 389-394.

[1]	姜雪, 崔凯. 一类多元Hermite型插值的离散化问题[J]. 吉林大学学报(理学版), 2021, 59(5): 1117-1123.
[2]	吉世禹, 孙茹, 冯琳, 孙天霞, 闫茹月, 赵雨, 连文慧. 尖孢镰刀菌对人参皂苷的动态响应机制[J]. 吉林大学学报(理学版), 2021, 59(5): 1288-1293.
[3]	张永平, 魏竹, 张庆成. Hom-LPNG代数的相关性质[J]. 吉林大学学报(理学版), 2021, 59(4): 777-782.
[4]	宋相伟 , 窦馨月, 沙悦, 罗锐, 王雪丽. Exendin-4螺旋结构对生物活性及稳定性的影响[J]. 吉林大学学报(理学版), 2021, 59(4): 988-992.
[5]	周琳, 马俊锋, 付学奇. 薄荷提取物对提高秀丽线虫应激抵抗能力的影响[J]. 吉林大学学报(理学版), 2021, 59(3): 703-712.
[6]	徐中轩, 陈雪婷, 徐仕菲, 胡邦平. 基于半刚性对映配体的螺旋单一手性配位聚合物[J]. 吉林大学学报(理学版), 2021, 59(2): 415-420.
[7]	刘晓静, 张晓茹, 任明丽, 潘庆, 杨涪铨, 刘晗, 孟祥东, 郭义庆. 二维函数光子晶体波导带隙和电场分布的调制[J]. 吉林大学学报(理学版), 2021, 59(1): 148-155.
[8]	何坤, 谢忠雷, 高传宇, 靳前, 王国平. 两种干燥方式对土壤中多环芳烃回收率及同分异构体比值的影响[J]. 吉林大学学报(理学版), 2021, 59(1): 175-182.
[9]	赵珈玉, 陆冬梅. NSD序列部分和乘积的渐近分布[J]. 吉林大学学报(理学版), 2020, 58(6): 1339-1344.
[10]	史伟伟, 王长佳, 高艳超. 一类非Newton微极流体方程组强解的存在唯一性 [J]. 吉林大学学报(理学版), 2020, 58(3): 463-469.
[11]	陈文龙, 张阳阳, 张生英, 邢小勇, 胡永浩. 牛病毒性腹泻病毒E2蛋白的克隆、表达及多克隆抗体制备[J]. 吉林大学学报(理学版), 2020, 58(3): 711-717.
[12]	温长吉, 赵珊珊, 申利未, 任虹宾. 基于局部时空模式的体育视频行为识别[J]. 吉林大学学报(理学版), 2020, 58(2): 379-387.
[13]	李红娜, 薛鹏, 田莲花. Li₆(La₂Ca)Nb₂O_12荧光粉中掺杂Mn⁴⁺的发光特性[J]. 吉林大学学报(理学版), 2020, 58(2): 410-414.
[14]	吴涛, 赵彬. 区间值模糊集中蕴涵算子基于重叠和分组函数的分配性[J]. 吉林大学学报(理学版), 2019, 57(5): 1014-1022.
[15]	徐建中, 汪维刚, 莫嘉琪. 一类大气物理扰动Lorenz系统的渐近解[J]. 吉林大学学报(理学版), 2019, 57(5): 1041-1046.