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

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

SQL Server对XML文档的数据抽取方法的分析与实现

XML正在逐步成为新一代Web数据描述和数据交换标准,将XML文档中的数据抽取到关系数据库中进行管理,可以极大的提高数据的使用效率。本文针对SQL Server对XML文档的数据抽取方法的原理进行了分析,并提出了具体的实现方法。     

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

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

一种有效的锯齿波调频信号识别方法

分析了锯齿波调频信号相位差分序列的特征,在此基础上给出了锯齿波调频信号的识别和参数估计方法,并采用多重相位差分改善了算法对低信噪比环境的适应能力.仿真给出了不同信噪比下对锯齿波调频的识别率.     

大尺寸工件测量中的温度误差修正

着重讨论了大尺寸工件测量中影响温度误差修正精度的主要因素,修正精度主要受模型误差、温度误差、线膨胀系数误差和温度梯度影响,其中,线膨胀系数误差对精度影响最大。引入微分膨胀系数,提出了更精确的温度误差修正模型,利用此模型对自研的形心轴线、型面点坐标测量系统的纵轴测量数据进行了温度误差修正,有效地提高了测量精度,降低了温度误差修正后的不确定度,确保了大尺寸高精度测量的实现。     

冲压发动机点火前内流场数值仿真研究

冲压发动机在点火前由于燃烧室的压力较低,内通道流场状态与发动机正常工作时的差别很大。因此,在发动机设计时,必须要考虑形成正常点火条件对发动机结构的约束。本文利用有限体积法对N-S方程进行空间离散,对发动机点火前的不同内通道结构下的冷流场进行了数值模拟,结果表明稳定器和喷油装置对形成合理的点火条件很重要,稳定器的布局对点火状态有很大影响。     

一种大容量100MHz数据采集记录系统的设计实现

本文提出一种实用的高速数据采集记录系统的设计方案,介绍该系统中各主要模块的功能与设计思路,讨论高速数据存储模块的设计,控制调度流程与高速数字电路设计相关处理方法。针对高速与大容量的数据采集特点,提出用存储速率受限的FLASH芯片来实现高速、大容量数据采集记录的设计方法。     

民航通信网络管理模式之探讨

管理模式概念最早运用在西方企业管理中，取得较大的成效。本文对民航现行的通信网络管理方式和方法进行了分析，根据民航通信网络的组成和结构，结合通信科技的发展，提出经验管理和方法管理应向模式管理发展，并研究和探讨了适应民航发展的通信网络管理模式。管理模式包含四种机制，即运行机制、培训机制、检查机制和激励机制。     

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

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

轴对称横向喷流强干扰流场的巨型机向量并行计算

本文在国产巨型计算机ＹＨ－１和ＹＨ－２上对ＭａｃＣｏｒｍａｃｋ显格式解轴对称横向喷流强干扰流场的计算程序进行了重构和向量优化使其能并行执行。得到该程序在ＹＨ－１上的向量加速比约为６．０，ＹＨ－２单机向量运行速度约为ＹＨ－１上的向量运行速度的３倍。与传统的串行计算相比较，并行计算大大缩短了程序运行的ＣＰＵ时间。