搜索筛选:
搜索耗时0.0313秒,为你在为你在61,042,061篇论文里面共找到 4 篇相符的论文内容
发布年度:
[学位论文] 作者：侯苏宁,
来源：国防科学技术大学 年份：2018
...
[期刊论文] 作者：陈立前, 王戟, 侯苏宁,,
来源：计算机学报 年份：2010
程序变量的值范围信息对于编译器优化、程序分析与验证等应用至关重要.抽象解释理论提供了一种通用框架为程序变量计算近似的但是可靠的值范围.然而该框架下已有的数值抽象域...
[期刊论文] 作者：杜舰川 侯苏宁 刘佳琇秀,
来源：中国科技博览 年份：2014
[摘 要]继电保护及安全自动装置在基建、大修、改造后， 常发生因施工造成的继电保护用T A的二次回路两点接地， 直接或间接引发继电保护及安全自动装置误动。由于二次回路多点接地易被忽视且不易检查， 一旦发生事故， 处理过程复杂， 处理时间长， 从而降低了电网的安全、......
[期刊论文] 作者：侯苏宁,陈立前,王昭飞,王戟,
来源：计算机工程与科学 年份：2011
程序的正确性验证一直以来都是计算机科学中的一个挑战性问题，抽象解释理论为程序静态分析提供了一个通用框架，可以在编译时自动地推导程序的动态性质。基于抽象解释的数值程序......
相关搜索：
