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

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

正态分布可靠寿命经典近似限的改进

本文给出了正态分布可靠寿命的又一个经典近似下限，经验证，本文所给出的结果的精度比已有的结果精度要高，可提供给可靠性工程人员使用。     

星载合成孔径雷达回波多普勒频率的计算

从星载合成孔径雷达（ＳＡＲ）与目标的相对运动关系出发，以ＳＡＲ发射信号的波长、卫星的轨道参数和目标的位置（地心经纬度）为已知条件，导出了计算目标回小以的多普勒频率的解析公式，这对于星载ＳＡＲ系统的性能 初步设计具有重要作用。     

开放式飞行任务规划方法

本文给出了一种基于分布式黑板结构的开放式飞行任务规划方法，简要叙述了飞行器飞行任务规划的概念和其独特要求，并对飞行任务规划的数据预处理、知识表达、规划方法作了深入的探讨。最后介绍了分布式黑板的结构和运行方式。     

《实用英语》教法研究新思路

本文主要阐明了教师在教授《实用英语》的过程中，应更多地寻找新思路，探求新方法，创造性地使用教材，以交际法为主线，博采众长，为我所用。根椐各流派教法，结合《实用英语》，作者着重讲述了如何灵活安排教学计划，提出课堂教学中切实可行的方法。     

距离拖引干扰对几种脉冲雷达的干扰效果分析

借助于雷达信号的模糊函数，分析了距离拖引干扰对非脉压雷达、线性调频脉压雷达和二相编码脉压雷达的干扰效果，且进行了比较，得到了一些有用的结果。     

低成本INS/GPS组合导航系统算法研究及其实现

采用基于 MEMS技术的低成本 IMU和 GPS接收机 ,以 DSP为信息处理核心 ,实现了 GPS/SINS组合导航系统。文中详细描述组合算法和算法的软件实现 ,并对模样机在实验室的静态实验结果进行描述和分析。实验结果表明 ,系统组合滤波器的设计和参数选择正确 ,模样机取得了较好的导航解算精度     

再入航天器的神经网络自适应控制

对于再入航天器来说 ,可恢复故障通常会导致总体控制权限的降低。本文将伪控制限制方法和神经网络自适应控制运用到再入航天器的制导与控制中。利用两个控制回路来实现控制目标。其中 ,外回路适用于力的扰动 ,而内回路适用于力矩的扰动。限制外回路以阻止对内回路动态特性的调整。在达到控制极限时 ,伪控制限制也可进行自适应调整。另外 ,本文还通过加入加速度计反馈元件以提高系统的性能     

超宽带渐变缝隙天线

设计一种新型超宽带平面渐变缝隙天线,采用微带线到缝隙线过渡的馈电方式制作在微波介质基片上。文中从频域和时域两方面对天线的超宽带性能进行了分析。仿真和实验结果显示,该天线具有超宽带、定向方向图和时域性能好等优点,适合超宽带无线通信使用。     

基于力控制的机器人装配作业实验研究

本文给出了工业机器人完成装配作业的一种实现方案──主动柔顺手腕。从技术的角度解决了主动柔顺手腕在装配过程中的搜孔策略、控制方法、柔顺中心设置、卡阻的避免等问题，最后在Ｍｏｖｅｍａｓｔｅｒ—ＥＸ机器人和ＰＵＭＡ５６２工业机器人上进行了无倒角高精度轴孔配合的实验。