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.     

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

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

超低膨胀陶瓷K_（2x）Ba_（1－x）Zr_4（PO_4）_6系统的X射线衍射

用高温Ｘ射线衍射方法对磷酸锆钡钾系统陶瓷材料的各向异性热膨胀作了研究．对七个组份试样的７７套高温Ｘ射线衍射图作了仔细的指标化和精密点阵常数测定．点阵常数随温度作非线性变化·对Ｋ_２ｘＢａ_１－ｘＺｒ_４（ＰＯ_４）_６的不同组份不同温度（３００～１３００Ｋ）的热膨胀系数。α_ａ、α_ｃ、　作了测定·该系统零膨胀陶瓷的组份为Ｋ_１．１６Ｂａ_０．４２Ｚｒ_４（ＰＯ_４）_６（ｘ＝０．５８）     

COIL中BHP浓度对发生O_2(~1△)的影响

本文实验研究了BHP的浓度对产生O2（1△）的影响。实验结果表明：当BHP浓度大于3.5M时，Cl2利用率以及O2（1△）的产率将不依赖于BHP浓度的变化而变化，同时，实验结果表明，使用低浓度的BHP对COIL的操作是可行的。     

Chemical States of Lanthanum in Carbonized La2O3-Mo Thermionic Cathode Materials

The chemical reaction between lanthanum oxide and molybdenum carbide was studied by thermodynamic calcu-lation, thermal analysis and in-situ X-ray Photoelectron Spectroscopy. The theoretical results show that at the environment allowing for the evaporation of lanthanum, such as in high vacuum, La2O3 in the La2O3-Mo materials can be reduced to metallic lanthanum by molybdenum carbide (Mo2C). To confirm the conclusion, many analysis methods such as XRD, SPS, and TG-DTA were taken. The experimental results show that the chemical state of lanthanum changes during heat-ing. It was proved, for the first time, that reacted metallic lanthanum appears at the surface of this kind of material at high temperature.     

混合集成型光学拾音器的设计与制作

通过混合集成型结构光学拾音器的光学设计和芯片设计，制作了包含微光学棱镜，光电探测器和信号放大电路的混合集成型光学拾音器。经过测试，发现有较好的信号输出特性，表明混合集成型光学拾音器已基本研制成功。     

任意型一维FIR数字滤波器设计新方法

本文介绍了一种设计任意型（宽带、窄带、低阶、高阶、低通、高通、带通、带阻）一维FIR数字滤波器新方法．给出设计不同类型滤波器的统一方法。各种类型滤波器脉冲响应的设计公式简单、计算方便。该方法消除了Gibbs现象．不仅克服了优化设计中收敛速度、设计精度及初值选取等问题，而且减少设计高阶滤波器的时间。最后，本文给出了各种类型滤波器设计的仿真结果。     

K0.9Li0.1（Ta0.5Nb0.5）O3晶体压电应变系数的测量

用准静态ｄ＿（３３）测量仪和干涉法相结合。测量了Ｋ＿（０．９）Ｌｉ＿（０．１）（Ｔａ＿（０．５）Ｎｂ＿（０．５）Ｎｂ＿（０．５））Ｏ＿３晶体的压电应变系数。结果为：ｄ＿（３３）＝８６．０，ｄ＿（３３）＝一２９．５，ｄ＿（１５）＝１１２．９×１０￣（－１２）Ｃ／Ｎ．