|
已选(0)清除
条数/页： 排序方式：
|
| 同步数据流程序的可信排序 期刊论文
2016, 2016
甘元科; 张玲波; 石刚; 王生原; 董渊; 张智慧; 王沿海; Gan Yuanke; Zhang Lingbo; Shi Gang; Wang Shengyuan; Dong Yuan; Zhang Zhihui; Wang Yanhai
  收藏 | 浏览/下载：7/0 |
| 分区操作系统内核中隔离性质的研究 期刊论文
2016, 2016
闫鑫; 王庆生; 王生原; YAN Xin; WANG Qingsheng; WANG Shengyuan
收藏 | 浏览/下载：8/0 |
| 考虑日前计划的风储联合系统多目标协调调度 期刊论文
2016, 2016
黄杨; 胡伟; 闵勇; 罗卫华; 王芝茗; 葛维春; HUANG Yang; HU Wei; MIN Yong; LUO Weihua; WANG Zhiming; GE Weichun
收藏 | 浏览/下载：5/0 |
| Safety Verification of Semi-Algebraic Dynamical Systems via Inductive Invariant 期刊论文
2016, 2016
Hui Kong; Fei He; Xiaoyu Song; Ming Gu; Hongyan Tan; Jiaguang Sun; Hui Kong; Fei He; Xiaoyu Song; Ming Gu; Hongyan Tan; Jiaguang Sun
收藏 | 浏览/下载：4/0 |
| BP神经网络在AP1000核电站事故诊断应用中的初步研究 期刊论文
2016, 2016
赵云飞; 张立国; 童节娟; 张勤; 曲静原; ZHAO Yun-fei; ZHANG Li-guo; TONG Jie-juan; ZHANG Qin; QU Jing-yuan
收藏 | 浏览/下载：4/0 |
| 细沙河床丁坝局部冲刷深度计算公式的验证 期刊论文
2016, 2016
刘磊; 苗润泽; 钟德钰; LIU Lei; MIAO Runze; ZHONG Deyu
收藏 | 浏览/下载：4/0 |
| 同步数据流语言可信编译器的构造 期刊论文
2016, 2016
石刚; 王生原; 董渊; 嵇智源; 甘元科; 张玲波; 张煜承; 王蕾; 杨斐; SHI Gang; WANG Sheng-Yuan; DONG Yuan; JI Zhi-Yuan; GAN Yuan-Ke; ZHANG Ling-Bo; ZHANG Yu-Cheng; WANG Lei; YANG Fei
收藏 | 浏览/下载：3/0 |
| 可信编译器构造的翻译确认方法简述 期刊论文
2016, 2016
刘洋; 杨斐; 石刚; 闫鑫; 王生原; 董渊; LIU Yang; YANG Fei; SHI Gang; YAN Xin; WANG Sheng-yuan; DONG Yuan
收藏 | 浏览/下载：6/0 |
| Reachability analysis of Web service compositions via NWA 期刊论文
2010, 2010
Du Xutao; Xing Chunxiao; Zhou Lizhu
收藏 | 浏览/下载：7/0 |
| 核动力厂安全软件的验证与确认技术的初步研究 会议论文
全国第五届核仪器及其应用学术会议论文集, Proceedings of the 5th National Conference on Nuclear Instrument & Its Application, 全国第五届核仪器及其应用学术会议, The 5th National Conference on Nuclear Instrument & Its Application, 中国海南海口, CNKI, 中国核学会核电子学与核探测技术分会、中国电子学会核电子学与核探测技术分会
李铎; 张良驹; LI Duo; ZHANG Liang-ju
收藏 | 浏览/下载：4/0 |
