QQ客服 官方微博 反馈留言

浏览/检索结果: 共6条，第1-6条 帮助 限定条件 内容类型：会议论文     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 基于RELAP 5的开式自然循环流动特性的研究及验证 会议论文 作者:  侯晓凡 ，孙中宁，雷文静 收藏  |  浏览/下载：10/0  |  提交时间：2017/06/19 开式自然循环  Relap 5程序  程序模拟  实验验证  参数效应分析   壁面催化效应对高超声速飞行器气动热影响评估 会议论文 第八届全国高超声速科技学术会议, 中国黑龙江哈尔滨, 2015-12-28 作者:  万田;  樊菁 收藏  |  浏览/下载：23/0  |  提交时间：2016/08/16 催化效应  气动热  高超声速飞行器  验证程序  来流条件  复合反应  热防护  非线性关系  数值计算  反应产物   一种基于语境的程序正确性验证算法的研究与实现 会议论文 全国抗恶劣环境计算机第二十四届学术年会, 江西九江, 2014-09-01 作者:  尹顺顺;  马殿富;  赵永望;  赵宪琦 收藏  |  浏览/下载：8/0  |  提交时间：2020/01/06 程序验证  Hoare逻辑  循环不变式  语境  限定数学归纳法   离心压气机一维程序开发及验证 会议论文 中国工程热物理学会-流体机械, 2013 王永生; 王开; 童志庭; 林峰; 聂超群; Abraham Engeda 收藏  |  浏览/下载：88/0  |  提交时间：2013/11/28 离心压气机  一维程序  设计  分析  验证   基于程序骨架的软件模型验证加速方法 会议论文 2013全国高性能计算学术年会, 桂林, 2013-10-29 作者:  王小龙;  周宽久;  勇嘉伟;  任龙涛;  侯刚 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/13 模型检测  程序骨架  路径压缩  程序验证   基于知识的循环不变式生成方法 会议论文 2001全国软件技术研讨会, 大连, 2001-07-05 作者:  王树义;  邹伟松;  刘恒 收藏  |  浏览/下载：1/0  |  提交时间：2020/01/02 程序验证  循环不变式  定理证明  归纳断言法  自动生成