【摘 要】
：
混成系统是一类同时具有离散和连续行为的复杂系统,被广泛应用于控制系统建模.针对其安全性需求,对不安全状态进行有界可达性验证,是保障系统安全的重要手段.然而,当前技术所能处理的问题规模和现实生活里的实际需要尚有一定的距离.特别是组合混成系统由于涉及到各个组件间的协作与同步,组合状态空间快速爆炸,对其进行验证具有极高的复杂性.为控制问题的复杂度,一种面向路径的可达性分析方法在前期工作中被提出用来对组合
论文部分内容阅读
混成系统是一类同时具有离散和连续行为的复杂系统,被广泛应用于控制系统建模.针对其安全性需求,对不安全状态进行有界可达性验证,是保障系统安全的重要手段.然而,当前技术所能处理的问题规模和现实生活里的实际需要尚有一定的距离.特别是组合混成系统由于涉及到各个组件间的协作与同步,组合状态空间快速爆炸,对其进行验证具有极高的复杂性.为控制问题的复杂度,一种面向路径的可达性分析方法在前期工作中被提出用来对组合线性混成系统进行有界可达性分析.该方法通过依次枚举潜在路径并进行验证的方式,有效地提升了所能处理的问题规
其他文献
借助红外摄像和图像分析技术,并结合非等温结晶动力学模型理论分析,系统研究了微量低温保护剂溶液在液氮表面的Leidenfrost效应及其影响因素.研究结果表明:微水滴的相变温度最高(约273K),最大结晶度变化率达到3×10~(-2),最大运动速度值为100~130mm/s,但其Leidenfrost时间最短;随着低温保护剂浓度的增大,其相变温度降低(20%和50%甘油分别约为250和225K),结
Petri网和自动机是离散事件动态系统建模的两种重要方法,研究这两种模型之间的关系,对于更好地理解和控制离散事件动态系统的行为具有重要作用.本文从形式语言的角度对该问题进行了研究,提出了判定无标注L型Petri网语言属性的方法,引入有效递增子和线性子等概念来刻画Petri网语言的性质.对于一个Petri网PN,当PN没有有效递增子时,PN对应的Petri网语言是正则语言.当PN的某个有效递增子有两
全面总结采选冶废弃物绿色高值化利用课题组十几年来利用包头白云鄂博尾矿、包钢炉渣与电厂粉煤灰等工业废弃物为主要原料制作特种辉石基玻璃陶瓷的研发结果,给出了该材料制备工艺及产品性能的详细报告.通过研究铁、镧铈复合稀土氧化物及氧化铌的作用机理,发现了许多重要现象,探讨了以成分乱杂废弃物为原料制作兼具高硬度、高强度、高耐磨性、高耐酸碱腐蚀的有巨大应用前景的玻璃陶瓷材料的原因.结果可为矿冶废弃物的高值化利用
移动操作系统是移动智能终端的管理控制中心,其重要性不言而喻。移动操作系统的开放性不仅促进了移动应用生态链的繁荣发展,同时不可避免地带来大量安全隐患。传统安全模式和机制已远不能适应当前移动操作系统发展。现代移动操作系统必须在加强自身安全能力基础上,结合产业界各方面力量,才可能构建安全可靠移动操作系统。本文在介绍移动操作系统工作机制的基础上,全面分析移动操作系统安全机制,最后介绍主要测试验证手段和方法
一、量子图像处理随着多媒体技术、信息存储技术和网络技术的发展,数字图像已成为人们获取信息的主要手段之一。网络上传输的数字图像可能涉及军事秘密、商业秘密或个人隐私,那么如何保护这些图像的安全、防止信息泄露,早已成为人们普遍关注的问题。量子图像加密技术的出现,能很好地
本文提出了一种鲁棒的三维点云骨架提取的方法.首先利用一种局部Laplace方法对三维点云进行收缩,然后对收缩之后的部分点云进行主成分分析,提取局部点云骨架.对已提取骨架的局部点云进行固定,并将无法满足当前PCA(principal component analysis)半径条件的点云继续执行收缩.迭代执行收缩和局部骨架提取操作,直到所有点云满足给定的终止条件,并得到一个完整的点云骨架.最后,通过对
三峡工程混凝土重力坝左岸1~5#坝段深层抗滑稳定是三峡工程水工设计关键技术难题之一.其中节理在主滑方向的连通率是确定强度指标的决定性因素.本文作者研究团队通过现场实测的近2000条节理产状几何参数和相应网络模拟技术,获得了在主滑方向的连通率为70%左右的结论;证明了上限解(即Sarma法)和规范规定的"等K法"的等效性,从而将双滑面模式扩展为更具广泛实用意义的折线型滑面的二维抗滑稳定分析方法;同时
为深入了解高扬程工况旋涡泵内部流体的流动机理,获得进出口结构参数变化对旋涡泵性能的影响规律,建立了固定流道的旋涡泵三维流动模型,借助ANSYS FLUENT研究了旋涡泵进出口几何参数变化的基本特征,对比分析旋涡泵内部流场、场程等随几何参数的变化规律.选取典型的闭式双支撑结构旋涡泵的流动区域建立模型,研究不同进出口结构的旋涡泵内部压力场和速度场的分布情况,提出了在固定流道结构下进出口参数对旋涡泵效率
长安大学城梦想小镇位于西安市国际科教创新之城长安区大学城核心区域,西临西沣路,北临香积大道,南临南横线,占地3.6平方公里,投资300亿,建筑规模200万平方米。小镇依托于西安电子科技大学等周边37所大学,汇聚大学城丰富的高校科教资源,选取优势学科,建立多个优势方面的高校产学研平台,形成西安科技成果聚集、人才聚集、资本聚集的创新创业高地。全球最大的高校产学研平台聚集区一带一路科技成果创新转化高地小