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

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

基于状态维修策略下的机组氧气监控模型的建模与实现

鉴于当前的机组氧气系统排故与维护主要为事后处理,通过建立机组氧气系统失效模型,运用数学统计的方法监控和评估机组氧气运行状态,以实际的案例论证了此方法的可行性及其实践成效。     

某型飞机球形灭火瓶设计改进

本文对某型飞机球形灭火瓶失效情况进行统计分析,初步确定了故障原因。通过环境适应性摸底试验进一步验证分析,进行了设计改进。改进后的灭火瓶满足使用要求。     

日本富士重工降低劳动力成本

为了降低“异常昂贵”的劳动力，日本航空制造企业富士重工（FHI）一方面通过缩短“无价值时间”减少30％的劳动力支出；另一方面，通过技术改进、精简程序使“有价值工作时间”进一步减少30％。     

一种非线性飞行控制律评估方法研究

研究了一种基于改进遗传算法的非线性评估方法。将非线性准则转换成简单的适应度函数,通过寻优找到最坏情况,在其基础上实现评估。仿真结果表明,该方法不仅能在各个飞行状态对飞行控制律进行非线性准则评估,而且能找出飞行包线内的最坏飞行状态,细化飞行包线,方法使用灵活,结果可靠。     

从审计责任的角度探讨审计的独立性

随着当前市场经济的发展，审计的监督作用已越来越重要。特别是民营企业和股份制公司的大力发展，使得有独立审计之称的民间审计的作用日益显著。从审计责任的角度出发对审计的独立性进行较为深入的探讨，以便我们加深对审计独立性的理解，把握审计独立性的实质和要核，更好地认识审计责任和审计独立性之间的联系，使审计更有效、更健康地发挥其作用。     

继续开发F—16的潜能

文章介绍了F－16近期内的一些订单情况和技术改进情况。     

一种扩展的比例导引规律及其弹道方程的构建

在传统的动力学微分方程的基础上提出了一种扩展的比例导引法 ,并给出了该导引规律下的相对弹道方程。文中的推理过程表明 ,这种导引规律对导弹、目标的运动速度几乎没有限制 ,理论上说明运用该制导规律的导弹将能对付高机动大速度目标 ,其弹道方程的建立 ,使得研究该制导规律下的弹道特性成为可能。     

浅析民航信息化的精髓与本质

提出并论证了"信息化是一种思想","信息化是一个过程","信息化是一种管理"等观点.从企业战略高度,从更广的视野和更深的层次探讨信息化的精髓和本质.力求完整、准确地认识和理解信息化,促进民航企业信息化建设走上健康发展的轨道.     

反舰导弹捕捉危险区的计算方法

指出现有方法设定的捕捉危险区过大,给保障和警戒船只造成多余的负担,阐明了根据反舰导弹自控终点的分布特点,利用概率论的有关理论,推导并设计了一种适合具有"自控+自导"体制的各种类型反舰导弹捕捉危险区域的计算方法.该算法可简单、方便、准确地设定反舰导弹捕捉危险区域.