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.     

混凝土输送泵液压系统特点分析和性能改进探讨

ＢＳＡ１４０６Ｅ大象泵和ＨＢＴ６０楚天泵均属于电动活塞式大排量、中远程距离的混凝土输送泵，在国内得到广泛地应用。本在分析液压系统原理和功能的基础上，结合使用中出现的问题，从改善性能更加实用和走向国际市场的角度出发，探讨了两种系统的优点和缺陷以及改进方案。     

建立统计宏模型的新方法

本文介绍一个新的建立统计宏模型的系统，它采用新的方法，得到简化的二次多项式，这种形式便于优化处理，适用于容差设计。     

Assessment of the types of public building maintenance contracts in Saudi Arabia

The study revealed that Fixed Price, Cost Plus and Purchased Labour contracts are the top three maintenance contracts adopted whilst Unit Price, Cost Plus A Percentage Fee contracts are alternatives used in the Kingdom. Some other types of maintenance contract were thought to be inappropriate by ministry departments.     

油田开发经济运行质量研究与应用

提出了油田开发经济运行质量的研究方法和技术思路。对胜利油区几种典型的油藏类型进行了经济运行质量评价。以老河口油田桩106块为例，提出了提高油田经济运行质量的三条基本途径，取得了较好的实际应用效果。     

深井重泥浆弱凝胶工艺技术初探

重泥浆强凝胶体系对钴井会产生不利影响。笔者结合川东地区的实际情况,分析了重泥浆强凝胶形成的原因和重泥浆弱凝胶的形成机制,提出了形成重泥浆弱凝胶体系的核心和设计原则,总结出了一套以正确使用泥浆添加剂并配合强有力的固控措施为主的成套深井重泥浆弱凝胶工艺技术,介绍了这套技术在川东地区的应用情况。实践证明,少用甚至不用泥浆降粘剂就可获得并维持尽可能低的静切力,使τ_s,10s为0.5—6Pα、τ_s,10min为2—12.5Pα。     

建筑容积率对地价影响规律及修正方法研究

在分析建筑容积率对土地价格影响的作用机制和规律的基础上，针对目前土地估价工作中，容积率修正系数确定存在的问题，提出新的容积率修正思路和方法。     

可生物降解的钻井液降滤失剂SPS的合成与性能研究

以淀粉为主要原料合成了一种可生物降解的钻井液滤失剂ＳＰＳ，考察了ＳＰＳ的生物降解性及其在淡水泥浆，盐水泥浆和海水泥浆中的性能。结果表明，ＳＰＳ具有良好的降滤失与抗温、抗污染性能，在海水中可被生物降解。     

湘潭新大粉末冶金设备制造有限公司的一体化真空烧结炉

简要介绍了湘潭新大粉末冶金设备制造有限公司研制的一体化真空烧结炉的炉子结构、脱蜡系统、工艺气体的引入系统、设备的控制系统以及炉子性能的鉴定结果。     

Psychometric considerations in the dimensional analysis of subjective picture quality

A discussion of the factors involved in the subjective perception of television picture quality is presented. Much of the work in this field is cited, and it is concluded that future work needs to consider a broader range of variables than has been looked at so far.