描述CPS物理实体的时空Petri网模型

来源 :计算机科学与探索 | 被引量 : 0次 | 上传用户：lovetheme1988

【摘要】

：

时间Petri网在经典Petri网的基础上引入了时间因素，不仅能分析逻辑层次的系统性能，还能分析时间层次的系统性能，然而包含空间因素的信息物理融合系统（cyber-physicalsystem，CPS）的

【作者】

：

张茗泰张广泉张侃陈名才封飞

【机构】

：

苏州大学计算机科学与技术学院,中国科学院软件研究所计算机科学国家重点实验室

【出处】

：

计算机科学与探索

【发表日期】

：

2013年4期

【关键词】

：

时间PETRI网信息物理融合系统(CPS) 物理实体空间信息时空Petri网 time Petri net cyber-physical system

【基金项目】

：

The Natural Science Foundation of Jiangsu Province of China under Grant No. Bk2011281（江苏省自然科学基金）, the Research Planof Application Foundation of Soochow under Grant No. SYG201241（苏州市应用基础研究计划）, the Coll

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

时间Petri网在经典Petri网的基础上引入了时间因素，不仅能分析逻辑层次的系统性能，还能分析时间层次的系统性能，然而包含空间因素的信息物理融合系统（cyber-physicalsystem，CPS）的产生需要对时间Petri网进行拓展。CPS集成计算系统和物理系统，不仅能够实时感知物理环境信息，并且能够通过物理实体改变物理环境。对CPS的物理层面特点进行了深入分析，研究了CPS物理实体的属性及其位置变迁过程，提出了一种CPS物理实体的形式化建模方法。在时间Petri网的基础上引入了空间因素，构造了时空

其他文献

服务化软件系统的运行时资源动态分配方法

Web软件是一种典型的基于Internet的软件形态，它自身的特点决定了其运行时的可靠保障以及质量优化都需要系统具有一定的自适应能力。对于服务化的Web软件系统而言，各服务之间的

期刊

自适应Web软件系统动态资源分配服务化self-adaptationWeb software systemdynamic resource prov

基于MapReduce的对象共指消解方法

对象共指消解是语义Web研究中的一个关键问题。虽然目前已有许多不同的对象共指消解方法,但是它们的效率还不能满足实际使用的要求。MapReduce框架具有简单性和较强的计算能

期刊

对象共指消解MAPREDUCE语义WEBobject coreference resolution MapReduce semantic Web

混合存储下的MapReduce启发式多表连接优化

对MapReduce下的多表连接查询进行了研究，发现由于MapReduce框架本身的局限性，造成执行效率较低。针对此问题，提出了MapReduce启发式多表连接优化方法（MapReduce based heuristic

期刊

MAPREDUCE行列混合存储延迟物化多表连接优化MapReducerow-column storagedeferred materialized

喉返神经的解剖显露在甲状腺手术中的价值

目的探讨甲状腺手术喉返神经（RLN）的解剖特点和方法，以减少神经的损伤。方法回顾分析2000年1月-2005年10月256例甲状腺手术的临床资料，常规显露RLN201例（211条），不显露RLN55例，并对

期刊

喉返神经甲状腺切除术甲状腺肿瘤Recurrent laryngeal nerve Thyroidectomy Thyroid tumor

求解近似模式匹配的启发式算法

研究了带有灵活通配符和长度约束的近似模式匹配问题（approximate pattern matching with wildcards and length constraint,APMWL）;为避免文本字符重复使用造成解的指数级增长

期刊

近似匹配通配符长度约束编辑距离矩阵one_off条件approximate pattern matching wildcards length c

集成降采样不平衡数据分类方法研究

对不平衡数据分类问题进行了研究，提出了两种基于采样的不平衡数据分类方法：一种是采用FarthestFirst聚类降采样，另一种是对样本进行带权重的随机抽样，两种方法均获得了较佳的分

期刊

不平衡分类预处理集成学习imbalanced classification preprocessing ensemble learning

鼻腔原发性恶性黑色素瘤1例报告

1病例报告患者，女，54岁，已婚。5个月前出现右侧鼻阻，初呈间歇性、进行性，后为持续性；并多次出现右侧鼻腔出血，开始出血量较少，以后渐次增多，有时出血量达200-500ml。患者自觉鼻部肿胀

期刊

原发性恶性黑色素瘤鼻腔出血淋巴结肿大上颌窦黏膜CT扫描示1%丁卡因HMB45病例报告

非平行ε-带支持向量回归机

提出了一个非平行ε-带支持向量回归机，它通过一对凸二次规划问题确定一个ε-不敏感的上界超平面和一个s．不敏感的下界超平面，从而得到最终的回归函数。每个凸二次规划问题的规

期刊

机器学习支持向量回归机(SVR)双支持向量回归机(TSVR)machine learning support vector regression （SV

面向移动机器人应用的跨平台自适应软件框架

摘要：自适应软件在移动机器人上具有广泛的应用前景，然而要在具有不同软硬件平台的移动机器人上开发自适应软件是一件非常困难的事情．．为了解决这个问题，提出并实现了一个面向移动

期刊

跨平台自适应软件规则模型cross-framework self-adaptive software rule model

名词性数据的五种代价敏感属性约简算法比较

代价敏感学习是数据挖掘研究领域最具有挑战性的问题之一。属性约简是数据挖掘中重要的经典问题。代价敏感属性约简问题是对经典属性约简问题的自然扩展，已经逐渐成为研究的热

期刊

数据挖掘代价敏感属性约简最优因子data miningcost sensitiveattribute reductionoptimal facto

描述CPS物理实体的时空Petri网模型

与本文相关的学术论文