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.     

爆破飞石的外弹道研究

本文利用现代外弹道数学理论，考虑了飞石的反弹作用和空气阻力作用，建立了飞石飞掷的数学物理模型，由此推导出爆破飞石飞掷距离计算公式。     

核素^147Pm在细胞内滞留的电镜放射自显影研究

木文用电镜放射自显影术研究了重核裂片~(147)Pm在体内亚细胞水平滞留动态。发现~(147)Pm的内污染沉积早期在血细胞和血管内皮细胞中,尤以在红细胞的沉积为多。~(147)Pm呈选择性滞留于肝细胞亚微结构中,可较多的掺入枯否细胞、肝细胞核和核仁内,在胞质中的糙面内质网、线粒体、微体和糖元中亦有滞留,且主要沉积于糙面内质网和线粒体,在高尔基复合体与糙面内质网所芽生的转移小泡融合处,亦有~(147)Pm滞留的放射自显影象。而在肾小体足细胞的线粒体和溶酶体中,有浓集的放射自显影径迹呈现。在肾近端小管曲部上皮细胞核中和胞质的线粒体和微体中,亦有较多的~(147)Pm滞留。 随着观察时间的延续,~(147)Pm在骨有机质亚微结构中呈现选择性、持续性的沉积增多。可浓集于破骨细胞和成骨细胞核中。此外在骨组织细胞间质中的胶原纤维部位,亦有较多的~(147)Pm沉积,难以排除。     

V型尾门在河工模型试验中的应用

尾门是河工模型中常见的装置,也是水位控制的关键设备之一.该文作者根据多年的经验,研制了一种新式尾门--V型尾门.该尾门具有调节精度高、稳定性好、操作方便等优点.并在多个模型中应用,取得了良好的控制效果.文章介绍了V型尾门的制作要点,并结合试验数据论述具体应用效果.     

Development,construction, and use of pneumometric tubes for measurement of steam flow in the steam lines of PVG-1000 at NPP

A system for the direct measurement of steam flow in steam lines after a steam generator, which utilizes a special design of pneumometric tubes and a computing unit that accounts for variation in steam pressure, has been developed to improve the quality of water-level regulation in the steam generators of VVéR-1000 power-generating units in the stationary and transitional modes. The advantage of the pneumometric tubes consists in their structural simplicity, high erosion resistance, and absence of irrevocable losses during measurement of steam flow. A similar measurement system is used at foreign NPP. The measurement system in question has been placed in experimental service at the No. 3 unit of the Balakovo NPP, and has demonstrated its worthiness. This measurement system can also be used to determine steam flow in the steam lines of NPP units with VVéR-1000 and VVéR-440 reactors, and PBMK-1000 power-generating units. __________ Translated from élektricheskie Stantsii, No. 3, March 2007, pp. 23–26.     

Measurement System of Uniformity between Breech Horizontal Platform and Datum Tube Axis of Rocket Artillery

The purpose of this development is to detect the parallelism between the breech horizontal platform and the datum tube axis of the rocket artillery. The located aiming mechanism at the muzzle and located adjustment mechanism at the breech are designed in the system. Besides those, the system also uses an autocollimator with accuracy of 1″ and a collimating mirror together to determine the axis of the datum tube. An electronic level with accuracy of 2″ is employed to measure and display the value of the included angle and the parameter of the inclined direction. The entire accuracy of this system is σ≤± 9.1″. This paper describes the composition and the operating principle of the system and analyzes the accuracy. The development of this system supplies reliable measurement method for new rocket artilleries and artilleries, and this technology is of a good application prospect.     

油罐液位温度自动检测系统及其程序设计

本文介绍了燃油火力发电厂油罐液位及温度数据的计算机数据自动采集及处理系统的结构和基于WINDOWS的可视化程序设计方法，该系统结构简单，成本低，采用RS－485数据接口可视现2千米内的数据通讯，是中小企业实现自动化管理的最佳解决方案。     

河南油田提高难采储量动用程度的做法

河南油田主力开发区已进入高含水开发后期,后备资源接替严重不足成为制约油田发展的瓶颈。“九五”期间,河南油田加大了难采储量评价和动用的工作力度,按照“整体研究、系统解剖、优选目标、重点突破、滚动发展”的工作思路,对目标区进行综合地质研究,同时运用简易开发、大斜度定向井、稠油冷采等多种开采方式动用难采储量,使资源利用程度逐年提高。“九五”期间共系统开发难采储量437×104t,增加可采储量63.3×104t,建成原油生产能力6.6×104t。文中以张店、新庄油田为重点,探讨了提高难采储量动用程度的途径。     

Performance Evaluation of Packet Mobile Communications through Level Crossing Analysis

In this paper the performance of a packet mobile radio network is studied inthe presence of shadow fading outage intervals.Under quite general assumptions for the medium access protocol,the probability mass function of the sequence of packets that may be lostdue to an outage interval is derived. It is seen that long sequences of lostpackets are likely to occur for typical values of the mobile speed andshadowing correlation parameters.For delay constrained sources, e.g., voice, the analysis is mainly focused atderiving the probability function of the sequence of dropped packetsand the probability of dropping. For data sources, the delay statistic isalso derived. In the latter case, the effect of finite buffer length isaddressed. Simulation is used to verify the accuracy of approximations introduced in the analysis.     

码头建筑物对水位影响的模型试验及计算方法

河岸码头建筑物势必导致其上游水位壅高及对码头附近水流流态产生影响。以汉江沙洋河段为对象 ,通过定床概化物理模型试验研究了码头建筑物对河道水位与流速场的影响。并基于能量平衡原理 ,采用河道恒定非均匀流水面曲线基本方程 ,结合物理模型试验资料 ,计算了码头建筑物附近的水位变化值 ,并提出了码头建筑物产生的水位壅高值的计算方法。