我国西南地区形成了独特的高山峡谷地貌，随着在这一地区开展的水电工程建设规模的扩大，高边坡岩土体稳定性问题越来越突出。本文以扎......

在定值引用错误中,错误源到达错误目标的路径往往很长且路径数众多,路径敏感检测分析的规模往往较大,特别是对大规模程序而言.为充......

将层次分析法(AHP)引入基于符号定向图(Signed Directed Graph,SDG)的危险与可操作性分析法(Hazard and Operability Analysis,HAZ......

685C_2．90压缩机活塞环是685C_2．90压缩机的核心部件。由于活塞环材料是由聚四氟乙烯材料制备而成，其强度分析的情况复杂。文中采用有......

动态符号执行是近年来新兴的一种软件漏洞检测方法，它可以为目标程序的不同执行路径自动生成测试用例，从而获得较高的测试代码覆盖率......