导函数性质及其应用

处处有导数的函数（导函数）有两个很好的性质：（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）中一个或同时振荡时，函数在该点可能可导。     

广义原函数与广义不定积分

本文利用积分限函数定义了可积函数的广义原函数与广义不定积分,并给出了用广义原函数计算可积函数定积分的公式.     

纯方位目标运动分析的离散时间可观测性和可估计性分析

目前,纯方位跟踪(BOT)的可观测性分析仍然是重要的学术研究课题。与以前的连续时间分析研究不同,我们的研究依赖于离散时间分析。而且还允许我们直接而有效地使用简单的线性代数公式系。使用直接方法,可观测性分析实际上简化为子空间范围的基本研究。虽然这种方法在概念上是相当直接的,但随着源相遇情况复杂性的增加,它会变得越来越复杂。对于复杂情况,由于直接使用多重线性代数方法,对偶方法可能体现某些基本优点。因此得出关于机动源的BOT可观测性的新结果。继而可将可观测性分析扩展到源速度变化的未知时刻。 尽管可观测性分析使我们能更充分地了解BOT问题的代数结构,但观测者机动的最优化实际上是一个控制问题。基本代数研究证明这种控制问题的相关成本函数是费歇尔信息矩阵(FIM)的行列式。因此大部分工作集中在对这个成本泛函的分析上。使用多重线性代数给出了这个泛函的一般近似。这些近似结果表明最感兴趣的事仅涉及到直接可估计参数,即源方位变化率。用这些近似,可导出最优化观测者轨迹的一般框架,这允许我们近似最优控制序列。值得强调的是我们的方法不需要有关源轨迹参数的知识且对机动源仍然有效。     

定量分析因子分类与量化方法及其应用

根据指标物理属性和数学特征,可以将因子分为离散型因子和连续型因子。离散型因子采用德尔菲法进行量化;连续型因子量化,可根据函数单调性及凹凸性,通过选取特征点、函数拟合等步骤,寻找因子量化的函数关系。这种因子分类及量化方法在国防经济研究的定量分析中具有良好的应用价值。     

用经济可承受性思想指导武器装备建设

在归纳经济可承受性思想含义的基础上,给出了装备经济可承受性的数学模型,并对其特征和实践指导作用进行了分析。重点研究了经济可承受性在武器装备综合评价和武器装备建设中的应用。本文给出的提高经济可承受性的具体方法,具有可操作性。     

对装备可计量性的思考

本文在提出可计量性的定义与对可计量性理解的基础上,梳理了可计量性与装备"五性"的关系,分析了可计量性研究对计量保障的作用,以及可计量性在武器装备全系统全寿命周期中的作用,并对如何开展在研和现役武器装备的可计量性研究提供了思路。     

纯方位角目标运动分析的可观测性研究

纯方位角目标运动分析的可观测性是纯方位角观测系统中的一个基本问题.只有解决了系统的可观测性,才能进行有效的目标定位及跟踪.从随机系统的角度分析了纯方位角观测系统的可观测性,引入状态参量的Fisher信息矩阵作为判断系统可观测性的依据,提出了完全不同于判定确定性系统可观测性的随机观测系统可观测性的判定方法.最后给出了一个静止目标纯方位角观测系统的实例,说明了该方法的有效性.     

SET协议的可追究性分析与改进

协议的可追究性为解决电子商务纠纷提供了重要的不可否认的证据,有必要深入分析SET协议的可追究性.Kailar逻辑是一种针对电子商务协议的可追究性而开发的形式化分析工具.先对SET协议进行了形式化的表述,然后利用一种改进的Kailar逻辑对SET协议的可追究性进行分析,结果表明协议只能满足商家和支付网关的可追究性,而不能满足持卡人的可追究性.最后,对协议进行了改进,使其能够满足持卡人的可追究性.     

复合伪码波形函数在Galois(qn)域上的K维并矢展开与应用

本文用数论变换的方法,研究了复合伪随机码波形函数在Galois(q~n)域上的k维并矢展开,建立了简单且便于应用的数学模型,对其展开方法、基函数及序率谱属性作了分析。作为应用举例,还介绍了使用这种方法分析复合伪码的相关函数、功率谱、扩谱及双重逐次渐近匹配滤波等问题。     

可解性、可观测性及其它

本文阐述了可解性、可观测性、可控性、可识别性的联系与区别。     

评述纯方位目标运动分析的某些观点

本文对“纯方位目标运动分析的离散时间可观察性和可估性分析”一文进行了评述,作者认为在全过程中使用伪量测,这种分析方法在TMA领域不常用。作者提出了观察器机动的建议,并给出了模拟的结果。     

可测试性技术中的图论问题及其求解

