k-归纳模型检测结果的认证器A Certifier for k-Induction Model Checking Results
刘 帅, 魏峰玉, 黄怡桐, 江建国 下载量: 242 浏览量: 357
应用数学进展 Vol.11 No.11, November 10 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1111817 被引量
基于程序控制流完整性检查的DSP软错误检测DSP Soft Error Detection Based on Program Control Flow Integrity Checking
周国昌, 王向涛, 高 翔, 赖晓玲, 郭阳明, 于登云 下载量: 2,656 浏览量: 5,510 国家自然科学基金支持
计算机科学与应用 Vol.5 No.4, May 22 2015, PDF, , XML DOI:10.12677/CSA.2015.54017 被引量
基于等价性检验和特征聚类的《红楼梦》作者分析An Analysis of the Authors of A Dream of Red Mansions Based on Equivalence Checking and Feature Clustering
程东波, 柯小玲, 林施鑫 下载量: 553 浏览量: 1,460 科研立项经费支持
理论数学 Vol.10 No.5, May 27 2020, PDF, HTML, XML DOI:10.12677/PM.2020.105067 被引量
课程思政在《混凝土(钢)结构检算》课程教学中的实践探索The Practical Exploration of Curriculum Thinking and Politics in the Course of “Concrete (Steel) Structure Checking Calculation
李英杰, 金 花, 桂阿娟 下载量: 146 浏览量: 180 科研立项经费支持
职业教育 Vol.13 No.1, January 8 2024, PDF, HTML, XML DOI:10.12677/VE.2024.131009 被引量
基于B/S结构面部识别考勤系统的设计实现B/S Structure-Based Checking on Work Attendance Management System Using Face Recognition
张 籍, 王 暄 下载量: 4,308 浏览量: 11,547
软件工程与应用 Vol.2 No.6, December 30 2013, PDF, , DOI:10.12677/SEA.2013.26027 被引量
基于对偶变量的计算机代数证明的机器检验Machine Checking for Computer Algebraic Proofs Based on Dual Variables
魏峰玉, 黄怡桐, 刘 帅, 江建国 下载量: 195 浏览量: 288
应用数学进展 Vol.11 No.11, November 28 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1111867 被引量
VXWORKS系统并发程序动态测试工具设计The Design of Dynamic Checking Tool for VXWORKS Systems Concurrent Program
梁昊, 艾云峰, 沈怀荣, 赵永超 下载量: 2,643 浏览量: 8,933
软件工程与应用 Vol.3 No.3, June 20 2014, PDF, , DOI:10.12677/SEA.2014.33011 被引量
混凝土板柱节点弯曲裂缝截面冲切承载力验算方法研究Checking Method Study of Punching Shear Capacity on the Flexural Crack Section in Concrete Slab-Column Joints
潘 立 下载量: 590 浏览量: 1,108
土木工程 Vol.9 No.6, June 15 2020, PDF, HTML, XML DOI:10.12677/HJCE.2020.96063 被引量
建设项目人员实时定位考勤技术的应用开发Application of Real-Time Localization and Attendance Checking Technology for Construction Project Personnel
许泽宁, 肖利君 下载量: 579 浏览量: 1,793
计算机科学与应用 Vol.10 No.9, September 25 2020, PDF, HTML, XML DOI:10.12677/CSA.2020.109176 被引量
浅谈生成语法框架下的句法推导——从语义理论到特征核查Brief Discussion on the Syntactic Derivation under the Framework of Generative Grammar—From Theta Theory to Feature Checking
朱鑫雨 下载量: 545 浏览量: 951
现代语言学 Vol.10 No.7, July 4 2022, PDF, HTML, XML DOI:10.12677/ML.2022.107189 被引量