线性混合系统的一种验证方法

来源 :南京大学学报:自然科学版 | 被引量 : 0次 | 上传用户:heirenmading
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
混合系统是指嵌入于物理环境中数字实时系统,由于计算机技术的快速发展,混合系统在各行各业中都得到广泛应用,但是由于混合系统涉及到连续时间,因此其验证问题始终没有得到完善的解决。近年来,人们普遍采用模型检验方法对混合系统进行验证,由于线性混合系统在实际应用中可以表示大多数的嵌入式实时系统,因此我们着重研究这类混合系统的验证算法。
其他文献
目的探讨并分析锁定钢板治疗老年肱骨近端粉碎性骨折的临床疗效。方法回顾性分析我院骨科收治的因肱骨近端粉碎性骨折入院的患者,记录术中患者的情况,术后功能的恢复、骨折愈合
测量了经过不同时间球磨的Cu15-Al85混合粉末的^27Al核磁共振(NMR)谱,通过分析^27AlNMR谱的特征参量随球磨时间的变化来研究Cu15-Al85混合粉末机构合金化反应的同观过程,样品在球磨过程中发生了真正的合金化反应;用MA法
前言本标准的编写格式参照GB、T1.1—2000(标准化工作导则第1部分:标准的结构和编写规则》。
以汽车设计问题为例,研究如何运用面向目标的需求分析方法以支持系统的早期设计活动.大型复杂系统的求解空间对目前计算机的处理能力来说趋近于无穷大,面向目标的分析方法将
以辐射对流模式和区域气候模式为工具,采用虚拟试验的办法,对我国西北地区3种沙漠改良方案(退沙还草,退沙还田,退沙还林)可能产生的辐射强迫及其区域气候效应进行了数值模拟.
研究血液净化中心维持血液透析患者庚型肝炎病毒(HGV(感染率、影响因素和临床特点。应用反转录聚合酶链反应法(RT-PCR),检测了149例维持血透患者者HGV感染情况。维持血透患者HGV-RNA阳性率为4.7%,与HGV-RNA阴性患者相
构建携带组织金属蛋白酶抑制物TIMP-1基因的逆转录病毒载体,并用于感染胰腺癌SW1990细胞系,观察其侵袭、转移能力的变化。利用常规分子克隆技术,通过对逆转录病毒表达载体PMNSM(F6)质粒的去磷酸化、粘
随着扶贫攻坚任务的持续推进,社会组织已经成为扶贫工作中的重要力量。然而,由于民族地区贫困人口多、分布广、贫困程度深、致贫原因复杂等因素,再加上民族地区社会组织数量有限
就迭代函数系吸引子的逼近问题。论述了几个实用可行的算法,同时用盒子维数的求解思想和分形集逼近的“重点”排除算法求得了6个IFS的分形维数所求精度还是很满意的。盒子维数估计