新型武器装备作战流程设计与验证技术研究Research on Combat Flow Design and Verification Technology of New Weapon Equipment
黄路炜, 杨继峰, 李淑媛, 金 鑫 下载量: 988 浏览量: 3,534
计算机科学与应用 Vol.9 No.6, June 28 2019, PDF, HTML, XML DOI:10.12677/CSA.2019.96130 被引量
RISC-V微控制器形式化方法研究Research on Formal Verification Method of RISC-V Microcontroller
潘 越, 程子敬 下载量: 779 浏览量: 1,302
计算机科学与应用 Vol.10 No.6, June 18 2020, PDF, HTML, XML DOI:10.12677/CSA.2020.106129 被引量
基于激光非线性的谐波通项推导和nf/1f免标应用Deduction of General Term for Harmonics and Application of Calibration-Free nf/1f Models Based on the Lazer Nonlinearity
李启正, 杨乾锁, 杜艳君, 彭志敏 下载量: 820 浏览量: 3,302 国家自然科学基金支持
应用物理 Vol.10 No.1, January 17 2020, PDF, HTML, XML DOI:10.12677/APP.2020.101011 被引量
论企税加计扣除政策在促进生育中的运用On the Application of the Corporate Income Tax Super-Deduction Policy in Promoting Fertility
李国锋 下载量: 243 浏览量: 402
社会科学前沿 Vol.12 No.6, June 9 2023, PDF, HTML, XML DOI:10.12677/ASS.2023.126391 被引量
最近亏损矩阵的可信验证The Verification of the Nearest Defective Matrix
张春磊, 李 喆 下载量: 789 浏览量: 1,125 科研立项经费支持
应用数学进展 Vol.9 No.11, November 20 2020, PDF, HTML, XML DOI:10.12677/AAM.2020.911228 被引量
多项式近似因式分解的可信验证The Verification of Approximate Polynomial Factorization
严杰煜, 李 喆 下载量: 688 浏览量: 950 科研立项经费支持
应用数学进展 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
王学清, 李 喆 下载量: 675 浏览量: 920 科研立项经费支持
应用数学进展 Vol.9 No.10, October 27 2020, PDF, HTML, XML DOI:10.12677/AAM.2020.910204 被引量
无源雷达补盲效果推演评估研究Study on Air Supplement Deduction Evaluation of Passive Radar
蔺美青, 高玉良, 吕建铨 下载量: 1,901 浏览量: 3,687 国家科技经费支持
计算机科学与应用 Vol.7 No.9, September 19 2017, PDF, , XML DOI:10.12677/CSA.2017.79099 被引量
犯罪成本扣除问题案例研究 Case Research on Criminal Cost Deduction Problem
孙华建 下载量: 275 浏览量: 379 科研立项经费支持
争议解决 Vol.9 No.4, July 21 2023, PDF, HTML, XML DOI:10.12677/DS.2023.94210 被引量
分片负载的多轮均衡化验证方案Multi-Round Balancing Verification Scheme for Sharding Load
李 敏, 李志淮, 白 兵, 陈玉华 下载量: 459 浏览量: 761
计算机科学与应用 Vol.11 No.1, January 18 2021, PDF, HTML, XML DOI:10.12677/CSA.2021.111006 被引量