干涉SAR的相位展开算法

InSAR是从不同轨道收集同一区域的两幅SAR图像，然后根据上位差重建三维地形图像的成像雷达。因为相位差和地形高度之间有一定关系，因此按照相位差的分布，就能求出三维地形图。然而被测量的相位差是以20π弧度重叠的值，所以将其展开是十分必要的，而且利用这种算法的性能可控制测量精度。主要算法有Zebker提出的Branch Cut法，用这种算法测称之为“留数”的复数图像上的厅点，有必要解决其组合问题。本文讲究了以连接组合留数的线分总长度为标准，逐步改善其组合，并求出准最佳解的相位展开的计算方法。再用这处算法，根据观测卫星ERS－1（欧洲遥感卫星1号）的三个图像求出三维地形图，并且DEM（数字标高模型）进行了评价。其结果测量误差的标准偏差大约为30m，与DEM的精度一致。     

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

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

组件安全调用

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

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

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

应用泰勒中值定理研究函数的方法总结

本文讨论了应用泰勒中值定理研究函数时，如何合理选择展开点的问题，概括了以下三种方法。1、选择已知条件最多的点展开。2、选择问题所要讨论的点展开。3、选择极值点处展开。     

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

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

空间相机用碳化硅（SiC）反射镜的研究

根据空间光学遥感器发展的要求，提出碳化硅(SiC)反射镜的研究，论述空间相机采用SiC反射镜的原因，介绍国外SiC反射镜发展概述，提出发展SiC反射镜的研究目标和应用方向。