研究堆安全分析用计算机程序验证要求探讨Discussion on Verification Requirements of Safety Analysis Programs of Research Re-actor
吴园园, 丁子星, 张小伟 下载量: 472 浏览量: 748
核科学与技术 Vol.9 No.3, July 23 2021, PDF, HTML, XML DOI:10.12677/NST.2021.93019 被引量
分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国 下载量: 908 浏览量: 2,767
软件工程与应用 Vol.9 No.1, January 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91003 被引量
一类基于布尔函数的极小线性码的构造Construction of a Class of Minimal Binary Linear Code Based on Boolean Function
杜佳玮 下载量: 474 浏览量: 748
理论数学 Vol.11 No.9, September 7 2021, PDF, HTML, XML DOI:10.12677/PM.2021.119179 被引量
现象识别与排序方法的发展与创新Development and Innovation of Phenomena Identification and Ranking Table Methodology
姚 垚, 陈 伟, 宫厚军, 邓程程, 杨 军 下载量: 296 浏览量: 918 科研立项经费支持
核科学与技术 Vol.11 No.1, January 5 2023, PDF, HTML, XML DOI:10.12677/NST.2023.111001 被引量