GrO¨bner基法验证乘法器的设计与实现Design and Implementation of GrO¨bner Basis Verification Multiplier
吕妍颖, 张小盈, 江建国 下载量: 309 浏览量: 2,015
应用数学进展 Vol.10 No.10, October 26 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.1010369 被引量
研究堆安全分析用计算机程序验证要求探讨Discussion on Verification Requirements of Safety Analysis Programs of Research Re-actor
吴园园, 丁子星, 张小伟 下载量: 464 浏览量: 734
核科学与技术 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
潘 越, 程子敬 下载量: 811 浏览量: 1,345
计算机科学与应用 Vol.10 No.6, June 18 2020, PDF, HTML, XML DOI:10.12677/CSA.2020.106129 被引量
基于GARCH模型的融资融券对我国股市的影响研究A Research about Effects Margin Transaction Has on the Stock Market in China Based on GARCH Model
张 涛, 邓晓卫, 李凡一, 张苏靖 下载量: 1,793 浏览量: 4,906 科研立项经费支持
金融 Vol.8 No.1, January 29 2018, PDF, HTML, XML DOI:10.12677/FIN.2018.81005 被引量
电商平台独家交易行为对商家入驻决策的影响The Influence of Exclusive Transaction Behavior of E-Commerce Platform on Business Settlement Decision
李 静, 蒋平剑, 薛雨薇 下载量: 28 浏览量: 68
运筹与模糊学 Vol.14 No.3, June 25 2024, PDF, , XML DOI:10.12677/orf.2024.143288 被引量
“链上的艺术品”:国内数字藏品的交易流程、法律风险及对策 Artworks on the Blockchain: The Transaction Process, Legal Risks, and Countermeasures of Domestic Digital Collectibles
李家湑 下载量: 226 浏览量: 391
争议解决 Vol.10 No.1, January 18 2024, PDF, HTML, XML DOI:10.12677/DS.2024.101079 被引量
基于余弦Softmax损失的说话人验证研究Speaker Verification Analysis Based on Cosine Softmax Loss
谢旗旺, 周林华 下载量: 431 浏览量: 602 国家自然科学基金支持
应用数学进展 Vol.10 No.11, November 22 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.1011412 被引量
中子活化程序ABURN在核装置停堆剂量率计算中的应用研究Application Research of Neutron Activation Code ABURN in Shutdown Dose Rate Calculation of Nuclear Installation
赵晓泽, 张竞宇, 谭 琳, 肖懿鑫, 王娟娟, 于 虓, 倪王慕鸿 下载量: 335 浏览量: 945 国家科技经费支持
核科学与技术 Vol.11 No.1, January 12 2023, PDF, HTML, XML DOI:10.12677/NST.2023.111003 被引量
基于Alloy的两个群定义的等价性验证Automated Verification of Equivalence of Two Group Definitions Based on Alloy
邹 科, 江建国, 徐 月, 张新钢 下载量: 1,512 浏览量: 5,762
应用数学进展 Vol.6 No.9, December 11 2017, PDF, HTML, XML DOI:10.12677/AAM.2017.69127 被引量
教学相长式小讲课在神经内科住院医师规范化培训中的应用Application of “Teaching-Learning Transaction” Short Lectures in Standardized Training of Residents in Neurology Department
张海玲, 毛晓薇, 黎佳思, 毕晓莹 下载量: 472 浏览量: 627 科研立项经费支持
教育进展 Vol.12 No.12, December 5 2022, PDF, HTML, XML DOI:10.12677/AE.2022.1212775 被引量