63 resultados para SAT-solvers, Small Hard Benchmarks

em Cambridge University Engineering Department Publications Database


Relevância:

100.00% 100.00%

Publicador:

Resumo:

A model has been developed to predict the erosive wear behaviour of elastomers under conditions of glancing impact by small hard particles. Previous work has shown the erosive wear mechanism of elastomers under these conditions to be similar in nature to that of abrasive wear by a sharp blade. The model presented here was developed from the model of Southern and Thomas for sliding abrasion, by combining their treatment of the growth of surface cracks with a model for particle impact in which the force - displacement relationship for an idealized flat-ended punch on a semi-infinite elastic solid was assumed. In this way an expression for the erosive wear rate was developed, and compared with experimental measurements of wear rate for natural rubber, styrene - butadiene rubber and a highly crosslinked polybutadiene rubber. Good qualitative agreement was found between the predictions of the model and the experimental measurements. The variation of erosion rate with impact velocity, impact angle, particle size, elastic modulus of the material, coefficient of friction and fatigue properties were all well accounted for. Quantitative agreement was less good, and the effects of erosive particle shape could not be accounted for. The reasons for these discrepancies are discussed. © 1992 IOP Publishing Ltd.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The recently introduced nested sampling algorithm allows the direct and efficient calculation of the partition function of atomistic systems. We demonstrate its applicability to condensed phase systems with periodic boundary conditions by studying the three dimensional hard sphere model. Having obtained the partition function, we show how easy it is to calculate the compressibility and the free energy as functions of the packing fraction and local order, verifying that the transition to crystallinity has a very small barrier, and that the entropic contribution of jammed states to the free energy is negligible for packing fractions above the phase transition. We quantify the previously proposed schematic phase diagram and estimate the extent of the region of jammed states. We find that within our samples, the maximally random jammed configuration is surprisingly disordered.

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Microstructures and mechanical properties have been studied in aluminium containing a fine dispersion of alumina particles, deformed by cold-rolling to strains between 1.4 and 3.5. The microstructure was characterised by TEM. The deformation structures evolved very rapidly, forming a nanostructured material, with fine subgrains about 0.2 μm in diameter and a fraction of high-angle boundaries which was already high at a strain of 1.4, but continued to increase with rolling strain. The yield stress and ductility of the rolled materials were measured in tension, and properties were similar for all materials. Yield stress measurements were correlated with estimates made using microstructural models. The role of small particles in forming and stabilising the deformation structure is discussed. This nanostructured cold-deformed alloy has mechanical properties which are usefully enhanced at comparatively low cost. This gives it, and similar particle-strengthened alloys, good potential for commercial exploitation. © 2002 Acta Materialia Inc. Published by Elsevier Science Ltd. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We consider a straight cylindrical duct with a steady subsonic axial flow and a reacting boundary (e.g. an acoustic lining). The wave modes are separated into ordinary acoustic duct modes, and surface modes confined to a small neighbourhood of the boundary. Many researchers have used a mass-spring-damper boundary model, for which one surface mode has previously been identified as a convective instability; however, we show the stability analysis used in such cases to be questionable. We investigate instead the stability of the surface modes using the Briggs-Bers criterion for a Flügge thin-shell boundary model. For modest frequencies and wavenumbers the thin-shell has an impedance which is effectively that of a mass-spring-damper, although for the large wavenumbers needed for the stability analysis the thin-shell and mass-spring-damper impedances diverge, owing to the thin shell's bending stiffness. The thin shell model may therefore be viewed as a regularization of the mass-spring-damper model which accounts for nonlocally-reacting effects. We find all modes to be stable for realistic thin-shell parameters, while absolute instabilities are demonstrated for extremely thin boundary thicknesses. The limit of vanishing bending stiffness is found to be a singular limit, yielding absolute instabilities of arbitrarily large temporal growth rate. We propose that the problems with previous stability analyses are due to the neglect of something akin to bending stiffness in the boundary model. Our conclusion is that the surface mode previously identified as a convective instability may well be stable in reality. Finally, inspired by Rienstra's recent analysis, we investigate the scattering of an acoustic mode as it encounters a sudden change from a hard-wall to a thin-shell boundary, using a Wiener-Hopf technique. The thin-shell is considered to be clamped to the hard-wall. The acoustic mode is found to scatter into transmitted and reflected acoustic modes, and surface modes strongly linked to the solid waves in the boundary, although no longitudinal or transverse waves within the boundary are excited. Examples are provided that demonstrate total transmission, total reflection, and a combination of the two. This thin-shell scattering problem is preferable to the mass-spring-damper scattering problem presented by Rienstra, since the thin-shell problem is fully determined and does not need to appeal to a Kutta-like condition or the inclusion of an instability in order to avoid a surface-streamline cusp at the boundary change.

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador: