一个高速简易除法方素

本文从“士,跳0跳1”除法着手,引进“士(3/4、1、3/2)J,厂,跳0跳1”除法。这是一个速度高、硬件实现简易的除法方案。文章介绍了该除法方案的基本思想及算法规则,分析比较了“溢出区”处理的几种方法;分析了该除法方案速度方面的效果,讨论了应用中一些矛盾的处理;并对此方案成功的方面及应用范围作了初步评价。     

一种基于“GM(1,1)”模型的火炮初速灰预测方法

火炮初速量测是火炮进行弹道准备中的一项重要内容,运用灰色理论探讨火炮初速预测问题,既有利于提高火炮射击精度的修正,又有利于进一步完善火炮初速测量雷达的使用操作和改进设计。针对火炮初速随机变化的特点,基于灰色理论中的GM(1,1)模型,构建火炮初速灰预测模型,确定预测结果精度检验方法。最后通过一应用实例验证了该方法具有一定的合理性与实用性。     

战车火炮姿态测量系统原位标定技术和方案设计

为了降低姿态测量系统的启动漂移和标定误差,提高测量和导航精度,针对系统安装特色,提出了一种原位快速标定方案。分析了系统可观测性,利用等效陀螺信息推导了多位置原位标定方案;研究了最优标定和次优标定问题,分析了标定精度和坡度之间的关系;设计了一种针对系统安装特色的多位置编排方案,完成了大坡度范围下的原位标定。仿真结果表明:方案要求简单,应用范围广,能够完成大坡度范围下高精度快速标定,具有重要的工程应用价值。     

如何提高小高炮雷达对近程快速目标的跟踪性能

本文就火控系统中的小高炮雷达,如何提高近距离目标的跟踪精度和跟踪速度这两项重要战术指标问题,指出克服速度动态滞后采用指挥仪速度正反馈控制;而解决加速度动态滞后,提出了加速度误差修正控制方案,并推导出数学模型和列举具体实施方案以及测试结果。     

基于协方差分析的一种改进比例制导律研究

主要应用精度统计分析的协方差分析描述函数技术,对改进的比例导引律制导精度进行研究。首先介绍了协方差分析的原理,然后对高斯假设的有关结论及合理性进行了分析。再用该方法对改进的比例导引律进行精度分析。仿真结果表明,这种改进的比例导引律导引精度有很大提高。     

车辆 GPS 定位的一般性问题研究

为了适应现时特种车辆管理系统对车辆GPS定位的精度的需要 ,并考虑到未来的发展趋势 ,对差分GPS方案进行了介绍。针对上述方案的不可靠性问题提出了一种车辆路径匹配定位方法 ,并通过实验证明了这种方法不仅可以提高定位精度 ,同时还有效地避免了车辆在电子地图上显示混乱的问题。     

坦克连最优火力分配

坦克连火力分配方案的科学与否将直接关系到火力打击的整体效果。为了提高坦克连火力分配方案的科学合理性,力求结合我坦克连作战的实际,在充分考虑火力分配影响因素的基础上,建立了最优火力分配模型,这对于我坦克连充分发扬火力和提高整体作战能力具有重要的指导意义。     

含有多普勒频率的毫米波/红外融合滤波算法

由于毫米波雷达(MMV)和红外(IR)两种传感器在跟踪目标方面具有各自的优势,故使用两种传感器进行数据融合可以得到较单一传感器更高精度的目标数据,从而提高滤波精度。针对上述两种传感器的特点,对采样数据进行时空对准,结合UT变换思想,并在此基础上提出一种含有多普勒频率的无迹卡尔曼滤波(UKF)算法。新算法较单一MMV或者IR传感器滤波算法精度有了明显提高,并且较MMV/IR融合的传统扩展卡尔曼滤波(EKF)算法的精度也有提高。仿真结果证明了新算法的有效性和合理性。     

基于最小二乘的导弹外弹道精度分析系统

外弹道测量系统中,合理的布站能提高整个系统对目标的跟踪测量能力,优化的交会方案可提高弹道求解的精度。采用最小二乘法,运用协方差矩阵分析轨道参数精度,通过仿真计算,着重研究如何获取最优交会方案,以及不同的交会方案对外弹道求解精度的影响。试验结果表明,该算法可为外测数据事后处理提供高精度、快速的光测数据处理报告,为合理调整站点布局和人力资源提供依据。     

虚拟射击试验中航迹生成的验证方法

针对高炮武器系统射击精度试验中存在的问题,提出了虚拟射击试验方法,其中航迹生成是其核心问题。为验证航迹生成方法的合理性,首先给出了航迹生成的基本过程,得到了航迹生成的两大支撑点:某一时刻误差分布的正态性和区间的平稳性;其次,分别利用Kolmogorov-Smirnov检验法和t检验法、F检验法对航迹生成的两大支撑点进行验证;检验结果表明了两大支撑点的合理性,进而说明了虚拟射击试验中航迹生成的正确性。     

Computing equilibria via nonconvex programming

