图像三要素与MTF的分析研究

中低分辨率在轨运行卫星遥感器的调制传递函数（Modulation Transfer Function，MTF）的监测一直是研究的难题。现提出的方法解决了中低分辨率在轨运行卫星遥感器MTF监测的关键技术。考虑到卫星遥感器的最终产物是遥感图像，从图像信息理解的三要素出发，即灰度、纹理和边缘，分析图像三要素与遥感器MTF的关系。在分析过程中，应用主成分分析方法，不仅对多组原始数据进行了简化，而且对图像参数进行了降维。通过与其它方法的比较，进一步验证了使用主成分分析方法降维的有效性；同时实验结果亦表明了主成分分析方法的可靠性。最后建立了图像单个综合参数与MTF的关系模型，拟合结果说明，此模型能较好地表达图像参数与MTF之间的关系，这将为在轨运行条件下的建模提供十分重要的技术支持。     

论政划省域经济的亚宏观控制

本文着重研究了亚宏观控制职能产生的前提条件、控制目标及控制对象——省域总供给和省域总需求的运动。同时探讨总供给和总需求这一对范畴的内含及其运动矛盾的根源。     

美国空间优势犹存

著名的空间政策专家，美国乔治·华盛顿大学空间政策研究所所长约翰·洛格斯顿（JohnM．Logsdon），最近在日本和欧洲就这两个国家和地区的空间计划和活动的情况，进行了为期几周的考察。之后，他在5月26日～6月1日的《空间新闻》周刊上著文，阐述美国依旧在空间保持领先地位的缘由。文章开宗明义地指出：与其他空间国家相比，无论是国家级空间计划还是商业性空间活动，美国均处于良好的势态。作出这一论断的依据是：第一，美国为使其空间计划在冷战后的形势下继续保持稳定所作的努力和采取的措施正在产生积极的效果；同时，在主要的空间…     

多乙烯基硅氧烷笼形倍半硅氧烷的合成及性能

采用三氯硅烷水解缩合法合成了含八氢基的笼形倍半硅氧烷(T8H8),并用T8H8合成了多乙烯基硅氧烷笼形倍半硅氧烷(DVS-POSS)树脂,采用Fr-IR、1H-NMR、29Si-NMR等手段对其结构进行了表征;探讨了T8H8与二乙烯基硅氧烷(DVS)的加成反应.研究表明,固化的DVS-POSS具有良好的耐热性能,T醖超过530℃;DVS-POSS树脂复合材料具有优良的介电性能,在9.75 MHz下,ε为3.02,tgδ为2.4×10-3.     

空间环模设备液氮系统中文丘利管的研究

通过对文丘利管的工作原理的分析，阐明了文丘利管在液氮系统中所起的作用，提出了文丘利管的设计计算方法。通过对现有设备液氮系统的改造，对该系统及文止利管进行了试验验证工作。这些工作所得到的结论对新型环境模拟设备液氮系统的设计提供了重要的参考依据。     

叶栅二次流旋涡结构与损失分析

采用三维粘性程序对某型动力涡轮的第一级进行了数值模拟, 模拟结果捕捉到了该涡轮级叶栅的内部流的流动细节, 展示了涡轮叶栅端壁和型面流动及叶栅通道内的三维流动结构.通过对叶栅中的二次流现象和流动损失机理的分析, 揭示了该涡轮级叶栅通道内二次流旋涡结构(马蹄涡、通道涡、壁角涡、尾迹涡、泄漏涡等)的演变过程, 以及旋涡结构对损失分布的影响.      

一种分裂形式CPR格式在欠解析流动中的稳定性研究

基于重构的修正过程（correction procedure via reconstruction, CPR）方法是一种适用于非结构网格、紧致高效的高阶方法，但在离散非线性对流项时容易因为混淆误差的累积而出现数值不稳定。本文研究了基于LG (Legendre-Gauss)点分裂形式的CPR方法在欠解析流动中的稳定性，并将其与子单元限制技术结合，求解含激波的欠解析流动问题。结果表明：经过边界通量修正的LG点分裂形式CPR格式能够满足离散守恒律，且与子单元限制相结合后守恒律依然成立；在无激波的欠解析流动问题中，相比于散度形式CPR格式，分裂形式明显提高了计算的稳定性，而且比使用LGL(Legendre-Gauss-Lobatto)点的分裂形式CPR格式具有更小的数值误差；在含激波的欠解析流动求解中，相比基于LGL点的间断伽辽金谱元法子单元限制策略，基于LG点的分裂形式CPR格式子单元限制策略具有更高的分辨率和更小的振荡。     

基于NuSMV的AADL模型形式化验证技术

结构分析描述语言(AADL)是一种描述任务关键嵌入式系统架构和行为的建模语言，在航空航天领域广泛被应用。为验证AADL模型的任务关键属性和系统行为的正确性，提出基于NuSMV(新符号模型检查器)的AADL模型形式化验证方法。首先，覆盖AADL模型的所有软件构件和行为特征，提出了AADL模型到NuSMV模型的映射规则和转换算法；其次，采用图同构方法分析了转换算法的正确性；然后，在NuSMV模型中采用时态逻辑公式对AADL模型中待验证属性进行描述，以验证AADL模型中安全性、活性和嵌套模态配置的正确性；最后，以飞行控制系统为例，详细阐释了基于NuSMV的AADL模型形式化验证方法，并给出验证属性的统计信息。