变速恒频电源系统的数字仿真研究

建立了脉宽调制型交直交变速恒频电源系统的数学模型，研制了仿真软件，并给出了仿真实例。研究表明，本文的方法和软件可以进行变速恒频电源系统部件级和系统级的仿真分析，为设计和分析该系统提供了有力的工具。文中的方法和软件也可以用于分析恒速恒频和高压直流电源系统，为开发一套完整的飞机电源系统仿真软件奠定了基础。     

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

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

目前管理信息系统弊病分析及其改善途径

本文在肯定管理信息系统给企业带来经济效益和社会效益的前提下，分析了管理信息系统中存在的主要弊病及产生弊病的主要原因，主要弊病：信息质量问题，适应性差，及系统与用户之间存在着间隙。产生弊病的主要原因是：系统开发队伍的结构不合理，原理数据的局限性、数据集的表态性，及传统开发方法本身的限制。根据对弊病原因的分析，探讨了克服弊病与改善系统性能的基本途径：合理组织系统开发队伍，适当拓宽系统范围（包括拓宽数据     

非线性随机动态系统学习建模方法

在动态神经网络及扩展卡尔曼滤波算法的基础上，提出了对非线性随机动态系统进行学习建模的迭代算法，用这种方法对非线性随机系统建模，可以获得更准确伯系统模型，并可对非线性随机系统进行状态估计。最后给出相应算法及仿真结果。     

穿透式冷板的传热分析

对航空电子设备上采用的空心冷板冷却系统的传热特性进行了分析求解，得到了空心冷板稳态温度分布表达工和功率－温度－流量关系式，可作为空心冷板系统的设计依据，建立了空心冷板失效的动态温度模型，得到的温度－时间响应特性可用于评估冷板系统耐热冲击性能。     

危害性分析中的模糊数学方法

利用模糊集合理论对影响故障模式危害性的各因素进行了模糊化处理，建立了故障模式危害性评定的模糊评判模型，并阐述了模糊评判方法的基本步骤。     

大型转动机械碰摩故障分析的声发射检测系统

汽轮发电机、空气压缩机等采用油膜支撑的大型转动机械,由于安装或运行中的原因,在转子旋转过程中,可能和器壁发生轻微的摩擦和碰击,简称碰摩.声发射技术在碰摩发生特别是故障早期诊断上有优越性.本系统的特点是没有沿用传统的计数、幅度、能量和持续时间等声发射特性参数,而是在声发射包络信号的频率分析中进行特征提取.声发射发生的过程分析和现场试验都表明这种方法对碰摩检测很敏感,在碰摩发生的起始阶段,包络谱中与转速同步的周期性分量显著增加.根据这种新的设计思想自行研制了BUAA碰摩声发射检测仪并对此作了介绍.     

多传感器信息融合技术

多传感器信息融合是Ｃ＾３Ｉ系统和电子综合战系统中的关键技术，本文从信息融合分类出发，讨论了单传感器的信息融合决策理论和技术以及多传感器信息融合原理，提出了多传感器信息融合专家系统，着重讨论贝叶斯法用于二元检测的分布式多传感器信息融合的检测方式。     

The verification of GNSS tropospheric tomography model in a mountainous area

The GNSS (Global Navigation Satellite System) has not been developed as a meteorological data source provider, but with a careful and sophisticated processing strategy it might be used as one. The term GNSS tomography refers to the usage of the ray traced GNSS signal as scanning rays in the tomographic model input. The model is divided into a number of voxels. The system is inverted and value of refractivity is obtained. Typically, as in the most of the inverse processing, there is a problem of the undetermined system and as a consequence the cofactor matrix is close to singular. To avoid singularity additional conditions or constrains should be added to the system. Here, additional parameters are derived with the help of the air flow analysis in the Sudety mountains (south-west region of Poland), and special Slant Wet Delay (SWD) trimming procedure. The flow’s synthetic parameters like the Bruint-Väisälä frequency and the Froude number are determined. This way the type of the flow is recognized and the analysis of the impact of orographic barrier has been quantified. The SWDs from the GNSS observations were tested against, SWD from raytracing through the COAMPS model field. The modified GNSS tomography model was tested for the real GNSS observations delivered from the GNSS network Karkonosze located in the Sudety mountains and compared with the COAMPS model. The solution shows a considerable improvement in comparison with plain tomographic model results.     

On the station keeping of a solar sail in the elliptic Sun–Earth system

In this work we focus on the dynamics of a solar sail in the Sun–Earth Elliptic Restricted Three-Body Problem with solar radiation pressure. The considered situation is the motion of a sail close to the L₁ point, but displacing the equilibrium point with the sail so that it is possible to have continuous communication with the Earth. In previous works we derived a station keeping strategy for this situation but using the Circular RTBP as a model.