The problem of determining a vector that places a system in a state of equilibrium is studied with the aid of mathematical programming. The approach derives from the logical equivalence between the general equilibrium problem and the complementarity problem, the latter being explicitly concerned with finding a point in the set S = {x: < x, g(x)> = 0, g(x) ≦ 0, x ≧ 0}. An associated nonconvex program, min{? < x, g(x) > : g(x) ≦ 0, x ≧ 0}, is proposed whose solution set coincides with S. When the excess demand function g(x) meets certain separability conditions, equilibrium solutions are obtained by using an established branch and bound algorithm. Because the best upper bound is known at the outset, an independent check for convergence can be made at each iteration of the algorithm, thereby greatly increasing its efficiency. A number of examples drawn from economic and network theory are presented in order to demonstrate the computational aspects of the approach. The results appear promising for a wide range of problem sizes and types, with solutions occurring in a relatively small number of iterations.     

模2n加与模2加相对结合律相容程度的分析

模2n加和模2加是密码算法设计中经常使用的两个编码环节,二者对于结合律的相容程度是指改变二者形成的混合等式中两个变量的运算顺序所造成的误差大小.本文研究了模2n加与模2加相对于结合律的相容程度,给出了在改变[(χ(+)y)+z]mod 2n的运算顺序时,产生的噪声函数ξ(x,y,z)=[(x(+)y)+nz](+)[x(+)(y+nz)]在各点取值的概率分布规律,以及对噪声函数所有取值点的概率值平方求和的计算公式.这些结论在区分攻击中有一定的应用价值.     

广义Liénard方程Poincaré分岔极限环的唯一性和不存在性

讨论了一类广义Linard方程x¨+f1(x)x.2+εf2(x)x.+g(x)=0的Poincar分岔极限环的唯一性和不存在性。将不对Abel积分进行分项,而是利用一阶Mel′nikov函数直接从整体上进行分析讨论,得出了若干判别准则和充分条件。     

一类二阶微分方程Poincaré分岔极限环的不存在性

讨论一类二阶微分方程x¨+εf(x,x.)x.+g(x)=0的Poincar分岔极限环的不存在性,利用一阶Mel’nikov函数直接从整体上进行分析讨论,得出了若干充分条件和判别准则。     

Quasi-separable utility functions

This paper is concerned with a method for the assessment of utility functions of multi-numeraire consequences. It is proven that given von Neumann and Morgenstern's axioms of “rational behavior” and two additional assumptions, the utility function for (x, y) consequences can be written as U(x, y) = U_x(x) + U_y(y) + KU_x(x) U_y(y). K is a constant that must be evaluated empirically. This form shall be designated as a quasi-separable utility function. It is more general than the separable utility function and is shown to be nearly as easy to use. Implications and ramifications of such a utility function and its requisite assumptions are discussed. A technique for practical application of this work is presented.     

导函数性质及其应用

处处有导数的函数（导函数）有两个很好的性质：（1）在一点处有极限，则该点必连续，若无极限则该点两侧或单侧必振荡；（2）可能有不连续点的导函数介值定理仍成立。如果函数某点的领域内处处可导，我们可得到如下三个推论：（1）当f^l（x0＋0）=f^l（x0-0）时，则存在且连续。（2）当f^l（x0＋0）≠f^l（x0-0），或至少有一个单侧极限为无穷时，函数在该点不可导，（3）当f^l（x0＋0）和f^l（f0-0）中一个或同时振荡时，函数在该点可能可导。     

具有正交(g,f)-因子分解的子图

设G是一个图 ,g (x)和f (x)是定义在V (G)上的整数值函数 ,且对任意的x∈V (G) ,设g (x)≤f (x) ,H是G的一个子图 ,F ={F1,F2 ,… ,Ft}是G的一个因子分解 ,如果对任意的 1≤i≤t,|E (H)∩E (Fi) |=1 ,则称F与H正交。闫桂英和潘教峰在文 [3]中提出如下猜想 :设G是一个 (mg+k,mf-k) -图 ,1≤k相似文献   

保形插值的样条函数方法

对于给定的任何型值数组,本文通过插入新结点构造了Ｃ１连续的保形插值二次和三次样条函数Ｓ（ｘ）,最后还讨论了单调保形的插值样条函数。     

Optimal replacement policies with two or more loaded sliding standbys

This article defines optimal replacement policies for identical components performing different functions in a given system, when more than one spare part is available. The problem is first formulated for two components and any number of spare parts and the optimal replacement time y(x) at time x is found to have a certain form. Sufficient conditions are then provided for y(x) to be a constant y* for x > y*, and y(x) = x for x > y* (single-critical-number policy). Under the assumption that the optimal policies are of the single-critical-number type, the results are extended to the n-component case, and a theorem is provided that reduces the required number of critical numbers. Finally, the theory is applied to the case of the exponential and uniform failure laws, in which single-critical-number policies are optimal, and to another failure law in which they are not.     

Analysis of data from life-test experiments under an exponential model

This paper discusses situations in which the distribution of a lifetime response variable T is taken to depend upon a vector x of regressor variables. We specifically consider the case in which T, given x , has an exponential distribution, and in which x represents levels of fixed factors in an experimental design. Methods of analyzing data under this type of model are discussed, with maximum likelihood and least squares methods being presented and compared.