【摘 要】
：
在分析网络物理系统（CPS）特点的基础上,提出了一种新的CPS体系结构,并对事件进行形式化定义。提出了一种新的CPS物理实体的形式化建模方法。在Petri网的基础上引入时空因素和连
【基金项目】
：
国家自然科学基金资助项目(61364023);航空基金资助项目(2013ZD56008);江西省教育厅科技项目(GJJ13516)
论文部分内容阅读
在分析网络物理系统（CPS）特点的基础上,提出了一种新的CPS体系结构,并对事件进行形式化定义。提出了一种新的CPS物理实体的形式化建模方法。在Petri网的基础上引入时空因素和连续变量,构造了混成时空Petri网（HSPN）模型,使其不仅能够描述物理实体逻辑和时间层次的行为,而且能够描述物理实体位置变迁所引起的状态变化。将其应用于实时事件CPS模型设计,以医疗控制系统为例,分析建模方法的可行性。
其他文献
门诊部是医院面向社会、病人，直接为社会人群进行医疗和保健的场所，是全天候对外开放的窗口，门诊护理质量的高低直接影响着医院的声誉。急诊更是如此，急诊医学是医学领域中一门新
目前，肾病综合征主要采用激素疗法，且大多数学者主张“首始剂量要足，减量要慢，维持时间要长”。为了最大限度地减少激素的不良反应，提高疗效，延迟或减少复发。笔者使用自拟女贞早莲
算法是数学及其应用的重要属性，也是计算机科学的基础。在信息时代里，算法思想已成为我们必备的一种数学素养。
工作满意度是教师顺利教学、踏实工作重要的影响因素之一,对教师日常工作影响较大。本文就教师工作满意度进行进一步探究,首先要理解其内涵,其次要对其研究现状进行分析,最后
作为素质教育的有机组成部分，音乐教育的地位已经逐步得到了确立，但近几年来，在市场经济体制的强烈冲击下，功利主义教育思想支配着音乐鉴赏教学，致使音乐鉴赏教学出现了许多问题，这
目的分析CT用于小儿先天性髋关节脱位诊断中的临床价值。方法选择医院2014年7月至2016年7月收治的小儿先天性髋关节脱位患儿30例,均给予CT扫描诊断,测量出股骨颈前倾角（FNA）和
采用销加载拉伸（PLT）方法和直流电压降法（DCPD）测试技术,测量了690合金管在室温和高温325℃空气中的疲劳裂纹扩展速率。结果采用Priddle模型拟合分析,预测得到了690合金管在室温
近年来民航信息化程度逐年提高,民航业务已经大量涉及到“互联网+”范围。但是目前民航信息系统内还没有一套完整的主数据管理体系。因为各子系统数据都有着自己的命名规则与
随着西部大开发战略实施和国家对口支援新疆工作的力度加大,新疆社会经济得到高速发展,整体就业水平显著提高,就业结构和就业环境有了明显的改善。但是与此同时,少数民族就业