基于Alloy的73构形存在性定理的机器验证Machine Verification of the Existence Theorem of Configuration 73 Based on Alloy
徐 月, 江建国, 邹 科, 张新钢 下载量: 1,589 浏览量: 1,877
应用数学进展 Vol.6 No.8, November 29 2017, PDF, HTML, XML DOI:10.12677/AAM.2017.68123 被引量
对称Max Plus半环上热带多项式的根Roots of Tropical Polynomials over Symmetric Max-Plus Semiring
苏 瑞, 秦靖玻 下载量: 333 浏览量: 495 科研立项经费支持
理论数学 Vol.12 No.10, October 26 2022, PDF, HTML, XML DOI:10.12677/PM.2022.1210189 被引量
波动方程:拟稳定性和广义指数吸引子Wave Equation: Quasi-Stability and Generalized Exponential Attractor
富 娜, 刘琳琳 下载量: 1,158 浏览量: 1,522 国家自然科学基金支持
理论数学 Vol.8 No.5, September 11 2018, PDF, HTML, XML DOI:10.12677/PM.2018.85068 被引量
淮北煤田临涣矿区煤的孔隙结构分析Pore Structure Analysis of Coals in Linhuan Mining Area of the Huaibei Coalfield
未子林, 魏 强, 柳振宇, 赵孔雨, 夏胡斌 下载量: 164 浏览量: 245 科研立项经费支持
自然科学 Vol.12 No.2, March 29 2024, PDF, HTML, XML DOI:10.12677/ojns.2024.122042 被引量
曲线正交坐标系下∇→A→与∇2 A→的一种推导A Derivation of ∇→A→ and ∇2 A→ in Curvilinear Orthogonal Coordinates
陈葛锐, 贺梦冬, 陈小艳 下载量: 531 浏览量: 1,123 科研立项经费支持
力学研究 Vol.10 No.2, June 28 2021, PDF, HTML, XML DOI:10.12677/IJM.2021.102014 被引量
局部射影平坦Berwald型(α, β)度量的一个刻画A Characterization for Locally Projectively Flat Berwald Type (α, β)-Metrics
余昌涛 下载量: 2,427 浏览量: 5,803 国家自然科学基金支持
理论数学 Vol.5 No.4, July 22 2015, PDF, , XML DOI:10.12677/PM.2015.54023 被引量
连续管空气钻井排屑能力分析The Analysis of Cuttings Removal Ability in Air Drilling with Coiled Tubings
张国锋 下载量: 919 浏览量: 1,164 国家科技经费支持
石油天然气学报 Vol.40 No.3, June 15 2018, PDF, HTML, XML DOI:10.12677/JOGT.2018.403084 被引量
无线分布式三维隧道地质超前预报技术研究The Research of 3D Tunnel Geological Prediction Technology in Wireless Distributed System
黄欧龙, 曹国侯, 王运生, 程路明 下载量: 1,915 浏览量: 3,952
地球科学前沿 Vol.6 No.4, August 30 2016, PDF, , XML DOI:10.12677/AG.2016.64034 被引量
基于MATLAB与FLAC3D的煤系岩体裂隙网络构建Construction of Coal System Rock Crack Network Based on MATLAB and FLAC3D
刘 阳 下载量: 403 浏览量: 647
矿山工程 Vol.10 No.3, July 27 2022, PDF, HTML, XML DOI:10.12677/ME.2022.103036 被引量
从三角形面积看数学思维的培养The Development of Mathematical Thinking from the Area of Triangles
张 昕, 刘海明, 董梦莹 下载量: 374 浏览量: 679 科研立项经费支持
创新教育研究 Vol.10 No.10, October 25 2022, PDF, HTML, XML DOI:10.12677/CES.2022.1010399 被引量