构件库设计在海上测控软件系统中的应用

通过分析海上测控软件的技术和质量需求,设计生成各构件,并在软件体系结构层次上对构件间的关系进行抽象描述,统一定义接口,形成可复用构件库,使数据的互动和交换关系更为清晰,架构模型简单有效,有助于提高海上测控开发效率和软件质量。     

“白骑士”携X-37做系挂飞行

由波音公司、国防高级研究项目局和美国航宇局共同支持的X-37无人驾驶可复用航天飞机6月21日挂载在“白骑士”载机上，在加州莫哈韦沙漠上空进行了首次系挂飞行。由比例复合材料公司设计的“白骑士”飞机曾在一年前的这一天携“太空船一号”进行了首次亚轨道飞行，并最终帮助“太空船一号”夺得了1000万美元的安萨里X奖。     

组件安全调用

应用程序经常调用其他组件，如：应用程序所在的操作系统、数据库、可重复使用的函数库、INTERNET服务（例：DNS）、WEB服务等。通过使用最合适的安全组件、传递合法的数据、确认数据被准确地转换、检查返回值和例外，以及保护数据在应用程序和组件间交换，解释如何防止攻击利用这些对其他组件的调用。     

基于皮卫星的分布式干扰系统及其关键技术

在对皮卫星的特点总结的基础上,提出了一种基于皮卫星的天基干扰系统,给出了干扰系统的原理性方案,对其中的关键技术进行了分析。     

软件配置管理实施的若干问题的研究

以软件配置管理在软件质量体系中的作用为切入点，以基地单位在软件开发、维护过程中忽视软件配置管理为着手点，从而过渡到单位要实施软件配置管理所要面临与考虑的问题，以及如何应对与处理这些问题做些具体探讨。     

一类非线性演化方程族的可积耦合

寻求孤立于理论中的可积系统是可积系理论中的一个重要研究课题，其一般模式是现行的屠规彰格式，但寻求耦合系统的可积性问题，也仅是由马文秀博士研究的一个孤立子方程的可积耦合，对于一族孤立子方程的可积耦合目前尚未研究。本文通过构造一个新的Loop代数^～G和作一个恰当的Lax对变换，得到了一类非线性演化方程族的可积耦合。作为例子说明，本文求得了一类AKNS（4个人名字：Ablowitz Kaup,Newell Segur）族的可积耦合。     

基于信息流电路可测试性的度量

准确地度量电路的可测试性是数字系统测试的重要问题之一。本文提出了一种基于信息流度量电路可测试性的方法,它表明可以将一个数字电路看成是一个信息处理系统。因此,电路的可测试性的度量值定义为电路输出的平均信息量与输入的平均信息量的最大值之比。文中给出了如何应用逻辑模拟软件来计算电路可测试性的度量值。对于由模块组成的电路,可以通过模块之间的一些特殊操作求得整个电路可测试性的度量值,本文也给出了方法及实例。文中还给出了应用本文提出的方法进行电路可测试性度量的实例,并与文[1,5]的方法得到的结果进行了比较,从而说明了本文方法的特点。     

可延伸出口锥的研制与试验

1979年法国欧洲动力装置公司(SEP)开始研制可延伸出口锥(EEC)。共进行了六发点火试验,均取得成功。下一发点火试验计划在1987年6月进行,届时,将对四种不同方案进行评估,其中包括折叠花瓣式及套筒锥式两种方案。EEC是固体火箭发动机喷管的一个复杂部件。为了提高它的可靠性及降低研制成本,设计必须尽可能简单。碳/碳部件采用三向增强细编织结构,可以做到设计简单,适用于目前既复杂又能装配的结构。如花瓣式和套筒锥式就可以采用这种称为SEPCARB NOVOLTEX材料。     

空间目标可拦截区与可遭遇区的确定

给出了天基拦截器对空间在轨目标的可遭遇区、可拦截区和实际可遭遇区的定义,基于冲量变轨理论,并以真近点角表示这三个区域,给出了确定这三个区域的数值搜索算法。对于非机动轨道目标,训练好的BP神经网络可根据拦截器/目标的相对位置,快速给出目标轨道上的可拦截区和实际可遭遇区。