RISC-V微控制器形式化方法研究Research on Formal Verification Method of RISC-V Microcontroller
潘 越, 程子敬 下载量: 852 浏览量: 1,392
计算机科学与应用 Vol.10 No.6, June 18 2020, PDF, HTML, XML DOI:10.12677/CSA.2020.106129 被引量
论证体篇章结构的形式化描述Formal Description for the Argumentative Discourse Structure
钟茂生, 江超, 王琪 下载量: 1,767 浏览量: 2,832 国家自然科学基金支持
现代语言学 Vol.5 No.4, November 15 2017, PDF, HTML, XML DOI:10.12677/ML.2017.54046 被引量
电力系统健康的形式化定义Formal Definition of Power System Health
池晓金, 郑文斌, 牛 伟, 陈梦娴, 何 佩, 郭阳明 下载量: 402 浏览量: 584 科研立项经费支持
电力与能源进展 Vol.9 No.2, April 19 2021, PDF, HTML, XML DOI:10.12677/AEPE.2021.92008 被引量
保证标准间协调性的形式化方法研究A Study of Formal Methods for Ensuring Inter-Criteria Harmonization
韩健秋, 王 建, 张 歌, 康逸云 下载量: 65 浏览量: 123
管理科学与工程 Vol.13 No.3, May 30 2024, PDF, HTML, XML DOI:10.12677/mse.2024.133063 被引量
现代汉语听觉动词词义基元结构的形式化描写Formalized Description of Semantic Primitive Structure of Auditory Verbs in Modern Chinese
李远天, 胡 惮 下载量: 739 浏览量: 2,283 国家社会科学基金支持
现代语言学 Vol.8 No.2, April 21 2020, PDF, HTML, XML DOI:10.12677/ML.2020.82029 被引量
基于共享信息描述模板的舱段装配工艺形式化表达与封装Formal Expression and Packaging of Ship Section Assembly Process Based on Shared Information Description Template
张秀艳, 王禹森, 景 迪, 白文广, 臧建新 下载量: 140 浏览量: 454
国际航空航天科学 Vol.12 No.1, March 12 2024, PDF, HTML, XML DOI:10.12677/JAST.2024.121003 被引量
GrO¨bner基法验证乘法器的设计与实现Design and Implementation of GrO¨bner Basis Verification Multiplier
吕妍颖, 张小盈, 江建国 下载量: 334 浏览量: 2,043
应用数学进展 Vol.10 No.10, October 26 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.1010369 被引量
基于Alloy的两个群定义的等价性验证Automated Verification of Equivalence of Two Group Definitions Based on Alloy
邹 科, 江建国, 徐 月, 张新钢 下载量: 1,520 浏览量: 5,785
应用数学进展 Vol.6 No.9, December 11 2017, PDF, HTML, XML DOI:10.12677/AAM.2017.69127 被引量
贪心算法实例化教学方法探索Instantiation Teaching Method Exploration of Greedy Algorithm
范艳芳 下载量: 1,804 浏览量: 6,435 科研立项经费支持
创新教育研究 Vol.5 No.4, September 8 2017, PDF, HTML, XML DOI:10.12677/CES.2017.54045 被引量
Gro¨ bner基方法验证乘法器的Maple实现Maple Implementation of Verification Multiplier Based on Gro¨ bner Basis
刘佳姝, 张璇思, 江建国 下载量: 707 浏览量: 1,033
应用数学进展 Vol.9 No.11, November 17 2020, PDF, HTML, XML DOI:10.12677/AAM.2020.911220 被引量