利用状态机检测JAVA空指针引用故障

介绍了一种在控制流的基础上利用故障状态机对JAVA空指针故障进行检测的方法。该方法利用变量区间来表示状态的前提条件,对程序中不可达路径进行处理,从而达到减少误报的目的。     

统计学习理论在磨损量模型参数估计中的应用

讨论了摩擦片磨损量数学模型中未知参数估计的方法统计学习方法和线性方程组方法.利用最小二乘法,对采用线性方程组所估计的模型参数的误差进行了讨论,并得出结论在磨损量测得的情况下,以在(0,1)区间内服从均匀分布的伪随机数构成系数矩阵确定未知参数是可行的.     

发动机配气机构振动信号时域分析

对康明斯6BT5.9型柴油发动机配气机构产生的振动信号进行了时域分析,采用振动加速度峰峰值作为判定发动机配气机构技术状态的特征量,并采用多通道信息融合技术实现配气机构的故障诊断。     

地基刚度变化对车辆动力特性的影响

根据两自由度车辆振动模型和道路多层离散体系模型,建立了车辆-道路垂向耦合动力分析模型,推导出了车辆-道路系统的动力平衡方程组,并对动力平衡方程组进行了编程求解,分析了地基刚度变化对车辆动荷载和车身加速度的影响.分析表明:地基刚度变化对车身加速度影响不大,在地基刚度达到某一临界值后一定的范围内,地基刚度的变化对动荷系数影响也不再显著,否则,要对地基进行处理.     

基于BLP的Web系统多级安全策略模型

Web系统的广泛应用使其安全问题日益突出.通过分析当前Web系统存在的安全隐患,在Web资源的访问控制上引入了多级安全策略,从Web系统的功能需求和安全需求出发,分析了BLP模型直接应用于Web系统时导致的问题.在BLP模型的基础上,提出了Web系统的多级安全策略模型,对Web系统中的概念、对象和操作进行抽象和提炼,研究了Web系统处于安全状态时应当满足的安全条件,并在此基础上,对Web系统、系统状态、和状态转换进行了形式化描述.     

多平台多目标运动建模与仿真

针对现代战场环境下多平台多目标运动的特点,建立了各种机动、非机动目标运动模型,主要有蛇形机动、转弯和导弹比例导引等几种常见运动模型,并运用Matlab软件分别对其进行了计算机仿真。仿真结果表明,建立的数学模型与实际的目标运动基本是吻合的,可以用来描述目标的运动。     

基于影响图方法的信息战模型

由于粒子滤波的算法原理,其计算量很大。研究了针对机动目标的交互式多模型粒子滤波器(IMMPF)算法和多速率交互式多模型(MRIMM)算法,提出了多速率交互式多模型粒子滤波器(MRIMMPF)算法。该算法是在交互式多模型粒子滤波器(IMMPF)的基础上引入多速率技术,期望在保持IMMPF的性能同时能够减少因为粒子滤波带来的计算量;最后通过和一般基于EKF的IMM算法、IMMPF算法的比较,验证了该算法的有效性。     

正畸力作用下微种植体支抗的应力分析

通过建立直径为1.4,1.6,1.8 mm,长度为6,8,10 mm,螺纹深度为0.2 mm,螺纹间距0.5 mm的Ti质微种植体支抗与颌骨有限元模型,研究在常用载荷1.96 N正畸力与微种植体长轴呈45°,60°和75°三种角度时的Ti质微种植体应力分布和大小。分析得出,应力主要集中在微种植体颈部1 mm内,在其颈部1.2 mm的范围内应力值的衰减都很明显,在颈部1.2 mm的范围内曲线较陡。在设定的加载条件下,不同直径的微种植体应力值呈规则的变化趋势,直径1.8 mm,45°时微种植体的各应力值极值最小。微种植体长度对应力的影响不大,位移变化均较小。     

运筹分析在战略研究中的应用

现代运筹分析在战略研究中的地位和作用不断提升.针对战略研究的客观需求和基本趋势,分析了运筹分析在战略研究中的五个主要应用领域,提出了提高我军战略运筹分析水平的几点建议.     

水雷封锁作战决策科学化的思考

水雷封锁作战决策科学化是当前急需研究的重要课题,涉及到诸多方面的问题.建立了水雷封锁作战效果评估指标体系,分析了水雷封锁效能评估模型、水雷封锁效果评估模型与水雷封锁作战决策模型的研究现状及应关注的问题,提出了水雷封锁作战辅助决策系统应具备的四种功能.