保形的Hermite插值样条函数

本文讨论一种满足Hermite 插值条件的保形样条函数,文中构造了一个保单调的样条函数q(x),且q(x)满足下列条件:1)q(x_i)=y_i,i=0,1,2,…,n,n+1;2)q'(x_i)=y'_ii=0,1,2,…,n,n+1.该方法对凸数组及相应的导数也适合。     

提高近场精度的海洋声学快速场改进模型

为了提高海洋声学快速场模型在近场区域的计算精度,分析了影响经典快速场模型精度的因素,主要包括Bessel函数近似、忽略内行波项以及在水平距离最远处波数采样率过低,这些因素导致快速场模型近场误差较大、远场水平距离最远处结果不正确(计算结束后需要去除水平距离后段的声场)。提出能够提高经典快速场模型近场计算精度的改进模型,改进部分主要是采用保留内行波项的近似Bessel函数,再将近场上下两个基于声源点与对称轴的三角形区域用波数积分解(使用精确Bessel函数)覆盖。算例测试结果表明:与经典快速场模型相比,改进模型可在绝对时间增加较少的情况下,显著提高近场计算精度,综合性能更优;与波数积分法相比,改进模型在误差为同量级的情况下,积分时间大幅降低,实际应用价值更高。     

几何凸集中一个递归关系的建立与求解

几何凸集中递归关系的建立是求解问题的关键。本文对一个定理中递归关系的建立给出了容易理解的详细表述,然后利用生成函数法求其解。     

基于凸优化理论的三维微分对策制导规律求解

针对三维微分对策制导律(DGL)求解问题,引入凸优化理论,将DGL求解归结到Hamilton系统的求解,设计了DGL求解算法,通过对代价函数梯度特征的凸分析,推导出对策系统鞍点存在的充要条件和求解方法,解决了以往通过对微分对策模型简化求解导致的模型不能客观反映作战过程的问题.     

INTERNATIONAL REGIME OF FRESH FUEL SUPPLY AND SPENT FUEL DISPOSAL

Recent events in Iran and elsewhere demand a reevaluation of the need for increasing nuclear fuel supplies and assuring reliable flow of fuel to nuclear power user states vis-à-vis the need for strengthened security for all countries against the use of weapons of mass destruction (WMD). The right of countries to a guaranteed supply of nuclear energy for peaceful uses must be balanced with the global community's desire to limit flows of nuclear material and sensitive nuclear facilities that could create opportunities for nuclear proliferation. This article proposes elements of an international regime of fresh fuel supply and spent fuel disposal that will guarantee fresh fuel supplies to countries honoring their obligations under the Treaty for the Non-Proliferation of Nuclear Weapons (NPT), while reducing concerns about diversion of spent fuel for weapons purposes. A specific application to countries with small pre-commercial uranium enrichment plants is also proposed.     

武器雷达装备RCM推广应用中存在的问题及对策

分析了目前RCM推广应用中存在的问题,提出了加大宣传力度,统一思想认识等5项对策,对于在武器雷达装备上进一步推广应用RCM,具有重要的借鉴作用。     

凸度量空间中广义拟-压缩映象的不动点的逼近问题

设 (E ,d ,W )是完备的凸度量空间 ,T :E→E是广义拟—压缩映象 ,{xn}为T的带误差项的Ishikawa迭代序列。则 {xn}收敛于T的唯一的不动点 p∈E。     

武器雷达装备RCM分析决策系统

详细介绍了武器雷达装备RCM分析决策系统的体系结构、功能模块划分和数据库设计方法,并给出了系统的实现方案以及后续开发的设想。     

现代巡航导弹防御的特点分析

现代巡航导弹具有超低空、机动飞行、精确制导和隐身性能的特点,它突防能力极强, 是现代战争的重要威胁之一。拦截巡航导弹已成为正在发展的防空导弹重要任 务之一。针对巡航导弹防御的必要性和可行性及存在的主要问题进行了评估, 介绍了美国巡 航导弹防御领域的试验进展情况     

基于类成员后向切片的面向对象程序回归测试

程序切片是一种重要的程序分析方法,类成员级粒度的切片技术目前仅仅有Tip提出的类层次切片技术.Tip提出的类层次切片技术其分析基础是Rossie-Friedman的类层次框架,但主要用于面向对象程序的优化,并不适用于回归测试.本文基于Rossie-Friedman的类层次框架提出类成员后向切片方法,并提出一个覆盖类的方法一级的回归测试策略.