Hierarchical approach to timing verification in CMOS VLSI design

This paper describes a novel hierarchical approach to timing verification. Four types of relationship existing among signal paths are distinguished, based on a classification of the degree of interdependency in the circuit. In this way, irrelevant path delays can be excluded through consideration of the interaction between critical paths and others. Furthermore, under suitable conditions, bounded delay values for large hierarchical systems can be deduced using bounded delays determined for their constituent cells. Finally, we discuss the impact on design strategy of the hierarchical delay model presented in this paper.

Deformation Morphology Underneath the Vickers Indent in Bulk Metallic Glasses

Plastic deformation behaviour of Zr52.5Al10Ni10Cu15Be12.5 and Mg65Cu25Gd10 bulk metallic glasses (BMGs) is studied by using the depth-sensing nanoindentation and microindentation. The subsurface plastic deformation zone of the BMGs is investigated using the bonded interface technique. Both the BMGs exhibit the serrated flow depending on the loading rate in the loading process of indentation. Slow indentation rates promote more conspicuous serrations, and rapid indentations suppress the serrated flow. Mg-based BMG shows a much higher critical loading rate for the disappearance of the serration than that in Zr-based BMG. The significant difference in the shear band pattern in the subsurface plastic deformation zone is responsible for the different deformation behaviour between the two BMGs. Increase of the loading rate can lead to the increase of the density of shear bands. However, there is no distinct change in the character of shear bands at the loading rate of as high as 1000 nm/s.

Jet diameters and velocity profiles in continuous ink-jets

Theoretical predictions of the diameters of continuous ink-jets downstream of long nozzles are generalized to include the important cases of ink-jet fluids and shorter nozzles where the velocity profile at the nozzle exit is undeveloped (non-parabolic). Comparisons of the new predictions with experiments and simulations are made for fairly long nozzles with tapered profiles and short nozzles with conical profiles; experimental and simulated profiles are also compared downstream of the nozzle exit for both industrial and large scale ink-jet print heads. Precise measurements of the un-modulated jet diameters downstream of the nozzle exit can set really useful limits to the possible shapes of the flow profile right at the nozzle exit, and in particular allow some assessment of the axial velocity gradients and fluid shear rates at the nozzle exit where direct speed measurement is usually impractical. Simulations allow further study of the relaxation of the velocity profile downstream of the nozzle exit, and are reported for both un-modulated and modulated CIJ jetting. Implications of this work include speeding up CIJ simulations, absolute calibration of the applied CIJ system modulation, and the likely magnitude of dynamic surface tension effects on observed CIJ satellite speeds.

Rapidly Infrared-Assisted Cooperatively Self-Assembled Highly Ordered Multiscale Porous Materials

In this paper, cooperative self-assembly (CSA) of colloidal spheres with different sizes was studied. It was found that a complicated jamming effect makes it difficult to achieve an optimal self-assembling condition for construction of a well-ordered stacking of colloidal spheres in a relatively short growth time by CSA. Through the use of a characteristic infrared (IR) technique to significantly accelerate local evaporation on the growing interface without changing the bulk growing environment, a concise three-parameter (temperature, pressure, and IR intensity) CSA method to effectively overcome the jamming effect has been developed. Mono- and multiscale inverse opals in a large range of lattice scales can be prepared within a growth time (15-30 min) that is remarkably shorter than the growth times of several hours for previous methods. Scanning electron microscopy images and transmittance spectra demonstrated the superior crystalline and optical qualities of the resulting materials. More importantly, the new method enables optimal conditions for CSA without limitations on sizes and materials of multiple colloids. This strategy not only makes a meaningful advance in the applicability and universality of colloidal crystals and ordered porous materials but also can be an inspiration to the self-assembly systems widely used in many other fields, such as nanotechnology and molecular bioengineering.

Forward Smoothing Using Sequential Monte Carlo

Sequential Monte Carlo (SMC) methods are a widely used set of computational tools for inference in non-linear non-Gaussian state-space models. We propose a new SMC algorithm to compute the expectation of additive functionals recursively. Essentially, it is an on-line or "forward only" implementation of a forward filtering backward smoothing SMC algorithm proposed by Doucet, Godsill and Andrieu (2000). Compared to the standard \emph{path space} SMC estimator whose asymptotic variance increases quadratically with time even under favorable mixing assumptions, the non asymptotic variance of the proposed SMC estimator only increases linearly with time. We show how this allows us to perform recursive parameter estimation using an SMC implementation of an on-line version of the Expectation-Maximization algorithm which does not suffer from the particle path degeneracy problem.

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.

