基于Levelt话语生成模型的大学英语词汇教学分析Analysis of College English Lexical Teaching from the Perspective of Levelt’s Discourse Model
黄立华 下载量: 2,889 浏览量: 7,735
创新教育研究 Vol.1 No.2, November 20 2013, PDF, , XML DOI:10.12677/CES.2013.12005 被引量
基于指针数组的Gr?bner基方法的优化Optimization of Gr?bner Basis Method Based on Pointer Array
齐 爽, 冯天烁, 史美琦, 江建国 下载量: 317 浏览量: 422
计算机科学与应用 Vol.13 No.7, July 28 2023, PDF, HTML, XML DOI:10.12677/CSA.2023.137147 被引量
分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国 下载量: 919 浏览量: 2,785
软件工程与应用 Vol.9 No.1, January 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91003 被引量
我国合适成年人制度现状的反思 Reflections on the Status of China’s Appropriate Adult System
张金奕 下载量: 379 浏览量: 453
争议解决 Vol.10 No.1, January 12 2024, PDF, HTML, XML DOI:10.12677/DS.2024.101044 被引量
网络庭审直播实证研究——以重庆市法院实践为样本Empirical Research on Live Broadcast of Online Trial—Taking Chongqing Municipal Court Practice as a Sample
阳 果 下载量: 514 浏览量: 797
法学 Vol.9 No.1, December 30 2020, PDF, HTML, XML DOI:10.12677/OJLS.2021.91004 被引量
基于椭圆曲线的高效远程用户认证协议An Efficient Remote User Authentication Protocol Based on Elliptic Curve
周 鑫, 文 康, 翁柏森, 吴奕霄, 王圣宝 下载量: 336 浏览量: 580 国家自然科学基金支持
应用数学进展 Vol.11 No.12, December 9 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1112902 被引量
模型检测器SPIN图形化工具的研究与应用Research and Application of the SPIN Model Checker Graphical Tools
陈平, 王德成 下载量: 3,190 浏览量: 11,431
软件工程与应用 Vol.3 No.3, June 20 2014, PDF, , DOI:10.12677/SEA.2014.33009 被引量
基于分类预测的启发式错误定位方法Heuristic Wrong Positioning Method Based on Classification Forecast
王 瑾, 罗 杰 下载量: 2,053 浏览量: 6,368
软件工程与应用 Vol.5 No.1, February 17 2016, PDF, , XML DOI:10.12677/SEA.2016.51001 被引量
基于Alloy的73构形存在性定理的机器验证Machine Verification of the Existence Theorem of Configuration 73 Based on Alloy
徐 月, 江建国, 邹 科, 张新钢 下载量: 1,594 浏览量: 1,886
应用数学进展 Vol.6 No.8, November 29 2017, PDF, HTML, XML DOI:10.12677/AAM.2017.68123 被引量
论审判中心主义背景下的庭审实质化On the Substantiation of Court Trial under the Background of Trial Centralism
陈治宇 下载量: 274 浏览量: 412
法学 Vol.11 No.3, May 23 2023, PDF, HTML, XML DOI:10.12677/OJLS.2023.113172 被引量