多项式程序模型的互模拟等价

针对程序的行为等价性,提出多项式程序模型的互模拟等价,适用于代数程序模型描述的软件系统设计和验证分析．给出多项式程序模型互模拟等价概念,建立互模拟等价的符号计算方法,选取结构简单的模型,简化程序设计,缓解状态爆炸导致的形式化验证方法计算复杂度过高而难于实现的问题．最后给出并发程序的相关实例．     

柴油乘用车实际道路排放的多项式回归模型

以车载排放试验数据为基础,对某柴油乘用车实际道路行驶速度、加速度、比功率、发动机转速、负荷、空燃比、排气流量、排气温度、燃油消耗量等影响因素进行了主成分分析,所提取主成分的累积方差贡献率达95%。通过多项式回归建立了柴油乘用车实际道路THC、CO、CO2、NOx排放与综合影响因素之间的回归模型。结果表明,建立回归模型的THC、CO、CO2和NOx排放预测误差分别为1.9%、6.2%、2.4%和2.7%,所建立模型的准确性较好。     

基于RBF的船体曲面变形方法及在船体型线优化中的应用

介绍了径向基函数插值（RBF）的基本原理及其在船体曲面变形中的应用。将基于径向基函数插值的船体曲面修改方法与CFD软件及优化算法结合,成功开发了船体型线优化平台。运用该平台对美国海军水面舰艇DTMB5415进行了艏部型线的优化设计,获得了给定约束条件下阻力性能最优的船体外形。结果表明,基于径向基函数插值的船体曲面变形方法是有效可行的,建立的船型优化平台具有一定的工程应用价值。     

基于电子海图的几种三维海底地形算法比较

连续的水深点对于海上运输及海上工程等各方面来说都至关重要,而在一些水域只有离散的水深数据不利于船舶航行及海上施工的安全。因此,以找出相对适用于已开发电子海图系统的海底地形生成算法为背景,应用克里金法、样条插值、二次曲面拟合算法,根据不同比例尺电子海图上的水深点,比较各算法生成三维海底地形的准确性和生成效率。通过实验表明克里金算法更适合海底地形的生成。     

成桥预拱度设置的正交多项式拟合法

连续刚构桥预拱度可分为施工预拱度和成桥预拱度.对于成桥预拱度的设置问题,目前通常的计算方法原理不清晰,且随意性较大.为了有效地克服了通常算法的不足之处,本文提出了一种正交多项式拟合法去计算成桥预拱度,并通过一座实桥的成桥预拱度分析,验证了该法的可靠性.     

一个数值求积公式的渐进性质

从一个插值公式的构造出发,得到相应的积分中值定理,构造了具有5次代数精度的数值积分公式,通过对积分中值定理中间点的渐近性质的分析,得到具有7次代数精度的数值积分公式,应用复化求积,进一步改进了这个公式,使它具有高精度且不用计算导数.     

带调节参数的双二阶三角多项式Coons曲面片

利用二阶三角混合函数构造了带有调节参数的控制点的双二阶三角Coons曲面,其中的新控制点是对原有的控制点通过10个参数构成的变换矩阵而得到的.它们都具有鲜明的几何意义,改变参数即可改变新的控制点的位置,从而改变Coons曲面的形状.     

基于可调谐F—P滤波器的光纤光栅波长解调算法研究

论文以提高光纤光栅传感器信号解调系统的波长检测精度为研究主题。在改进质心寻峰算法的基础上,分析了几种基于可调谐F-P滤波器的光纤光栅传感器波长解调系统的算法,并使用LabVIEW语言对其进行了仿真对比研究,提高了波长解调的精密度。实验结果表明,论文提出的质心法寻峰,抛物线插值算法有效地提高了光纤光栅反射信号解调系统的波长解调精度,降低了复杂程度。     

基于三次样条插值的车辆行驶数据分析

采样数据的准确程度直接决定了车辆行驶工况的准确性。采用基于GPS的实时动态车辆行驶数据采集系统,记录了某车辆运行速度、时间、方向等信息,并结合测量误差产生机理,通过分析车辆行驶数据中奇异信号类别及特征,得到无效定位数据、时间错误数据和速度突变数据等3种奇异数据类型。利用三次样条插值算法对奇异数据进行了拟合,修正了车辆行驶数据中奇异信号,修正后的速度时间曲线更符合车辆行驶特征,可真实模拟车辆行驶工况。     

基于两点三次样条插值算法的大尺寸LCD图像缩放引擎设计

本文针对LCD控制器的图像缩放引擎,提出了一种基于两点的三次样条插值算法。该算法实现简单,不仅节省硬件开销,而且可以取得比nearest、bilinear插值算法更好的图像处理效果。文中详细阐述了图像缩放引擎的硬件实现结构以及插值滤波器的实现原理。并利用Q值评价法对提出的算法进行了客观评价,评价结果表明该算法可以取得接近于bicubic的图像处理效果。最后对图像缩放引擎进行了FPGA验证,验证结果表明图像缩放引擎工作正确,图像显示效果良好。