Peirce algebras

We present a two-sorted algebra, called aPeirce algebra, of relations and sets interacting with each other. In a Peirce algebra, sets can combine with each other as in a Boolean algebra, relations can combine with each other as in a relation algebra, and in addition we have both a set-forming operator on relations (the Peirce product of Boolean modules) and a relation-forming operator on sets (a cylindrification operation). Two applications of Peirce algebras are given. The first points out that Peirce algebras provide a natural algebraic framework for modelling certain programming constructs. The second shows that the so-calledterminological logics arising in knowledge representation have evolved a semantics best described as a calculus of relations interacting with sets.     

复杂开采条件矿体三强回采作业技术应用

本文针对金翅岭金矿矿体开采条件极其复杂的情况，在采矿方法试验中，率先在岩金矿山采用了三强作业技术，既保证了安全回采，又取是了较好的技术经济指标。     

闸门自动启闭控制系统在冯家山水库的建设与运用

经过两年多的努力,冯家山水库闸门自动启闭控制系统于2006年3月建成.初步投入运用后,该系统在精确度、安全性、可靠性等方面均取得了较好的效果,值得类似水库自动化建设时参考.     

Design,Implementation, and Validation of KOMPSAT‐2 Software Simulator

In this paper, we present design features, implementation, and validation of a satellite simulator subsystem for the Korea Multi‐Purpose Satellite‐2 (KOMPSAT‐2). The satellite simulator subsystem is implemented on a personal computer to minimize costs and trouble on embedding onboard flight software into the simulator. An object‐oriented design methodology is employed to maximize software reusability. Also, instead of a high‐cost commercial database, XML is used for the manipulation of spacecraft characteristics data, telecommand, telemetry, and simulation data. The KOMPSAT‐2 satellite simulator subsystem is validated by various simulations for autonomous onboard launch and early orbit phase operations, anomaly operation, and science fine mode operation. It is also officially verified by successfully passing various tests such as the satellite simulator subsystem test, mission control element system integration test, interface test, site installation test, and acceptance test.     

连续式超临界流体萃取进卸料装置

概括了超临界流体萃取技术和包括连续式操作在内的超临界流体萃取装置的研究现状 ,提出了一种通过球形进、卸料器完成固相物料超临界流体萃取连续化进卸料的装置 ,介绍了该装置的结构和工作原理 ,给出装置中各主要部件的计算方法。     

钢管内外表面喷砂除锈半自动生产线设计

介绍了钢管内外表面喷砂除锈生产线的主要设备、工艺流程及主要参数,电气系统总体方案设计和程序设计。用可编程序控制器控制钢管内表面喷砂除锈作业线,提高了自动化程度,操作方便,运行可靠,并给出了自动控制程序顺序功能图。本生产作业线实现了钢管内外表面的半自动喷砂处理,提高了产品质量,改善了工作环境。     

储罐负压排泥技术

油田每年都有大量的储罐需要进行清罐排泥作业,通过对几种常用排泥方法的比较,认为负压排泥装置具有安装简单,操作方便,排泥效率高,排泥费用低等特点,文章详细介绍了储罐负压排泥装置的结构、原理以及安装与操作方法,并提出负压排泥装置使用的注意事项。     

对主要钢铁企业集团规模经营和全球化经营情况的分析

概述了在全球范围内广泛，激烈的市场竞争中，世界主要钢铁企业抓住机遇进行战略性兼并的情况；分析指出了规模经营和全球化经营是是钢铁企业做大做强，占领国际市场份额的必然趋势。     

建立水利工程管理运行新机制的思考

水利工程管理体制改革，是党中央、国务院根据我国经济和社会可持续发展需要，针对我国水利工作存在的突出问题做出的一项重大决策，通过改革，初步建立了职能清晰、权责明确、管理科学、经营规范、管养分离的新的水利工程管理体制。从根本上改变了过去长期形成的水利工程管理体制不顺、机制不活、经费不足、工程失修、安全不保的局面。     

修井作业中的自动起下管柱系统探讨

目前在油田修井作业中起下管柱的人工作业量大、工作效率低、危险性大、工作条件差。提出了一种自动起下管柱作业系统,主要包括通井机、井架、液压钳、筒式吊卡、卡瓦支座、立式排管架和控制系统等,支座卡瓦为弹性体微条嵌入式结构,筒式吊卡能自动卡入和松开管柱接箍,排管架可实现管柱的立式排放,控制系统协调各部分的工作。该系统构思新颖,结构简单,技术可行,并能够与现有修井设备配合使用,实现油田修井作业的自动化。