【摘 要】
：
由于信息物理融合系统(CPS)的硬件集成度和软件参与度不断提高,大量软件与硬件间异构连通并相互控制,使得CPS的分析设计、建模与验证也愈加困难,由此引起模型的状态空间膨胀
论文部分内容阅读
由于信息物理融合系统(CPS)的硬件集成度和软件参与度不断提高,大量软件与硬件间异构连通并相互控制,使得CPS的分析设计、建模与验证也愈加困难,由此引起模型的状态空间膨胀问题。提出利用带标记混合Petri网方法对CPS进行建模和验证研究,在CPS中采用模型检测和定理证明相结合的形式化方法,对试图解决系统验证时状态空间膨胀问题供理论依据。提出一种自动抽取及其简化模型的方法,在容错温度传感器系统中的初步实验结果表明该方法是可行的,通过一个实例原型的应用说明了该方法的有效性。
其他文献
对控制循环炉快速减负荷(Run Back)策略进行了具体分析,并针对Run Back过程中可能出现的降负荷方式,汽包水位控制,主、再热汽温控制等问题,提出了具体可行的操作办法.
本文介绍了青岛市崂山区三年来在高中生物学课程改革中，以人教版普通高中课程标准实验教科书为载体，在重视课程的人文价值、加强学生人文素质培养方面所进行的探究与思考。
目的 构建survivin靶向siRNA重组表达载体，研究其对人大肠癌细胞生长的抑制作用。方法构建Stirvivin靶向siRNA并转染结肠癌细胞，通过RT-PCR和Westernblot方法检测survivin的表
为了提高微电网监测系统的信息化程度,有效降低远程监测成本,利用通用分组无线业务(GPRS)通信和物联网传感器技术,结合Android手机开发设计了风/光/储混合微电网运行状态远程
1997～1999年我院对济南市妇教所收教人员进行了性传播疾病查治,分析报告如下. 资料来源所有病例均为济南市妇教所收教人员,1997年165人,1998年96人,1999年111人,共372人,其中
目的:研究降钙素基因相关肽、P物质、血管活性肠肽、神经肽Y、生长抑素在正常头皮中的分布情况.方法:选用特异性抗体,用免疫组化的方法检测了10例正常头皮标本中五种神经肽的
为了实现802.15.4a无线传感器网络中的目标定位,提出了一种新的基于多径距离和神经网络的目标定位检测算法。首先通过目标出现时对多径效应的影响估计出到达时间差,从而计算