用不稳定试井资料研究油藏储集层流动系统模式：以准东油区为例

从不稳定试井Ｈｏｒｎｅｒ曲线形态分类入手，结合油藏动态特征对油藏储集层流动系统进行分类，并初步确定出各类流动系统的特征参数及其相应的开采特点。根据不稳定试井Ｈｏｒｎｅｒ曲线形态，可以把相应的储集层流动系统划分为三大类（孔隙流动系统、双重介质流动系统、裂缝流动系统）五个亚类。特别提出了双重介质孔缝串并流动系统组合模式。这无论对新区开发方案的编制，还是老区开发政策的制定都具有重要的借鉴参考价值。     

The formalization and analysis of a communications protocol

The MSMIE protocol [SBC89] allows processors in a distributed system to communicate via shared memory. It was designed to meet the reliability and efficiency needs of applications such as nuclear safety systems. We present a formal model of the MSMIE protocol expressed in the notation CCS. Desirable properties of the protocol are expressed in the modal mu-calculus, an expressive modal logic. We show that the protocol lacks an important liveness property. In actual operation, additional operating constraints are checked to avoid potential problems. We present a modified protocol and show that it possesses the liveness property even without checking operating constraints. We also show how parts of the analysis were automated with the Concurrency Workbench.     

控制决策的信息传输

本文讨论了在一条通讯通道上执行基本控制决策的信息传输问题。结果表明当且仅当第一条通道可模拟另一条通道的操作时，则第一条通道在任何情况下比另一条通道都有优势。     

相似理论在真空灭弧室研究和设计中的应用

本文应用相似理论得出,真空灭弧室中电弧运动速度与电流强度成线性关系的相似准则,和极限开断电流与触头直径、开距间的经验公式。认为用小电流模型来研究大电流真空灭弧室是可行的。     

钢管内径光电检测装置

介绍了一种检测细长钢管内径的光电检测装置。该装置利用线阵ＣＣＤ作传感器，采用８０３１单片机作为主控制。     

基于Web的中小型企业销售管理信息系统的设计与应用

针对中小型企业销售管理的现状，利用J2EE架构技术设计了面向中小型企业的销售管理信息系统，该系统具有良好的跨平台性和可移植性，并且经过测试运行，达到了预期的效果。     

中国民航信息系统现状及发展展望

介绍了中国民航信息系统的现状和与实际业务需求的差距,接着从系统设计理念、核心系统、新系统新功能和信息系统整合等多个方面详细阐述了民航信息系统的发展思路,最后强调了建立新一代民航信息系统的紧迫性,具备很强的指导意义。     

齿轮减速器造型设计与模态分析

讨论复杂结构的建模方法,建立齿轮减速器三维实体模型并进一步建立了齿轮减速器的三维有限元模型,分析系统的固有特性,从而获得了设计所需的必要数据。     

电子政务建设若干经验与问题探讨

介绍世界电子政务的发展状况,在总结各国电子政务发展经验和特点的基础上,指出我国要建设优质、高效的电子政务的关键,是要树立转变观念、统一规划、分步实施的建设理念.     

Non-redundant data clustering

Data clustering is a popular approach for automatically finding classes, concepts, or groups of patterns. In practice, this discovery process should avoid redundancies with existing knowledge about class structures or groupings, and reveal novel, previously unknown aspects of the data. In order to deal with this problem, we present an extension of the information bottleneck framework, called coordinated conditional information bottleneck, which takes negative relevance information into account by maximizing a conditional mutual information score subject to constraints. Algorithmically, one can apply an alternating optimization scheme that can be used in conjunction with different types of numeric and non-numeric attributes. We discuss extensions of the technique to the tasks of semi-supervised classification and enumeration of successive non-redundant clusterings. We present experimental results for applications in text mining and computer vision.