RISC-V微控制器形式化方法研究Research on Formal Verification Method of RISC-V Microcontroller
潘 越, 程子敬 下载量: 779 浏览量: 1,302
计算机科学与应用 Vol.10 No.6, June 18 2020, PDF, HTML, XML DOI:10.12677/CSA.2020.106129 被引量
论证体篇章结构的形式化描述Formal Description for the Argumentative Discourse Structure
钟茂生, 江超, 王琪 下载量: 1,724 浏览量: 2,784 国家自然科学基金支持
现代语言学 Vol.5 No.4, November 15 2017, PDF, , XML DOI:10.12677/ML.2017.54046 被引量
利用“结构分析–形式统一法”求解数学题目Solving Mathematical Problems by Structural Analysis Method and Formal Unification Method
王耀革, 崔国忠, 郭从洲 下载量: 608 浏览量: 1,081 国家自然科学基金支持
理论数学 Vol.10 No.5, May 20 2020, PDF, HTML, XML DOI:10.12677/PM.2020.105064 被引量
形式级数域上Oppenheim连分数展式的一些算术性质Some Arithmetic Properties of Oppenheim Continued Fraction Expansion over the Field of Formal Series
薛 文 下载量: 231 浏览量: 410
理论数学 Vol.13 No.4, April 26 2023, PDF, HTML, XML DOI:10.12677/PM.2023.134092 被引量
基于三支决策的文本形式背景分类模型的研究Research on Textual Formal Context Classification Model Based on Three-Way Decision
毛 华, 梁思齐, 武振宇 下载量: 624 浏览量: 930 国家自然科学基金支持
理论数学 Vol.10 No.5, April 30 2020, PDF, HTML, XML DOI:10.12677/PM.2020.105049 被引量
保证标准间协调性的形式化方法研究A Study of Formal Methods for Ensuring Inter-Criteria Harmonization
韩健秋, 王 建, 张 歌, 康逸云 下载量: 46 浏览量: 85
管理科学与工程 Vol.13 No.3, May 30 2024, PDF, HTML, XML DOI:10.12677/mse.2024.133063 被引量
新型农业经营主体的正规信贷约束研究—基于辽宁样本的考察分析The Study of Formal Credit Constraints of New Agricultural Business Entities—Based on the Analysis of Liaoning Samples
高红治, 周 杨, 王淑君 下载量: 1,393 浏览量: 3,381
世界经济探索 Vol.6 No.2, June 28 2017, PDF, , XML DOI:10.12677/WER.2017.62002 被引量
形式三角矩阵环上的PGF模PGF Modules over Formal Triangular Matrix Rings
薛淑娴, 杨 刚 下载量: 528 浏览量: 800 国家自然科学基金支持
理论数学 Vol.10 No.11, November 27 2020, PDF, , DOI:10.12677/PM.2020.1011130 被引量
形式语言学研究现状和发展趋势——第九届形式语言学国际研讨会会议综述The Current Research and Future Development of Formal Linguistics—A Review of the 9th International Conference on Formal Linguistics
马艳晓 下载量: 586 浏览量: 848
现代语言学 Vol.11 No.3, March 31 2023, PDF, HTML, XML DOI:10.12677/ML.2023.113169 被引量
形式三角矩阵环上的余挠三元组Cotorsion Triples over Formal Triangular Matrix Rings
曹家乐, 杨晓燕 下载量: 310 浏览量: 453 国家自然科学基金支持
理论数学 Vol.12 No.5, May 20 2022, PDF, , DOI:10.12677/PM.2022.125079 被引量