Intranet 的建立及影响

结合山西焦化公司内部网建设实践，分析了建设企业内部网的技术选择，阐述了以太网技术在大中型化工企业网络建设中的具体应用。指出建立信息网络将缩小企业与国外企业之间的营销能力差异，增强我国企业的竞争力。     

芳烃抽提装置技术改造

由于中国石化锦西石化分公司600kt／a连续重整装置的建设，芳烃抽提装置的原料由原来的脱戊烷油变为Ce组分。为此，对抽余油水洗塔和芳烃分离部分的苯塔塔盘，以及苯塔塔顶和塔底抽出部分进行了改造，更换部分机泵和增加变频泵，并将常规仪表改为DCS控制。改造后装置实现一次开车成功，生产出合格产品。抽余油中总芳烃含量小于0．1％，苯回收率达到99%以上。     

数学专业方向设置的问题初探——基于广东工业大学数学专业优化与调整的七年实践

通过在广东工业大学数学专业7年的专业调整实践，探索了广东工业大学应用数学学院以信息科学、统计科学为数学专业方向的社会时代背景，说明了各个专业方向培养的侧重点和就业前景，阐明了传统学科专业与新增专业方向的联系与区别。     

金的分离富集

综述了金的分离和富集方法，主要包括各种吸附和萃取方法。采用活性炭和泡沫塑料(简称泡塑)吸附分离金是传统的分离富集法，有负载活性炭和有负载泡塑可以提高富集金的能力。近些年，离子交换树脂和离子交换纤维素在分离富集金的应用中，占有相当大的比例。萃取法除了使用传统的MIBK作为萃取剂，又见报道硫醚、亚砜、醇类等作为萃取剂的各种萃取体系。中引用参考献107篇。     

矿石中金的快速测定

研究了活性炭纤维滤布富集分离的条件和解脱方法,并利用微波溶样、液珠萃取比色法测定矿石中的金。该方法的测定范围为(0.5~xx)×10-6,相对标准偏差RSD为3.2%,可用于矿石中金的野外快速测定。     

自发参量下转换制备双光子纠缠态在量子信息学中的应用

叙述了自发参量下转换制备双光子纠缠态技术的发展历程、技术原理以及在量子信息学中的应用，并介绍了国内这一领域的进展。     

指纹细节特征提取与剪枝

指纹图像经预处理后，由于各种原因，会产生数以百计的特征。为了图像匹配的精确和快速，提出一套在细化后的指纹点线图上提取细节特征并对其剪枝的方法，并根据细节特征的拓扑特性，设计了验证其可靠性的算法。通过实验，证明了该后处理过程在去除指纹图像伪特征方法面具有良好的效果。     

A Refinement Calculus for Shared-Variable Parallel and Distributed Programming

Parallel computers have not yet had the expected impact on mainstream computing. Parallelism adds a level of complexity to the programming task that makes it very error-prone. Moreover, a large variety of very different parallel architectures exists. Porting an implementation from one machine to another may require substantial changes. This paper addresses some of these problems by developing a formal basis for the design of parallel programs in the form of a refinement calculus. The calculus allows the stepwise formal derivation of an abstract, low-level implementation from a trusted, high-level specification. The calculus thus helps structuring and documenting the development process. Portability is increased, because the introduction of a machine-dependent feature can be located in the refinement tree. Development efforts above this point in the tree are independent of that feature and are thus reusable. Moreover, the discovery of new, possibly more efficient solutions is facilitated. Last but not least, programs are correct by construction, which obviates the need for difficult debugging. Our programming/specification notation supports fair parallelism, shared-variable and message-passing concurrency, local variables and channels. The calculus rests on a compositional trace semantics that treats shared-variable and message-passing concurrency uniformly. The refinement relation combines a context-sensitive notion of trace inclusion and assumption-commitment reasoning to achieve compositionality. The calculus straddles both concurrency paradigms, that is, a shared-variable program can be refined into a distributed, message-passing program and vice versa. Received July 2001 / Accepted in revised form May 2002     

空间工程辅助设计GIS系统的研究与实践

探讨GIS技术在空间工程辅助设计(例如电力、电信管线工程)方面的应用.在系统分析空间工程设计的 逻辑过程和工程辅助设计系统的发展与需求的基础上,对GIS技术在空间工程辅助设计中应用的优势及工程辅助 设计GIS系统的结构、功能和特点以及系统基本设计思路进行了探讨，指出GIS技术的引入一方面提高了空间工 程辅助设计的效率和水平，同时使空间工程辅助设计成为同时具有规划和设计功能的系统。