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

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

霍尼韦尔将为军用GPS卫星提供惯性测量装置

该公司将为美国空军的GPS Ⅲ项目提供新型惯性测量装置（IMU），用于对在轨道上运行的卫星进行精确定位．此供应合同价值4500万美元。     

未来航空遥测技术与纳米科技

预测了纳米科学技术的发展在某些方面对未来航空遥测技术的可能影响，以及软件无线电、ＧＰＳ技术在遥测技术中的可能应用。     

运用GPS空中校正飞机无线电罗差误差分析

针对某些特种飞机无线电罗差无法沿用传统校正方法在地面进行校正的状况 ,首次提出了运用 GPS接收机在空中校正飞机无线电罗差的方法。本文对影响该校正方法校正精度的各项误差因素进行了分析。     

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

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

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

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

Study on Evaluating Arithmetic of Network Solving for Product Conceptual Design

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

美国GPS的发展

跟美国军事空间其它部分不同的是，ＧＰＳ系统的天基部分并没有更多的变革。尽管目前ＧＰＳ２卫星系列已开始了替换发射，并在关于系统的发展问题上有一些争论，但在军事上还没引起重视。ＧＰＳ卫星是１９７７年６月开始发射的。１９７８年１９８５年间，发射了１０颗Ｇ...     

旋翼桨叶动力学设计技术

桨叶动力学设计,其实质是求解非线性高维动力学逆问题的具体实施。本文较全面地阐述了这方面的进展情况,提出了切实可行、有效实用的数值方法。