4169合金焊接热影响区液化裂纹研究

对K4169合金焊接热影响区的液化裂纹形成原因及其对焊缝性能的影响作了初步的研究。结果表明，K4169合金焊接热影响区的液化裂纹是由低熔点的Laves相熔化造成的；对粗晶的K4169合金来说，不能以有无液化裂纹来评价焊接接头性能好坏，而应确定一液化裂纹长度的临界值，低于此值时液化裂纹对焊缝的静载力学性能影响不大；时效处理使K4169合金的热裂敏感性增加。     

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

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

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

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

锌渣的固化处理及浸出毒性试验研究

采用药剂稳定化、水泥固化以及二者结合等方法对锌渣进行了处理研究。结果表明重金属螯合剂的药剂稳定化和水泥固化相结合的方法处理锌渣,其重金属含量可以低于固体废物毒性浸出标准的限值,能有效控制对周围环境的污染。所以,采用药剂稳定化和水泥固化结合的方法处理锌渣是完全可行的。     

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

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

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

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