对我国石油可采资源量的预测研究

回顾了世界上现行的可采资源量预测方法,总结分析了在我国石油勘探开发过程中大型油气田的发现规律及储采比变化规律,探讨了累积发现可采储量、累积产量与可采资源量三者之间的内在关系及储采比的变化对它们的影响.在此基础上,利用累积发现的可采储量与累积产量建立了预测可采资源量的有效方法———全程历史拟合法和储采比递减阶段曲线拟合法.利用上述两种方法预测出中国石油的经济可采资源量为107.8×10⁸t,次经济的可采储量约为(27～36)×10⁸t,还对部分油区的可采资源量进行了预测.预测结果表明,两种方法对比使用,能获得较好的预测效果.     

武钢6#高炉煤气洗涤水处理新思路

武钢6#高炉煤气洗涤水在已有的经验基础上,引进了项目总承包方式的运作。总结了药剂选择、使用量的确定、工业性试验的效果、半年多来的实际运行成果,为外协技术项目今后采用总承包方式的运作提供了初步的经验。     

试论点检定修制在水电厂的应用

依据点检定修制的原理和程序,讨论了其在水电厂应用的基本要点和管理要求,论述了在水电厂实施点检定修制的主要职能部门:设备管理部门、点检部门、检修部门、设备使用部门的基本职能,探索了点检定修制在水电厂应用的程序,初步建立了水电厂点检定修制的管理模武。     

气体滑脱因子快速实验测定的理论及方法

为了研究气体在多孔介质中渗流时的滑脱行为机理及其渗流规律，需要快速实验测定气体滑脱因子和低渗、特低渗岩心的绝对渗透率，常规方法须经多次测量方可获得一个滑脱因子和绝对渗透率值。为此，依据达西定理和波-马定律研究了一个压力容器内的理想气体经岩心自由渗流的过程，导出了描述岩心气测渗透率与容器内两不同时刻气体压力及其时间隔的关系式，从而提出了一种新的测试岩心气测渗透率的方法。由此可在气体经岩心自由渗流、容器内压力下降的过程中，用计算机计录下多个压力、时间点，并利用这些数据计算出多个气测渗透率值，再由克氏方程经最小二乘法拟合得出绝对渗透率和滑脱因子。该测试方法可在一次压力下降过程中完成对绝对渗透率和滑脱因子的测量，而且测量速度较快。     

Adherence clustering: an efficient method for mining market-basket clusters

We explore in this paper the efficient clustering of market-basket data. Different from those of the traditional data, the features of market-basket data are known to be of high dimensionality and sparsity. Without explicitly considering the presence of the taxonomy, most prior efforts on clustering market-basket data can be viewed as dealing with items in the leaf level of the taxonomy tree. Clustering transactions across different levels of the taxonomy is of great importance for marketing strategies as well as for the result representation of the clustering techniques for market-basket data. In view of the features of market-basket data, we devise in this paper a novel measurement, called the category-based adherence, and utilize this measurement to perform the clustering. With this category-based adherence measurement, we develop an efficient clustering algorithm, called algorithm k-todes, for market-basket data with the objective to minimize the category-based adherence. The distance of an item to a given cluster is defined as the number of links between this item and its nearest tode. The category-based adherence of a transaction to a cluster is then defined as the average distance of the items in this transaction to that cluster. A validation model based on information gain is also devised to assess the quality of clustering for market-basket data. As validated by both real and synthetic datasets, it is shown by our experimental results, with the taxonomy information, algorithm k-todes devised in this paper significantly outperforms the prior works in both the execution efficiency and the clustering quality as measured by information gain, indicating the usefulness of category-based adherence in market-basket data clustering.     

A D&T roundtable: challenges for low-power and high-performancechips

Microprocessor and other lC performance continues to improve at historic rates, with no visible end in sight for the next 10 years. However, we are starting to encounter a power wall. This is true for high-performance components as well as for low-power chips with a very limited energy budget offered by batteries. We need to find ways to manage power and energy consumption on all fronts-technology, design, and architecture-without compromising performance. Otherwise, we may face discontinuation of Moore's law for the semiconductor industry in the near future. This would be triggered not by any difficulty in the scaling of process technology but by formidable barriers posed by packaging and cooling, inefficacy of power delivery, and energy constraints dictated by battery technology, which is advancing at a very lukewarm pace     

Stability analysis for discrete linear systems with state saturation by a saturation-dependent Lyapunov functional

This paper concerns the stability analysis problem of discrete linear systems with state saturation using a saturation-dependent Lyapunov functional.We introduce a free matrix characterized by the sum of the absolute value of each elements for each row less than 1,which makes the state with saturation constraint reside in a convex polyhedron.A saturation-dependent Lyapunov functional is then designed to obtain a sufficient condition for such systems to be globally asymptotically stable.Based on this stability criterion,the state feedback control law synthesis problem is also studied.The obtained results are formulated in terms of bilinear matrix inequalities that can be solved by the presented iterative linear matrix inequality algorithm.Two numerical examples are used to demonstrate the effectiveness of the proposed method.     

基于MP-BGP扩展的4over6隧道技术的实现

随着IPv4地址资源的日益枯竭,互联网从IPv4向IPv6过渡势在必行。为了进一步推动该校IPv4向IPv6的平稳过渡,文章经过技术论证后,采用MP-BGP扩展的4over6隧道技术,构建了一个IPv4over IPv6实验网络平台,使运行IPv4单协议栈的网络能够跨越IPv6骨干网络实现互联互通。     

两栖装甲装备故障诊断智能检测系统设计

针对目前两栖装甲装备故障检测时间长、检测效率低的缺点,研究设计了一种两栖装甲装备故障诊断智能检测系统。系统充分利用现代最新发展的大规模集成电路技术和数字处理技术,对多发、易发故障部位的故障信号进行采样、检测及处理,从而快速确定故障部位,便于及时排除故障。     

从萨沃伊别墅探究勒·柯布西耶的机器美学

文章论述了萨沃伊别墅的机器美学思想,主要结合了勒·柯布西耶在1926年提出的"建筑新五点"来探讨他所主张的机器美学在萨沃伊别墅上是如何得以实现。