相关条件下基于N-P准则的分布式检测理论研究

本文针对并行网络、二元局部判决的情况,研究了在相关条件下基于N-P准则的分布式检测融合算法,给出了在联合概率密度已知和未知两种情况下的最优融合规则的理论推导及相应的解决方案,并在实验仿真的基础上,得到了部分有益的结论。     

原油常减压装置节能技术

由于常减压装置消耗能量约占炼油厂总用能的25％～30％，已成为炼油厂中消耗量最大的装置，因此，我国各炼油厂对常减压装置进行以降低能耗为中心的技术改造就显得十分必要。详细介绍了适用于常减压装置节能的新工艺、新设备以及优化操作。工艺方面主要有采用过滤脱盐新技术对原油进行深度脱盐、采用强化蒸馏新工艺提高原油蒸馏拔出率、优化产出、增产柴油；设备方面主要使用规整填料和新型塔板改善分馏塔分馏效率、使用新型燃烧器提高加热炉效率、使用新型换热器提高热回收率、采用变频技术降低装置电耗；优化操作方面主要有利用计算机进行监控与管理和改善操作条件。最后对国内原油常减压装置节能改造提出了一些建议，以供炼油企业在进行原油常减压装置改造时参考。     

CMP系统技术与市场

概述了CMP系统技术的发展历史、发展趋势以及在IC生产中的重要性,介绍了国外CMP设备主要制造厂家的设备型号和性能及CMP设备市场分布和需求,阐述了CMP系统技术的基础研究、关键技术和国内研究概况。     

微机监控技术 一

本文系统地讲述了以微型计算机为中心的微机监控系统的工作原理、系统组成和应用方面的有关技术。分为监控系统的功能和结构、硬件系统和软件系统三个部分。本文为第一部分。     

Error in the UNITY substitution rule for subscripted operators

UNITY, introduced by Chandy and Misra [ChM88], is a programming logic intended to reason about temporal properties of distributed programs. Despite the fact that UNITY does not have the full power of, for example, linear temporal logic, it enjoys popularity due to its simplicity.There was however a serious problem with the Substitution Rule. The logic is incomplete without the rule, and with the rule it is inconsistent.     

A formal description of open distributed processing (ODP) trading based on guidelines for the definition of managed objects (GDMO)

New requirements of growing computer networks and information systems have an influence on extended client/server models with increased functionality. This forms the basis for service management in distributed systems which is realized by a service trading concept. This paper studies the requirements derived from the Open Distributed Processing (ODP) Reference Model in order to consider an open service market. Furthermore, it examines management possibilities for describing the service trading scenario. Because of similar architectures and properties ODP services, service offers, types, exporters and traders are mapped onto management components and modeled as managed objects. Therefore, the Guidelines for the Definition of Managed Objects (GDMO) are used. The final concept allows a precise and unambiguous study of the service trading scenario and provides means for exporting and importing of service offers in a distributed environment.     

石油测井仪器可靠性指标探讨

在分析常用可靠性指标及其应用现状的基础上，根据可靠性理论及石油测井仪器的特点。提出了石油测井仪器的可靠性模型。在探讨常用可靠性指标对石油测井仪器适用性的同时，提出将平衡稳定工作时间NWTURE和免维修测井井次NOLWNM作为石油测井仪器可靠性指标的思想；探讨了获取可靠性指标的途径。给出了推荐使用的石油测井仪器可靠性指标。     

On the Automatic Recovery of Style-Specific Architectural Relations in Software Systems

The cost of maintaining a software system over a long period of time far exceeds its initial development cost. Much of the maintenance cost is attributed to the time required by new developers to understand legacy systems. High-level structural information helps maintainers navigate through the numerous low-level components and relations present in the source code. Modularization tools can be used to produce subsystem decompositions from the source code but do not typically produce high-level architectural relations between the newly found subsystems. Controlling subsystem interactions is one important way in which the overall complexity of software maintenance can be reduced.We have developed a tool, called ARIS (Architecture Relation Inference System), that enables software engineers to define rules and relations for regulating subsystem interactions. These rules and relations are called Interconnection Styles and are definedusing a visual notation. The style definition is used by our tool to infer subsystem-level relations in designs being reverse engineered from source code.In this paper we describe our tool and its underlying techniques and algorithms. Using a case study, we describe how ARIS is used to reverse engineer high-level structural information from a real application.     

Integration framework for intelligent manufacturing processes

In this article, we describe a new approach to applying distributed artificial intelligence techniques to manufacturing processes. The construction of intelligent systems is one of the most important techniques among artificial intelligence research. Our goal is to develop an integrated intelligent system for real time manufacturing processes. An integrated intelligent system is a large knowledge integration environment that consists of several symbolic reasoning systems (expert systems) and numerical computation packages. These software programs are controlled by a meta-system which manages the selection, operation and communication of these programs. A meta-system can be implemented in different language environments and applied to many disciplines. This new architecture can serve as a universal configuration to develop high performance intelligent systems for many complicated industrial applications in real world domains.To whom all correspondence should be addressed.     

智能电动机控制器在电收尘通风机上的应用

对智能电动机控制器的情况作了介绍，结合工作实践提出了维护要点和建议，并对该控制器的参数设置进行了说明，这对使用该设备的工业企业有一定的指导意义。