程序设计用图形描述工具的标准现状分析

本文主要对国内外所流行的几种图形描述工具,如程序流程图、PAD 图、N-S 图和 DSD 图,对它们的标准情况作了综合性分析,讨论了它们各自的特点,并对标准中的个别问题谈了一点自己的看法。     

操纵系统非线性因素对飞机纵向驾驶员诱发振荡影响的探讨

采用描述函数法建立了含有非线性控制系统的人机系统数学模型,确定了系统的极限特性,探讨了极限环与驾驶员诱发振荡(PIO)之间关系和操纵系统非线性因素对PIO影响等。并以JJ7机为例通过人机系统数字仿真验证分析结果。     

飞机排故方法模糊与统计综合评估算法的研究

针对民航飞机维修过程中故障描述对应的多种故障原因和排故方法,无法进行确定性选择问题,采用模糊综合评估理论,在统计已往维修经验数据的基础上,提出一种在各种故障原因和排故方法中进行选择的优先排序算法,进而解决了飞机故障诊断信息应用的关键问题,提高了排故速度。此评估算法已应用到民航的维修实践中。     

基于局部几何特征的稠密点云配准方法

针对现有的稠密点云配准方法依赖初始位置设定、计算成本高、配准成功率不高等问题，提出了一种基于点云局部几何特征的稠密点云配准方法。采用深度卷积网络模型提取点云的局部几何特征，从而减少了三维点云数据的噪声、低分辨率和不完备性等带来的影响。在此基础上，使用K维树搜索完成局部几何特征描述子的关联工作。最后，通过随机采样一致算法对点云的相对位姿进行鲁棒的估计。通过对开源数据集上5个典型场景中的数据测试表明，该方法的配准成功率达到92.5%，配准精度达到0.0434m，配准时间相对最邻点迭代配准算法缩短了74.7%，实验结果验证了该方法的有效性、实时性和鲁棒性。     

基于人机闭环稳定性的舵机速率限制边界

舵机速率限制是造成电传操纵飞机人机耦合的主要原因。利用描述函数法对舵机速率限制非线性进行建模,分析舵机速率限制非线性、人机耦合发生频率及人机闭环稳定性间的关系,并基于此提出舵机速率边界的确定方法;以典型放宽静稳定性飞机为例,基于最优McRuer驾驶员模型,确定人机闭环稳定性所需的最小舵机偏转速率;基于开环起始点(OLOP)准则对所确定的速率限制边界进行验证。结果表明:本文提出的舵机速率边界的确定方法最小成本地避免了人机耦合;所确定的舵机速率限制边界与OLOP准则边界对应的舵机速率基本吻合,即所建立的舵机速率限制边界确定方法合理。     

可视化建模语言编辑器的自动生成和配置技术

可视化建模语言是采用图形方式对系统/软件进行描述的语言,可视化建模语言编辑器为其使用提供了工具支持.不同编辑器存在的共性使得可视化语言编辑器自动生成和配置成为可能.基于理论研究和编辑器开发的实践经验,提出了自动生成和配置相结合的可视化建模语言编辑器开发的总体框架以支持编辑器的快速开发,定义了一套支持静态语义的可视化建模语言描述方法RM.RM采用基于规则的形式化描述方法来描述可视化建模语言的语法和编辑器的特性,采用MOF(Meta Object Facility)来描述可视化语言的静态语义.最后,设计实现了可视化建模语言编辑器开发环境Veda,验证了总体框架和描述方法的可行性.      

基于UDDI的应用服务注册中心的设计与实现

Web服务是当前基于Web的分布式计算与应用的关键技术基础.通用描述发现集成协议(UDDI)是Web服务的核心技术标准,提供了Web服务的信息注册查找规范,解决了Web服务的描述、发布以及查找问题.UDDI规范仅提供了标准接口及数据结构,缺乏对UDDI注册中心的安全性、可管理性等明确的定义和实现机制.基于Web服务及UDDI技术分析,设计实现了基于UDDI的应用服务注册中心(ASC).ASC由ASC客户端、ASC服务器、ASC管理控制台组成,支持Web服务的发布、查找、管理等操作.根据实际应用需求,设计并实现了发布者声明关联匹配算法,扩展了UDDI标准的应用编程接口,提供了安全、管理等功能,形成了一个具有较强安全性和易管理性的应用服务注册系统.     

基于全信息的正态分布型数据的线性回归分析

针对正态的分布型符号数据,提出一种新的线性回归分析方法.以体现正态的分布型数据的全部原始信息为出发点,给出正态的分布型变量的一阶矩、二阶原点矩、二阶混合原点矩的定义和计算原则.在此基础上,定义针对正态的分布型数据的线性回归模型以及残差信息的平方和,推导最小二乘回归系数.仿真实验证明了该方法所得回归模型在解释能力和预测能力上的有效性以及相对于"中心法"的优越性.给出的正态分布型变量数字特征的定义和计算原则为将其他经典的多元统计方法推广到分布型数据奠定了基础.     

LALR(1)分析器快速生成

根据LR(0)自动机的构造理论及Deremer和Pennello的LALR(1)向前看符号集计算公式,提出求解公式中的lookback关系和includes关系的高效算法. 研究过程表明,LR(0)项目集闭包计算和项目集的查找是LR(0)分析器构造过程中的主要性能瓶颈.对这两个计算过程给出了高效的数据结构和算法设计,实现了LALR(1)分析器的快速生成.系统实现及实验数据表明,LALR(1)分析器的生成速度超过了自由软件基金会的LALR(1)分析器生成器Bison.      

精密装配对空空导弹位标器影响的研究

通过对其自主稳定回路及间隙描述函数频率特性的分析,对间隙装配调试及检测技术提出改进措施,并设计了测隙装置,完善了装配工艺.