利用“结构分析–形式统一法”求解数学题目Solving Mathematical Problems by Structural Analysis Method and Formal Unification Method
王耀革, 崔国忠, 郭从洲 下载量: 633 浏览量: 1,126 国家自然科学基金支持
理论数学 Vol.10 No.5, May 20 2020, PDF, HTML, XML DOI:10.12677/PM.2020.105064 被引量
中国书画艺术作品印章真伪检测算法研究Research on Seal Authenticity Detection Algorithm for Chinese Painting and Calligraphy Art Works
王卫军, 黄祖成, 江旭耀, 陈金源, 王璐洋 下载量: 444 浏览量: 3,361 科研立项经费支持
计算机科学与应用 Vol.13 No.9, September 8 2023, PDF, HTML, XML DOI:10.12677/CSA.2023.139165 被引量
正式体动宾式带宾语现象与句法分析The Phenomenon and Syntactic Analysis of Formal Verb-Abject Tense with Object
吴睿瑄 下载量: 515 浏览量: 797
现代语言学 Vol.10 No.6, June 30 2022, PDF, HTML, XML DOI:10.12677/ML.2022.106187 被引量
论现代建筑的形式逻辑:理性原则的递归Formal Logic in Modern Architecture: Recursion of Rational Principles
成雨潼 下载量: 158 浏览量: 383
艺术研究快报 Vol.13 No.2, May 27 2024, PDF, HTML, XML DOI:10.12677/arl.2024.132013 被引量
保证标准间协调性的形式化方法研究A Study of Formal Methods for Ensuring Inter-Criteria Harmonization
韩健秋, 王 建, 张 歌, 康逸云 下载量: 52 浏览量: 107
管理科学与工程 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,402 浏览量: 3,396
世界经济探索 Vol.6 No.2, June 28 2017, PDF, , XML DOI:10.12677/WER.2017.62002 被引量
基于共享信息描述模板的舱段装配工艺形式化表达与封装Formal Expression and Packaging of Ship Section Assembly Process Based on Shared Information Description Template
张秀艳, 王禹森, 景 迪, 白文广, 臧建新 下载量: 129 浏览量: 430
国际航空航天科学 Vol.12 No.1, March 12 2024, PDF, HTML, XML DOI:10.12677/JAST.2024.121003 被引量
区块链技术电子证据鉴真困境及解决路径 The Dilemmas and Solutions of Electronic Evidence Authentication under Blockchain Technology
林钰涟, 陈秋蓂 下载量: 230 浏览量: 376 科研立项经费支持
争议解决 Vol.9 No.6, November 20 2023, PDF, HTML, XML DOI:10.12677/DS.2023.96440 被引量
商务英语写作教材编写标准化研究A Study of the Standardization of the Textbook Compiling of Business English Writing
马 敏, 唐 婧 下载量: 313 浏览量: 2,802 科研立项经费支持
现代语言学 Vol.11 No.5, May 31 2023, PDF, HTML, XML DOI:10.12677/ML.2023.115305 被引量
GrO¨bner基法验证乘法器的设计与实现Design and Implementation of GrO¨bner Basis Verification Multiplier
吕妍颖, 张小盈, 江建国 下载量: 313 浏览量: 2,020
应用数学进展 Vol.10 No.10, October 26 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.1010369 被引量