基于Alloy的73构形存在性定理的机器验证Machine Verification of the Existence Theorem of Configuration 73 Based on Alloy
徐 月, 江建国, 邹 科, 张新钢 下载量: 1,584 浏览量: 1,867
应用数学进展 Vol.6 No.8, November 29 2017, PDF, , XML DOI:10.12677/AAM.2017.68123 被引量
小梁切除术后滤过泡针拨失败危险因素分析The Risk Factors for Posttrabeculectomy Bleb Needling Failure
夏翠然 下载量: 2,320 浏览量: 7,534
眼科学 Vol.4 No.3, September 11 2015, PDF, , XML DOI:10.12677/HJO.2015.43010 被引量
基于多元有序Logistic模型的居民对浙江省数字文旅建设满意度研究——以杭州市为例A Research on Residents’ Satisfaction with the Construction of Digital Cultural Tourism in Zhejiang Province Based on MultinomialOrdered Logistic Model—A Case Study of Hangzhou City
丁 玥, 周 慧, 张哲源 下载量: 110 浏览量: 283
统计学与应用 Vol.13 No.2, April 24 2024, PDF, HTML, XML DOI:10.12677/sa.2024.132043 被引量
基于WoS引文数据库对植物重金属转运蛋白研究文献的计量分析A Quantitative Analysis of the Literature on Plant Heavy Metal Transporters Based on WoS Citation Database
何叶清, 何冠谛, 何腾兵 下载量: 537 浏览量: 1,131 科研立项经费支持
植物学研究 Vol.10 No.5, August 12 2021, PDF, HTML, XML DOI:10.12677/BR.2021.105076 被引量
无人值守智能型供电所专业仓的研究与应用Research and Application of Professional Warehouse of Unattended Intelligent Power Supply Station
叶 菲, 舒 琪, 吴文捷, 李 奋, 方 栋, 江明远 下载量: 472 浏览量: 664
现代管理 Vol.12 No.9, September 21 2022, PDF, HTML, XML DOI:10.12677/MM.2022.129156 被引量
带工作故障的M/M/1重试排队流模型系统性能分析The Performance Analysis of a Retrial M/M/1 Flow Queue Model with Working Breakdowns
孙红霜, 叶晴晴 下载量: 358 浏览量: 564 国家自然科学基金支持
应用数学进展 Vol.11 No.2, February 17 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.112082 被引量
基于MATLAB与FLAC3D的煤系岩体裂隙网络构建Construction of Coal System Rock Crack Network Based on MATLAB and FLAC3D
刘 阳 下载量: 397 浏览量: 636
矿山工程 Vol.10 No.3, July 27 2022, PDF, HTML, XML DOI:10.12677/ME.2022.103036 被引量
细分曲面奇异点处的光滑过渡Smooth Connection near Singular Points on Subdivision Surfaces
唐月红, 李 森, 刘 浩, 古玉屏 下载量: 1,775 浏览量: 2,508 国家自然科学基金支持
应用数学进展 Vol.6 No.9, December 22 2017, PDF, HTML, XML DOI:10.12677/AAM.2017.69141 被引量
长江流域固碳服务流动路径量化及驱动因子分析Quantification and Driving Factors of Carbon Sequestration Service Flow Paths
百晓莹, 向洪莉, 王 昕, 王燕雯, 刘建晓, 周李磊, 官冬杰 下载量: 605 浏览量: 1,185 国家自然科学基金支持
地球科学前沿 Vol.12 No.5, May 30 2022, PDF, HTML, XML DOI:10.12677/AG.2022.125066 被引量
基于产出导向法的课程思政教学设计与实践——以大学英语综合教程为例Teaching Design and Practice on Curriculum Ideology and Politics Based on Production-Oriented Approach—Taking College English Integrated Course as an Example
马 静, 段慧如 下载量: 382 浏览量: 606 科研立项经费支持
创新教育研究 Vol.11 No.7, July 17 2023, PDF, HTML, XML DOI:10.12677/CES.2023.117256 被引量