QQ客服 官方微博 反馈留言

浏览/检索结果: 共5条，第1-5条 帮助 限定条件 发表日期：2016     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 基于RELAP 5的开式自然循环流动特性的研究及验证 会议论文 作者:  侯晓凡 ，孙中宁，雷文静 收藏  |  浏览/下载：10/0  |  提交时间：2017/06/19 开式自然循环  Relap 5程序  程序模拟  实验验证  参数效应分析   RELAP/SCDAPSIM/MOD4.0程序的FHR应用扩展及验证 期刊论文 核动力工程, 2016, 期号: 6, 页码: "33-36" 作者:  姜淑颖;  程懋松;  戴志敏;  陈玉爽 收藏  |  浏览/下载：31/0  |  提交时间：2018/08/17 Relap/scdapsim/mod4.0  Fhr  Fli Na K实验回路  程序验证   RELAP5应用于液态燃料熔盐堆的扩展及验证 期刊论文 核动力工程, 2016, 卷号: v.37;No.216, 期号: 3, 页码: 16-20 作者:  施承斌;  程懋松;  刘桂民 收藏  |  浏览/下载：20/0  |  提交时间：2016/12/21 RELAP5  液态燃料熔盐堆  MSRE  程序验证   A Phase Shift Demodulation Technique： Verification and Application in Fluorescence Phase Based Oxygen Sensors 期刊论文 光子传感器：英文版, 2016, 期号: 02 作者:  Chuanwu JIA[1];  Jun CHANG[1];  Fupeng WANG[1];  Hao JIANG[1];  Cunguang ZHU[2] 收藏  |  浏览/下载：5/0  |  提交时间：2019/12/17 相位偏移  验证系统  氧传感器  解调技术  应用程序  相移  荧光  解调系统   基于抽象不变式的程序安全性验证 期刊论文 清华大学学报(自然科学版), 2016, 卷号: 56, 页码: 777-784 作者:  张;  钱俊彦;  李舟军;  马殿富 收藏  |  浏览/下载：6/0  |  提交时间：2019/12/30 抽象解释  不变式验证  不动点  程序安全性验证