冷镜式露点仪测量结果的不确定度评定

冷镜式精密露点仪是湿度测量中准确度最高的仪器,也是许多国家湿度量值传递以及国际比对通常使用的传递标准.本文讨论了冷镜式露点仪测量不确定度的多种因素,其中有些不确定度分量目前还难以估算出具体数据.     

卫星姿态跟踪系统的鲁棒控制器设计

研究了具有参数不确定性和外部干扰的卫星姿态跟踪控制问题。针对这一类多输入／多输出不确定非线性系统，提出了一个基于不确定项上界的鲁棒输出跟踪控制器设计方法。应用输入／输出反馈线性化法和李亚普诺夫方法，设计了一个控制律，它可确保系统输出按指数规律跟踪期望输出。该控制器计算简单，易于实现。仿真结果表明：即使系统存在不确定性，仍可在闭环系统中实现精确的姿态控制。     

一种新型数字高精度伪码快速捕获延迟锁定环的设计与实现

介绍了一种新型全并行快速捕获延迟锁定环的设计与FPGA实现,捕获时间小于等于一个伪码周期,抗干扰容限大于80 dB。此快速捕获延迟锁定环实现127路全并行捕获和高精度跟踪,仅需存储130个PN码表,相对于其他并行捕获延迟锁定环或串并结合的环路,存储量约小2/3,并具有较高捕获精度。     

级联三能级原子系统的量子特征

运用油松分布的性质和二元泰勒级数展开方法，研究了初始处于下能级的级联三能级ＪＣ模型中的原子与两个初始相于辐射场的相互作用，得到了原子能级算符、光子数和偶极矩算符的平均值的近似解析解，与前人数值结果相比，更加明确地反映了系统的量子效应。     

用光束偏转层析迭代法重建三维位相物体

本文结合位相物体的先验知识，研究了用光束偏转层迭代法重建三维位物体的重建精度及算法，内插函数，采样方式，视角范围和数据噪声的影响，作为一个应用实例，诊断了气体温度场某一截面的温度分布，并与热电偶的测量值进行了比较。     

中介时序逻辑系统MTL的模型论性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备.     

空天飞机的边界层转捩

本文概述了边界层转捩对空天飞机性能的影响。在介绍确定边界层转捩起始点的线性稳定性理论和简单关联公式之后，又从噪声影响、头部钝头影响和钝锥飞行试验结果等几方面，讨论了线性稳定性理论的应用。接着介绍了采用转捩函数来确定转捩区的方法。从飞行试验、理论计算和风洞试验等三方面，探讨了进一步研究高超声速边界层转捩的途径。重点介绍了ＮＡＳＡＬａｎｇｌｅｙ研究中心的超声速、高超声速静风洞技术的发展。最后，对今后空天飞机边界层转捩的研究工作提出了建议。     

可视化技术在分析新型蓄冷材料——笼型化合物（Clathrate）溶解过程中的应用（一）、（二）

混浊液内部的流动，由于微粒子之间的相互作用以及因浊度高不易进行内部观察，所以无论是分析还是可视化实验都相当困难，存在着许多未弄清的问题。通过采用折射率匹配（Refractive-IndexMatching）技术，使透明的微粒子与透明的溶媒的折射率近乎相同，做成一种透明的“混浊液”，从而使混入其中的示踪粒子的运动轨迹能被摄像机捕捉到，并以微粒子的沉降和温度的干涉所引起的流动现象为焦点，利用图像速度测量法来处理分析所拍摄到的可视化图像，成功地获得了定量的混浊液内部的速度场，为进一步揭示混浊液内部自然对流的流动机理提供了实验依据。     

控制面临的任务和问题——美国控制界“高峰会议”观点摘编

美国国家科学基金会与 IEEE 控制系统学会联合召开了一次控制界“高峰会议”。由全美控制界最著名的约50位专家学者参加,对于控制学科当前的发展趋势和面临的问题以及对于控制的每一挑战和其中重要的研究课题都进行了认真讨论,最后形成了《控制面临的任务和问题》这份报告。对于我国控制界的同仁,这无疑是一份可惜鉴的重要材料。