a non-linear finite element model could be a useful tool in the development of a method of predicting soil pressure-sinkage behaviour, and can be used to investigate and analyze soil compaction. this study was undertaken to emphasize that the finite element method (fem) is a proper technique to model soil pressure-sinkage behaviour. for this purpose, the finite element method was used to model ...

Miniaturization of assays is an important objective in Ultra-HTS. One of the major obstacles has been to find fluid handling systems capable of reliably and accurately delivering between 2 and 200 nl of test compound to assay plates. New methods of forming pins, placing slots in the pins, and hydrophobic coatings bonded onto the pins solve many of the problems encountered by early pin tools. Un...

Non–planar driving mirrors have a complex geometry, which is defined by a base surface (the so– called calotte) and a planar contour. We describe and compare methods for generating NC tool–paths for a calotte cutting machine from these data. The methods are based on piecewise circular arcs and on polynomial spline curves. Distance bounds for the resulting tool paths, which are needed in order t...

A new high-speed pin-on-bar type tribometer has been developed to study the variation of friction coefficient with respect local thermomechanical contact conditions between tool and workpiece when drilling C45 steel. The forces temperatures are measured over a range pin indent depths sliding velocities in open closed loop tribo-systems. tribometer’s ability recreate is demonstrated induced surf...

A. Sangiovanni-Vincentelli et al. (eds.), Embedded Systems Development, Embedded Systems 20, DOI: 10.1007/978-1-4614-3879-3 8, c © Springer Science+Business Media New York 2014 Abstract In this paper we propose a rule unifying circular and non-circular assumeguarantee reasoning and show its interest for contract-based design and verification. Our work was motivated by the need to combine, in th...

bending analysis of multilayer graphene sheets (mlgss) subjected to non-uniform shear and normal tractions is presented. the constitutive relations are considered to be non-classical based on nonlocal theory of elasticity. based on the differential transformation method, numerical illustrations are carried out for circular and annular geometries. the effects of nano scale parameter, radius of c...

A time-domain-reflectometry Smith-chart display is demonstrated to be a valuable diagnostic tool in a variety of situations in time-domain-reflectometry dielectric spectroscopy. A relative reflection coefficient is formed by dividing the Laplace transform of the reflected sample transient by the Laplace transform of the empty-sensor transient and displaying in the complex plane, with the approx...

Most reconngurable multi-fpga architectures have a programmable interconnection network that can be reconngured to implement diierent interconnection patterns between the fpgas and memory devices on the board. Partitioning tools for such architectures must produce the necessary pin-assignments and interconnect connguration stream that correctly implement the partitioned design. We call this pro...