裂缝各向异性介质中P-SV转换波正演模拟

裂缝介质正演是研究裂缝性油藏的各向异性、裂缝检测方法、裂缝AVO反演等的前提。在裂缝方位各向异性(EDA)介质模型的基础上，重点研究了纵波震源激发的地震波所产生P-SV波的有限差分正演模拟方法。从各向异性单斜对称系统的刚性矩阵推导出的波动方程，可以满足EDA介质模型不同方位角入射的二维差分模拟要求。在有限差分模拟中，采用了普通的Kelly差分格式、二阶各向异性吸收边界条件和一般的纵波震源的解析形式，并应用修正的通量传输校(FCT)方法来消除频散。同时，对纵波震源的解析式进行了技术处理，取得了较好的效果。     

A stochastic realization algorithm via block LQ decomposition in Hilbert space

A stochastic realization problem of a stationary stochastic process is re-visited, and a new stochastically balanced realization algorithm is derived in a Hilbert space generated by second-order stationary processes. The present algorithm computes a stochastically balanced realization by means of the singular value decomposition of a weighted block Hankel matrix derived by a “block LQ decomposition”. Extension to a stochastic subspace identification method explains how the proposed abstract algorithm is implemented in system identification.     

Analysis of the Datagram Congestion Control Protocol’s connection management procedures using the sweep-line method

State space explosion is a key problem in the analysis of finite state systems. The sweep-line method is a state exploration method which uses a notion of progress to allow states to be deleted from memory when they are no longer required. This reduces the peak number of states that need to be stored, while still exploring the full state space. The technique shows promise but has never achieved reductions greater than about a factor of 10 in the number of states stored in memory for industrially relevant examples. This paper discusses sweep-line analysis of the connection management procedures of a new Internet standard, the Datagram Congestion Control Protocol (DCCP). As the intuitive approaches to sweep-line analysis are not effective, we introduce new variables to track progress. This creates further state explosion. However, when used with the sweep-line, the peak number of states is reduced by over two orders of magnitude compared with the original. Importantly, this allows DCCP to be analysed for larger parameter values. Somsak Vanit-Anunchai was partially supported by an Australian Research Council Discovery Grant (DP0559927) and Suranaree University of Technology. Guy Edward Gallasch was supported by an Australian Research Council Discovery Grant (DP0559927).     

盐井水平对接钻井技术

钻一口通过主采盐层的水平井与已完成的直井对接，形成连通井(形如“U”字)，一口井注水溶解盐／芒硝矿，另一口井采出卤水，这是盐化工业对钻井提出的要求。针对水平对接盐井井身轨迹设计、着陆段、水平段的轨迹控制和连通技术，介绍了水平段侧钻时的钻井液技术。     

高可靠性烧结金属丝网防爆元件的应用研究

烧结金属多孔元件作为隔爆元件的应用，很好地满足了火焰过滤元件的性能要求，进一步拓宽了烧结金属多孔元件的应用领域，章在论述其性能特点、结构类型的同时，对其在微孔结构设计上的差异也进行了描述。     

Adaptive Edge Detectors for Piecewise Smooth Data Based on the minmod Limiter

We are concerned with the detection of edges—the location and amplitudes of jump discontinuities of piecewise smooth data realized in terms of its discrete grid values. We discuss the interplay between two approaches. One approach, realized in the physical space, is based on local differences and is typically limited to low-order of accuracy. An alternative approach developed in our previous work [Gelb and Tadmor, Appl. Comp. Harmonic Anal., 7, 101–135 (1999)] and realized in the dual Fourier space, is based on concentration factors; with a proper choice of concentration factors one can achieve higher-orders—in fact in [Gelb and Tadmor, SIAM J. Numer. Anal., 38, 1389–1408 (2001)] we constructed exponentially accurate edge detectors. Since the stencil of these highly-accurate detectors is global, an outside threshold parameter is required to avoid oscillations in the immediate neighborhood of discontinuities. In this paper we introduce an adaptive edge detection procedure based on a cross-breading between the local and global detectors. This is achieved by using the minmod limiter to suppress spurious oscillations near discontinuities while retaining high-order accuracy away from the jumps. The resulting method provides a family of robust, parameter-free edge-detectors for piecewise smooth data. We conclude with a series of one- and two-dimensional simulations.To David Gottlieb, on his 60th birthday, with friendship and appreciation.     

正则化长波方程的三次样条差分模拟

本文对正则化长波方程(RLW方程)的时间、空间项分别采用三次样条公式进行离散,所得到的差分方程为三点、三层隐格式,对时间的精度为四阶,对空间的精度为二阶,每个时间步只需求解一个三对角方程组,而三次样条配置法在每个时间步中需要求解三个三对角方程组。本文对单个孤立波的演化进行了计算,参数与文[8]相同,其结果与解析解的最大绝对误差均保持在10~(-3)的量级以内,与文[8]给出的数值方法精度相当。对两、三个孤立波的相互碰撞,本文结果显示出在忽略10~(-3)量级的误差后,碰撞前后的孤立波形状保持不变,无论是一个孤立波的演化,还是两、三个孤立波相互碰撞,当将波形放大100倍后均可以发现有振荡的尾波,这说明这类振荡尾波的产生并非真实的物理现象,而是由数值误差产生的。本文认为仅从工程应用的意义上说,RLW方程具有孤立子性质的结论是可以接受的。     

A CONSTITUTIVE MODEL FOR ELASTIC-PLASTIC DEFORMATION UNDER CYCLIC MULTIAXIAL STRAINING

Abstract— The yield criterion is interpreted as defining the metric of the stress space. Hydrostatic stresses correspond to null geodesies. The plastic strain increment represents a normal projection of the increment undergone by a certain scalar function (hardening function) which depends only on the distance between stress points. This establishes a flow rule formally equivalent to the Prandtl-Reuss equations. Consideration of un-loading processes leads to the analysis of equivalent paths and to the definition of a generalized length or separation which provides a new representation of kinematic hardening.     

热分层流动计算中若干差分格式的比较

本文应用常规的守恒方程及湍流模型，对二维池内热分层流动建立了数学模型，并在Ｐａｔａｎｋａｒ的压力校正法基础上对该数学模型进行了数值计算，计算中的差分格式为乘方格式、一阶迎风、二阶迎风和ＱＵＩＣＫ。通过与实验的比较分析，建议计算应采用ＱＵＩＣＫ格式，并在进行风格独立性试验的基础上使用加密网络。