A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol

We present a formal model of asynchronous communication between two digital hardware devices. The model takes the form of a function in the Boyer-Moore logic. The function transforms the signal stream generated by one processor into that consumed by an independently clocked processor, given the phases and rates of the two clocks and the communications delay. The model can be used quantitatively to derive concrete performance bounds on communications at ISO protocol level 1 (physical level). We use the model to show that an 18-bit/cell biphase mark protocol reliably sends messages of arbitrary length between two processors provided the ratio of the clock rates is within 5% of unity.     

ATM交换机的硬件体系结构探讨

本文首先对ＡＴＭ的背景作了一个简单的介绍，接着阐述了ＡＴＭ和ＡＴＭ交换机的主要原理和技术，然后从硬件系结构的角度具体地分析了一种实验ＡＴＭ交换机是怎样ＡＴＭ技术的详细方法。     

MICROSTRUCTURE AND FATIGUE PROPERTIES OF A WELDED DUPLEX STAINLESS STEEL

Abstract— In response to the increasing structural applications in duplex steels for welded structures, fatigue behaviour of a SAF 2304 grade duplex stainless steel was investigated, considering both the base metal and GTAW welded joints. Fatigue curves and fatigue limits under rotary bending fatigue were obtained. The study focused attention on the microstructural features of fatigue crack propagation of the two series of experiments, thereby permitting an evaluation of the tortuous crack path of welded joints and the mechanisms related to threshold microstructural barriers.     

岩心PI值试验研究及应用

主要论述了在多功能采油化学用剂评价仪上进行的岩心ＰＩ值试验的步骤，现象及结论。重点考察了岩心ＰＩ值与渗透率、流量及注入截面面积的关系；平行管岩心复合ＰＩ值和其中单管岩心ＰＩ值的关系。     

对溢洪闸门自动监控系统中几个问题的探讨

结合某水电站介绍了溢洪闸门自动监控系统的结构、功能，讨论了该研制过程中的几个问题的解决办法．     

生物降解型聚碳酸顺丁烯二酸亚乙酯 1、合成和表征

用CO_2、环氧乙烷、顺丁烯二酸酐进行三元共聚首次得到聚碳酸顺丁烯二酸亚乙酯(PECM),并用IR、~1H NMR、DSC等进行了表征,共聚物链中CO_2和MA单元随机分布,不饱和单元可在0～0.5mol分数之间调节。共聚过程不发生双键交联和构型转化。环氧乙烷的转化率可高达到93％。控制PECM链上的双键含量并使之发生自由基加成反应,得到对热较稳定的可溶性产物。     

含淀粉聚乙烯膜的时控光降解研究

使用复合光降解剂，得到了可光降解的生物降解膜。对膜的光降解进行了考察，并对影响光降解的因素进行了讨论，结果表明，我们所制得的膜是一种较好的时控光降解膜。     

二(二甲苯基)丙烷合成工艺的研究

二氯丙烷(DCP)与二甲苯在混合金属氯化物催化剂(HD90)作用下合成二(二甲苯基)丙烷,生产过程简单,产品收率高。在60—80℃的温度下,二甲苯与二氯丙烷摩尔比为6∶1,HD用量50克/摩尔DCP的条件下反应5—6小时,二(二甲苯基)丙烷的收率可达88％以上。     

膨润土凝胶调剖剂XJF的研制及应用

介绍了调剖剂XJF的配方,讨论了影响调剖剂性能的配方因素(膨润土含量、HPAM溶液浓度、XJ用量及添加剂Fc的浓度),考察了封堵能力和应用范围,简介了在火烧山油田现场试验的结果。     

Controlled oxygen incorporation in indium gallium arsenide and indium phosphide grown by metalorganic vapor phase epitaxy

The defect engineering in metalorganic vapor phase epitaxy In_xGa_1-xAs and InP by controlled oxygen doping using diethyl aluminum ethoxide (DEALO) was developed in this study. DEALO doping has led to the incorporation of Al and O, and the compensation of shallow Si donors in In_xGa_1−xAs: Si with 0 ≤ x ≤ 0.25. With the same DEALO mole fraction during growth, the incorporation of Al and O was found to be independent of x, but the compensation of Si donors decreases with increasing In content. Deep level transient spectroscopy analysis on a series of In_xGa_1-xAs: Si. samples with 0 ≤ x ≤ 0.18 revealed that oxygen incorporation led to a set of deep levels, similar to those found in DEALO doped GaAs. As the In composition was increased, one or more of these deep levels became resonant with the conduction band and led to a high electron concentration in oxygen doped In_0.53Ga_0.47As. Low temperature photoluminescence emission measurements at 12K on the same set of samples revealed the quenching of the near-band edge peak, and the appearance of new oxygen-induced emission features. DEALO doping in InP has also led to the incorporation of Al and O, and the compensation of Si donors due to oxygen-induced multiple deep levels.