搜索筛选:
搜索耗时0.9223秒,为你在为你在102,285,761篇论文里面共找到 4 篇相符的论文内容
发布年度:
[学位论文] 作者：范大威,,
来源：黑龙江大学 年份：2004
本文主要研究了自变量分段连续型Volterra积分微分方程的配置方法的解的存在唯一性、全局收敛性、全局超收敛性和局部超收敛性.这类方程所构建的数学模型在生物学、物理学、...
[学位论文] 作者：范大威,
来源：中国科学技术大学 年份：2010
程序验证用逻辑证明的方法证明程序满足其规范，是实现安全性的重要方法。出具证明编译器(Certifying Compiler)是编译器与验证器的结合。本文描述的出具证明编译器项目CComp让...
[学位论文] 作者：范大威,
来源：中国科学技术大学 年份：2018
...
[期刊论文] 作者：范大威,李兆鹏,蒋信予,,
来源：小型微型计算机系统 年份：2004
出具证明编译器在软件安全研究得到越来越多的关注,是程序验证研究的一个重要方向.但目前关于出具证明编译器的研究主要是在程序逻辑设计和定理自动化证明方面,很少关注编译...
相关搜索：
