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

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

测控站点电磁兼容分析与预测技术研究

本文介绍了对测控站点内各测控设备的电磁干扰进行分析和预测的方法。系统采用干扰源与接收机逐对考虑的方式，极大简化了计算。并采用分阶段预测的方法，即分成：快速筛选、幅度筛选、频率筛选和详细预测四个阶段进行逐阶段分析和预测。     

载人月面着陆器贮箱热控方案分析

针对月球表面低温、高温热环境与地月转移过程空间深冷环境,提出了多种载人月面着陆器贮箱热控方案,对不同热环境下的不同热控方案进行仿真计算,得到了载人月面着陆器侧壁与贮箱温度变化趋势.结果表明:3种方案中,方案一系统代价最低,为最优方案;贮箱通过被动热控设计可以使温度满足任务要求,且不需要增加额外代价.     

基于空时编码的SOQPSK-TG调制器的FPGA设计

为满足未来遥测系统高码速率且可靠传输的要求,将空时编码与SOQPSK-TG技术联合调制,通过使用正余弦波形查表法及基于预编码特性的累积相位映射简化来设计结构,设计一种ALAMOUTI空时码与SOQPSK-TG编码调制的FPGA实现方案。在FPGA硬件平台测试结果验证SOQPSK-TG体制相比传统遥测调制体制具有更高的频带利用率,并且基于空间分集技术的空时编码并不会对SOQPSK-TG信号频谱产生影响,具有抗信道衰落能力的空时编码在未来遥测系统有一定应用价值。     

导弹尾部外形对发动机水下点火推力的影响

利用球形气泡模型,通过数值求解研究了导弹尾部对发动机水下点火时推力峰值、尾部压力分布以及推力波动特性的影响.计算结果表明:尾部收敛段半锥顶角的变化对推力峰值影响较大,半锥顶角大于45°时,随着半锥顶角的减小,推力峰值缓慢下降;半锥顶角小于45°时,推力峰值随着半锥顶角的减小而加速下降;半锥顶角对推力达到峰值的时间影响较小;推力达到峰值时尾部收敛段压力分布变化较大;半锥顶角对推力波动特性影响很小.      

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

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

火星表面热环境对航天器热控影响分析

火星大气对太阳辐射产生吸收和散射作用,同时还将与火星表面航天器发生对流换热.热设计时难以直接评估对流、辐射和导热三种换热对航天器的影响,从而确定主要的控温途径.在调研火星表面辐射、大气等热环境的基础上,从线性化传热系数和对流辐射比的角度对比分析了辐射、对流和导热对航天器的影响.器表辐射传热系数随光学属性和温度的变化范围...     

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

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