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

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

从汉译英的赘冗和疏漏问题看汉英语法特征之差异——汉语语法的柔性之于英语语法的刚性

本文从汉译英的翻译实践出发，从英语译文的错误以及汉英译文对比中，去发现并分析汉语和英语语法特征的差异。论述了英语语法的刚性、显性和汉语语法的柔性、隐性，并从语言对思维的影响的角度，探讨了汉语语言文化的深邃独特和英语语言的缜密精确。     

开放式飞行任务规划方法

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

固体发动机燃烧时间的一种解析算法

给出了以双切线法和二阶导数法相结合来确定发动机燃烧时间的一种解析算法，它适用于一般发动机燃烧时间的处理，通过该解析法与双切线法的比较，证明该方法具有实用价值。     

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

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

空间光学精密展开机构展开方法的初步探讨

文章对空间光学精密展开机构(以下简称展开机构)进行分类,分析了几种典型可展开空间光学系统的展开方法和特点。讨论了展开机构设计需要考虑的主要因素,并给出设计建议。     

Real time localization of gamma ray bursts with INTEGRAL

The INTEGRAL satellite has been successfully launched in October 2002 and has recently started its operational phase. The INTEGRAL burst alert system (IBAS) will distribute in real time the coordinates of the gamma ray bursts (GRBs) detected with INTEGRAL. After a brief introduction on the INTEGRAL instruments, we describe the main IBAS characteristics and report on the initial results. During the initial performance and verification phase of the INTEGRAL mission, which lasted about two months, two GRBs have been localized with accuracy of 2–4 arcmin. These observations have allowed us to validate the IBAS software, which is now expected to provide quick (few seconds delay) and precise (few arcmin) localization for 10–15 GRBs per year.     

带滑移铰空间机械臂惯性空间轨迹的复合自适应跟踪控制

讨论了载体的位置与姿态均不受控制的漂浮基带滑移铰空间机械臂的控制问题。动力学分析表明，结合系统动量及动量矩守恒关系得到的运动Jacobi关系及系统动力学方程将是系统惯性参数的非线性函数，借助于增广变量法，我们得到了与惯性参数呈线性关系的系统广义Jacobi矩阵及系统控制方程，以此为基础，针对系统中存在未知惯性参数的情况，设计了一种末端抓手惯性空间期望轨迹跟踪的复合自适应控制方案，此控制方案的优点在于不需要测量空间机械臂载体的位置及移动的速度，加速度，仿真运算证实了方法的有效性。     

实时曲面纹理及其光照效果的生成

依据两步映射法和体纹理的思想，将曲面纹理的映射过程分为非实时映射和实时查询两个部分，提出一种能实时显示曲面纹理的方法及相应的抗混叠措施，最后，结合一种快速浓淡算法，为曲面纹理叠加光照效果，生成了很逼真的图象。