自动语法检查方法研究述评An Overview of the Methods on Automatic Detection of Grammatical Errors
陈 功, 王 健 下载量: 1,172 浏览量: 1,905 国家科技经费支持
计算机科学与应用 Vol.8 No.9, September 13 2018, PDF, HTML, XML DOI:10.12677/CSA.2018.89149 被引量
浅谈生成语法框架下的句法推导——从语义理论到特征核查Brief Discussion on the Syntactic Derivation under the Framework of Generative Grammar—From Theta Theory to Feature Checking
朱鑫雨 下载量: 643 浏览量: 1,140
现代语言学 Vol.10 No.7, July 4 2022, PDF, HTML, XML DOI:10.12677/ML.2022.107189 被引量
k-归纳模型检测结果的认证器A Certifier for k-Induction Model Checking Results
刘 帅, 魏峰玉, 黄怡桐, 江建国 下载量: 314 浏览量: 458
应用数学进展 Vol.11 No.11, November 10 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1111817 被引量
基于等价性检验和特征聚类的《红楼梦》作者分析An Analysis of the Authors of A Dream of Red Mansions Based on Equivalence Checking and Feature Clustering
程东波, 柯小玲, 林施鑫 下载量: 616 浏览量: 1,589 科研立项经费支持
理论数学 Vol.10 No.5, May 27 2020, PDF, HTML, XML DOI:10.12677/PM.2020.105067 被引量
自动化分割识别与数据校验方法在核电电子文件归档审查中的应用研究Research on the Automatic Segmentation Recognition and Data Checking Method in Nuclear Electronic File Archiving
马 菁, 白 鹤 下载量: 870 浏览量: 1,205
计算机科学与应用 Vol.9 No.9, September 18 2019, PDF, HTML, XML DOI:10.12677/CSA.2019.99189 被引量
基于中文信息MMT模型的句法自动分析Syntactic Automatic Analysis Based on Chinese Information MMT Model
杨福义 下载量: 1,058 浏览量: 2,656
人工智能与机器人研究 Vol.7 No.4, October 19 2018, PDF, HTML, XML DOI:10.12677/AIRR.2018.74018 被引量
模型检测器SPIN图形化工具的研究与应用Research and Application of the SPIN Model Checker Graphical Tools
陈平, 王德成 下载量: 3,182 浏览量: 11,394
软件工程与应用 Vol.3 No.3, June 20 2014, PDF, , DOI:10.12677/SEA.2014.33009 被引量
基于程序控制流完整性检查的DSP软错误检测DSP Soft Error Detection Based on Program Control Flow Integrity Checking
周国昌, 王向涛, 高 翔, 赖晓玲, 郭阳明, 于登云 下载量: 2,702 浏览量: 5,968 国家自然科学基金支持
计算机科学与应用 Vol.5 No.4, May 22 2015, PDF, , XML DOI:10.12677/CSA.2015.54017 被引量
语境构建在语法学习中的运用探究Usage of Context Construction in Grammar Learning
蒋志佳 下载量: 2,350 浏览量: 16,762
教育进展 Vol.13 No.7, July 11 2023, PDF, HTML, XML DOI:10.12677/AE.2023.137655 被引量
课程思政在《混凝土(钢)结构检算》课程教学中的实践探索The Practical Exploration of Curriculum Thinking and Politics in the Course of “Concrete (Steel) Structure Checking Calculation
李英杰, 金 花, 桂阿娟 下载量: 224 浏览量: 284 科研立项经费支持
职业教育 Vol.13 No.1, January 8 2024, PDF, HTML, XML DOI:10.12677/VE.2024.131009 被引量