航天器控制高级语言的设计与实现

针对航天测控任务中存在的卫星控制人员手工操作多、任务准备周期长、自动化水平低等问题,在分析航天器控制流程的基础上,抽象出面向卫星控制人员的航天器控制高级语言,设计语言规范,描述Windows平台的编辑、编译、运行功能的设计与实现。该语言成功应用于某中心的卫星测控任务中,任务准备快速高效,大大减轻了卫星控制人员的工作量,任务过程自动执行,无需人工干预,提高了航天器控制过程的自动化水平。     

充液弯管固有频率试验与计算分析

针对航空发动机管路固有频率的影响,通过对2种材料、8种直径的L型发动机弯管在充入燃油、滑油等不同条件下进行了大量自由态固有频率试验,分析并得到了管路材料、直径、油液质量等参数对发动机充液弯管固有频率的影响规律.采用ANSYS软件管单元方法进行了相应的固有频率有限元计算.通过与试验结果对比分析,验证了用管单元计算方法替代大试验量的高效性和适用性,可为今后的发动机管路敷设工作提供一定的参考.     

复合材料层合板的振动模态试验研究

采用逐点激励单点测试（SISO）的方法,在自由状态和一端固支状态下对无损伤和含开孔损伤的复合材料层合板进行了模态试验和模态识别.根据测量得到的试验件的频率、阻尼和振型等模态参数,分析了层合板在不同边界条件下开孔损伤位置和开孔损伤大小对层合板的振动特性的影响.结果表明：复合材料层合板具有优越的阻尼特性;试验获得的振动特性与相关文献中的结果一致;开孔损伤位置和开孔损伤大小对层合板的振动特性有明显影响.     

ARINC429总线接口设计与实现

ARINC429总线在航空电子系统领域被广泛的应用。本文分析了ARINC429总线的工作原理,根据其数据格式、接口电平要求,给出了由FPGA设计实现ARINC429总线的基本原理,并通过VHDL语言编程,实现了ARINC429总线协议部分,实现了接收和发送功能。采用FPGA器件设计集成ARINC429总线协议的通信芯片,可以有效地提高数据通信模块的处理能力和集成度。通过实际与通用型ARINC429总线芯片的通讯,验证了方案的正确性。     

面向Web的知识描述语言

提出了Web知识描述层次模型,采用本体论技术从类、槽和槽约束3方面对领域知识建模,结合描述逻辑、框架系统建立了基于XML(eXtensible Markup Language)和本体论技术的知识描述语言(KDL).然后,介绍了KDL的扩展语法,并从一阶逻辑的角度对KDL的语义特征进行分析,提供KDL到FOL(First-Order Logic)的映射方法以完成KDL语言和FOL表达式之间的转化.实践证明KDL具有规范的语法和精确的语义,具有较强的逻辑推理能力.      

基于自相关函数的自然纹理图像分形维数的估计

提出了一种估计分形维数的新方法,并利用该方法估计自然纹理图像的分形维数.分形维数是描述图像粗糙程度的主要参数.将分数布朗运动推广到离散情况,研究离散高斯噪声的自相关函数的性质.根据自相关函数的性质,获得估计分形维数的自相关函数方法.合成分形图像和自然纹理图像被用来检验该方法的准确性,并与计盒方法进行了比较,结果显示自相关法是准确的和有效的.      

嵌入式处理器P2020机器码程序到C语言源程序的溯源方法

处理器PowerPC P2020在航空航天等嵌入式领域被广泛应用,以RTCA/DO-178C中A级软件的适航要求作为研究的出发点,提出了从文件、函数声明、函数体代码3层次实现P2020机器码程序到C源程序的溯源方法。在获取C语言源程序与PowerPC P2020机器码程序文件名列表的基础上,实现PowerPC P2020机器码文件主名的溯源;通过遍历C源程序抽象语法树和PowerPC P2020机器码获取函数名列表,实现PowerPC P2020机器码函数声明的溯源;通过定义C语言程序抽象语法树节点生成期望汇编指令序列的规则,实现PowerPC P2020机器码函数体的溯源。通过设计245个C源程序文件与345个PowerPC P2020机器码程序文件,1 111个C语言函数声明与1 273个PowerPC P2020机器码函数声明,以及覆盖C语言程序23类语法结构的460个测试用例,验证了PowerPC P2020机器码程序到C源程序的自动化溯源方法的有效性。结果表明：文件溯源和函数声明溯源的追溯匹配率达100%,程序函数体代码的平均溯源匹配率达97.22%。溯源匹配结果可以检查PowerPC P2020机器码程序是否在编译过程插入例外异常代码,以防止其带来的安全隐患,保证航空航天嵌入式安全关键软件机器码的安全性和可靠性。     

用对象实现构件的原型开发方法

基于面向对象语言的基本特征,分析了用对象表示构件的诸多有利因素,提出了用对象实现构件的原型开发方法。该方法规定了构件的外部接口,构件间“联系”函数及原型合成过程中的择优方案等。它对原型法的实用化将会起很大的推进作用。     

振动表面自然对流强化换热特性

基于振动影响流动换热边界层发展的思路,通过实验方法对振动条件下的自然对流换热特性进行研究.实验采用电铃谐振器作为加热膜的激振源,并利用红外测温技术对表面温度场进行了测量.结果表明:振动对自然对流的强化可提高90.7%.在等热流密度条件下,振动能量越大,换热越好;在等振动能量条件下,热流密度越小,换热越强.研究结果为强化表面自然对流换热提供了一种新思路.      

关于轴流压气机的非定常两代流型

针对作者提出的轴流压气机非定常两代流型——非定常自然流型(UNFT)和非定常耦合流型(UCFT)——概念,本文进行了数值模拟和试验两个方面的验证。从数值模拟结果来看,实现非定常耦合流型后,对应非定常流场的时空结构将由无序状态向有序状态转化,流场的时均性能也能得到较大提高。环形叶栅声激励和PIV测量的实验结果亦证实了这一结论。