近 2 0年来 ,为了解决结构日益复杂的电路测试问题 ,可测试性技术得到了迅速发展。在可测试性技术中 ,针对不同的测试对象 ,如何对可测试性设计方案以及测试策略进行优化 ,降低总体代价 ,是亟待解决的问题。为了解决这两类典型的优化问题 ,首先应用图论方法建立问题的拓扑描述模型 ,然后通过构造相应的逻辑求解函数 ,给出问题最优解的求解算法 ,并通过简单实例演     

可转换债券的复合期权定价模型

可转换债券是一种内含期权结构的特殊金融产品。可转换债券的内含期权是一种奇异期权——复合期权。本文通过分别对无期权债券和复合期权的定价，获得了可转换债券在风险中性条件下的定价模型。     

航天器转动惯量参数在轨辨识的最优激励

根据矩阵分析理论研究了转动惯量参数的可辨识性问题,从姿态动力学方程导出关于未知参数的线性回归模型,将回归矩阵的条件数作为参数可辨识度的定量指标,以可辨识度最大为目标函数建立最优控制模型;应用解最优控制问题的伪谱法,计算控制力矩陀螺的指令轨线,使得惯量参数的辨识精度和收敛速度显著提高;在仿真中采用双无迹卡尔曼滤波算法进行参数辨识,结果验证了所提出的最优激励设计方法可以改善参数辨识性能,同时该方法对先验信息误差具有鲁棒性。     

高超声速飞行器低可探测性滑翔弹道优化方法

为进一步提高高超声速飞行器的突防性能,提出高超声速飞行器低可探测性滑翔弹道优化方法。考虑飞行器180°×360°方向的雷达散射截面,针对原数据尖峰多、收敛难的难题,运用高斯滤波法对其进行预处理,既不改变原数据趋势又加以平滑,提高优化问题收敛性能。为使计算所用雷达散射截面数据具备较强的保真性,采用三次样条插值方法调用离散数据计算实时雷达散射截面。完成了高超声速飞行器低可探测性滑翔弹道优化问题的建模,以探测概率为目标函数,运用hp自适应Radau伪谱法优化求解,采用逐步计算策略进一步提高优化效率和收敛性能。与传统最短飞行时间弹道对比表明,该方法有效降低了飞行器被雷达发现的概率。     

基于RCS的三维低可探测性轨迹优化方法

针对基于雷达散射截面(RCS)规避雷达威胁的飞行轨迹优化问题,提出了低可探测性三维轨迹优化的求解方法.通过B样条拟合构建连续可微的RCS数据模型,结合三维飞行动力学模型,建立规避雷达威胁下的飞行运动控制模型.将轨迹优化问题描述成为最优控制问题,其中飞行姿态控制、轨迹约束、边界条件作为约束条件,以降低雷达探测概率和减少飞行时间为目标函数.运用高斯伪谱法( GPM)将连续的最优控制问题转换为离散的非线性规划问题进行求解.仿真结果证明本文方法实现了求解单基地雷达和双基地雷达探测环境中低可探测性三维轨迹优化问题,有效降低了飞行过程中的雷达探测概率和暴露时间.     

关于复合函数连续性的一个注记

<正>关于复合函数的连续性,文[1]有如下定理:若函数f(X)在点x_0连续,函数g(u)在u_0连续,并且u_0=f(x_0),则复合函数g of在点x_0连续.现在我们考虑的问题是:若函数f(x)与g(u)在点X_0不同时连续时,复合函数g of的连续性会怎样?对于这个问题,其结果并不唯一.具体情形如下:     

试论武器装备的经济可承受性采办

武器装备的经济可承受性采办是一项符合我国国情、军情的有效的采办方法。文章通过论述武器装备经济可承受性采办的内涵及其采办原则,提出我军应采用这种采办方法并提出了具体措施。     

一种改进的扩展比例导引律及其仿真

针对比例导引制导导弹攻击机动目标阶段,系统状态可观测性弱的问题,在扩展比例导引律的基础上提出了一种改进方法。该方法形式简单,易于工程实现。建立了弹目相对运动模型,基于被动跟踪的可观测性理论建立了可观测性指标,并对改进的比例导引的可观测性进行理论分析,采用MATLAB语言,对改进比例导引法的理想弹道进行了仿真,绘制出随导弹与目标参数变化的三维图像,对理想弹道的特性进行了分析。仿真结果表明,这种改进的比例导引是合理有效的,与扩展比例导引相比,该制导律能够明显提高制导过程中的可观测性,增强弹上跟踪滤波器的效果。     

并行系统可扩性分析研究

分析了几种已有的可扩性分析模型 ,并对传统的时间受限与存储受限加速比定律作了新的解释。在此基础上 ,概括出了可扩性分析的本质 ,定义了一类一般意义下同构机器与并行算法组成的并行系统的可扩性模型 ,并由此出发 ,提出了三种新的可扩性模型 :等平均I/O需求模型 ,等平均通信需求模型和等利用率模型。最后探讨了工作站机群与并行算法组成的并行系统的可扩性分析。