基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
在分析网络物理系统( CPS)特点的基础上,提出了一种新的CPS体系结构,并对事件进行形式化定义。提出了一种新的CPS物理实体的形式化建模方法。在Petri网的基础上引入时空因素和连续变量,构造了混成时空Petri网( HSPN)模型,使其不仅能够描述物理实体逻辑和时间层次的行为,而且能够描述物理实体位置变迁所引起的状态变化。将其应用于实时事件CPS模型设计,以医疗控制系统为例,分析建模方法的可行性。
推荐文章
基于可能性时空混成自动机的CPS软件建模
CPS
不确定性
可能性时空混成自动机
控制系统
建模
属性验证
描述CPS物理实体的时空Petri网模型
时间Petri网
信息物理融合系统(CPS)
物理实体
空间信息
时空Petri网
基于增广混合Petri网的CPS事件建模
信息物理融合系统
增广混合Petri网
事件驱动
时空属性
条件弧
制造物联网环境下实时事件监控系统优化
制造物联网
RFID事件
复杂事件
隐马尔科夫链
状态转移
过程监控
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 混成时空Petri网的CPS实时事件模型
来源期刊 传感器与微系统 学科 工学
关键词 混成时空Petri网(HSPN) 网络物理系统(CPS) 实时事件模型 体系结构
年,卷(期) 2016,(10) 所属期刊栏目 研究与探讨
研究方向 页码范围 32-35
页数 4页 分类号 TP305
字数 3768字 语种 中文
DOI 10.13873/J.1000-9787(2016)10-0032-04
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 谭朋柳 南昌航空大学软件学院 8 90 2.0 8.0
2 朱明 南昌航空大学软件学院 10 232 4.0 10.0
3 汪亚亚 南昌航空大学软件学院 2 4 2.0 2.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (16)
共引文献  (18)
参考文献  (5)
节点文献
引证文献  (2)
同被引文献  (0)
二级引证文献  (0)
1993(1)
  • 参考文献(0)
  • 二级参考文献(1)
1996(1)
  • 参考文献(0)
  • 二级参考文献(1)
2000(1)
  • 参考文献(0)
  • 二级参考文献(1)
2001(1)
  • 参考文献(0)
  • 二级参考文献(1)
2002(1)
  • 参考文献(0)
  • 二级参考文献(1)
2003(2)
  • 参考文献(0)
  • 二级参考文献(2)
2004(1)
  • 参考文献(0)
  • 二级参考文献(1)
2005(3)
  • 参考文献(1)
  • 二级参考文献(2)
2006(1)
  • 参考文献(0)
  • 二级参考文献(1)
2008(3)
  • 参考文献(0)
  • 二级参考文献(3)
2009(1)
  • 参考文献(1)
  • 二级参考文献(0)
2010(1)
  • 参考文献(0)
  • 二级参考文献(1)
2011(1)
  • 参考文献(1)
  • 二级参考文献(0)
2012(1)
  • 参考文献(1)
  • 二级参考文献(0)
2013(1)
  • 参考文献(0)
  • 二级参考文献(1)
2014(1)
  • 参考文献(1)
  • 二级参考文献(0)
2016(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2017(1)
  • 引证文献(1)
  • 二级引证文献(0)
2018(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
混成时空Petri网(HSPN)
网络物理系统(CPS)
实时事件模型
体系结构
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
传感器与微系统
月刊
1000-9787
23-1537/TN
大16开
哈尔滨市南岗区一曼街29号
14-203
1982
chi
出版文献量(篇)
9750
总下载数(次)
43
论文1v1指导