论文部分内容阅读
形式化验证技术是验证混合系统能否在给定的环境下安全运行并能达到给定目标状态的一种有效方法 ,其中,混合系统的可达集计算是形式化验证安全性分析的关键步骤。本文首先介绍和研究了基于水平集方法和哈密顿-雅可比方程对混合系统的可达集分析和计算,并通过飞机碰撞系统说明该方法的可行性。
混合系统可达集计算方法研究
【摘 要】
：
形式化验证技术是验证混合系统能否在给定的环境下安全运行并能达到给定目标状态的一种有效方法 ,其中,混合系统的可达集计算是形式化验证安全性分析的关键步骤。本文首先介
【机 构】
：
同济大学软件学院
【出 处】
：
科技传播
【发表日期】
：
2012年22期
其他文献
采用改进的淀粉凝胶电泳测定了湖南地方猪11个种群的T_f 、Pa、Hpx、Po、Cp、Am多态性,统计和计算了基因频率,标准遗传距离及其位点内取样方差,作了聚类分析。揭示了湖南地方
对中卫山羊初生至周岁期间皮肤及毛囊生长发育做了系统研究。结果表明,中卫山羊毛囊群分布具有较高的稳定性,三毛囊群约占80.35％:初级毛囊在半岁前全部发育成熟,而次级毛囊至
介绍了Word2000编辑数学公式与制作几何图形的方法.佑
本文对粒径不同的两种镁超微粉进行了结构，形貌和红外线吸收谱分析，以两种超微粉的红外吸收谱可以看出：红外吸收峰位随着超微粉粒径的增加移向高频。采用静电模型从理论上对实验
知识的创新是技术创新、管理创新、文化创新等一系列创新的基础。本文从知识创新的角度出发,描述了出版社知识转化与创新的4种模式,即隐性知识的社会化、隐性知识的外化、显
作者于１９８９年３月到１９９０年３月对昆明市２８４只家鸡进行了住肉孢子虫流行病学调查，在６只家鸡中检到了住肉孢子虫包囊，自然感染率为２．１％。包囊呈梭形，大小为８６５．５×８２．３μｍ，包囊中充满大小为１４．３×２．９μｍ的梭形缓殖
本文用ＨＲＰ法研究了鸡胃的副交感节前神经元和感觉神经元的定位，结果如下：１．将ＨＲＰ注入腺胃左侧壁后，标记的感觉神经元位于双侧颈静脉神经节和运神经节，以颈静脉神经节占优势（６３．２％）；标记的运动神经
本文将计算机的绘图功能应用到电子线路上,并对小信号放大电路中的一些现象及计算用图形的方式来分析,从而加深对其中一些问题的理解。
作者从所研制的抗产肠毒素性大肠埃希氏菌(ETEC)粘附素K_(88)、K_(99)、987P和F_(41)单克隆抗体(以下简称单抗)44株中的7株,建立了检测以上粘附素抗原的单抗诊断试剂,并确定
房屋建造质量控制过程当中最重要的就是施工阶段的质量管理。房建施工过程当中的质量好坏与否直接关系到了项目的进度以及最终能否通过国家的审批。在完成整个房屋建造的过程