Techniques for estimating test length under random test

When a circuit is tested using random or pseudorandom patterns, it is essential to determine the amount of time (test length) required to test it adequately. We present a methodology for predicting different statistics of random pattern test length. While earlier methods allowed estimation only of upper bounds of test length and only for exhaustive fault coverage, the technique presented here is capable of providing estimates of all statistics of interest (including expected value and variance) for all coverage specifications.Our methodology is based on sampling models developed for fault coverage estimation [1]. Test length is viewed as awaiting time on fault coverage. Based on this relation we derive the distribution of test length as a function of fault coverage. Methods of approximating expected value and variance of test length are presented. Accuracy of these approximations can be controlled by the user. A practical technique for predicting expected test length is developed. This technique is based on clustering faults into equal detectability subsets. A simple and effective algorithm for fault clustering is also presented. The sampling model is applied to each cluster independently and the results are then aggregated to yield test lengths for the whole circuit. Results of experiments with several circuits (both ISCAS '85 benchmarks and other practical circuits) are also provided.This work was done while the author was with the Department of Electrical Engineering, Southern Illinois University, Carbondale, IL 62901.     

RECURSIVE BAIRE CLASSIFICATION AND SPEEDABLE FUNCTIONS

Using recursive variants of Baire notions of nowhere dense and meagre sets we study the topological size of speedable and infinitely often speedable functions in a machine-independent framework. We show that the set of speedable functions is not “small” whereas the set of infinitely often speedable functions is “large”. In this way we offer partial answers to a question in [4].     

Evaluation of the drag force by integrating the energy dissipation rate in stokes flow for 2D domains using the FEM

The total drag force on the surface of a body, which is the sum of the form drag and the skin friction drag in a 2D domain, is numerically evaluated by integrating the energy dissipation rate in the whole domain for an incompressible Stokes fluid. The finite element method is used to calculate both the energy dissipation rate in the whole domain as well as the drag on the boundary of the body. The evaluation of the drag and the energy dissipation rate are post-processing operations which are carried out after the velocity field and the pressure field for the flow over a particular profile have been obtained. The results obtained for the flow over three different but constant area profiles—a circle, an ellipse and a cross-section of a prolate spheroid—with uniform inlet velocity are presented and it is shown that the total drag force times the velocity is equal to the total energy dissipation rate in the entire finite flow domain. Hence, by calculating the energy dissipation rate in the domain with unit velocity specified at the far-field boundary enclosing the domain, the drag force on the boundary of the body can be obtained.     

Numerical simulation on an interaction of a vortex street with an elliptical leading edge using an unstructured grid

An algorithm for a time accurate incompressible Navier–Stokes solver on an unstructured grid is presented. The algorithm uses a second order, three‐point, backward difference formula for the physical time marching. For each time step, a divergence free flow field is obtained based on an artificial compressibility method. An implicit method with a local time step is used to accelerate the convergence for the pseudotime iteration. To validate the code, an unsteady laminar flow over a circular cylinder at a Reynolds number of 200 is calculated. The results are compared with available experimental and numerical data and good agreements are achieved. Using the developed unsteady code, an interaction of a Karman vortex street with an elliptical leading edge is simulated. The incident Karman vortex street is generated by a circular cylinder located upstream. A clustering to the path of the vortices is achieved easily due to flexibility of an unstructured grid. Details of the interaction mechanism are analysed by investigating evolutions of vortices. Characteristics of the interactions are compared for large‐ and small‐scale vortex streets. Different patterns of the interaction are observed for those two vortex streets and the observation is in agreement with experiment. Copyright © 2004 John Wiley & Sons, Ltd.     

Space–time integrated least squares: a time‐marching approach

A time‐marching formulation is derived from the space–time integrated least squares (STILS) method for solving a pure hyperbolic convection equation and is numerically compared to various known methods. Copyright © 2004 John Wiley & Sons, Ltd.     

等厚双层涂层材料受集中力作用的平面问题理论解

界面应力的正确评价是分析薄膜涂层材料力学特性的难题之一。利用镜像点法和Dirichlet等值性原理，本文推导了等厚双层薄膜涂层材料受表面集中力作用的平面问题理论解。该显式理论解是以固定在各镜像点上的局部坐标系下的Goursat应力函数的形式给出的。对应于高阶镜像点的应力函数，可通过递推的方法，从对应于低阶镜像点的应力函数求得，而且也易于计算机编程。随着镜像点阶数的增大，它与界面的距离也越来越大，因而相对应的应力函数对界面应力的影响越来越小。最后的算例表明，只需考虑前面有限个镜像点，便可获得足够精度的解。该理论解可作为格林函数，以求解复杂问题的理论解，也可用作边界元法的基本解，提高数值计算的精度和效率。     

液晶分子附着能和盒间隙对响应时间的影响

通过理论分析和实验研究液晶分子附着能和液晶盒间隙对响应时间(τ0)的影响。用液晶盒有效间隙法和表面动力学方程法两种方法推出分析公式,由这两种方法推出的结果是一致的。实验数据与简化方程τ0-dx基本拟合(其中d是液晶盒的间隙,x是指数)。在两种极端的(极大或极小)附着能极限下,指数x分别接近2和1。这个结论有助于优化液晶显示器件的应用。     

A fourth‐order compact finite difference scheme for the steady stream function–vorticity formulation of the Navier–Stokes/Boussinesq equations

A fourth‐order compact finite difference scheme on the nine‐point 2D stencil is formulated for solving the steady‐state Navier–Stokes/Boussinesq equations for two‐dimensional, incompressible fluid flow and heat transfer using the stream function–vorticity formulation. The main feature of the new fourth‐order compact scheme is that it allows point‐successive overrelaxation (SOR) or point‐successive underrelaxation iteration for all Rayleigh numbers Ra of physical interest and all Prandtl numbers Pr attempted. Numerical solutions are obtained for the model problem of natural convection in a square cavity with benchmark solutions and compared with some of the accurate results available in the literature. Copyright © 2003 John Wiley & Sons, Ltd.     

Failure of the Quasiparticle Picture of X-ray Absorption?

The Golden rule expression for x-ray absorption spectra (XAS) is typically calculated within a one-particle (quasiparticle) approximation and generally leads to good agreement between theory and experiment. The fact that a quasiparticle approximation works fairly well is surprising, since it neglects satellite excitations and intrinsic losses due to a suddenly created core-hole. The resolution of this paradox requires physics beyond the independent particle approximation. This is discussed here using an effective Green's function formulation based on a quasi-boson model that takes interference between inelastic losses into account. This approach shows that inelastic excitations such as multi-electron excitations tend to be suppressed, and that the XAS is given by a broadened quasiparticle particle approximation, together with weak satellite structure and edge singularity effects.     

AGS能量下π~－π~－的Bose—Einstein关联

全同粒子间的玻色－爱因斯坦关联可以用来研究相对论性核碰撞中次级粒子源分布及有关的物理问题．本文用强子级联模型（ＨＣＭ）模拟２８Ｓｉ（１４．６ＡＧＣＶ／ｃ）＋Ａｕ反应，得到π－粒子的ｆｒｅｅｚｅ－ｏｕｔ状态，进而计算了π－π－关联函数，取得与实验一致的结果．还计算了ｆｒｅｅｚｅ—ｏｕｔπ－源的均方根线度，并讨论了它与拟合方法抽取的源参数间的关系．