Optimal transfer trees and distinguishing trees for testing observable nondeterministic finite-state machines

The fault-state detection approach for blackbox testing consists of two phases. The first is to bring the system under test (SUT) from its initial state to a targeted state t and the second is to check various specified properties of the SUT at t. This paper investigates the first phase for testing systems specified as observable nondeterministic finite-state machines with probabilistic and weighted transitions. This phase involves two steps. The first step transfers the SUT to some state t' and the second step identifies whether t' is indeed the targeted state t or not. State transfer is achieved by moving the SUT along one of the paths of a transfer tree (TT) and state identification is realized by using diagnosis trees (DT). A theoretical foundation for the existence and characterization of TT and DT with minimum weighted height or minimum average weight is presented. Algorithms for their computation are proposed.     

裂缝性油气藏采收率：100个裂缝性油气田实例的经验总结

通过对世界上100个裂缝性油气藏的综合评价，研究储集层及流体本身的性质(包括孔隙度、渗透率、黏度、可动油比例、含水饱和度、润湿性及裂缝分布特征等)和驱动机制及油藏管理战略(优化日产量和采用不同类型的提高采收率技术)对其最终采收率的影响。将裂缝性油气藏分为4类：I类的基质几乎没有孔隙度和渗透率，裂缝是储存空间和流体流动的通道；Ⅱ类的基质有较低的孔隙度和渗透率，基质提供储存空间，裂缝提供流动通道；Ⅲ类(微孔隙)的基质具有高孔隙度和低渗透率，基质提供储存空间，裂缝提供流动通道；Ⅳ类(大孔隙)的基质具有高的孔隙度和渗透率，基质提供储存空间和流动通道，裂缝仅增加渗透率。对26个Ⅱ类油气藏和20个Ⅲ类油气藏的开采历史的研究表明：Ⅱ类油气藏的采收率受水驱强度和最优日产量控制，日产量过高会很容易破坏Ⅱ类油气藏，一些Ⅱ类油气藏如果管理得当，采收率可以很高，不需要二次或三次采油；Ⅲ类油气藏的采收率主要受岩石和流体本身性质的影响，特别是基质渗透率、流体重度、润湿性以及裂缝强度等，不进行二次或三次采油不可能完全开采，往往需要采用一些提高采收率的专门技术。以往将Ⅱ类和Ⅲ类裂缝性油气藏归为一类，认识它们的区别将有助于选择更好的开发策略。     

Object data MODEL = object-oriented + semantic models

The term ‘object-oriented database’ has been used to refer to different characteristics and mechanisms supported by semantic databases and (behaviorally) object-oriented ones. While this indicates the current confusion due to the lack of a common model, it also suggests the potential desirability of combining these two kinds of modeling facilities into the same nutshell. This paper summarizes from these two paradigms the features common to both, the features influenced/adopted by each other, and the features which are presented in one paradigm but missing from the other. After a brief analysis and discussion of these features, we conclude this paper by proposing our major theme: a complete object data model should take the union of the facilities offered by these two kinds of models.     

β″－Al_2O_3陶瓷的强化和韧化

研究了稳定ＺｒＯ＿２和部份稳定ＺｒＯ＿２对β″－Ａｌ＿２Ｏ＿３陶瓷的强化和韧化作用，观察了不同种类、不同含量的ＺｒＯ＿２对β″－Ａｌ＿２Ｏ＿３陶瓷的显微结构、力学性能和电导率的影响，探讨了β″－Ａｌ＿２Ｏ＿３的韧化机理。     

电子表格EXCEL5.0在选煤线性规划问题中的应用

采用电子表格软件ＥＸＣＥＬ５．０可以方便地解决许多选煤生产中的线性规划问题。本文通过选煤过程线性规划实例介绍ＥＸＣＥＬ５．０在此领域的应用方法。     

粉尘薄膜爆轰

与普通爆轰不同，粉尘薄膜爆轰波前氧化剂与燃料处于分离状态．由于激波作用下壁面燃料的注入才于壁面附近形成燃烧的粉尘云，燃烧释放的热使激波自持形成粉尘薄膜爆轰。本文在长2、8m，横截面20mm×20mm的方型水平激波管中对此类爆轰进行了实验研究．并根据作者建立的模型对其二维结构进行了数值模拟。     

Oxygen absorption kinetics in YBa2Cu3Ox

The oxygen absorption process in highly aligned YBa₂Cu₃O_x samples in air and in pure oxygen was studied at several constant temperatures. The process can be expressed in two steps, a chemical reaction controlled step and a diffusion controlled step. The kinetic equations are as follows respectively:

(1 − a_t) ln(1 − a_t) + a_t = k_Dt

The activation energy was calculated using an Arrhenius equation. The technical conditions of heat treatment for oxygen absorption of highly aligned YBa₂Cu₃O_x crystals are discussed.     

单轴-平面W型复合锶铁氧体的制备及其吸波特性研究

用草酸盐共沉淀和微量掺杂法研制六角晶系W型Ni,Zn,Co,Al多元复合锶铁氧体，通过调节Ni2W同Co2W的摩尔比例，可使该种铁氧体易磁化方向从C单轴型向垂于C轴的平面型转化，控制置换锶铁氧体中部分Fe3 的微量掺杂Al3 ，可以调整4πMs值，提高磁晶各向异性场，测试分析了5种不同含Co量的W型复合锶铁氧体粉料涂层的吸波特性，发现其自然共振吸收峰随Co含量增加向低频方向偏移，最高吸收峰可达32．8dB，是适用于电子隐形技术的高品位的微波吸收剂。     

强度调制／直接检测（IM／DD）光纤通信系统色散限制的研究

通过引入归一化脉宽Ｐ和相对脉冲展宽因子ｑ，提出了一个适用于ＩＭ／ＤＤ系统中各种眼图恶化量ｘ和归一化脉宽Ｐ的色散限制改进公式。通过与其它理论的比较、计算机仿真和对实验数据的分析，验证了该公式的正确性，并给出了其它结果的限制条件。研究表明：当眼图恶化量ｘ为１ｄＢ左右时，对２．５Ｇｂ／；外调制信号（α＝０）而言，非色散位移光纤ＩＭ／ＤＤ系统的色散因子γ约等于０．７９，所对应的系统再生中继距离约为９００余公里。     

一种新型的节能空调装置--介绍复合末端机组(FC+UWSHP)与空气热源热泵冷/热水机组(ASHP)合并运行的系统

本文所介绍的新型空调系统是一种想法很巧妙的节能空调系统。它由单元式水热源热泵机组(ＵｎｉｔａｒｙＷａｔｅｒＳｏｕｒｃｅＨｅａｔＰｕｍｐ)与风机盘管二者组合而成的末端装置和空气热源热泵冷 /热水机组、蓄热槽等构成。本系统由高砂热学公司开发 ,已完成这方面的实验验证 ,并在东京电力公司的暖通空调技术展示中心展出。经过进一步的技术完善以后 ,可以成为一种有竞争力的空调系统。1　单元式水热源热泵机组 (ＵＷＳＨＰ)的原理单元式水热源热泵是一种房间空调器。可做成窗台下立式和吊顶式 (图 1 )等。它是一种整体型机组 ,制冷机在…