摘要：介绍了一种新型的纸机网部高压水冲洗装置──ＧＸ聚酯网高压冲洗装置的研制，重点介绍了该装置的核心部分：高压水站和往复喷洗管的结构、工作原理、设计参数和特点。ＧＸ聚酯网高压冲洗装置具有高效、节电、节水等优点。

摘要：为研究回采条件下沿空留软岩巷围岩变形与破坏,采用理论分析方法总结了沿空留巷围岩应力场分布规律及围岩大变形的破坏机理,通过室内试验方法获得工作面不同围岩的物理力学性质,根据围岩的受力特征及岩性的力学特性,设计了矩形巷道断面的支护结构设计。采用有限差分方法建立回采条件下软岩巷道的数值模型,并数值模拟开采影响下不同支护条件的软岩巷道变形和破坏规律,通过建立锚杆和锚索的数值单元来模拟不同支护方案下围岩的变形和破坏规律,最终得出了一些有意义的结论。

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

摘要：本文介绍四种面向对象形式规格语言。Object-Z是Z语言的一种扩充,可用于面向对象软件需求规格的形式说明。为研究软件维护和逆向工程,提出了Z^(++),是Z的另一种扩充,其中引入了过程式描述机制。COLD-K是基于代数规格说明技术的面向对象软件设计语言,是一种核心语言,可设计面向用户的形式规格语言,JOOSL是基于COLD-K和Z语言的一种面向对象设计语言,可用于软件自动化的研究。

摘要：本文讨论可重用构件应该具备的特性，并介绍一种可重用构件描述语言Ｒｅｃｏｓ．Ｒｅｃｏｓ支持面向对象设计，而且提供功能抽象和类属机制．

摘要：本文介绍了面向对象经系统ＪＤＡＵＴＯ／０的设计与实现，ＪＯＯＳＬ是一种面向对象软件形式规约语言，基于它，实现了概要设计到详细的自动工具ＰＤＡＵＴＯ和详细设计到Ｃ＋＋代码的自动转换工具ＤＤＡＵＴＯ．

摘要：构造性类型理论可作为程序开发的理论基础，其中类型作为程序规约，证明过程作为程序开发过程，从证明抽取满足程序规约的程序．本文提出了一种构造性类型理论ＴＴＯＯＰ，引入了类规约类型和类类型的概念．类是类规约类型的元素，它又是一种类型，类的元素为对象．通过证明类规约可构造类，由此构造面向对象软件．

摘要：本文提出一种面向对象软件的形式描述语言ＪＯＯＳＬ，用它可描述面向对象软件需求规格、概要设计和详细设计．从描述方法角度看，需求规格和概要设计的描述在很大程度上相同，这就反映了ＯＯ开发模型中需求和设计之间的重叠．在这些描述中用抽象方法描述数据和操作；详细设计中确定算法细节和数据的表示．ＪＯＯＳＬ认为对象是一种抽象的状态机，继承是行为特性的共享．

摘要：本文讨论了面向对象的软件设计方法,并分析了几种典型的面向对象的程序设计语言。面向对象的软件设计方法能使问题空间中的问题自然对应到解空间中的软件,由此能够提高软件的生产率和易维护性。面向对象的程序设计语言是面向对象软件的描述工具,它们通常具有如下特点:(1)信息隐蔽;(2)数据抽象;(3)动态结合;(4)继承。

摘要：本文介绍一种强类型面向对象程序设计语言——Toop. 该语言是一种类型化语言,可用于开发可靠性较高的程序,并具有与弱类型的面向对象程序设计语言相当的灵活性。