Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Effect of Shot Peening With Glass Microspheres on the Fatigue Behavior of a Low Carbon Steel

de Lacerda J. C., Pereira I. R., Costa J. M. G., Pinto J. S., Souza H. F. M., Fonseca M. A.

Archives of Metallurgy and Materials

2019

Vol. 64, iss. 4

1513--1518

The present work has the objective of studying the effect of shot peening with glass microspheres on SAE 1020 steel in its resistance to fatigue. Fatigue tests were carried out by rotary bending with load control and loading on balance in specimens with and without shot peening. A rotation speed of approximately 750 rpm (12.5 Hz) was employed in the fatigue tests. Vickers microhardness tests were performed in order to verify the surface hardening produced by shot peening with glass microspheres. Analysis of the steel surface and fatigue fractures was performed using scanning electron microscopy (SEM). Fatigue tests were performed in order to obtain S-N curves (Wöhler curves). It was observed that shot peening with glass microspheres improved the fatigue strength of the steel at high cycle.

Point-free Program Transformation

Cunha A., Pinto J. S.

Fundamenta Informaticae

2005

Vol. 66, nr 4

315-352

Functional programs are particularly well suited to formal manipulation by equational reasoning. In particular, it is straightforward to use calculational methods for program transformation. Well-known transformation techniques, like tupling or the introduction of accumulating parameters, can be implemented using calculation through the use of the fusion (or promotion) strategy. In this paper we revisit this transformation method, but, unlike most of the previous work on this subject, we adhere to a pure point-free calculus that emphasizes the advantages of equational reasoning. We focus on the accumulation strategy initially proposed by Bird, where the transformed programs are seen as higher-order folds calculated systematically from a specification. The machinery of the calculus is expanded with higher-order point-free operators that simplify the calculations. A substantial number of examples (both classic and new) are fully developed, and we introduce several shortcut optimization rules that capture typical transformation patterns.