微机监控技术 一

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

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.     

Stabilization of uncertain boundary control systems

We consider a class of linear infinite-dimensional systems subject to boundary uncertainties, which are linear and time-invariant. Using a deterministic approach to the design of stabilizing feedback controls, uniform exponential stability of the zero state is achieved. Lyapunov techniques are combined with Datko or Ichikawa theory. Three illustrative examples are presented.     

低频电脉冲采油工程设备的开发与应用

低频电脉冲采油技术是通过升压、整流、充电等电路将电能蓄积在电容器中,通过触发电路,使能量瞬时释放,在井内液体中产生震动波,作用于地层,改善地层的渗流状况,达到提高采收率的目的。Ⅰ型设备在双河油田应用11井次,成功率72%;Ⅱ型设备在古城油田应用10井次,成功率90%。主要是由于Ⅰ型设备关键部件在处理油井时要放在井下,受高温、高压的影响及井下空间的限制,设备稳定性差、寿命短、能量小、效果差;Ⅱ型设备解决了上述问题,从而提高了试验成功率。     

电动潜油泵多功能自动控制测试系统

为了提高电潜泵产品质量 ,延长电潜泵井的检泵周期 ,研制了电动潜油泵多功能自动控制测试系统。该系统由自动控制、参数测试、管线流程及电气控制 4部分组成 ,既能对电潜泵机组进行全面检测 ,又能对测试数据进行管理和跟踪 ,具有测试参数齐全、速度快、精度高、操作容易、安全性强、智能化程度高、测量范围广、容量大等特点 ,并在计算机自动调节井口压力、测试电动机转矩以及测控回路与计算机分离等方面具有创新。该系统能够模拟现场工况完成各种型号的电潜泵的测试 ,为电潜泵的理论设计及现场应用提供可靠的试验数据。