LIUF理论量词公式的插值算法Interpolation Algorithm for Quantifier Formulas in LIUF Theory
李千卉, 江建国, 刘文秀 下载量: 1,973 浏览量: 5,127
软件工程与应用 Vol.4 No.6, December 28 2015, PDF, , XML DOI:10.12677/SEA.2015.46016 被引量
二阶锥三角函数及其相关公式Correlation Formulas of Trigonometric Functions Associated with Second-Order Cone
张 燕, 郝自军, 余国林 下载量: 2,038 浏览量: 4,615 国家自然科学基金支持
理论数学 Vol.6 No.3, May 19 2016, PDF, , XML DOI:10.12677/PM.2016.63031 被引量
不同眼轴选择人工晶状体计算公式的研究进展Research Progress on Selecting IOL Calculation Formulas with Different Axial Length
刘岭昆, 穆启睿, 刘豫宁, 刘湘云, 赵春梅 下载量: 177 浏览量: 396
临床医学进展 Vol.13 No.3, March 21 2023, PDF, HTML, XML DOI:10.12677/ACM.2023.133582 被引量
GPS广播星历的拟合与拟合历元数的影响分析The Influence Analysis of GPS Broadcast Ephemeris Fitting and Fitting Epoch Number
郭宋, 苏晋展 下载量: 1,598 浏览量: 3,525 国家自然科学基金支持
测绘科学技术 Vol.4 No.3, July 29 2016, PDF, , XML DOI:10.12677/GST.2016.43012 被引量
线接触弹流润滑状态下的油膜压力极值研究Research on EHL Oil Film Extreme Pressure of Line Contact EHL
夏伯乾, 刘浩铭, 刘艳龙 下载量: 1,452 浏览量: 3,304 国家自然科学基金支持
机械工程与技术 Vol.6 No.2, June 28 2017, PDF, , XML DOI:10.12677/MET.2017.62026 被引量
角膜曲率对人工晶状体屈光度计算公式在高度近视伴后巩膜葡萄肿白内障中的影响研究The Effect of Corneal Curvature on Intraocular Lens Power Calculation Formulas in Cataract of High Myopia with Posterior Staphyloma
刘桂波, 刘文文, 冷 林 下载量: 952 浏览量: 1,609 科研立项经费支持
临床医学进展 Vol.9 No.3, March 11 2019, PDF, HTML, XML DOI:10.12677/ACM.2019.93043 被引量
关于最小二乘拟合的 Succesive over Relaxation渐进迭代逼近The Succesive Over Relaxation Progressive Iterative Approximation for Least Squares Fitting
田沂, 杜勇奇 下载量: 199 浏览量: 235 科研立项经费支持
应用数学进展 Vol.12 No.11, November 24 2023, PDF, , DOI:10.12677/AAM.2023.1211474 被引量
基于阵列代数的测深数据拟合方法Fitting Method of Hydrographic Data Based on Array Algebra
张瑞辰, 刘雁春, 边少锋, 李厚朴 下载量: 1,723 浏览量: 2,513 国家自然科学基金支持
应用数学进展 Vol.6 No.6, September 30 2017, PDF, , XML DOI:10.12677/AAM.2017.66096 被引量
“万装魔镜”试衣系统的研究与实现Research and Implementation of the “Magic Mirror” Fitting System
张茂园, 程 壮, 孙同宜 下载量: 252 浏览量: 346
计算机科学与应用 Vol.13 No.3, March 28 2023, PDF, HTML, XML DOI:10.12677/CSA.2023.133042 被引量
基于活性编码的EUF公式的判定过程A Decision Procedure of EUF Formulas Based on Eager Encoding
程梦奇, 雷斯然, 江建国 下载量: 625 浏览量: 931
软件工程与应用 Vol.9 No.1, February 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91006 被引量