分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国 下载量: 904 浏览量: 2,763
软件工程与应用 Vol.9 No.1, January 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91003 被引量
作用学基本理论及其应用Basic Theory On The Acting Science And Its Application (预印本)
王昌益 下载量: 1,436 浏览量: 3,808
汉斯预印本 Vol.2 No.1, February 10 2017, PDF, , DOI:10.12677/HANSPrePrints.2017.21002 被引量
知识图谱在要素式智能审判系统中的嵌合原理和应用路径The Coupling Theory and Application Path of Knowledge Graph in the Elemental Intelligent Judicial System
卞 静, 邓丹云, 胡远平, 胡锦浩, 吕群蓉 下载量: 639 浏览量: 1,082
法学 Vol.9 No.3, May 27 2021, PDF, HTML, XML DOI:10.12677/OJLS.2021.93060 被引量
中俄北极LNG2项目合作外媒报道的框架分析——以英、美、俄、日、挪威主流媒体为例The Framework Analysis of Foreign Media Reports on Sino-Russian Arctic LNG2 Project—Taking Mainstream Media of Britain, the United States, Russia, Japan and Norway as Examples
刘 倩, 宋冰冰 下载量: 724 浏览量: 1,346
社会科学前沿 Vol.9 No.10, October 26 2020, PDF, HTML, XML DOI:10.12677/ASS.2020.910223 被引量
综合法、分析法、反证法与数学归纳法在高等代数中的应用The Application of Synthesis, Analysis, Proof by Contradiction and Mathematical Induction in Advanced Algebra
郜 博, 谭希丽, 孙佩宇 下载量: 170 浏览量: 407 科研立项经费支持
教育进展 Vol.13 No.6, June 26 2023, PDF, HTML, XML DOI:10.12677/AE.2023.136629 被引量
基于模糊PID控制的家居照明环境智能调节方法Intelligent Adjustment Method of Home Lighting Environment Based on Fuzzy PID Control
徐 劲, 孙 健, 孙 健, 李科岐 下载量: 68 浏览量: 152
传感器技术与应用 Vol.12 No.3, May 15 2024, PDF, HTML, XML DOI:10.12677/jsta.2024.123032 被引量
基于贝叶斯网络的用户行为相似性研究Research on Users Behavior Similarity Based on Bayesian Network
叶佳美 下载量: 958 浏览量: 2,373
软件工程与应用 Vol.8 No.2, April 15 2019, PDF, HTML, XML DOI:10.12677/SEA.2019.82008 被引量
基于NX二次开发的塑料模自动生成分型面系统Automatic Generation Parting Surface System of Plastic Mold Based on NX Secondary Development
刘 波, 仲梁维 下载量: 246 浏览量: 362
建模与仿真 Vol.12 No.1, January 30 2023, PDF, HTML, XML DOI:10.12677/MOS.2023.121040 被引量
强迫症的认知表达与归纳推理的领域特殊性Cognitive Expression of Obsessive-Compulsive Disorder and Domain-Specificity of Induction
蒋 柯, 梁佩鹏 下载量: 1,777 浏览量: 4,397 国家自然科学基金支持
心理学进展 Vol.7 No.1, January 23 2017, PDF, , XML DOI:10.12677/AP.2017.71007 被引量
贝叶斯网在教育测量与因果推断中的应用——以青少年“王者荣耀”网游消费决策为例The Educational Measurement and Causal Inference Based on Bayesian Network—Taking the Online Game Consumption Decision of “King of Glory” as an Example
陈彦垒, 王其鹏 下载量: 378 浏览量: 678 国家科技经费支持
心理学进展 Vol.13 No.10, October 19 2023, PDF, HTML, XML DOI:10.12677/AP.2023.1310569 被引量