长庆油田Z油区长3储层非均质性的研究

长庆油田Z油区的储层类型主要为陆相碎屑岩储层,其特点是地质情况较为复杂,储层非均质性严重制约着油田的开发效果。本文以长3为例,通过对长庆油田Z区域的数据及资料分析来研究长3储层岩性特征、孔隙结构、渗透率特征,并分析储层非均质性对注水开发的影响。研究发现,Z油区长3属于低孔低渗储层,其渗透率的变异系数(Vk)0.754、突进系数(Tk)3.298、级差(Jk)53、均质系数(Kp)0.302,储层非均质性强,从而导致该区开发效果较差。研究分析表明,该区呈现的强非均质性,主要是受了沉积环境和成岩作用的影响。     

一种瞬时测频改进算法

在保持实时测量的基础上对传统的短时傅里叶变换（STFT）测频算法加以改进,采用了基 于多相结构的短时测频算法和CZT算法,大大缩短了瞬时测频的运算时间,提高了测频精度 ,减少了运算资源,更加利于工程实现。     

Influence of temperature on threshold stress for reorientation of hydrides and residual stress variation across thickness of Zr-2.5Nb alloy pressure tube

Threshold stress, σ_th, for reorientation of hydrides in cold worked and stress-relieved (CWSR) Zr-2.5Nb pressure tube material was determined in the temperature range of 523-673 K. Using tapered gage tensile specimen, mean value of σ_th was experimentally determined by two methods, half thickness method and area compensation method. The difference between local values of σ_th measured across the thickness of the tube and the mean σ_th values yielded the residual stress variation across the tube thickness. It was observed that both the mean threshold stress and residual stress decrease with increase in reorientation temperature. Also, the maximum value of residual stresses was observed near the midsection of the tube.     

A singleton failures semantics for Communicating Sequential Processes

This paper defines a new denotational semantics for the language of Communicating Sequential Processes (CSP). The semantics lies between the existing traces and failures models of CSP, providing a treatment of non-determinism in terms of singleton failures. Although the semantics does not represent a congruence upon the full language, it is adequate for sequential tests of non-deterministic processes. This semantics corresponds exactly to a commonly used notion of data refinement in Z and Object-Z: an abstract data type is refined when the corresponding process is refined in terms of singleton failures. The semantics is used to explore the relationship between data refinement and process refinement, and to derive a rule for data refinement that is both sound and complete. Received October 2001 Revised September 2002, February 2003, June 2004 and October 2005 Accepted November 2005 by I. J. Hayes     

线性调频Z变换在钢琴基音检测中的应用

首先分析了钢琴的基音检测要求和线必调频Z变换的性质，并将其用以基音检测中去，使检测的准确度，可靠性，抗干扰性，实时必，稳定性均达到了工厂的要求，大大降低了工人的劳动强度，提高了工厂的生产效率，使产品的质量更加稳定、可靠。     

一种基于WWW上的Z39.50服务器的设计与实现

通过对Z3 9.5 0协议及其流程的讨论 ,采用分布式C/S和B/S结构 ,按照Z3 9.5 0协议规范设计一种WWW技术的Z3 9.5 0服务器 ,对中小型图书馆信息管理系统的开发有参考价值。     

真实感图形渲染算法的研究与实现

真实感图形是一种计算机图形生成技术,其关键技术主要包括光照模型、渲染算法、纹理映射、材质设置、颜色量化等方面。本文主要就我们开发的交互式真实感图形渲染系统中采用的各种渲染算法(深度缓冲算法、光线跟踪和辐射度算法)作详细介绍。     

A Refinement Strategy for Circus

We present a refinement strategy for Circus, which is the combination of Z, CSP, and the refinement calculus in the setting of Hoare and Hes unifying theories of programming. The strategy unifies the theories of refinement for processes and their constituent actions, and provides a coherent technique for the stepwise refinement of concurrent and distributed programs involving rich data structures. This kind of development is carried out using Circuss refinement calculus, and we describe some of its laws for the simultaneous refinement of state and control behaviour, including the splitting of a process into parallel subcomponents. We illustrate the strategy and the laws using a case study that shows the complete development of a small distributed program.     

vBSP的算法设计与应用

BSP数据结构已经在大规模的游戏引擎产品中取得了突破性的成功,但是在现实应用中还有许多需要实际改进后才能应用。为此,改进BSP开发出一种简单、灵活的解决方案,即虚拟BSP(vBSP)来解决应用实际应用。通过研究并改进原始的BSP树,意在使BSP树简单化、实用化,并可以减少算法的复杂度,降低其它改进算法的负面影响。基于"空间换时间"的思想,通过开辟引用存储空间而不是直接分割BSP树的方法,最终达到提高算法的实用性。     

Multiresolution morphing for planar curves

We present a multiresolution morphing algorithm using ``as-rigid-as-possible' shape interpolation combined with an angle-length based multiresolution decomposition of simple 2D piecewise curves. This novel multiresolution representation is defined intrinsically and has the advantage that the details' orientation follows any deformation naturally. The multiresolution morphing algorithm consists of transforming separately the coarse and detail coefficients of the multiresolution decomposition. Thus all LoD (level of detail) applications like LoD display, compression, LoD editing etc. can be applied directly to all morphs without any extra computation. Furthermore, the algorithm can robustly morph between very large size polygons with many local details as illustrated in numerous figures. The intermediate morphs behave natural and least-distorting due to the particular intrinsic multiresolution representation.