基于Alloy的73构形存在性定理的机器验证Machine Verification of the Existence Theorem of Configuration 73 Based on Alloy
徐 月, 江建国, 邹 科, 张新钢 下载量: 1,594 浏览量: 1,886
应用数学进展 Vol.6 No.8, November 29 2017, PDF, HTML, XML DOI:10.12677/AAM.2017.68123 被引量
带工作故障的M/M/1重试排队流模型系统性能分析The Performance Analysis of a Retrial M/M/1 Flow Queue Model with Working Breakdowns
孙红霜, 叶晴晴 下载量: 374 浏览量: 580 国家自然科学基金支持
应用数学进展 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
刘 阳 下载量: 410 浏览量: 660
矿山工程 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,783 浏览量: 2,523 国家自然科学基金支持
应用数学进展 Vol.6 No.9, December 22 2017, PDF, HTML, XML DOI:10.12677/AAM.2017.69141 被引量
具有分布时滞的奇异扰动KdV-KS方程的孤立波Solitary Waves of Singularly Perturbed KdV-KS Equation with Distributed Delay
蒋永新 下载量: 2,692 浏览量: 8,996 国家科技经费支持
理论数学 Vol.4 No.6, November 26 2014, PDF, , XML DOI:10.12677/PM.2014.46037 被引量
二维多孔材料C2N理论研究综述A Summary of C2N Theoretical Research on Two-Dimensional Porous Materials
孔程程, 黄华荃 下载量: 768 浏览量: 2,393
材料化学前沿 Vol.9 No.3, July 1 2021, PDF, HTML, XML DOI:10.12677/AMC.2021.93009 被引量
实体建模技术研究进展Research Progress of Solid Modeling Technology
段忠祥, 杨 钦 下载量: 670 浏览量: 1,035
计算机科学与应用 Vol.11 No.4, April 28 2021, PDF, HTML, XML DOI:10.12677/CSA.2021.114112 被引量
基于MATLAB的系统根轨迹法超前校正设计研究Advanced Correction Study of System Root Locus Method Based on MATLAB
周明睿, 宋汝晖 下载量: 385 浏览量: 596
设计 Vol.8 No.2, June 25 2023, PDF, HTML, XML DOI:10.12677/Design.2023.82064 被引量
拉格朗日中值定理教学的思考A Note of the Teaching of Lagrange Mean Value Theorem
邱 崇 下载量: 909 浏览量: 2,133 国家自然科学基金支持
教育进展 Vol.10 No.1, December 27 2019, PDF, HTML, XML DOI:10.12677/AE.2020.101008 被引量
从三角形面积看数学思维的培养The Development of Mathematical Thinking from the Area of Triangles
张 昕, 刘海明, 董梦莹 下载量: 395 浏览量: 709 科研立项经费支持
创新教育研究 Vol.10 No.10, October 25 2022, PDF, HTML, XML DOI:10.12677/CES.2022.1010399 被引量