一个说明语言的设计和其子集编译器的开发

基于软件文档可执行的想法，设计了一个适用于指称语义描述的可执行规范说明语言——ＪＺＣ，并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念，使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试，ＪＺＣ核心子集编译器的开发采用了该种方法，其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介ＪＺＣ的语言特点，给出了编译器开发过程的一个描述框架和证明梗概     

AIRS观测资料研究全球平流层重力波特性

利用2012—2014年1月和7月AIRS（Atmospheric Infrared Sounder）第79通道的观测数据,分析了平流层重力波活动强弱的全球分布以及重力波发生频率的全球分布;分析了重力波活动随纬度和经度的变化特征,给出了重力波活动在全球范围内的热点区域及其活动强度;对比了白天与夜间的重力波活动强度及发生频率.研究表明重力波活动强度呈现出随纬度变化的特征,在低纬度地区（0°—30°）,冬季半球重力波活动强度低,夏季半球重力波活动高;在中高纬度地区,冬季半球重力波活动强度高而夏季半球重力波活动强度低.在1月,全球重力波活动有4个突出的热点区域,分别为50°N附近欧洲大陆与大西洋交接地带、北美洲与大西洋交接地,20°S附近南美洲与大西洋交接地区、非洲与印度洋交接地区.在7月,重力波活动突出的地方为巴塔哥尼亚至南极半岛地区,以及50°S和75°E附近的印度洋区域.重力波活动强度在夜间大于白天,但是夜间的强重力波活动区域小于白天.     

CAPP与PDM数据交换技术

探讨了在PDM集成框架下CAPP从PDM数据库中获取产品属性信息、产品结构信息和产品图形信息的方法;研究了CAD/CAPP/PDM系统中数据文档的格式和类型,并将不同格式的文档划分为无格式文档和有格式文档;详细阐述了CAPP生成的工艺文档、工艺要素及属性信息在PDM框架下进行CAPP数据存储的一个模型和应用实例.     

蜂窝夹层板撞击实验数据中的野值判别

基于超高速撞击物理实验数据对蜂窝夹层板撞击极限方程进行修正是获得高可信度新方程的一种常用方法,为了提高物理实验数据的可靠性,以国外131个碳纤维复合材料(CFRP)面板的蜂窝夹层板实验数据为对象,进行野值判别方法研究,发现该批数据中存在1个野值。将该野值剔除并基于剩余的130个数据重新进行方程修正后,新方程的总体预测率和安全预测率分别达到82.3%和93.1%,其绝对误差平方和、相对误差平方和分别为0.010、0.506,相对于剔除野值前的修正方程有所改善,表明实验数据野值判别方法可行、有效。为考核方法的适用性,对铝合金面板的蜂窝夹层板的实验数据也进行野值判别分析,结果显示该方法可合理识别野值。     

一种闭环冗余系统可重构控制方法

提出一种闭环冗余系统在线可重构控制方法,包括控制器、控制分配和故障诊断.在故障诊断算法中,首先采用有向图方法快速确定可能的故障源.对于难以隔离的故障,提出了一种在线故障定位方法.故障定位后,通过控制分配,重新分配控制律.以航天器冗余动量轮系统的故障重构为例,说明了如何在系统级角度在线定位故障,重构系统.最后,给出了冗余动量轮卫星姿态调节过程中故障重构的仿真算例.     

影响三瓣式高速浮环密封性能的敏感参数

针对应用在液体火箭发动机上的三瓣式高速浮环密封（TFRS）,揭示密封在复杂多变工况下的泄漏特性和磨损特性,得到影响密封特性的敏感参数,促进高速密封技术的发展。针对压力、转速和密封周向弹簧比压等关键敏感参数,数值模拟了密封的泄漏率变化规律,试验测量了密封环的泄漏率和磨损率。研究结果表明:泄漏率和磨损率都随压力增大而增大;转速对三瓣式高速浮环密封磨损率敏感,对密封泄漏率不敏感,随着转速的增加,磨损率增大较快,泄漏率减小较慢;随着密封周向弹簧比压的增大,前期密封周向弹簧比压对泄漏率敏感,此时泄漏率变化幅度较大,磨损率变化幅度较小,后期密封周向弹簧比压对磨损率敏感,此时磨损率变化幅度较大,泄漏率变化幅度较小,密封周向弹簧比压在适当范围内时,泄漏率和磨损率都较小。研究结果为液体火箭发动机三瓣式高速浮环密封的设计、实际应用和深入研究提供了基础。      

同位素热源高温-冲击复合环境试验

为了考察深空探测器同位素热源模拟样品在高温–冲击复合环境下的环境可靠性,研制了一套高温–冲击复合环境试验装置。该装置由温度加载系统、冲击试验系统、带有热防护功能的夹具和控制系统等组成。该装置可完成室温约500℃热载荷加载。利用该试验装置对同位素热源模拟样品进行了500℃、5 000次的高温–冲击复合环境试验考核,获得了产品温升响应曲线、冲击波形图等相关试验信息。试验结果表明该试验装置能够进行高温–冲击复合环境试验。     

蜂窝结构的焊点位置控制方法研究

蜂窝结构是航空发动机中的重要封严结构,随着航空航天工业的飞速发展,该结构的需求也日益增多。蜂窝拼焊的自动化生产是实现蜂窝结构高效率生产的有效方法之一。针对蜂窝结构自动化生产中的关键问题,即焊点的位置精度,分析了原有工艺和系统的不足。在基于ACR9000运动控制器平台上,针对焊点精度,分别提出了基于电机编码器的位置控制和轴同步原理的方式。结果证明,这两种方法能够很好地实现焊点位置的精度要求,使蜂窝高质量高效率生产。