k-归纳模型检测结果的认证器A Certifier for k-Induction Model Checking Results
刘 帅, 魏峰玉, 黄怡桐, 江建国 下载量: 306 浏览量: 449
应用数学进展 Vol.11 No.11, November 10 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1111817 被引量
身份认同与符号消费的关系及研究展望The Relationship between Identity and Symbolic Consumption and Research Prospect
罗舒伦 下载量: 1,978 浏览量: 6,164
社会科学前沿 Vol.6 No.3, March 16 2017, PDF, , XML DOI:10.12677/ASS.2017.63036 被引量
基于等价性检验和特征聚类的《红楼梦》作者分析An Analysis of the Authors of A Dream of Red Mansions Based on Equivalence Checking and Feature Clustering
程东波, 柯小玲, 林施鑫 下载量: 611 浏览量: 1,580 科研立项经费支持
理论数学 Vol.10 No.5, May 27 2020, PDF, HTML, XML DOI:10.12677/PM.2020.105067 被引量
自我超越与生命意义:象征性不朽的中介作用Self-Transcendence and Meaning in Life: The Mediating Role of Symbolic Immortality
牛笑笛 下载量: 292 浏览量: 572
心理学进展 Vol.13 No.4, April 24 2023, PDF, HTML, XML DOI:10.12677/AP.2023.134175 被引量
迁移关系的布尔函数表示的优化Optimization of the Boolean Function Representing Transition Relation
张小珍, 江建国 下载量: 1,706 浏览量: 4,244
软件工程与应用 Vol.5 No.6, December 21 2016, PDF, , XML DOI:10.12677/SEA.2016.56037 被引量
基于对偶变量的计算机代数证明的机器检验Machine Checking for Computer Algebraic Proofs Based on Dual Variables
魏峰玉, 黄怡桐, 刘 帅, 江建国 下载量: 222 浏览量: 332
应用数学进展 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,720 浏览量: 9,293
软件工程与应用 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,179 浏览量: 11,353
软件工程与应用 Vol.3 No.3, June 20 2014, PDF, , DOI:10.12677/SEA.2014.33009 被引量
《了不起的盖茨比》中绿色的象征内涵Symbolic Meanings of Green in The Great Gatsby
明俊兰 下载量: 1,178 浏览量: 8,294
世界文学研究 Vol.6 No.3, August 29 2018, PDF, HTML, XML DOI:10.12677/WLS.2018.63017 被引量
非符号数量系统的表征机制Representation Mechanisms of the Non-Symbolic Number System
严 格, 黄 珂, 杨宇涵, 尹月阳, 刘 佳 下载量: 19 浏览量: 48
心理学进展 Vol.14 No.6, June 28 2024, PDF, , XML DOI:10.12677/ap.2024.146424 被引量