形式化可测性约束在软件模型实现过程中的研究

在软件测试中,软件使用模型反映实际运行场景的能力是直接决定测试的成功与否的关键因素之一。一般可以通过对在需求分析阶段已生成的UML建模进行研究得到使用模型,但原始的UML模型,由于缺乏严格的定义及必要的约束,如果要生成高精度的软件模型,必须对其添加必要的形式化可测性约束。这正是文章研究的重点。     

交互式电子技术手册在舰船装备信息化保障中的应用

舰船装备的信息化保障是部队战斗力的重要因素之一。传统的装备维修保障方式已无法满足部队信息化建设的要求,通过交互式电子技术的运用,建立实时交互的舰船装备管理平台,可提高装备维修保障信息化管理的水平和效率。针对舰船装备发展趋势及维修管理的要求,采用VB软件和Access数据库编制了某型舰船装备交互式电子技术手册。通过该手册,可方便快捷地浏览、查询、添加和删除设备的三维模型、工程图、故障案例和维修标准等信息。手册的应用极大的促进了舰船装备的信息化管理水平,具有广阔的应用前景。     

基于智能Agent技术的雷达反干扰控制模型

为提高雷达快速反应、对抗干扰的能力,对雷达终端的反干扰控制模型进行了研究。介绍了智能Agent技术,建立了雷达反干扰控制模型,阐述了各模块的功能,并详细分析了雷达反干扰智能控制决策机理。并可提高单雷达的环境对抗能力。     

简化UKF算法在SINS／GPS组合导航中的应用

针对SINS／GPS组合导航系统的特点,建立了系统的非线性误差模型。根据系统状态方程为非线性而观测方程为线性的特点,将一种简化的UKF方法（Rao-Blackwellisation Additive Unscented Kalman Filter,RBAUKF）用于SINS／GPS组合导航系统中,RBAUKF采用较少的采样点数目和简化的更新算法,降低了计算复杂度。最后,在机动条件下,进行了SINS／GPS组合导航实验仿真。仿真结果表明,RBAUKF相比EKF具有更高的滤波精度,更适合在SINS／GPS组合导航系统中应用。     

煤炭采样系统自动控制研究

近年来由于对煤采样的要求提高和流量吨数的增大,煤采样设备已由原始采样机械发展成为多级采样系统,自动控制显得尤为重要。介绍了二级煤炭采样系统的自动控制原理及其采样系统的设计,指出采用该采样系统,可以大大提高采样工作效率,采样精度更准确,经济效益可明显提升。     

核测井中NaI(Tl)闪烁探测器性能探讨

NaI(Tl)闪烁探测器由于具有较高的探测效率,价格也比较便宜,被广泛地应用于国防工业和国民经济建设中,本文介绍了石油测井中所用到的NaI(Tl)闪烁探测器。利用我们的多道分析器(ORTEC918A),对组装好的NaI(Tl)探测器的性能作了测试,分析了影响探测器性能的因素,为探测器的选型、定型提供了实验方法。     

U型半潜式起重铺管平台的总强度分析

采用有限元分析的方法,对一U型半潜式起重铺管平台进行了总强度分析,为该平台的结构设计提供了重要参考依据。     

国产数采卡在LabVIEW下的几种驱动方法

介绍了在虚拟仪器软件开发平台LabVIEW下,利用国产数据采集卡进行数据采集时常用的几种驱动方法的应用与比较,并在柴油机运行状态监测系统中进行了实际应用。     

RBF神经网络在柴油机燃油系统故障诊断中的应用研究

本文主要介绍了径向基（RBF）神经网络在柴油机燃油系统故障诊断中的应用,并且首次将神经网络和虚拟仪器技术相结合,成功用于柴油机故障诊断中。比较了RBF和误差反传（BP）神经网络的学习速度和诊断精度。研究表明,将RBF神经网络和虚拟仪器相结合进行柴油机故障诊断具有良好的诊断效果和精度,有很好的工程应用前景。     

青岛前湾港南港区混合土的研究

工程中常见淤泥类土与砂类土相混构成的混合土,其中淤泥类土土质极软但在土工试验中却可得出较大内摩擦角.以青岛港前湾港区南区的混合土为例,阐述混合土的成因和分布特征,分析与评价混合土的物理力学性质和采用混合土工程设计特性指标的原则、方法,并提出该地区混合土工程特性指标.