软件测试用例生成与约简算法研究

对于参数多、状态多且状态转换关系复杂的软件,测试人员设计的测试用例往往难以保障测试覆盖率。针对该问题,提出了一种测试用例生成与约简算法。该方法定义了一种数据模型——测试路径控制阵列模型,将其与因果图法结合起来,可通过编程实现测试用例设计。该方法设计测试用例便捷、充分,避免了由于人工绘制因果图和检查判定表引入的错误。应用于实时系统软件的主副切换功能测试时,生成测试用例32个,对被测对象覆盖全面且有效。     

微分对策理论及其研究现状分析

本文阐述了微分对策在经济和军事领域中的研究和应用,详尽地叙述了微分对策的分类,并采用定量和定性方法对微分对策进行了分析,指出了微分对策的研究难点,对发展趋势作了较为详细的探讨。     

着舰引导系统“软故障”研究初探

给出了着舰引导系统“软故障”的定义,对其特点进行了深入的分析,并对着舰引导系统“软故障”进行了分类,阐述了各种“软故障”对着舰安全的影响,以及预防和解决“软故障”的技术方法.最后预测了着舰引导系统“软故障”的研究方向.     

财务契约与和谐财务

对于财务学而言，财务契约与和谐财务都是重要概念，需要深入研究。从本质上看财务契约与和谐财务既有联系，又有不同，需要我们在更高层次上将二者融合。     

用峰态算法提取发射过程振动信号弱冲击特征

针对卫星导弹发射过程振动信号中存在的弱冲击信号,用峰态算法对其进行分析,用以发现弱冲击信号的存在和出现的时间。并利用实测数据进行计算,验证了该算法的有效性并指出使用该算法应注意的问题。     

基于信息驱动的保障技术研究

说明了基于信息驱动的维护保障体系的国内外现状及发展趋势，为我国军机的信息化保障工作的开展奠定了技术基础，具体研究内容包括：国内现役军机保障体系现状分析；国外军机保障信息化技术发展状况分析；信息驱动的保障体系特征分析与关键技术的研究。     

基于贝叶斯网络的空中交通延误传播分析

从机场网络的角度研究延误传播问题.贝叶斯网络是一种分析传播问题的有效方法,基于贝叶斯网络的延误模型,构造出延误传播的机场网络模型.通过计算网络中条件概率,最终得到联合概率,用于分析机场之间延误传播的影响.实验数据表明,当某一机场产生离场延误时,这一延误不会消失,而是经过时间的推移传播到其他机场,造成其他机场的延误.     

加筋壁板轴压载荷下稳定性有限元分析

使用有限元方法对组装壁板及整体壁板轴压载荷下的稳定性进行分析,计算轴压位移载荷情况下组装壁板及整体壁板的模态分布、应力分布及位移分布等,并对组装壁板进行了轴压试验,将试验结果与有限元结果进行了对比,表明有限元结果与试验结果吻合较好。最后对比组装壁板与整体壁板的分析结果发现,整体壁板的承载能力优于组装壁板。     

蝴蝶翼面形状对绕流结构的影响

蝴蝶的扑翼飞行因其相对翼展较大、扑翼频率低等特点引起广泛关注,尤其是具有越洋迁徙特性的蝴蝶更是备受瞩目。本文以天堂鸟翼凤蝶和黑脉金斑蝶这两种长距离迁徙蝴蝶作为研究原型,利用氢气泡流动显示技术研究这两种不同外形的蝴蝶翼面绕流结构随迎角的变化。在相同的实验条件下,两种模型翼面绕流均出现前缘涡、翼尖涡等流动结构,且绕流结构随迎角的变化趋势基本相同。但由于翼面外形的不同,两种模型在前缘涡的形态、强度及后翼面翼尖绕流结构等方面表现出一定的差异。     

飞机研制的计量保障探讨

计量保障是飞机研制的重要技术基础,本文分析了飞机研制的计量保障需求,探讨了计量保障工作的思路和要点。