面向对象类型理论的比较研究

人们已提出各种支持面向对象程序设计的类型理论．但每种类型理论的侧重点不尽相同，它们均能解决面向对象程序设计的某些方面的问题．本文从对象、类、类型和继承角度，着重分析讨论抽象数据类型、记录演算和对象演算，为进一步研究关于面向对象程序设计的类型理论提供基础．

一种面向对象程序自动化方法的研究

构造性类型理论可作为研究程序自动化的理论基础．本文根据一种支持面向对象计算的类型理论，探讨了面向对象程序自动化的途径．面向对象程序的程序单位是类，它是数据和一组相关操作的统一体，程序开发的关键在于开发这些操作。

基于类型理论的继承机制的研究

本文提出了基于构造性类型理论的一种面向对象类型理论中的继承机制，认为类是类规约类型的元素，而且类也是一种类型，继承是类规约和程序开发过程的重用机制．本文提出的理论可用于面向对象程序自动化的研究．

可控硅整流弧焊机电路计算机模拟分析

本文建立了可控硅元件等器件的宏模型,研究了采用Gear算法来解决求解刚性问题,在此基础上对可控硅整流弧焊机的主电路与控制电路进行了闭环计算机模拟分析,为研制可控硅焊机等大功率电子电路探索了高技术开发手段.