摘要：面向对象的并发系统与传统的并发系统的不同之片在于其进程结构的动态性，系统中地进程以及进程之间的通信链路随着对象的变化而动态地建议或撤消。文法模型比其他形式化化工具更适合描述这种并发和动态的特性。这里我们介绍一个新的用于描述向对象并发系统的图文法模型，在该模型中为系统的设计开发者提供了一个用来描述诉静态和动态结构的语言工具－ＣＤＳＬ语言。

摘要：本文回顾了分布式数据库管理系统 C-POREL 的十年研制过程,介绍了 C-POREL 的设计思想及其演变。通过 C-POREL 与国际著名先驱系统的比较,指出了 C-POREL 的特色,分析和探讨了 C-POREL 的实现策略,并讨论了它的测试支撑环境的设计、实现以及一般并发系统问题。

摘要：针对普通抽油泵在稠油井中使用时存在抽油杆柱下行困难的问题,提出一种套装式抽稠油泵。这种抽油泵主要由出油阀、进油阀、大泵筒、小柱塞和柱塞泵筒等组成,具有进排油腔和呼吸腔两个腔室,在抽油机下冲程中抽油杆柱下端产生一个方向向下的液压反馈力,帮助抽油杆柱下行,克服了抽油杆柱下行困难的问题,有效提高抽油泵的有效冲程,延长抽油杆柱寿命。该泵还具有自动卸油、一次管柱注采、正反向洗井和冲砂等多种配套功能,方便于稠油井作业,减轻工人劳动强度。

摘要：一、引言演绎数据库是 AI、逻辑程序设计和 DB 技术相结合的一种具有演绎推理能力的数据库系统,在过去十几年里,经历了迅速全面的发展。由于它具有集人工智能、逻辑程序设计和数据库技术的实用性研究结果于一身的特点,已成为数据库技术中最受重视的前沿研究领域之一。演绎数据库的实现是近年来人们普遍重视的研究课题。Prolog 语言在演绎数据库的实现中占有重要地位。Prolog 把数据库与程序设计语言在形式上达到了完全和自然的统一,既可作为实现演绎数据库的基本工具,又能直接用于与 DBMS

摘要：为了解决红阳三矿选煤厂浮选系统处理能力不足的问题,根据浮选柱的工作原理,设计出一种多功能矿化器,并将其作为浮选机的上游设备,用于预先处理部分矿浆,以减轻浮选机的生产压力;同时,根据现场生产需要,对浮选系统进行技术改造。生产实践表明:多功能矿化器投入运行后,实现了浮选系统的高效运行。

摘要：针对常规无油管采油技术存在的一系列问题，提出了液力反馈无油管采油技术。该技术将液力反馈原理应用到设计中，增加了杆柱下行动力，有效地解决了杆柱下行困难问题。该技术主要由井12分流技术和井下采油技术2部分组成，运用井口分流技术可直接对常规井口进行无油管采油。井下采油技术主要由空心抽油杆、空心杆扶正器、悬挂器、无油管抽油泵、防转器组成，其中无油管抽油泵和悬挂器是该技术的关键部件。现场应用表明，该技术在偏磨油井中使用，平均可延长生产周期3-6个月，平均提高泵效5％-8％，防偏磨效果明显。

摘要：在出砂油井上，常规抽油泵经常出现砂卡柱塞、砂埋抽油杆、砂磨泵筒和柱塞等现象，使抽油泵过早失效。针对这些问题，设计了长柱塞短泵筒与环空沉砂相结合的长柱塞式防砂泵。将该泵与常规抽油泵的工作原理进行对照，说明了其结构特点和工作原理。通过对几口典型井例的分析，指出了该泵的适用范围及注意事项。该泵已成功应用２５０多井次，延长出砂油井免修期二倍，降低了生产成本，为提高经济效益提供了一种有效的生产工具。