4 resultados para Post-and-core technique

em Universidade do Minho


Relevância:

100.00% 100.00%

Publicador:

Resumo:

Relatório de estágio de mestrado em Ensino de Música

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Dissertação de mestrado integrado em Engenharia Eletrónica Industrial e Computadores

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The reinforcement of soil is defined as an effective and reliable technique to improve strength and stability. For this propose, the use of natural fibers has been commonly. Over the past years, a series of studies have been performed in order to investigate the influence of randomly oriented fibers, especially for compressible clayey soils. However, less attention has been given to the reinforcing of sandy materials, as well as the use of oriented fibers meshes in order to improve mechanical behaviour. The main aim of this study is to identify the influence that different percentages of fibers, as well as the use of meshes of oriented fibers, has on soil mechanical behaviour. For this purpose, unconfined compression tests with local strain measurements were performed on a silty sand reinforced with Sisal fibers and a comparative study between randomly oriented and 0° and 90° fibers is presented.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

In the trend towards tolerating hardware unreliability, accuracy is exchanged for cost savings. Running on less reliable machines, functionally correct code becomes risky and one needs to know how risk propagates so as to mitigate it. Risk estimation, however, seems to live outside the average programmer’s technical competence and core practice. In this paper we propose that program design by source-to-source transformation be risk-aware in the sense of making probabilistic faults visible and supporting equational reasoning on the probabilistic behaviour of programs caused by faults. This reasoning is carried out in a linear algebra extension to the standard, `a la Bird-Moor algebra of programming. This paper studies, in particular, the propagation of faults across standard program transformation techniques known as tupling and fusion, enabling the fault of the whole to be expressed in terms of the faults of its parts.