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

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

基于PIC＋FPGA飞机直流供电系统设备故障预测研究

针对飞机直流供电系统中直流设备工作情况，本文利用FPGA双进程有限状态机方法控制A／D转换器，快速准确采样多路信号。用模糊理论的建议语言规则，结合PIC单片机的控制优势，从而解决飞机直流供电系统设备故障预测报警。     

波音预测中国民航机队规模未来20年将扩大3倍

2013年9月5日,波音在北京发布了2013年中国市场展望,预测到2032年中国民航机队的规模将达到现有机队的3倍。波音公司预测,未来20年,中国将需要5580架新飞机,总价值达7800亿美元。波音民用飞机集团市场营销副总裁兰迪·廷塞     

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

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

基于Volterra捕食模型的飞行流量动态调配

为缓解当前飞行流量需求与空域资源限制间的矛盾,改善静态流量分配方式下航路飞行流量限制问题,提出飞行流量动态调配概念并建立动态调配模型及算法.首先根据Volterra捕食模型的思想,以航路负荷值大小为依据划分种群,依据航路飞行流量的调配速度建立飞行流量的动态调配模型,然后提出实时流量动态调配算法,按时段周期性对航路的飞行流量重新划分种群,并根据航路当前状况对飞行流量进行动态调配.最后运用Matlab软件进行算例分析,结果表明了模型及算法的有效性,可以很好地应用于飞行流量的动态调配研究中.     

尾旋预测技术

研究了旋转气流环境中快速鉴定飞机气动特性的兰利尾旋风洞中的旋转天平设备。设计者为获得机内旋转天平数据图表，预测稳定尾旋模型并同时获取数据，可在现场研究高抗尾旋形态，如果尾旋特性用于特技飞行或训练，就可演示所希望的尾旋特性。旋转天平数据也用于计算随时间变化的最初阶段、发展阶段和改出尾旋阶段。本文介绍和讨论这些尾旋分析技术：旋转天平数据评价，稳定尾旋平衡预测，大角度、六自由度随时间变化的计算。     

Study on Evaluating Arithmetic of Network Solving for Product Conceptual Design

产品概念设计是一种复杂的推理求解过程 ,它的设计过程的推理、判断工作量往往非常巨大 .利用“与 /或”树的知识表达方法 ,对产品概念设计过程的原理解答及其组合原理方案评价进行了深入的研究 ,提出了一种分解 /综合网络评价算法 ,为产品概念设计过程的优化以及设计效率的提高打下良好的基础 ,并为进一步开发智能设计的计算机软件支持工具提供了一种形式化的评价方法 .     

导航卫星遥测数据趋势预测技术研究

介绍了基于遥测数据的趋势预测方法、基于物理模型的趋势预测方法和基于知识的趋势预测方法的适用对象和特点。文章对导航卫星遥测数据进行了分类,重点研究了基于遥测数据的趋势预测方法,给出了各类算法的适用性;并针对传统SumSin模型、ARMA模型的局限,给出了改进措施和实现流程。最后搭建了验证系统,用于上述算法的验证和导航卫星参数的提前预警。     

中国民航等待春天

WaitingfortheBloom如何对1998年的情况进行客观、公正的评价？在吸取历史经验的基础上，1999年民航业应采取什么措施才能摆脱困境，步入健康、稳定、持续发展的轨道？笔者不揣浅陋，试就几个问题提出自己的看法。一、1998年民航市场情况回顾全行业运输增长继续减缓，航空公司普遍亏损，市场竞争无序，行业结构性矛盾日益突出。（一）存在问题1．运输增长继续减缓据不完全掌握的资料统计，1998年全民航运输总周转量仅比1997年增长63地旅客运输量比增1．5％（国内航线比增仅1．l％，其中香港航线下降14．1oL只有货邮运输量增长11．6o。旅客…