智能GPS软件接收机载波跟踪环路设计

传统的GPS接收机设计较为固定,用户不能改变接收机各类参数以适应不同导航信号处理的需要.而软件接收机只需做较小改动就可以适应不同信号,能够迅速分析、仿真、实现各类算法.在GPS软件接收机的基础上,利用鉴频器辅助鉴相器的输出,引入一个模糊逻辑控制器,使得环路能够智能跟踪GPS信号的动态变化.实验结果证明所提出的设计方法与传统环路相比可大幅度缩短跟踪时间,减小环路滤波器带宽,并能消除周跳.      

民机显示系统架构与控制逻辑的设计研究

民用航空电子技术的快速发展给民机显示系统架构和控制逻辑提出了新的挑战,在下一代航空运营体系需求的牵引下,从系统设计角度分析民机显示系统架构与控制逻辑,剖析了目前主流的民机显示系统控制逻辑,从显示器单元、控制装置以及显示系统架构等方面深入分析和比较了"硬菜单控制""常规控制板控制""软菜单控制""软菜单+综合控制板控制"以及"触摸控制"等显示系统控制逻辑的特点与优劣,提出了面向下一代大型客机的显示系统架构和控制模式,给民机显示系统的架构设计提供借鉴,并对智能化的驾驶舱显示系统提出展望。     

基于环境独立机制的静态离散贝叶斯网络参数简化方法

在大型工程系统的应用中,贝叶斯网络节点参数存储量随系统复杂度呈指数增长。针对该问题,综合飞行器故障模式通常采用多输入单输出逻辑门表达,以及故障树具有特殊静态离散贝叶斯网络的特点,提出将环境独立简化方法应用于常用典型逻辑门的贝叶斯网络。通过基本定理证明利用基于环境独立机制的概率树代替传统的条件概率表,可将呈指数增长的条件概率表减少为线性变化,并定量给出简化后节点参数个数的计算表达式。最后,将该方法用于某飞机前轮转弯系统故障诊断模型,通过与节点原条件概率表的比较,表明概率树方法可有效减少计算机内存需要。     

基于SEDA架构的网格服务容器设计与实现

网格服务容器是服务网格中的基础模块,负责屏蔽资源的异构性并和网格服务的运行提供支持.大多数网格服务容器均采用基于线程的并发机制来处理用户请求,在性能和可伸缩性上都存在局限.采用分级事件驱动架构SEDA(Staged Event Driven Architecture),通过划分阶段Stage的方式解除耦合,在阶段之间采用事件进行异步消息通信,结合非阻塞的I/O机制设计实现了一个事件驱动的网格服务容器,并从吞吐量、平均响应时间等方面和基于线程的服务容器进行了比较.结果表明事件驱动架构的确能在性能和可伸缩性方面带来效益,异步通信方式有效的减少了系统中的同步阻塞,带来更好的并发性.      

基于模糊推理的液体火箭发动机推力室减损控制研究

在建立液体火箭发动机动力学模型、推力室冷却夹套隔片结构模型和材料损伤模型的基础上,利用模糊逻辑推理知识设计了模糊推理机,构建了模糊减损控制系统这一有机整体。通过仿真计算,在火箭发动机工作100s期间,推力室喷管冷却夹套隔片有一定变形的情况下,研究了其损伤演化过程及损伤分布。     

直升机载激光指示器发射末制导炮弹射击效能分析

激光末制导炮弹武器系统是炮兵装备的一种精确制导武器，使用时，通常将激光指示器配置在陆地或舰船上。为了更好地发挥该武器系统的作战效能，需要将激光指示器配置在直升机上，这样就可以对反斜面或陆地无法观察到的目标进行射击。本文根据对直升机振动谱峰随机性的分析结果及末制导炮弹的射击特点，近似认为直升机振动导致的射击误差服从正态分布，确定了直升机机动导致的射击误差属于系统误差，建立了评定直升机载激光指示器保障条件下射击效能的数学模型，并对各种影响射击效能的因素作了分析。     

中介粗集及其在数据挖掘中的应用

粗集理论已成功应用于数据挖掘,如基于粗集方法的属性发现和决策规则的约简等。中介集合论是以中介逻辑为基础,也可以用于数据挖掘。文中将两者相结合,提出了中介粗集的概念。中介粗集是普通粗集的推广,为不完全信息系统的数据挖掘提供了新的工具,不仅可用于一般的信息系统,还适用于数据取空值的信息系统（允许结论取空值）。利用中介粗集进行数据挖掘不但可以得出粗集理论中的约简,还能得到更为简洁的中介约简。文中还给出了     

非定常气动力辨识的模糊逻辑方法

提出了用内部函数和二次型隶属函数对非线性非定常气动力进行模糊逻辑建模与辨识的方法 ,分别用 F- 18和 F- 16飞机强迫振荡的实验数据建立了非线性非定常气动力模型 ,讨论了隶属函数导数的连续性对模糊逻辑模型精度的影响 ,并与已有的 Fourier模型和非线性代数模型进行了比较。结果表明 ,文中提出的建模方法能够给出更为满意的结果。     

有限语言下占先模型的赋值结构

占先语义是知识表示与推理中应用最广的语义结构，它有多种定义方式，其中以S.Kraus,D.Lehmann及M.Magidor提出的KLM占先结构最为著名。但是对KLM占先结构本身的模型论性质却缺少系统深入的研究。本文在有限语言框架下，对一般KLM占先模型的赋值结构性质进行了研究，给出了占先模型与其赋值结构逻辑等价的充分必要条件，证明了有限语言框加下，逻辑等价的单射模型在同构意义下的唯一性。这些结果说明，KLM赋值结构为证明有限语言下单可表示类后承的表示定理提供了一种充分的通用性方法。     

基于傅立叶变换和模糊逻辑的APC/PIO探测方法

为了对飞机-驾驶员耦合(APC)或驾驶员诱发振荡(PIO)现象实现在线探测,提出了适于实时计算的滑动窗口傅立叶变换递推算法、相关特征的模糊隶属函数以及基于模糊逻辑的识别模型。各种情况飞行试验数据的计算和分析表明,该方法对探测APC/PIO是有效、可行的。最后提出了进一步研究的若干建议。