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.     

尾矿堆场对地下水及其水质影响的联合模拟研究

矿产资源开发利用后的废弃物堆场常处水文地质条件复杂、区域内外边界不规整的地带。为了客观评价堆场渗漏对地下水及其水质的影响,本文提出了适宜于复杂水文地质条件、复杂内外边界条件的地下水与地下水中污染物分布规律联合模拟分析的非构造网格FVM数值模型,通过在某化工行业尾矿堆场渗漏评价的具体应用,取得了很满意的结果。     

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

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

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

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

经济边际在油气资源勘探开发中的应用方法研究

油气资源勘探开发的经济边际分析是从石油企业的边际利润出发，确定石油企业的最优投入产出水平，为作出科学的投资决策和生产决策提供依据，界定了有关油气资源勘探开发经济边际的概念和内涵，探讨了石油企业边际成本和边际收入的确定方法。     

Effect of Channel Changes in the St. Clair River During the Present Century

Periodic man-made changes in the outlet of Lake Huron through the St. Clair River date back to the middle of the last century. These artificial channel changes have been well documented during the present century. They consist of dredging for commercial gravel removal in the upper river during 1908–25 and uncompensated navigation improvements for the 7.6-m (25-ft) and 8.2-m (27-ft) projects completed in 1933 and 1962, respectively. The total effect of these changes on the levels of Lakes Michigan and Huron (hydraulically one lake) and on the upper St. Clair River profile was determined with dynamic flow models. The ultimate effect of the above dredging was a permanent lowering of the Lake Michigan-Huron levels 0.27 m (0.89 ft), which represents a tremendous loss of freshwater resource [32 km³ (7.7 mi³)].     

测井资料高分辨率层序地层分析

高分辨率层序地层学克服了岩性地层对比穿时的缺点.高分辨率层序地层对比是等时的高精度的地层对比,它满足了勘探开发中地层对比等时性和高分辨率的要求.测井资料的纵向分辨率较高,是高分辨率层序地层研究的重要资料.提出了利用测井相分析技术,从测井资料上识别出单井岩性和沉积微相剖面,结合测井曲线特征,划分单井基准面旋回,并进行连井地层等时对比,这为定量地进行高分辨率层序地层分析提供了一种方法.通过研究区实际资料的处理,验证了该方法的有效性.     

平衡纵剖面数值试验及其对防洪的影响研究

本文采用一维非恒定流非均匀沙的水沙数学模型，以长江中游螺山汉口河段为背景，进行了根化数值模拟试验，分析了该概化河段平衡纵剖面的变化规律及其与上游来水来沙条件的关系，并和相应的理论公式进行了比较。在此基础上，对水沙条件发生较在变化时的平衡纵比降以及带来的对长江中下游防洪的影响进行了分析。     

地下水污染修复的活性渗滤墙技术

活性渗滤墙是一种现场修复受污染地下水的新型技术，具有原理简单，施工方便，运行费用低廉等特点，活性渗滤墙垂直于地下水流动方向设置，当地下水流通过活性渗滤墙时，污染物与墙体材料发生化学反应，从而达到环境修复的目的。文中综述了活性渗滤墙技术的修复机理和实际应用，大量研究表明，应用金属铁作为活性渗滤墙材料，可以去除地下水中的重金属以及有机污染物，目前活性渗滤墙已经在世界各地应用，是一种非常有发展前景的环境污染修复技术。     

高放废液中^147Pm的测定

建立了高放废液中~(147)Pm的测定方法。用HDEHP萃取稀土,再用HDEHP萃淋树脂柱分离AM和稀土。然后用高效液相色谱法将~(147)Pm从Eu、Ce等其它稀土中分离出来,用液体闪烁法测量~(147)Pm的放射性活度。