【摘 要】
：
栅栏函数在连续系统验证方面有着广泛的应用,其主要想法在于：在可达集和非安全集之间寻找一个栅栏,从初始区域出发的路径不会越过这个栅栏,而非安全区域在栅栏的另外一端.这样
论文部分内容阅读
栅栏函数在连续系统验证方面有着广泛的应用,其主要想法在于：在可达集和非安全集之间寻找一个栅栏,从初始区域出发的路径不会越过这个栅栏,而非安全区域在栅栏的另外一端.这样,就可以通过寻找栅栏函数来验证一个系统的安全性.近年来,已有一些工作讨论连续系统在无界时间情况下的栅栏函数生成.但是对于有些系统,人们可能只关心其在有界时间内的安全性.因为在无界时间内不安全并不能说明在给定时间内也是不安全的,所以对于这类问题,无界时间栅栏函数方法并不适用.受无界时间栅栏函数方法的启发,针对有界时间的情况,给出有界时间栅栏函数
其他文献
知识经济时代竞争的根本是人才,而人才的培养有赖于教育。体育作为教育的重要组成部分,有着其它教育方式不可替代的作用。素质拓展活动的新颖性、创新性及其与体育教学的相容
在技校装配钳工专业技能训练中，要制订符合实际的生产实习计划，要拥有一支“双师型”的教师队伍，要开发一套较为完善的考核试题，才能提高实习教学效果。
形式化方法有助于从根本上提高软件系统的质量与可靠性,但其开发成本往往过于高昂.一种折衷的办法是在软件系统中选取关键性部件进行形式化开发,但目前尚无非常有效的定量选
针对稀疏子空间聚类和最小二乘回归子空间聚类求得的表示系数存在类内过于稀疏和类间过于稠密的问题,利用l_2范数,提出一种基于欧氏距离的且具有组效应的加权低秩子空间聚类
结合Ｑ２．２Ｓ空调用活塞式制冷压缩机的研制，建立了将工质作为实际气体，考虑汽缸热交换以及含有封闭壳换热等影响因素的空调用全封闭压缩机工作过程的数学模型，并对其进行了数值求解，其计
产学研结合是办好高职教育的必由之路．楼宇智能化专业只有走产学研相结合之路，方能显出特色。产业与教学的结合涉及两个方面．一是产业推进教学，二是教学服务于产业。因此，楼宇智能
提出一种建立在修正理论t-z曲线基础上的单桩非线性分析方法,它能够合理地预测竖向荷载作用下单桩的荷载—沉降特性。本方法的计算结果与弹性理论法和其它非线性分析法的结果
对近年来发展较快的水处理混凝投药控制技术加以分类评述，指出混凝投药串级控制效果优良，有应用发展前途。