分享到:

线性拟合法

在热动力学理论的基础上,导出了简单级数反应的线性拟合性法,应用这种方法研究了乙酸乙酯在纯水中、丙酸  (本文共6页) 阅读全文>>

南京大学
南京大学

线性拟合制导的面向CDC/MCDC的测试用例自动生成方法

测试是软件开发过程中的重要环节,是工业界常用的质量保障手段。为满足测试充分覆盖的要求,测试人员需要花费大量的时间和精力来设计测试用例。测试用例自动生成技术针对给定的测试覆盖准则自动生成有效的测试用例,从而减少测试人员的工作量,降低软件生产成本,是软件测试技术研究的一个重要方向。在白盒测试中,条件判定覆盖(CDC)和改进的条件判定覆盖(MCDC)是各种安全攸关软件测试中常用的测试覆盖准则。由于非线性运算的存在,相应的测试用例自动生成问题已经被理论证明是NP问题。目前的研究工作主要采用符号执行技术和启发式搜索方法探寻满足程序约束条件的解。符号执行技术受制于当前的约束求解器不能有效求解非线性约束条件;启发式搜索方法(主要代表是基于遗传算法的搜索和基于模拟退火算法的搜索)的主要问题在于搜索区间不可扩展且搜索的效能受到多个参数的影响,从而针对一个具体程序找到最优的参数设定是非常困难的。分量线性拟合法也是一种启发式搜索方法,但是不同于基于遗...  (本文共80页) 本文目录 | 阅读全文>>

《解放军理工大学学报(自然科学版)》2016年05期
解放军理工大学学报(自然科学版)

高精度重力加速度的求法

为了进一步提高单摆测重力加速度的数据拟合精度,基于最小二乘法原理,用线性拟合法分别与指数拟合法、对数拟合法、幂函数拟合法及多项式拟合法结合使用的方法,获得了不同精度的重力加速度拟合值。计算结果表明...  (本文共5页) 阅读全文>>

《地球信息科学学报》2018年02期
地球信息科学学报

农田生产力监测中3种多源遥感数据融合方法的对比分析

借助多源遥感数据融合技术能够得到高时空分辨率的遥感数据,可以为高精度农业遥感动态监测提供强有力的支持。在诸多融合算法不断发展的情况下,评估每种方法的特点及其适用性,有助于找到最适宜的融合方法,进而应用于农田生产力监测的实践之中。本研究根据高标准农田建设成效评估对高时空分辨率生产力信息的需求,以宁夏灵武市农业综合开发项目区为实验区,采用线性拟合法、时序拟合法、时空融合法3种多源遥感数据融合方法,融合空间分辨率30 m的Landsat遥感数据的空间精度信息与空间分辨率5...  (本文共12页) 阅读全文>>

《航空动力学报》2011年05期
航空动力学报

线性拟合法建立航空发动机状态变量模型

针对非线性拟合法建立航空发动机状态变量模型过程中的初值问题,提出了一种能够避免该问题的线性拟合法,即在离散域情况下,利用已知的状态序列来构建系统矩阵与模型响应...  (本文共6页) 阅读全文>>

《地球物理学进展》2014年04期
地球物理学进展

横波预测技术在YB地区的应用

横波速度测井曲线是进行岩石物理分析、AVO正演、AVO属性分析以及叠前反演等工作必不可少的基础资料,但横波测试设备与常规测井测试仪器不同,造成额外费用,往往很多井没有横波资料;同时还存在实测横波速度异常,不能满足实际工作需要.针对这些问题,本文利用经验公式法、XuWhite法及多元线性拟合法在YB地区进行横波预测,对比了不同方法的预测精度,讨...  (本文共6页) 阅读全文>>