Semi-analytic slope delay model for CMOS switch-level timing verification

A novel slope delay model for CMOS switch-level timing verification is presented. It differs from conventional methods in being semianalytic in character. The model assumes that all input waveforms are trapezoidal in overall shape, but that they vary in their slope. This simplification is quite reasonable and does not seriously affect precision, but it facilitates rapid solution. The model divides the stages in a switch-level circuit into two types. One corresponds to the logic gates, and the other corresponds to logic gates with pass transistors connected to their outputs. Semianalytic modeling for both cases is discussed.

GROOVE FORMATION AND INTERACTION DURING ABRASION OF COPPER.

A pin on cylinder wear rig has been built with precision stepping motor drives to both rotary and axial motions which enable accurate positional control to be achieved. Initial experiments using sapphire indenters running against copper substrates have investigated the build up of a single wear groove by repeated sliding along the same track. An approximate three dimensional ploughing analysis is also presented and the results of theory and experiment compared.

Some advances in study of crack identification problems

In the present paper, the crack identification problems are investigated. This kind of problems belong to the scope of inverse problems and are usually ill-posed on their solutions. The paper includes two parts: (1) Based on the dynamic BIEM and the optimization method and using the measured dynamic information on outer boundary, the identification of crack in a finite domain is investigated and a method for choosing the high sensitive frequency region is proposed successfully to improve the precision. (2) Based on 3-D static BIEM and hypersingular integral equation theory, the penny crack identification in a finite body is reduced to an optimization problem. The investigation gives us some initial understanding on the 3-D inverse problems.

Designing Of Partial Similarity Models And Evaluation Method In Polymer Flooding Experiment

Based on the scaling criteria of polymer flooding reservoir obtained in our previous work in which the gravity and capillary forces, compressibility, non-Newtonian behavior, absorption, dispersion, and diffusion are considered, eight partial similarity models are designed. A new numerical approach of sensitivity analysis is suggested to quantify the dominance degree of relaxed dimensionless parameters for partial similarity model. The sensitivity factor quantifying the dominance degree of relaxed dimensionless parameter is defined. By solving the dimensionless governing equations including all dimensionless parameters, the sensitivity factor of each relaxed dimensionless parameter is calculated for each partial similarity model; thus, the dominance degree of the relaxed one is quantitatively determined. Based on the sensitivity analysis, the effect coefficient of partial similarity model is defined as the summation of product of sensitivity factor of relaxed dimensionless parameter and its relative relaxation quantity. The effect coefficient is used as a criterion to evaluate each partial similarity model. Then the partial similarity model with the smallest effect coefficient can be singled out to approximate to the prototype. Results show that the precision of partial similarity model is not only determined by the number of satisfied dimensionless parameters but also the relative relaxation quantity of the relaxed ones.

A backward particle interpretation of Feynman-Kac formulae

We design a particle interpretation of Feynman-Kac measures on path spaces based on a backward Markovian representation combined with a traditional mean field particle interpretation of the flow of their final time marginals. In contrast to traditional genealogical tree based models, these new particle algorithms can be used to compute normalized additive functionals "on-the-fly" as well as their limiting occupation measures with a given precision degree that does not depend on the final time horizon. We provide uniform convergence results with respect to the time horizon parameter as well as functional central limit theorems and exponential concentration estimates. Our results have important consequences for online parameter estimation for non-linear non-Gaussian state-space models. We show how the forward filtering backward smoothing estimates of additive functionals can be computed using a forward only recursion.

La credibilidad de la obra de Lucas (Evangelio- Hechos) en el contexto de la historiografía helenística

