研究堆安全分析用计算机程序验证要求探讨Discussion on Verification Requirements of Safety Analysis Programs of Research Re-actor
吴园园, 丁子星, 张小伟 下载量: 380 浏览量: 611
核科学与技术 Vol.9 No.3, July 23 2021, PDF, HTML, XML DOI:10.12677/NST.2021.93019 被引量
基于MC的辐射场快速计算程序设计与验证Program Design and Verification of Rapid Calculation of Radiation Field Based on MC
谢明亮, 彭 波, 魏 巍, 李 青, 谢政权, 陈玉清, 于 雷, 沈华韵, ZhongBin 下载量: 315 浏览量: 551
核科学与技术 Vol.10 No.3, July 20 2022, PDF, HTML, XML DOI:10.12677/NST.2022.103019 被引量
VXWORKS系统并发程序动态测试工具设计The Design of Dynamic Checking Tool for VXWORKS Systems Concurrent Program
梁昊, 艾云峰, 沈怀荣, 赵永超 下载量: 2,618 浏览量: 8,862
软件工程与应用 Vol.3 No.3, June 20 2014, PDF, , DOI:10.12677/SEA.2014.33011 被引量
基于小波变换的高分辨率图像数字隐水印微信小程序开发Wechat Mini Program Development for Hiding Digital Watermark in High Definition Images Based on Wavelet Transform
马佳琪, 米义嘉, 叶杭东 下载量: 578 浏览量: 2,146 科研立项经费支持
图像与信号处理 Vol.10 No.2, April 16 2021, PDF, HTML, XML DOI:10.12677/JISP.2021.102008 被引量
最近亏损矩阵的可信验证The Verification of the Nearest Defective Matrix
张春磊, 李 喆 下载量: 731 浏览量: 1,015 科研立项经费支持
应用数学进展 Vol.9 No.11, November 20 2020, PDF, HTML, XML DOI:10.12677/AAM.2020.911228 被引量
分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国 下载量: 821 浏览量: 2,587
软件工程与应用 Vol.9 No.1, January 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91003 被引量
多项式近似因式分解的可信验证The Verification of Approximate Polynomial Factorization
严杰煜, 李 喆 下载量: 628 浏览量: 835 科研立项经费支持
应用数学进展 Vol.9 No.8, August 20 2020, PDF, HTML, XML DOI:10.12677/AAM.2020.98144 被引量
实对称矩阵谱的可信计算The Verification of the Spectra of the Real Symmetric Matrix
王学清, 李 喆 下载量: 625 浏览量: 816 科研立项经费支持
应用数学进展 Vol.9 No.10, October 27 2020, PDF, HTML, XML DOI:10.12677/AAM.2020.910204 被引量
在线课程质量综合评价模型的设计和验证Design and Verification of Online Course Quality Comprehensive Evaluation Model
胡 勇, 赵凤梅 下载量: 303 浏览量: 519 科研立项经费支持
教育进展 Vol.13 No.3, March 14 2023, PDF, HTML, XML DOI:10.12677/AE.2023.133156 被引量
分片负载的多轮均衡化验证方案Multi-Round Balancing Verification Scheme for Sharding Load
李 敏, 李志淮, 白 兵, 陈玉华 下载量: 412 浏览量: 697
计算机科学与应用 Vol.11 No.1, January 18 2021, PDF, HTML, XML DOI:10.12677/CSA.2021.111006 被引量