基于修正条件判定覆盖的软件测试技术研究和方法应用

对在航天软件测试过程中广泛应用的修正条件判定覆盖测试技术进行了说明,并在此基础上对修正条件判定覆盖的测试用例设计方法进行举例描述,最后给出了使用工具对修正条件判定覆盖测试的应用情况,对相关领域的技术人员有一定的参考意义。     

基于物理规划的数据中继卫星链路配置决策方法

将方案评价与决策的思想引入到卫星链路配置中,建立了中继卫星链路参数配置的多目标模型,并用"短板链路"优先配置的原则,将多目标模型缩减为三目标模型。采用基于物理规划的决策方法,给出了决策三目标配置模型最优解的具体实现算法。通过实例分析表明该决策方法是可行的。     

基于BDD的航天测控系统任务可靠性分析

针对航天测控系统任务可靠性分析问题,提出了基于二值决策图（BDD）的航天测控系统任务可靠性分析模型和算法。将航天测控系统视为一个多阶段任务系统,采用任务剖面描述任务时序逻辑关系。根据各阶段的可靠性逻辑结构建立了单阶段的BDD,依次对各阶段的BDD进行运算得到系统的BDD,据此计算系统的可靠度。最后给出了一个算例,验证了算法的有效性。     

Development of theoretical approaches to the control of a water-treatment system

The Advanced Life Support/NASA Specialized Center of Research and Training (ALS/NSCORT) focuses on research and development of technologies to support human habitation during space missions. This research was done as part of an effort to maintain crewmembers’ water supply in a closed life-support system. The water subsystem was the primary focus of this study because water is one of the most expensive and important resources for human survival.     

A multi-disciplinary plan for easier access, management, and analysis of science data

NASA's COST LESS Team is pursuing strategies to reduce the cost and complexity of planning and executing space missions. The team's technical goal is to reverse the trend of constructing unique solutions for similar problems. To this end, the team is exploring ways to represent mission functionality in terms of building blocks and is discovering approaches that could accommodate the same building blocks for seemingly disparate activities, such as organizing processed telemetry data, controlling onboard experiments, searching science archives, reducing and presenting information to science users, and supporting educational outreach. Reusable object technology (UOT), a research undertaking by the authors, is showing promise in recognizing similarities in functions which were previously viewed as unique because they appeared in different programs or mission phases. Since UOT is aimed at being implementation independent (i.e. the function performed could be accomplished manually, by an automated process, by a specialized instrument, etc.), no premature judgment for automation or autonomy need be made. In this paper, the authors attempt to strike a balance between theory and reality as they describe UOT, including its beginnings, its underpinning, its utility, and its potential for achieving substantive reductions in cost and complexity for the Agency's space programs. The authors discuss their collaboration with the Center for EUV Astrophysics, University of California, Berkeley to reduce the cost and complexity of science investigations. Their multi-disciplinary plan incorporates both UOT and a complementary technology introduced in this paper, called interactive archives.     

几种特定判定形式的MC／DC评估分析

介绍了对几种特殊形式的判定进行修正的条件／判定覆盖评估分析的方法。这些形式包括比较运算判定、带短路逻辑的判定、顺序if结构、位运算判定、带反馈判定和带屏蔽判定。     

一种改进的北斗卫星信号并行捕获方法

为了提高全并行捕获方式下北斗卫星信号的发现概率,提出了一种改进的并行捕获算法。相对于传统的检测方法,该算法每次搜索需要存储少量的候选值,采用多次观测并统计候选值来完成信号检测。虽然增加了少量存储空间和运算,但是其利用了更多的观测信息,因此有利于提高弱信号下的发现概率。该方法不需要实时统计噪声分布,从而避免了噪声波动对于门限的影响。在高斯白噪声模型下给出了系统发现概率和虚警率的定量评估。理论分析和仿真结果表明该方法可以有效改善北斗弱信号的发现概率,相对于传统判决方法可以提高捕获灵敏度达3~4 dB。     

数据仓库技术在决策支持系统的应用

简述了数据仓库,联机分析处理,数据挖掘的概念和技术,提出和实现了一种利用数据仓库技术及其工具,结合传统ＤＳＳ 的四库结构,设计和实现决策支持系统的新方法     

用层次分析法实现航天发展目标决策

层次分析法是一种新的、实用的、多因素多目标决策方法。航天技术的发展目标的评价与优选是一个难以定量的多因素决策问题。本文将通过实例来介绍如何用层次分析法来评价航天技术发展的候选目标,决定目标发展的优先次序。本文所提出的模型仅需作适当改进,即可用于解决我国航天技术发展中面临的实际问题。     

基于局部敏感性的平衡场长影响因素分析

平衡场长是民用飞机设计与使用中的重要技术指标之一,其长短对民用飞机的经济性、安全性和通用性均有显著的影响,同时也是确定飞机决策速度的基础,因而,研究平衡场长具有重要意义。介绍平衡场长的概念、计算方法及它与决策速度之间的关系,列举三种敏感性分析理论;以某型民用飞机为例,研究起飞质量、机场高度、风速、温度、跑道坡度等因素对平衡场长的影响,利用上述敏感性分析方法评估不同因素对平衡场长的敏感程度。结果表明:平衡场长和决策速度随着起飞质量、机场高度、顺风风速、温度的增加而增加,随逆风风速的增加而减小;跑道坡度对平衡场长的影响几乎可以忽略;三种敏感性分析方法所得参数的正负相关性一致,五个变量对平衡场长的敏感性排序为:起飞质量风速机场高度温度跑道坡度。