保证标准间协调性的形式化方法研究A Study of Formal Methods for Ensuring Inter-Criteria Harmonization
韩健秋, 王 建, 张 歌, 康逸云 下载量: 49 浏览量: 101
管理科学与工程 Vol.13 No.3, May 30 2024, PDF, HTML, XML DOI:10.12677/mse.2024.133063 被引量
律师会见权的保障与规范The Protection and Specification of Lawyers’ Interview Right
周莳文, 邓钰玮 下载量: 1,566 浏览量: 3,725
法学 Vol.5 No.2, April 30 2017, PDF, , XML DOI:10.12677/OJLS.2017.52005 被引量
形式三角矩阵环上的PGF模PGF Modules over Formal Triangular Matrix Rings
薛淑娴, 杨 刚 下载量: 543 浏览量: 819 国家自然科学基金支持
理论数学 Vol.10 No.11, November 27 2020, PDF, , DOI:10.12677/PM.2020.1011130 被引量
含多规格接触对的电连接器贮存寿命评估Evaluation of Storage Life of Electrical Connectors with Multi-Specification Contact Pairs
王友维, 钱 萍, 王 哲, 姚华军, 林 敏 下载量: 318 浏览量: 495 科研立项经费支持
建模与仿真 Vol.12 No.2, March 7 2023, PDF, HTML, XML DOI:10.12677/MOS.2023.122071 被引量
形式语言学研究现状和发展趋势——第九届形式语言学国际研讨会会议综述The Current Research and Future Development of Formal Linguistics—A Review of the 9th International Conference on Formal Linguistics
马艳晓 下载量: 606 浏览量: 890
现代语言学 Vol.11 No.3, March 31 2023, PDF, HTML, XML DOI:10.12677/ML.2023.113169 被引量
论证体篇章结构的形式化描述Formal Description for the Argumentative Discourse Structure
钟茂生, 江超, 王琪 下载量: 1,727 浏览量: 2,790 国家自然科学基金支持
现代语言学 Vol.5 No.4, November 15 2017, PDF, , XML DOI:10.12677/ML.2017.54046 被引量
RISC-V微控制器形式化方法研究Research on Formal Verification Method of RISC-V Microcontroller
潘 越, 程子敬 下载量: 807 浏览量: 1,341
计算机科学与应用 Vol.10 No.6, June 18 2020, PDF, HTML, XML DOI:10.12677/CSA.2020.106129 被引量
形式三角矩阵环上的余挠三元组Cotorsion Triples over Formal Triangular Matrix Rings
曹家乐, 杨晓燕 下载量: 324 浏览量: 473 国家自然科学基金支持
理论数学 Vol.12 No.5, May 20 2022, PDF, , DOI:10.12677/PM.2022.125079 被引量
形式三角矩阵环上的相对强Gorenstein投射模Relative Strongly Gorenstein ProjectiveModules over Formal TriangularMatrix Rings
张会晶 下载量: 122 浏览量: 180
理论数学 Vol.14 No.1, January 18 2024, PDF, , DOI:10.12677/PM.2024.141011 被引量
《范畴的普遍结构:形式类型学视角》评介A Review of the Universal Structure of Categories: Towards a Formal Typology
杜 青 下载量: 189 浏览量: 232
现代语言学 Vol.11 No.12, December 19 2023, PDF, HTML, XML DOI:10.12677/ML.2023.1112809 被引量