论证体篇章结构的形式化描述Formal Description for the Argumentative Discourse Structure
钟茂生, 江超, 王琪 下载量: 1,703 浏览量: 2,747 国家自然科学基金支持
现代语言学 Vol.5 No.4, November 15 2017, PDF, , XML DOI:10.12677/ML.2017.54046 被引量
基于共享信息描述模板的舱段装配工艺形式化表达与封装Formal Expression and Packaging of Ship Section Assembly Process Based on Shared Information Description Template
张秀艳, 王禹森, 景 迪, 白文广, 臧建新 下载量: 97 浏览量: 372
国际航空航天科学 Vol.12 No.1, March 12 2024, PDF, HTML, XML DOI:10.12677/JAST.2024.121003 被引量
贪心算法实例化教学方法探索Instantiation Teaching Method Exploration of Greedy Algorithm
范艳芳 下载量: 1,753 浏览量: 6,361 科研立项经费支持
创新教育研究 Vol.5 No.4, September 8 2017, PDF, , XML DOI:10.12677/CES.2017.54045 被引量
基于Alloy的两个群定义的等价性验证Automated Verification of Equivalence of Two Group Definitions Based on Alloy
邹 科, 江建国, 徐 月, 张新钢 下载量: 1,489 浏览量: 5,693
应用数学进展 Vol.6 No.9, December 11 2017, PDF, HTML, XML DOI:10.12677/AAM.2017.69127 被引量
浅析《弗兰德公路》中的描述话语Analysis of the Discourse of Description in La Routes des Flandres
吴恭超 下载量: 1,465 浏览量: 3,965
世界文学研究 Vol.5 No.1, March 17 2017, PDF, , XML DOI:10.12677/WLS.2017.51001 被引量
形式三角矩阵环上的PGF模PGF Modules over Formal Triangular Matrix Rings
薛淑娴, 杨 刚 下载量: 499 浏览量: 761 国家自然科学基金支持
理论数学 Vol.10 No.11, November 27 2020, PDF, , DOI:10.12677/PM.2020.1011130 被引量
水面无人艇全局路径规划常用算法简述A Brief Description of Common Algorithms for Global Path Planning of Surface Unmanned Vehicles
陶亚东, 张会霞, 于海深 下载量: 323 浏览量: 2,917 科研立项经费支持
应用数学进展 Vol.11 No.3, March 29 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.113152 被引量
形式语言学研究现状和发展趋势——第九届形式语言学国际研讨会会议综述The Current Research and Future Development of Formal Linguistics—A Review of the 9th International Conference on Formal Linguistics
马艳晓 下载量: 545 浏览量: 770
现代语言学 Vol.11 No.3, March 31 2023, PDF, HTML, XML DOI:10.12677/ML.2023.113169 被引量
RISC-V微控制器形式化方法研究Research on Formal Verification Method of RISC-V Microcontroller
潘 越, 程子敬 下载量: 751 浏览量: 1,261
计算机科学与应用 Vol.10 No.6, June 18 2020, PDF, HTML, XML DOI:10.12677/CSA.2020.106129 被引量
形式三角矩阵环上的余挠三元组Cotorsion Triples over Formal Triangular Matrix Rings
曹家乐, 杨晓燕 下载量: 284 浏览量: 421 国家自然科学基金支持
理论数学 Vol.12 No.5, May 20 2022, PDF, , DOI:10.12677/PM.2022.125079 被引量