质点几何定理机器证明的研究进展Research Progress of Automated Particle Geometry Theorems Proving
胡晓璐, 江建国, 张 媛 下载量: 1,354 浏览量: 4,432
应用数学进展 Vol.7 No.12, December 10 2018, PDF, HTML, XML DOI:10.12677/AAM.2018.712173 被引量
术中分子病理指导下的脑胶质瘤诊疗进展Advances in Intraoperative Molecular Pathology-Guided Diagnosis and Treatment of Gliomas
李 佳, 韩 哲 下载量: 16 浏览量: 25
临床医学进展 Vol.14 No.7, July 18 2024, PDF, , XML DOI:10.12677/acm.2024.1472065 被引量
CPLog测井采集软件自动化测试研究Research on Automated Testing of CPLog Logging Acquisition Software
柳宁花, 周正志, 林南粤, 赵长锋, 徐绘宏 下载量: 312 浏览量: 410
软件工程与应用 Vol.13 No.1, February 27 2024, PDF, HTML, XML DOI:10.12677/SEA.2024.131003 被引量
新能源汽车替代燃油车对汽车行业盈利能力影响分析Analysis of the Impact of New Energy Vehicles Replacing Fuel Vehicles on the Profitability of the Automotive Industry
冯盼盼, 刘 捷 下载量: 532 浏览量: 2,652 科研立项经费支持
现代管理 Vol.13 No.10, October 12 2023, PDF, HTML, XML DOI:10.12677/MM.2023.1310158 被引量
固定污染源挥发性有机物在线监测应用探讨Discussion on the Application of Automated Monitoring Volatile Organic Compounds from Stationary Sources
吴艳聪, 陈森阳, 庄马展 下载量: 355 浏览量: 543
环境保护前沿 Vol.12 No.1, February 21 2022, PDF, HTML, XML DOI:10.12677/AEP.2022.121013 被引量
基于双层模糊逻辑方法的智能车辆行驶稳定性研究Driving Stability of Intelligent Vehicles Based on Double-Layer Fuzzy Logic Method
郭婧博, 刘 飞 下载量: 253 浏览量: 484
运筹与模糊学 Vol.13 No.1, February 24 2023, PDF, HTML, XML DOI:10.12677/ORF.2023.131039 被引量
民航非现场监管中自动化行政的合法性研究A Study of the Legitimacy of Automated Administration in Off-Site Supervision of Civil Aviation
许骐玉 下载量: 42 浏览量: 90
社会科学前沿 Vol.13 No.5, May 31 2024, PDF, HTML, XML DOI:10.12677/ass.2024.135443 被引量
钼靶引导安珂旋切活检术和定位导丝活检术在乳腺钙化中的效果比较Comparison of the Effect of Mammography Guided EnCor Biopsy and Guided Wire Biopsy in Breast Calcification
王 强, 石雪枫, 丘 平, 董 洁, 林 森, 卢晓渟, 邓志红, 黄 蕴, 徐 萌 下载量: 491 浏览量: 683
临床医学进展 Vol.11 No.4, April 21 2021, PDF, HTML, XML DOI:10.12677/ACM.2021.114246 被引量
基于图像匹配的GUI自动化测试技术研究Research on GUI Automated Test Technology Based on Image Matching
郝 琳, 孔 婧, 李美静, 李 瑛, 李庆钰 下载量: 316 浏览量: 982 科研立项经费支持
软件工程与应用 Vol.11 No.6, December 8 2022, PDF, HTML, XML DOI:10.12677/SEA.2022.116125 被引量
基于Alloy的两个群定义的等价性验证Automated Verification of Equivalence of Two Group Definitions Based on Alloy
邹 科, 江建国, 徐 月, 张新钢 下载量: 1,514 浏览量: 5,764
应用数学进展 Vol.6 No.9, December 11 2017, PDF, HTML, XML DOI:10.12677/AAM.2017.69127 被引量