A generalized model for the effective thermal conductivity of porous media based on self-similarity

A generalized model for the effective thermal conductivity of porous media is derived based on the fact that statistical self-similarity exists in porous media. The proposed model assumes that porous media consist of two portions: randomly distributed non-touching particles and self-similarly distributed particles contacting each other with resistance. The latter are simulated by Sierpinski carpets with side length L = 13 and cutout size C = 3, 5, 7 and 9, respectively, depending upon the porosity concerned. Recursive formulae are presented and expressed as a function of porosity, ratio of areas, ratio of component thermal conductivities and contact resistance, and there is no empirical constant and every parameter has a clear physical meaning. The model predictions are compared with the existing experimental data, and good agreement is found in a wide range of porosity of 0.14-0.80, and this verifies the validity of the proposed model.

Fractal geometry model for effective thermal conductivity of three-phase porous media

An approximate model, a fractal geometry model, for the effective thermal conductivity of three-phase/unsaturated porous media is proposed based on the thermal-electrical analogy technique and on statistical self-similarity of porous media. The proposed thermal conductivity model is expressed as a function of porosity (related to stage n of Sierpinski carpet), ratio of areas, ratio of component thermal conductivities, and saturation. The recursive algorithm for the thermal conductivity by the proposed model is presented and found to be quite simple. The model predictions are compared with the existing measurements. Good agreement is found between the present model predictions and the existing experimental data. This verifies the validity of the proposed model. (C) 2004 American Institute of Physics.

Crack propagation in structures subjected to periodic excitation

In the present paper, a simple mechanical model is developed to predict the dynamic response of a cracked structure subjected to periodic excitation, which has been used to identify the physical mechanisms in leading the growth or arrest of cracking. The structure under consideration consists of a beam with a crack along the axis, and thus, the crack may open in Mode I and in the axial direction propagate when the beam vibrates. In this paper, the system is modeled as a cantilever beam lying on a partial elastic foundation, where the portion of the beam on the foundation represents the intact portion of the beam. Modal analysis is employed to obtain a closed form solution for the structural response. Crack propagation is studied by allowing the elastic foundation to shorten (mimicking crack growth) if a displacement criterion, based on the material toughness, is met. As the crack propagates, the structural model is updated using the new foundation length and the response continues. From this work, two mechanisms for crack arrest are identified. It is also shown that the crack propagation is strongly influenced by the transient response of the structure.

Azadirachta indica (A. Juss) en Nicaragua: resultados: biomasa como fuente de leña en dos plantaciones diferentes

A través de este estudio se presentan los resultados obtenidos en la cuantificación de la biomasa y evolución del crecimiento y el rendimiento del A. indica en dos sitios de Nicaragua. La metodología empleada fue tomada en las normas para la investigación de silvicultural de especie de leña del CATIE. Los resultados obtenidos del estudio, en cuanto al crecimiento medio anual, el diámetro oscilo entre 17.5 mm y 19.1 mm, para el diámetro basal entre 21.3 mm y 35.4 mm, el diámetro de copa entre 3.4 dm y 9.1 dm, y la altura varía entre 13.4 dm y 19.0 dm. En cuanto al rendimiento por árbol, el incremento medio anual para peso de fuste, varía entre 6.4 kg. Y 7.0 kg. El peso de rama entre 1.0 k g. Y 2.0kg: el peso de follaje entre 0.94 kg y 1.9 kg; el peso de leña entre 7.4 kg. Y 9.0 kg; y el peso total en verde oscila entre 8.0 kg. Y 10.9 kg. El crecimiento medio anual del volumen estéreo varía entre 34.5 m3/ha. Y 35.4m3/ ha; y el volumen solido total con corteza esta entre 9.3 m 3/ ha. Y 15.8m3/ ha en verde. El componente de la biomasa aérea verde varía entre 64% y 76% para fuste; entre 13% y 19% para ramas: entre 11% y 17% para follaje; y entre 82% y 92% para leña. El seco el porcentaje para fuste varía entre 64% y 79% para rama entre 13% y 20% para follaje varía entre 7% y 13% ; y para leña entre 93% y 97%. Se presentaron ocho ecuaciones que predicen el rendimiento en kg, para las variables del árbol como; fuste, rama, follaje y total. El A. INDICA mostro una buena adaptación a las condiciones edafoclimaticas de Nicaragua. Se atribuye el clima más húmedo el mayor incremento volumétrico en santa Isabel y la fertilidad de las arcillas, del vertisol el incremento el peso de Guanacaste. Por tanto, es recomendable ejecutar plantaciones de neem con fines energético en las áreas vertisoles.