切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
混合系统可达集计算方法研究
混合系统可达集计算方法研究
来源 :科技传播 | 被引量 : 0次 | 上传用户:na2222222
【摘 要】
:
形式化验证技术是验证混合系统能否在给定的环境下安全运行并能达到给定目标状态的一种有效方法 ,其中,混合系统的可达集计算是形式化验证安全性分析的关键步骤。本文首先介
【作 者】
:
陈文
【机 构】
:
同济大学软件学院
【出 处】
:
科技传播
【发表日期】
:
2012年22期
【关键词】
:
混合系统
形式化验证
HAMILTON-JACOBI方程
水平集方法
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
形式化验证技术是验证混合系统能否在给定的环境下安全运行并能达到给定目标状态的一种有效方法 ,其中,混合系统的可达集计算是形式化验证安全性分析的关键步骤。本文首先介绍和研究了基于水平集方法和哈密顿-雅可比方程对混合系统的可达集分析和计算,并通过飞机碰撞系统说明该方法的可行性。
其他文献
湖南地方猪种群亲缘关系的生化遗传学研究
采用改进的淀粉凝胶电泳测定了湖南地方猪11个种群的T_f 、Pa、Hpx、Po、Cp、Am多态性,统计和计算了基因频率,标准遗传距离及其位点内取样方差,作了聚类分析。揭示了湖南地方
期刊
亲缘关系
蛋白
多态性
猪
遗传
Blood relationship
Genetic distance
Protein polymorphism
中卫山羊皮肤毛囊生长发育规律
对中卫山羊初生至周岁期间皮肤及毛囊生长发育做了系统研究。结果表明,中卫山羊毛囊群分布具有较高的稳定性,三毛囊群约占80.35%:初级毛囊在半岁前全部发育成熟,而次级毛囊至
期刊
山羊
皮肤
毛囊
生长
发育
Zhong wei goats
Primary follicle
Secondary follicle
Skin thick
Word2000在数学文(图)档编辑中的应用
介绍了Word2000编辑数学公式与制作几何图形的方法.佑
期刊
WORD2000
数学文档
数学图形
编辑
Word2000
mathematics terms
mathematics figure
金属镁超微粉的红外吸收模
本文对粒径不同的两种镁超微粉进行了结构,形貌和红外线吸收谱分析,以两种超微粉的红外吸收谱可以看出:红外吸收峰位随着超微粉粒径的增加移向高频。采用静电模型从理论上对实验
期刊
表面模
红外吸收
金属
镁粉
超微粉
创建知识创新型出版社
知识的创新是技术创新、管理创新、文化创新等一系列创新的基础。本文从知识创新的角度出发,描述了出版社知识转化与创新的4种模式,即隐性知识的社会化、隐性知识的外化、显
期刊
知识创新
出版社
学习型企业文化
家鸡住肉孢子虫调查及实验感染研究
作者于1989年3月到1990年3月对昆明市284只家鸡进行了住肉孢子虫流行病学调查,在6只家鸡中检到了住肉孢子虫包囊,自然感染率为2.1%。包囊呈梭形,大小为865.5×82.3μm,包囊中充满大小为14.3×2.9μm的梭形缓殖
期刊
住肉孢子虫
家鸡
实验感染
鸡病
Sarcocystis
Experimental transmission
Chicken
鸡胃的副交感节前神经元和感觉神经元的定位——HRP法研究
本文用HRP法研究了鸡胃的副交感节前神经元和感觉神经元的定位,结果如下:1.将HRP注入腺胃左侧壁后,标记的感觉神经元位于双侧颈静脉神经节和运神经节,以颈静脉神经节占优势(63.2%);标记的运动神经
期刊
鸡
胃
神经元
辣根
过氧化物酶
Chicken
HRP
Innervation of the stomach
利用BASIC处理小信号放大电路问题
本文将计算机的绘图功能应用到电子线路上,并对小信号放大电路中的一些现象及计算用图形的方式来分析,从而加深对其中一些问题的理解。
期刊
BASIC
小信号放大电路
等效电路
电压增益
频率特性
抗大肠埃希氏菌粘附素单克隆抗体诊断试剂的研制及其现场初步应用
作者从所研制的抗产肠毒素性大肠埃希氏菌(ETEC)粘附素K_(88)、K_(99)、987P和F_(41)单克隆抗体(以下简称单抗)44株中的7株,建立了检测以上粘附素抗原的单抗诊断试剂,并确定
期刊
大肠埃希氏菌
粘附素
单克隆抗体
Escherichia coli
Adhesins
Monoclonal antibodies
Diagnstic re
论房建施工阶段质量管理探讨
房屋建造质量控制过程当中最重要的就是施工阶段的质量管理。房建施工过程当中的质量好坏与否直接关系到了项目的进度以及最终能否通过国家的审批。在完成整个房屋建造的过程
期刊
房建施工
质量管理
策略
成本管理
与本文相关的学术论文