Resumen: La presente colaboración pretende valorar la ‘historicidad’ de los textos del Nuevo Testamento, de aquellos que tradicionalmente se ha considerado que presentan una ‘envoltura’ ambiental más fidedigna. Tal tarea no puede llevarse a cabo sin un previo discernimiento de las diferencias que sus distintos textos presentan, sin explicar los ambientes distintos en los que cada tradición se forjo, ni la intencionalidad de los distintos géneros a los que se recurrió. La obra de Lucas, constituida por la suma del tercer evangelio sinóptico y de los llamados Hechos de los apóstoles, presenta la percepción más evidentemente diacrónica, desde el nacimiento de Jesús hasta la instalación del cristianismo en Roma, y suma casi un tercio del texto neotestamentario, bastante más si tenemos en cuenta que para su comprensión es necesario el cotejo con los otros evangelios sinópticos y con las cartas paulinas. La perspectiva desde la cual se enfrenta este estudio es la del historiador, no la de la exégesis, la obra de Lucas se analiza como si se tratase de un texto más de la tradición helenística. Un texto que ha de responder, por lo tanto, a unos cánones literarios comprensibles a sus hipotéticos lectores, un texto construido en los años de máximo esplendor del Imperio romano, muy probablemente a finales del siglo I, en un contexto geográfico y cultural de momento impreciso pero que ha de tener en cuenta los problemas palestinos posteriores a la guerra judía de los años 67-70 y el entorno de pugna religiosa y creatividad teológica que, necesariamente, habría de caracterizar a una religión nueva, aún en proceso de formación y que estaba perfilando y perfeccionando sus definitivas señas de identidad. En este sentido se ha de valorar la personalidad del autor y su nivel de compromiso con el grupo religioso del cual pretende presentar una semblanza; por supuesto, es necesario descifrar la intencionalidad del texto, mediatizada por el género y por el público al cual pretende llegar. Debemos insertar la información particular que Lucas-Hechos aporta dentro de un contexto y, cuando sea posible, corroborar su información recurriendo a otras fuentes contemporáneas. A partir de ese proceso podremos concluir si la información aportada es verídica o no, si tal nivel de precisión es imposible podremos al menos pronunciarnos sobre si es creíble o si, por el contrario, es un mero artificio.

Tiempo de lectura y formación de representaciones ortográficas en español

Resumen: El presente trabajo se propuso analizar si el tiempo que los niños tardan en recodificar una palabra incide en la posibilidad de almacenar la forma ortográfica de la misma. Para ello, 40 niños que cursaban tercer grado de la escuela primaria recodificaron fonológicamente pseudopalabras con ortografía compleja. Se midió la precisión y el tiempo de lectura. Tres días después de las sesiones de lectura, los sujetos realizaban una prueba de dictado y de decisión léxica que incluían las pseudopalabras leídas. Los resultados señalaron que las medidas de aprendizaje ortográfico se relacionaron con el tiempo de lectura pero no con la precisión en la recodificación. Este dato parecería sugerir que, en ortografías transparentes como el español, el tiempo en la recodificación impacta más que la precisión en la formación de representaciones ortográficas.

Semi-weight function method on computation of stress intensity factors in dissimilar materials

Semi-weight function method is developed to solve the plane problem of two bonded dissimilar materials containing a crack along the bond. From equilibrium equation, stress and strain relationship, conditions of continuity across interface and free crack surface, the stress and displacement fields were obtained. The eigenvalue of these fields is lambda. Semi-weight functions were obtained as virtual displacement and stress fields with eigenvalue-lambda. Integral expression of fracture parameters, K-I and K-II, were obtained from reciprocal work theorem with semi-weight functions and approximate displacement and stress values on any integral path around crack tip. The calculation results of applications show that the semi-weight function method is a simple, convenient and high precision calculation method.

Shock tube study of JP-10 ignition delay time

JP-10 (exo-tetrahydrodicyclopentadiene, C10H16) ignition delay times were measured in a preheated shock tube. The vapor pressures of the JP-10 were measured directly by using a high-precision vacuum gauge, to remedy the difficulty in determining the gaseous concentrations of heavy hydrocarbon fuel arising from the adsorption on the wall in shock tube experiments. The whole variation of pressure and emission of the OH or CH radicals were observed in the ignition process by a pressure transducer and a photomultiplier with a monochromator. The emission of the OH or CH radicals was used to identify the time to ignition. Experiments were performed over the pressure range of 151-556 kPa, temperature range of 1000-2100 K, fuel concentrations of 0.1%-0.55% mole fraction, and stoichiometric ratios of 0.25, 0.5, 1.0 and 2.0. The experimental results show that for the lower and higher temperature ranges, there are different dependency relationships of the ignition time on the temperature and the concentrations of JP-10 and oxygen.

A Bayesian approach to tracking in single molecule fluorescence microscopy

