可信软件研究

可信软件是近年来软件工程领域研究的热点,装备软件可信性的研究有助于提升我国国防武器装备的作战效能。首先分析了进行装备软件可信相关研究的必要性;然后阐述可信软件技术的研究现状,主要包括软件可信度量和评估、可信软件的构造与验证、可信软件的演化与控制等三个方面;最后分析了研究可信装备软件面临的挑战。     

基于MEKF的航天器姿态确定算法

乘性扩展卡尔曼滤波(multiplicative extended Kalman filter, MEKF)方法被广泛应用于各种航天器姿态确定任务。针对任意参考坐标系,推导了姿态四元数的线性运动学方程和三分量姿态误差矢量的动力学模型,并分别设计了有陀螺和无陀螺两种姿态确定方案。系统研究了姿态敏感器常用的矢量观测模型,四元数观测模型以及欧拉角观测模型,设计了更具有一般性的MEKF滤波器,为航天任务中快速应用MEKF姿态确定算法提供理论参考和技术支撑。     

氦原子1S, 3S, 1P, 3P态的电子关联计算

本文从二次量子化公式出发,选取广义Laguerre多项式乘以γ~lcxp(-alγ)作为单电子径向函数完全集,这里a_l是依赖于轨道角动量l的变分参数,用组态相互作用方法计算了氨原子~1S,~3S,~1P,~3P态的能量和波函数。当组态限于主量子数n≤4,计算的能量相对精度约为99.9%;当组态限于%≤6,能量相对精度约为99.99%;而Hartree Fock方法的能量相对精度约为99%,利用原子波函数计算了一些原子参数,其结果与其他作者的结果符合很好。     

气象探空火箭气温测量不确定度评估方法

在气象火箭测温修正模型基础上,通过误差分析理论,对温度修正及其不确定度评估方法进行研究。根据火箭探空仪在空中下落过程中大气密度变化规律,建立温度修正数学模型,推导得到温度修正公式。根据误差理论,分析影响温度修正的八项误差因素,并逐项给出温度修正误差表达式。以气象火箭实测数据为例,运用上述公式,对探空火箭温度反演不确定度进行分析计算。结果表明:温度反演不确定度在50~60 km较大,最大为3.6 K;40~50 km不确定度为0.3~0.9 K;40 km以下,不大于0.3 K。影响温度不确定度的因素主要是气动加热修正项、滞后效应修正项、结构热传导修正项和传感器对环境热辐射修正项。数据处理时采用参考大气或标准大气仅进行一次修正是不够的,需进行迭代修正,单次修正结果与迭代修正结果差异最大可达5.6 K。     

某型履带车辆稳态噪声的分析与控制

对某型履带车辆稳态噪声的试验数据进行了曲线拟合,根据拟合结果分析了履带车辆行驶参数和路面状况对噪声的影响,并依经验提出了降低噪声的措施和方法.     

发动机缸内压缩压力非接触式检测方法研究

发动机汽缸压缩压力是检测发动机机密封性的重要参数.发动机密封性降低,会造成发动机经济性、动力性下降及废气排放指标恶化,因此对各缸压缩压力的检测具有重要意义.现提出一种利用曲轴瞬时转速,进行不解体检测坦克发动机汽缸压缩压力的方法.通过实车测量获得缸压及转速的特征参数,利用灰色理论模型的方法建立了发动机转速脉动与汽缸压缩压力的数学关系.试验结果表明,利用这种方法进行缸内压缩压力测量是可行的.     

一种网络设备告警事件纵向关联方法的设计与实现

现有的网络事件关联系统主要存在以下不足:各被管设备感知的大量告警事件全部传送到管理端处理,会带来很多传输与事件管理问题;现有的网络事件关联方法很不成熟,一般只涉及底层协议告警事件的关联.在分析网络告警与故障关系的基础上,提出了一种在设备这一级驻留代理,采用贝叶斯网络推理技术完成包括应用层告警事件在内的本地告警事件纵向关联方法.并在描述协议栈各层协议实体模型的基础上,给出了利用AdventNet API和ebayes进行系统具体实现的方法.     

基于二进小波变换的噪声图像自适应增强新算法

针对图像增强算法通常会放大原图像中噪声分量的问题,提出了一种基于二进小波变换的图像增强新算法。该算法充分利用了二进小波变换的平移不变性和各尺度上小波系数间的相关性,有效改善了增强过程中噪声放大和边缘失真问题。此外,算法具有高度的自适应能力,适用性更强。实验结果表明,与目前已有的各类多尺度图像增强算法相比,该算法在抑制噪声和凸显图像特征两方面均有明显改进。     

弹药弹体尺寸自动测量系统

在对某系列特种弹药的弹体结构尺寸分析和归类的基础上,详细阐述了弹体几何尺寸的测量原理,并结合工厂的实际,采用激光位移传感器和计算机自动控制技术,实现了弹体的关键尺寸的数字化测量与评价。实际应用表明该系统可以有效地提高弹体尺寸的测量精度并定量评价弹体的尺寸误差,内外径和同轴度的测量精度可达10μm以内,外长的测量精度可达100μm以内,能有效地指导加工的工艺流程和加工的尺寸精度控制。     

农村公共产品供给与农民增收的关联研究

目前我国城乡差距突出表现为公共产品差距,公共产品有效供给不足已成为当前制约农民增收的瓶颈。无论从理论分析还是从国内外实践看,公共产品的有效供给与农民的增收呈现正相关关系。因此,提高公共产品的有效供给是促进农民增收的有效途径,针对公共产品供给实践中存在的影响农民增收的问题而采取相应的对策是当前促进农民增收的理性选择。