排序方式: 共有41条查询结果,搜索用时 15 毫秒
1.
根据安全性测试的需求,建立了检测软件内部安全逻辑故障的故障模型,提出了故障模型动态生成算法及基于故障覆盖的安全性测试生成算法,可以有效识别软件是否具备对于故障的安全防护能力,在我国高速铁路列控中心安全性测试中说明了方法的有效性。 相似文献
2.
最强后件的计算是模型检测算法的核心.本文使用一阶逻辑可满足性模线性算术理论给出线性混成自动机的有界模型检测表示公式,利用一阶逻辑公式不可满足情况下的插值存在性定理,对线性混成自动机的有界模型检测公式进行指定的划分,使用支持线性算术插值计算的可满足性模理论后端证明引擎的线性时间复杂度的消解反证技术获得这两部分公式间的插值公式,按一阶逻辑Craig插值的性质,所得到的插值公式就是模型检测过程中最强后件公式的上近似表示.有效地避免了使用逻辑编码方案实现线性混成自动机模型检测过程中需要双指数时间复杂度的量词消去操作求取最强后件公式,也不需像有界模型检测按步长展开变迁公式进行可满足性判定.最后本文在此最强后件计算的基础上,以有界模型检测技术作为反例确认方法,实现了一种无假反例的混成系统近似可达集计算算法.实验证明该算法与目前已经得到广泛工业应用的有界模型检测算法相比具有更优的性能. 相似文献
3.
1问题的提出 随着微处理器技术、传感技术、液压集成技术的飞速发展以及在路面冷铣刨机中的应用,路面冷铣刨机的控制功能和工作精度得到大幅提高。由纵、横坡传感装置、电比例装置(控制阀)、深度控制装置(微处理器)组成的带负反馈的深度及自动调平闭环控制系统,可使铣刨后的路面平整度误差控制在± 相似文献
4.
5.
6.
7.
8.
9.
10.