k-归纳模型检测结果的认证器A Certifier for k-Induction Model Checking Results
刘 帅, 魏峰玉, 黄怡桐, 江建国 下载量: 221 浏览量: 333
应用数学进展 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
程东波, 柯小玲, 林施鑫 下载量: 524 浏览量: 1,423 科研立项经费支持
理论数学 Vol.10 No.5, May 27 2020, PDF, HTML, XML DOI:10.12677/PM.2020.105067 被引量
VXWORKS系统并发程序动态测试工具设计The Design of Dynamic Checking Tool for VXWORKS Systems Concurrent Program
梁昊, 艾云峰, 沈怀荣, 赵永超 下载量: 2,607 浏览量: 8,831
软件工程与应用 Vol.3 No.3, June 20 2014, PDF, , DOI:10.12677/SEA.2014.33011 被引量
模型检测器SPIN图形化工具的研究与应用Research and Application of the SPIN Model Checker Graphical Tools
陈平, 王德成 下载量: 3,103 浏览量: 10,876
软件工程与应用 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,640 浏览量: 5,428 国家自然科学基金支持
计算机科学与应用 Vol.5 No.4, May 22 2015, PDF, , XML DOI:10.12677/CSA.2015.54017 被引量
基于灰色预测方法的广东省人口生育率模型的研究Analysis on Guangdong Province Fertility Model Based on the Gray Prediction Method
张敏华, 林馨儿, 王柳方, 黄美婷 下载量: 2,873 浏览量: 6,080 科研立项经费支持
统计学与应用 Vol.3 No.4, December 10 2014, PDF, , DOI:10.12677/SA.2014.34021 被引量
基于ArcGIS Model Builder的地形指数提取方法及实践研究The Study on Terrain Index Extraction Method and Practice Based on ArcGIS Model Builder
肖 燕, 解 鹏 下载量: 4,077 浏览量: 14,178 国家自然科学基金支持
测绘科学技术 Vol.1 No.3, September 18 2013, PDF, , DOI:10.12677/GST.2013.13003 被引量
课程思政在《混凝土(钢)结构检算》课程教学中的实践探索The Practical Exploration of Curriculum Thinking and Politics in the Course of “Concrete (Steel) Structure Checking Calculation
李英杰, 金 花, 桂阿娟 下载量: 100 浏览量: 130 科研立项经费支持
职业教育 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,279 浏览量: 11,486
软件工程与应用 Vol.2 No.6, December 30 2013, PDF, , DOI:10.12677/SEA.2013.26027 被引量
基于对偶变量的计算机代数证明的机器检验Machine Checking for Computer Algebraic Proofs Based on Dual Variables
魏峰玉, 黄怡桐, 刘 帅, 江建国 下载量: 190 浏览量: 280
应用数学进展 Vol.11 No.11, November 28 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1111867 被引量