QQ客服 官方微博 反馈留言

浏览/检索结果: 共6条，第1-6条 帮助 限定条件 发表日期：2015     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 基于吴方法的不变式生成算法 期刊论文 2015, 2015 周宁; 吴尽昭; 王超 收藏  |  浏览/下载：4/0  |  提交时间：2017/06/19 程序验证  不变式生成  符号计算  吴方法   非经典切片优化的同步运行时检验方法 期刊论文 2015, 2015 高新岩; 吴尽昭; 闫炜; 周宁 收藏  |  浏览/下载：1/0  |  提交时间：2017/06/19 程序切片  计算切片  证明切片  约简  形式验证  性质验证  模型检验   基于约束求解的多线程程序正确性验证方法研究 学位论文 2015 作者:  俞乐晨 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/02 多线程程序  形式化验证  约束求解  符号分析   壁面催化效应对高超声速飞行器气动热影响评估 会议论文 第八届全国高超声速科技学术会议, 中国黑龙江哈尔滨, 2015-12-28 作者:  万田;  樊菁 收藏  |  浏览/下载：23/0  |  提交时间：2016/08/16 催化效应  气动热  高超声速飞行器  验证程序  来流条件  复合反应  热防护  非线性关系  数值计算  反应产物   基于k近邻最弱前置条件的程序多路径验证方法 期刊论文 计算机学报, 2015, 卷号: 38, 期号: 11 作者:  郭曦;  王建勇;  王盼;  张焕国 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/05 程序验证  静态分析  最弱前置条件  符号执行  控制流图   基于MCNP 源子程序的放射治疗剂量计算验证方法 期刊论文 中国医学物理学杂志, 2015, 卷号: 32 - 收藏  |  浏览/下载：3/0  |  提交时间：2020/10/26 源子程序  放射治疗  放疗计划验证