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

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

基于Depth from Focus的图像三维重建

应用改进Laplacian聚焦算子实现序列图像的融合显示,用高斯插值算法得到图像三维重建中的高度图,并设计一种轮廓线算法对高度索引图进行了三维重建;成功地应用于摄像机拍摄序列图像的三维重建,弥补了摄像机物镜焦深范围有限不能采样清晰大幅图像的不足.理论和实验结果证明,用该方法生成的二维融合图像和三维显示图像,恢复出比较精确的物体表面深度信息,提高了图像的清晰度.     

DSP的数学原理及在实时系统的应用

制造系统里所用的微处理器中，单片机只能做逻辑处理和简单数学计算，而数字信号处理器（DSP）可进行相当复杂的数学处理。本文概述DSP的数学原理及其技术特点，介绍了基于DSP智能控制器在制造业中实时测控系统的应用实例。     

基于优化最小二乘支持向量机的襟翼趋势预测

将最小二乘支持向量机(LS-SVM)应用于飞机襟翼状态趋势研究。首先,通过分析飞机襟翼故障与襟翼动作耗时参数的关系,提出了利用动作耗时趋势来确定该系统未来状态的方法。然后,使用最小二乘支持向量机建立耗时回归预测模型,采用最终预报误差(FPE)准则确定回归模型嵌入维数,提出了自适应网格搜索法,优化最小二乘支持向量机的建模参数,从而实现比现有方法精度高,泛化性能好的预测模型。训练和测试样本取自飞行数据记录系统(QAR)中译码襟翼参数值。与神经网络模型的比较实践表明,该方法具有实用价值。     

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

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

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

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

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

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

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

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

一种新颖组合变换器拓扑研究与应用

基于电源模块并联和串联的思想，提出了一种新颖双管正激组合变换器拓扑，克服了双管正激变换器副边二极管电压应力过高，输出电压和电流脉动大，只能应用于输出中低压场合的缺点，具有副边二极管电压应力低，可靠性高，原边开关管电流应力低，输出电压和电流脉动小，磁芯元件体积小等优点，本文对该新颖组合变换器进行分析，仿真和实验，表明适合应用于输入中，高电压，输出高压，大电流场合，并成功应用于某型飞机6KVA逆变器前级变换器，各项技术指标均符合设计要求。     

中介公理集合论系统与经典公理集合论系统的关系——形式证明部分

在中介公理集合论系统（ＭＳ）中重新定义了良集的概念，讨论了它的性质。证明良集完全满足经典公理集合论系统（ＺＦＣ－：ＺＦＣ系统中去掉正则公理）的全部公理，且其配套的逻辑系统恰为中介逻辑的二值子系统ＦＩ＊ＭＬ，说明整个经典数学也能奠基于ＭＳ之上，从而最终回答了中介数学与经典数学的包含关系问题。