一种平面干涉系统的误差分离技术

给出一个干涉系统等效平面和被测平面形貌的数学模型，用于分离仪器的系统误差，以提高面形和长度测量的精度。     

运用进化算法优化中等PRF雷达的脉冲重复频率

本文运用进化算法选择最佳脉冲重复频率（PRF）组，在中PRF雷达的模型中使距离-多普勒盲区最小。介绍了8个和9个PRF的两个方案，该算法能确保得到的所有结果是完全可解码的并且没有盲速。我们考虑了旁瓣杂波的详细影响以及在以中等PRF模式运行的实际机载火控雷达中影响雷达PRF选择的多个技术因素。     

提高单通道单脉冲体制跟踪性能的途径

详细论述了单通道单脉冲作制债源特有的和差通道相位匹配的方法，从理论上分析了单脉冲天线误差信号与收发天线的极化状态的关系，推导出单脉冲天线极化误差的通用公式，指出了减少极化误差的方法，并简述了其它提高单通道单脉冲体制跟踪性能的途径。     

瞬态信号长线传输补偿方法

介绍高频补偿网络的补偿原理、极零对特性及补偿网络的电气参数计算和结构设计方法。由于设计方法简单,并对电缆传输引起瞬态信号畸变有很好的补偿效果,故已成为瞬态信号长距离测量系统中不可少的组成部分。即使在很短的距离内,这种网络对解决瞬态信号的畸变问题也非常有效。     

线性有源网络拓扑分析的k-连接组法

本文提出了Coates图k-连接组的概念,建立了求解线性有源网络不定导纳矩阵一般k阶余因式的k-连接组拓扑公式,得到了线性有源网络拓扑分析的一种新方法——k-连接组法。与正(负)根有向树法相比,这种方法需找的子图和结果中的冗余项都比较少。     

磁粉探伤机周向电流单片微机控制器的研制

本文介绍一种新型磁粉探伤机周向电流的单片计算机控制器，文中详细介绍控制器的控制原理，结构，控制程序。该控制器对周向电流采用闭环控制，直接设定磁化电流，可保证电流稳定，电流设定值和实际电流值相差小于１０％，控制器还具有了出错检测，自动退磁功能。     

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

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