马尔可夫链最优停止的值函数

本文讨论了时间无限的马尔可夫链的最优停止问题。对于无限状态情况,给出了其最优停止变量以及值函数存在的一个充分条件;对于有限状态情况,这个充分条件以及问题的计算等价于解一个线性规划问题。     

小数分频频率合成器的研究和实现

本文通过对小数分频频率合成器的探讨和研究,对小数分频中的难点——相位补偿问题提出了点补偿和全补偿的概念并给出了实现电路,在一个波段上实现了五位小数分频。所研制的小数分频频率合成器可用于通信和电子仪器等有关设备中。     

计算机“二一十”进制数据转换算法

“二一十”转换是计算机中经常用到的,将二进制浮点数0.B_1B_2…B_n*2~B转换成十进制数0.D_1D_2…D_n*10~D的关键是首先求出D。本文通过全面研制二进制浮点数的性质,推导出了一个关于精确求D的重要结论,并由此构造出一个实际应用时总误差最小的高效求D公式。     

毫米波相控阵雷达弹丸脱靶量检测概率分析

定量分析了雷达检测波门及波位的设置、搜索周期、目标及弹丸运动的速度,方向等因素对弹丸检测概率的影响,并针对给定的参数和航路对检测概率进行了计算机仿真。     

带紧扰动的集值(S)_+型映射的拓扑度及其应用

本文利用 Michael 连续选择定理与 F.E Browder 次连续(S)_+型映射度理论相结合的方法,构造了带紧扰动的1.s.c.集值(S)_+型映射的拓扑度,并讨论了作为其应用的不动点与值域问题.     

动态飞行求解双35标准值方法

通过顺解法,利用录取的目标现在点数据,已知的射表数据及对有关偏差量的修正,可求解出斜距离４５００ｍ,高低角０°至８４°范围内的标准值     

度量空间的非标准特性(Ⅱ)

本文在文《度重空间的非标准特性（Ⅰ）》的基础上,用非标准分析方法刻划了度量空间上的全有界映射与紧映射的许多特性,并给出了一个赋范线性空间的维数有限的非标准特征。最后,在赋范线性空间中,通过弱拓扑性质的非标准刻划,简洁地证明了Ｅｂｅｒｌｅｉｎ－Ⅲ定理。     

关于空投反潜鱼雷最佳入水点的探讨

“观测—定位—决策”组成了航空反潜作战的一个战术周期。高效率的反潜作战除了加速决策过程,缩短决策周期之外,还体现在选择一个最佳的决策方案中。其中,最佳入水点的选择就是一个重要的决策问题。本文在充分考虑空投鱼雷反潜特点基础上,分两种情况从理论上探讨了反潜鱼雷最佳入水位置和投雷入水方位。     

基于前景理论的多阶段直觉模糊数决策方法

针对航空部队事故预警方案选择中指标权重未知、指标值为直觉模糊数的多阶段直觉模糊数决策问题,考虑决策者风险偏好引起的指标值的动态变化,提出了一种基于前景理论的多阶段决策方法。该方法根据各阶段期望均值可能度的比较确定阶段变化特征,参考直觉模糊数距离公式设置动态参考点,然后集结收益和损失以整体前景值最大化为目标建立规划模型得到指标的动态权重,计算方案综合前景值并排序。最后通过MATLAB仿真实例验证了该方法的有效性。     

基于概率分布的硬件木马检测特征选择方法

针对基于旁路信号分析的硬件木马检测中存在的高维以及信号冗余度高等问题,寻求一种特征选择方法在降维、降低冗余度方面的可行性,通过考虑样本概率的分布情况,提出了一种以散度和Bhattacharyya距离作为可分性判据的特征选择方法。首先分析了旁路信号的特征选择问题,然后阐述了基于散度和Bhattacharyya距离的可分性判据,最后在FPGA中植入硬件木马,采用K-L方法进行实验,通过对样本特征选择前后的检测效果发现,这种特征选择方法不仅有助于分辨"金片"与含木马的待测芯片间旁路信号的统计差异,而且与分类错误率建立联系,更好地实现了硬件木马的检测。