INS／GPS／SAR组合系统白噪声误差特性的在线随机加权估计

首次把随机加权估计这一新兴的统计计算方法应用于导航系统的研究,证明用它进行INS/GPS/SAR组合系统误差特性的估计是可行的,仿真实验和计算结果表明,该方法明显地优于其它传统的统计估计方法。     

Simpson校正公式

给出了Simpson校正公式的截断误差,分析了复化Simpson校正公式的收敛阶.数值算例验证了理论分析的正确性.     

On convergent numerical algorithms for unsymmetric collocation

In this paper, we are interested in some convergent formulations for the unsymmetric collocation method or the so-called Kansa’s method. We review some newly developed theories on solvability and convergence. The rates of convergence of these variations of Kansa’s method are examined and verified in arbitrary–precision computations. Numerical examples confirm with the theories that the modified Kansa’s method converges faster than the interpolant to the solution; that is, exponential convergence for the multiquadric and Gaussian radial basis functions (RBFs). Some numerical algorithms are proposed for efficiency and accuracy in practical applications of Kansa’s method. In double–precision, even for very large RBF shape parameters, we show that the modified Kansa’s method, through a subspace selection using a greedy algorithm, can produce acceptable approximate solutions. A benchmark algorithm is used to verify the optimality of the selection process.     

一种四次有理插值样条及其逼近性质

1引言有理样条函数是多项式样条函数的一种自然推广,但由于有理样条空间的复杂性,所以有关它的研究成果不象多项式样条那样完美,许多问题还值得进一步的研究．近几十年来,有理插值样条,特别是有理三次有理插值样条,由于它们在曲线曲面设计中的应用,已有许多学者进行了深入研究,取得了一系列的成果(见[1]-[7])．但四次有理插值样条由于其构造所花费的计算量太大以及在使用上很不方便而让人们忽视了其重要的应用价值,因此很少有人研究他们．实际上,在某些情况下四次有理插值样条有其独特的应用效果,如文[8]建立的一种具有局部插值性质的分母为二次的四次有理样条,即一个剖分     

基于动态自适应t分布变异的人群搜索算法

针对人群搜索算法在进化后期大量个体聚集局部最优时,易陷入局部最优,搜索精度低的缺陷,提出一种基于t分布变异的人群搜索算法.算法使用动态自适应方式确定变异步长,引入t分布变异算子以融合柯西变异和高斯变异的优点,促进算法在进化早期具备良好的全局探索能力,在进化后期收获较强的局部开发能力,增加种群的多样性;采用边界缓冲墙策略处理越界问题,避免越界个体聚集在边界值上的缺陷.实验结果表明,算法比基本人群搜索算法具有更高的寻优精度和收敛速度,是一种有效的算法.     

一种改进的指针安全分析算法

指针的安全性是C语言程序中的常见问题,它严重影响到系统的安全性.针对指针静态分析中的精度问题,比较分析了目前常见的5种指针分析算法的优缺点,提出了一种基于流不敏感的改进指针静态分析算法.该算法是在Steensgaard算法的基础上,对程序的控制流图进行改进,通过该算法可以得到比常见的数据流不敏感算法更为精确的指针分析结果.在实验室开发的国内首款商用编译器中实现了该算法,实验结果表明该算法可以提高指针分析的精度.     

精密离心机的惯性组合加速度计的参数标定方法

为了实现应用精密离心机对捷联惯导系统不拆分整体标定时各加速度计误差模型系数进行精确辨识,分析了可能影响加速度计标定精度的离心机误差源进而建立了相应的坐标系.在考虑各加速度计与反转平台轴线距离的情况下,应用齐次变换法计算了各加速度计各轴实际的比力输入,结合给定的加速度计误差模型,设计了一种可辨识误差模型中全部二阶误差模型系数的测试方法.仿真结果表明,该方法经修正离心机误差后可以有效地提高所有误差模型系数的标定精度,并能给出各加速度计与反转平台轴线的距离.仿真还分析了离心机误差对标定精度的影响,结果表明:离心机误差项主要影响1号加速度计 KF、KP、KPP 的标定精度,而对于 KII、KIO 的标定无影响;另外主要影响2号加速度计 KF,KI,KII 的标定精度,以及3号加速度计 KF、KO 的标定精度.     

Radar ambiguity function in Lp frame

In modern radar techniques, pulse signal can be replaced by the chirps, which is taken to be signals in Lp space. Wigner's function and ambiguity functions are constructed in an Lp frame and a partial generalization of the uncertainty principle is given by means of the notion of coherent dual.     

A three-stage, VSVO, Hermite-Birkhoff-Taylor, ODE solver

The new variable-step, variable-order, ODE solver, HBT(p) of order p, presented in this paper, combines a three-stage Runge-Kutta method of order 3 with a Taylor series method of order p-2 to solve initial value problems , where y:R→R^d and f:R×R^d→R^d. The order conditions satisfied by HBT(p) are formulated and they lead to Vandermonde-type linear algebraic systems whose solutions are the coefficients in the formulae for HBT(p). A detailed formulation of variable-step HBT(p) in both fixed-order and variable-order modes is presented. The new method and the Taylor series method have similar regions of absolute stability. To obtain high-accuracy results at high order, this method has been implemented in multiple precision.     

基于主成分的改进雷达图及其在综合评价中的应用

本文从可视化角度出发,在总结传统可视化方法因优点与不足的基础上,将主成分分析、因子分析与雷达图结合,改进了传统的可视化方法。并将新的可视化方法引入到综合评价中,提出了一种基于雷达图面积的综合评价模型,实例验证该种方法切实有效。