研究堆安全分析用计算机程序验证要求探讨Discussion on Verification Requirements of Safety Analysis Programs of Research Re-actor
吴园园, 丁子星, 张小伟 下载量: 470 浏览量: 742
核科学与技术 Vol.9 No.3, July 23 2021, PDF, HTML, XML DOI:10.12677/NST.2021.93019 被引量
RISC-V微控制器形式化方法研究Research on Formal Verification Method of RISC-V Microcontroller
潘 越, 程子敬 下载量: 816 浏览量: 1,353
计算机科学与应用 Vol.10 No.6, June 18 2020, PDF, HTML, XML DOI:10.12677/CSA.2020.106129 被引量
基于方向特征的维吾尔文离线签名鉴别Uyghur Off-Line Signature Verification Based on the Directional Features
祖丽皮亚•艾尼, 麦合甫热提, 努尔毕亚•亚地卡尔, 库尔班•吾布力 下载量: 1,888 浏览量: 4,507 国家自然科学基金支持
图像与信号处理 Vol.6 No.2, April 30 2017, PDF, HTML, XML DOI:10.12677/JISP.2017.62015 被引量
基于余弦Softmax损失的说话人验证研究Speaker Verification Analysis Based on Cosine Softmax Loss
谢旗旺, 周林华 下载量: 431 浏览量: 604 国家自然科学基金支持
应用数学进展 Vol.10 No.11, November 22 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.1011412 被引量
导管架裙桩夹桩器卡爪国产化材料应用研究Research on the Application of Domestic Materials of Skirt Pile Gripper Claw of Jacket
刘顺庆, 刘 涛, 李 军, 胡 苏, 邵国庆 下载量: 612 浏览量: 1,861
机械工程与技术 Vol.9 No.2, March 30 2020, PDF, HTML, XML DOI:10.12677/MET.2020.92007 被引量
基于Alloy的两个群定义的等价性验证Automated Verification of Equivalence of Two Group Definitions Based on Alloy
邹 科, 江建国, 徐 月, 张新钢 下载量: 1,514 浏览量: 5,764
应用数学进展 Vol.6 No.9, December 11 2017, PDF, HTML, XML DOI:10.12677/AAM.2017.69127 被引量
土石方测量误差公式推导及其有效性验证Derivation and Validity Verification of Earthwork Measurement Error Formula
拓万兵, 包玉斌, 王志有 下载量: 477 浏览量: 1,108 科研立项经费支持
测绘科学技术 Vol.10 No.4, September 21 2022, PDF, HTML, XML DOI:10.12677/GST.2022.104020 被引量
某地新近沉积砂卵石地层现场直接剪切试验成果分析及探讨Analysis and Discussion about the Field Direct Shear Test Results of the Recently Deposited Sand and Cobble Stratum
刘 伍 下载量: 2,876 浏览量: 9,126
土木工程 Vol.3 No.4, July 31 2014, PDF, , DOI:10.12677/HJCE.2014.34016 被引量
新能源车用减速器润滑系统仿真与优化验证Lubrication System Simulation and Optimization Validation of New Energy Vehicle Reducer
朱 超, 曲婧瑶, 施绍有, 赵志宇 下载量: 511 浏览量: 1,283
机械工程与技术 Vol.10 No.2, April 8 2021, PDF, HTML, XML DOI:10.12677/MET.2021.102017 被引量
复合材料机械连接静力/疲劳试验中若干问题Several Problems in Test of Mechanical Connection of Composite Materials
鲍盘盘, 乔永乐, 冯福兴, 沈 薇 下载量: 885 浏览量: 2,044 科研立项经费支持
材料科学 Vol.9 No.3, March 29 2019, PDF, HTML, XML DOI:10.12677/MS.2019.93038 被引量