【摘 要】
：
Spatio-Temporal properties are the intrinsic properties of Cyber-Physical System(CPS),the correlation in space and time between computing and physical entit
【机 构】
：
School of Computer Science and Technology,Soochow University,Suzhou 215006,China
【出 处】
：
2014全国理论计算机科学学术年会
论文部分内容阅读
Spatio-Temporal properties are the intrinsic properties of Cyber-Physical System(CPS),the correlation in space and time between computing and physical entities should be fully considered in CPS modeling process in order to guarantee the correctness of system state and behavior.Based on the functional extension of Colored Petri Net(CPN),the formal definition of Open Colored Petri Net(OCPN) is proposed.Then the definition of CPS physical entity and the algorithm to construct the corresponding OCPN model are proposed.This method can effectively describe the position evolution of the physical entity by representing the space information with space tokens.In addition,the interaction between entity and environment is represented by Spatio-Temporal event tokens.Then the modules of CPS physical entities are assembled to the OCPN model of whole application.To show the effectiveness of the approach,an intelligent square system is introduced as a case study.
其他文献
绿叶菜不宜施用硝酸铵小白菜、大白菜、苋菜、芹菜、菠菜等绿叶菜,生长期短,易吸收硝酸态氮肥,会导致蔬菜硝酸盐含量超标。绿叶菜不宜施硝酸铵。叶面不宜喷施纯氮肥绿叶蔬菜
本刊讯(特约通讯员刘春荣)2009年2月22日,浙江省衢州市科技局组织专家对衢州市柑桔研究所和衢州高科农业创新服务有限公司等单位完成的“废弃柑桔果实无害化处理技术研究与推
法式画意照片的特点是具有法国传统油画的味道。画面中体态丰腴、皮肤嫩白的女人,带着一丝恬静而慵懒的神态,让人联想到中世纪法国的艺术浪潮。与其它画意风格相比,法式画意
例1 机型:VCD-751型故障现象:右声道无声,左声道正常分析检修:播放 VCD 碟片时,图像正常,左声道声音正常,但右声道无声,分析故障在音频 D/A 变换器以后的电路中。检查音频 D
莫干山阳光田园引领新一代“生活型”别墅崛起在都市中局促久了,总会向往自然、独立的生活空间,于是很多人心中都或多或少希望拥有属于自己的世外桃源。在城市再宽大的公寓,
It is crucial for synonym substitution-based steganographic algorithms to choose a suitable coding strategy for high embedding capacity.In this paper,three
春季是肛肠病的好发季节。早期肛肠病的治疗比效容易,即使进行手术,痛苦也不很大,治愈率较高。但若不加重视或羞于就诊,便可酿成严重的后果。比如痔疮、肛裂,日久可致气血亏
硫磺、火药,是我国化工、军工、医药、电子工业及农业生产必不可少的宝贵原料.平定出产的硫磺,在山西来说,虽不是最早的,但是,“平定磺”在山西为著名的矿产品.远在明代成化
从证券投资角度看,与2006年的政府工作报告相比,2007年的政府工作报告中经济和社会发展目标更加客观。从报告可以看出,今年总的政策基调依然偏紧,利率和汇率灵活性将增强,而
Air quality is closely related to people’s health.As an aspect of urban computing,air quality prediction is an important issue in air pollutants control an