Using fluorescence microscopy with single molecule sensitivity it is now possible to follow the movement of individual fluorophore tagged molecules such as proteins and lipids in the cell membrane with nanometer precision. These experiments are important as they allow many key biological processes on the cell membrane and in the cell, such as transcription, translation and DNA replication, to be studied at new levels of detail. Computerized microscopes generate sequences of images (in the order of tens to hundreds) of the molecules diffusing and one of the challenges is to track these molecules to obtain reliable statistics such as speed distributions, diffusion patterns, intracellular positioning, etc. The data set is challenging because the molecules are tagged with a single or small number of fluorophores, which makes it difficult to distinguish them from the background, the fluorophore bleaches irreversibly over time, the number of tagged molecules are unknown and there is occasional loss of signal from the tagged molecules. All these factors make accurate tracking over long trajectories difficult. Also the experiments are technically difficulty to conduct and thus there is a pressing need to develop better algorithms to extract the maximum information from the data. For this purpose we propose a Bayesian approach and apply our technique to synthetic and a real experimental data set.

A BIEM optimization method for fracture dynamics inverse problem

In the present paper, based on the theory of dynamic boundary integral equation, an optimization method for crack identification is set up in the Laplace frequency space, where the direct problem is solved by the author's new type boundary integral equations and a method for choosing the high sensitive frequency region is proposed. The results show that the method proposed is successful in using the information of boundary elastic wave and overcoming the ill-posed difficulties on solution, and helpful to improve the identification precision.

Cauchy singular integral equation method for transient antiplane dynamic problems

In this paper, by use of the boundary integral equation method and the techniques of Green basic solution and singularity analysis, the dynamic problem of antiplane is investigated. The problem is reduced to solving a Cauchy singular integral equation in Laplace transform space. This equation is strictly proved to be equivalent to the dual integral equations obtained by Sih [Mechanics of Fracture, Vol. 4. Noordhoff, Leyden (1977)]. On this basis, the dynamic influence between two parallel cracks is also investigated. By use of the high precision numerical method for the singular integral equation and Laplace numerical inversion, the dynamic stress intensity factors of several typical problems are calculated in this paper. The related numerical results are compared to be consistent with those of Sih. It shows that the method of this paper is successful and can be used to solve more complicated problems. Copyright (C) 1996 Elsevier Science Ltd

A perturbational h4 exponential finite-difference scheme for the convective diffusion equation

A perturbational h4 compact exponential finite difference scheme with diagonally dominant coefficient matrix and upwind effect is developed for the convective diffusion equation. Perturbations of second order are exerted on the convective coefficients and source term of an h2 exponential finite difference scheme proposed in this paper based on a transformation to eliminate the upwind effect of the convective diffusion equation. Four numerical examples including one- to three-dimensional model equations of fluid flow and a problem of natural convective heat transfer are given to illustrate the excellent behavior of the present exponential schemes, the h4 accuracy of the perturbational scheme is verified using double precision arithmetic.

Plastic stress-strain fields and blunting effects during large deformations

Plastic stress-strain fields of two types of steel specimens loaded to large deformations are studied. Computational results demonstrate that, owing to the fact that the hardening exponent of the material varies as strain enlarges and the blunting of the crack tip, the well known HRR stress field in the plane strain model can only hold for the stage of a small plastic strain. Plastic dilatancy is shown to have substantial effects on strain distributions and blunting. To justify the constitutive equations used for analysis and to check the precision of computations, the load-deflection of a three-point bend beam and the load-elongation of an axisymmetric bar notched by a V-shaped cut were tested and recorded. The computed curves are in good accordance with experimental data.

Dynamic interaction of an elastic container with fluid

The vibration analysis of an elastic container with partially filled fluid was investigated in this paper. The container is made of a thin cylinder and two circular plates at the ends. The axis of the cylinder is in the horizontal direction. It is difficult to solve this problem because the complex system is not axially symmetric. The equations of motion for this system were derived. An incompressible and ideal fluid model is used in the present work. Solutions of the equations were obtained by the generalized variational method. The solution was expressed in a series of normalized generalized Fourier's functions. This series converged rapidly, and so its approximate solution was obtained with high precision. The agreement of the calculated values with the experimental result is good. It should be mentioned that with our method, the computer time is less than that with the finite-element method.