基于波束锐化技术的SAR图像增强方法

在对给定的合成孔径雷达图像进行增强处理时 ,遇到的主要问题就是相位信息的丢失和对成像系统参数的一无所知。本文将波束锐化技术与合成孔径辐射方向性图的估计相结合 ,为处理此类数据提高图像的视在分辨率提供了一种方法。该处理过程由一个优化的有限冲激响应滤波器构成。滤波器的设计思想基于最小均方误差准则 ,系数对称分布 ,系数取值决定于原图像中孤立强散射点的方位向响应 ,因为此响应可以被近似视为成像系统的合成孔径辐射方向性图。点目标仿真表明雷达角分辨率能够提高近 2倍。实测数据处理结果证明了该方法的有效性     

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

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

基于中介逻辑的多模态逻辑系统

多模态逻辑作为模态逻辑的扩充，是模态逻辑进行时态和动态扩充的基础。中介逻辑是一个新的逻辑系统，自创立后得到了很大发展，并在数理逻辑及计算机科学领域中得到广泛应用。为将中介逻辑进行时态和动态扩充，本文构造了一种基于中介逻辑的多模态逻辑系统ＭＭＫ，讨论了它的推理规则和语义解释，并证明了ＭＭＫ的可靠性和完备性，在此基础上给出了一种基于中介逻辑的时态逻辑系统ＭＴ，对它的可靠性和完备性进行了讨论。最后，分析了相应的经典多模态逻辑系统与ＭＭＫ系统及经典时态逻辑系统和ＭＴ系统之间的关系。     

受拉螺栓的应变疲劳可靠性分析

分析了受拉螺栓的应力与变形，指出这种螺栓的强度失效的主要原因是应变疲劳破坏，进一步在探讨应力-应变统计特性的基础上，提出了确定螺检应变疲劳可靠性寿命的方法，因此方法可进行螺栓可靠性寿命的预测。     

上游转子对下游静子叶片气动力的影响

为研究轴流压气机下游静子叶片非定常气动力的大小和频率的变化规律，采用在静子叶片表面埋设微型动态压力传感器的方法，在低速单级轴流压气机实验器上进行了静子叶片表面压力的测量。测量了不同轴向间距、不同转速下从近堵塞到近失速的宽广流量范围，并对所测得的静子叶片非定常气动力进行了离散傅立叶变换，以分析其频谱特性。实验结果表明：在转子尾迹的影响下，静子叶片表面的波动频率是转子的尾迹频率及其倍频。转子尾迹频率的高频分量对静子叶片吸力面前缘的影响比对其他位置的影响大。叶片表面的非定常压力和气动力随压气机流量、转速和轴向间距的变化而变化。     

110 kV变压器中性点保护与零序保护优化配置

本文通过提出110KV变压器零序保护设计中存在的问题，阐述了变压器中性点与零序保护优化配置的设想与实施方案。     

用双激波模型计算风扇/压气机非设计点的性能

根据现代高速风扇/压气机内激波波系的真实结构,将适用于预测高速叶型激波损失的双激波模型引入基于基元叶片特性的流线曲率法程序,发展了一种用于预估高速风扇/压气机非设计点性能的方法。该双激波模型考虑了来流马赫数和攻角变化,较真实地反映了高马赫数风扇/压气机的实际工作状况,扩展预测风扇/压气机非设计点性能的能力。利用该模型,本文分别对一台叶尖马赫数达到1.4的大涵道比风扇和一台叶尖马赫数高达1.5的三级风扇的非设计点性能进行了计算,计算结果与试验结果保持了较高的吻合性。     

低湍流度磁悬浮风洞的气动和结构设计

对磁悬浮风洞的历史、现状作了简要回顾和介绍 ,提出了建造 30 0mm× 30 0mm磁悬浮低速风洞 (简称MSWT 30 0 )的设计思想 ,给出了MSWT 30 0主要部件 ,包括离心式鼓风机、过渡段、大角度扩散段、稳定段、收缩段、实验段。MSWT 30 0的建立将结束我国没有磁悬浮风洞的历史     

基于形态学梯度矢量的图像边缘提取算法

图像的边缘在很大程度上可以用梯度的概念来解释和描述,而现有的形态学梯度边缘检测算子抹煞了梯度的矢量性。文章提出了一种新的图像边缘提取算法:在边缘检测部分提出了具有方向估计的形态学梯度算子,且从理论和实际应用两个方面给予证明。并将模糊处理加入该系列算子,使这些算子在噪声抑制和提高边缘清晰度两方面均有较好的表现。同时在图像分割部分改进了最佳阈值化分割,利用小范围的边缘梯度各方向上的最佳阈值化进行调整,使图像的边缘更加完整、清晰。     

电子干扰对低可观测飞行器飞行路径规划的影响

为了提高巡航导弹的低空突防能力,在分析电子干扰对雷达网威胁区域的影响后认为:在多重干扰条件下,雷达探测空间会顺着干扰方向产生内凹和偏移,因此,建立了新的雷达探测空间模型.采用空间对象间拓扑关系推理方法建立了飞行器飞行路径规划目标函数中雷达威胁指数模型,然后改进了飞行器飞行路径规划模型,并在此基础上进行了巡航导弹飞行路径规划的软件仿真.仿真结果表明:考虑电子干扰对雷达威胁区域的影响情况下规划的飞行路径能够回避雷达威胁,有效提高飞行器低空突防能力.