机构

• 上海应用物理研究所 [2]
• 软件研究所 [2]

采集方式

• OAI收割 [4]

内容类型

• 期刊论文 [4]

发表日期

• 2016 [2]
• 2008 [1]
• 2000 [1]

学科主题

筛选

浏览/检索结果: 共4条，第1-4条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 RELAP/SCDAPSIM/MOD4.0程序的FHR应用扩展及验证 期刊论文  OAI收割 核动力工程, 2016, 期号: 6, 页码: "33-36" 作者:  姜淑颖;  程懋松;  戴志敏;  陈玉爽   |  收藏  |  浏览/下载：36/0  |  提交时间：2018/08/17 Relap/scdapsim/mod4.0  Fhr  Fli Na K实验回路  程序验证   RELAP5应用于液态燃料熔盐堆的扩展及验证 期刊论文  OAI收割 核动力工程, 2016, 卷号: v.37;No.216, 期号: 3, 页码: 16-20 作者:  施承斌;  程懋松;  刘桂民 收藏  |  浏览/下载：30/0  |  提交时间：2016/12/21 RELAP5  液态燃料熔盐堆  MSRE  程序验证   一种通过应用程序验证TPM标准符合性的方法 期刊论文  OAI收割 中国科学院研究生院学报, 2008, 卷号: 25, 期号: 5, 页码: 649-656 崔奇; 石文昌   |  收藏  |  浏览/下载：21/0  |  提交时间：2011/06/10 可信计算组织  可信平台模块  标准符合性测试  标准符合链  Trusted Computing Group (TCG)  Trusted Platform Module (TPM)  compliance test  chain of compliance  计算应用程序  程序验证  标准  符合性  Trusted Computing  可信计算  准一致性  执行功能  系统保护  命令  计算平台  安全性  组件  思想  规范  策略   时序逻辑语言XYZ/E中指针的形式化表示与验证 期刊论文  OAI收割 软件学报, 2000, 卷号: 11, 期号: 3 李广元; 唐稚松   |  收藏  |  浏览/下载：6/0  |  提交时间：2010/08/26 时序逻辑  形式语义  程序验证  动态语义  指针  Temporallogic  formalsemantics  programverification  dynamicsemantics  pointer