5 resultados para Soundness
em Aston University Research Archive
Resumo:
Previously, specifications for mechanical properties of casting alloys were based on separately cast test bars. This practice provided consistently reproducible results; thus, any change in conditions was reflected in changes in the mechanical properties of the test coupons. These test specimens, however, did not necessarily reflect the actual mechanical properties of the castings they were supposed to represent'. Factors such as section thickness and casting configuration affect the solidification rate and soundness of the casting thereby raising or lowering its mechanical properties in comparison with separately cast test specimens. In the work now reported, casting shapes were developed to investigate the variations of section thickness, chemical analysis and heat treatment on the mechanical properties of a high strength Aluminium alloy under varying chilling conditions. In addition, an insight was sought into the behaviour of chills under more practical conditions. Finally, it was demonstrated that additional information could be derived from the radiographs which form an essential part of the quality control of premium quality castings. As a result of the work, it is now possible to select analysis and chilling conditions to optimize the as cast and the heat treated mechanical properties of Aluminum 7% Silicon 0.3% Magnesium alloy.
Resumo:
Linear typing schemes can be used to guarantee non-interference and so the soundness of in-place update with respect to a functional semantics. But linear schemes are restrictive in practice, and more restrictive than necessary to guarantee soundness of in-place update. This limitation has prompted research into static analysis and more sophisticated typing disciplines to determine when in-place update may be safely used, or to combine linear and non-linear schemes. Here we contribute to this direction by defining a new typing scheme that better approximates the semantic property of soundness of in-place update for a functional semantics. We begin from the observation that some data are used only in a read-only context, after which it may be safely re-used before being destroyed. Formalising the in-place update interpretation in a machine model semantics allows us to refine this observation, motivating three usage aspects apparent from the semantics that are used to annotate function argument types. The aspects are (1) used destructively, (2), used read-only but shared with result, and (3) used read-only and not shared with the result. The main novelty is aspect (2), which allows a linear value to be safely read and even aliased with a result of a function without being consumed. This novelty makes our type system more expressive than previous systems for functional languages in the literature. The system remains simple and intuitive, but it enjoys a strong soundness property whose proof is non-trivial. Moreover, our analysis features principal types and feasible type reconstruction, as shown in M. Konen'y (In TYPES 2002 workshop, Nijmegen, Proceedings, Springer-Verlag, 2003).
Resumo:
This thesis considers four broad areas:(i) ANALYSIS OF THE STRESS FIELD.(a) research studies, relevant to the British Social Services considering the cultural setting, and the rigor with which they were conducted; (b) models of stress, specifically examining the theoretical soundness and practical application of the Medical, Engineering and Transactional models;(c) organisational models of stress relating specifically to human service organisations.(ii) QUALITATIVE AND QUANTITATIVE RESEARCH METHODOLOGIES.(a) the appropriate application of each respective methodology and the particular usefulness of qualitative research designs; (b) the relevance of understanding the language and terminology associated with the subject area prior to the implementation of survey methods; (iii) FIELDWORK.(a) Phase 1. By use of focus groups, in-depth interviews and diary keeping amongst a small range of teams and managers, the Researcher develops a basic conceptual framework of stress within a Social Services context. In addition a small scale personality inventory was administered to participants.(b) Phase 2. This consisted of three key elements: 6 case studies in which the Researcher implements and appraises the impact of a range of intervention strategies designed to assist teams and their managers in dealing more effectively with stress; the administration of a large scale survey to all the field social work teams within the Social Services Department; an analysis of the user role within the stress process by way of two focus groups.(iv) THEORETICAL DEVELOPMENT.
Resumo:
Two zinc-based alloys of high aluminium content, Super Cosmal alloy containing 60% Al, 6% Si, 1% Cu, 0.3% Mn and HAZCA alloy containing 60% Al, 8% Si, 2% Cu, 0.06% Mg were produced by sand casting. Foundry characteristics in particular, fluidity, mode of solidification and feeding ability were examined. Metallographic analysis of structures was carried out using optical and scanning electron microscopy and their mechanical properties were determined using standard techniques. Dry wear characteristics were determined using a pin-on-disc test, and boundary-lubricated wear was studied using full bearing tests. Results from casting experiments were evaluated and compared with the behaviour of a standard ZA-27 alloy and those from tribological tests with both ZA-27 alloy and a leaded tin-bronze (SAE660) under the same testing conditions. The presence of silicon was beneficial, reducing the temperature range of solidification, improving feeding efficiency and reducing gravity segregation of phases. Use of chills and melt degassing was found necessary to achieve soundness and enhanced mechanical properties. Dry wear tests were performed against a steel counterface for sliding speeds of 0.25, 0.5, 1.0 and 2 m/s and for a range of loads up to 15 kgf. The high aluminium alloys showed wear rates as low as those of ZA-27 at speeds of 0.25 and 0.5 m/s for the whole range of applied loads. ZA-27 performed better at higher speeds. The build up of a surface film on the wearing surface of the test pins was found to be responsible for the mild type of wear of the zinc based alloys. The constitution of the surface film was determined as a complex mixture of aluminium, zinc and iron oxides and metallic elements derived from both sliding materials. For full bearing tests, bushes were machined from sand cast bars and were tested against a steel shaft in the presence of a light spindle oil as the lubricant. Results showed that all zinc based alloys run-in more rapidly than bronze, and that wear in Super Cosmal and HAZCA alloys after prolonged running were similar to those in ZA-27 bearings and significantly smaller than those of the bronze.
Resumo:
In 1962, D. June Sutor published the first crystallographic analysis of C–H…O hydrogen bonding based on a selection of structures then known. Her follow-up paper the next year cited more structures and provided more details, but her ideas met with formidable opposition. This review begins by describing knowledge of C-H…O hydrogen bonding available at the time from physico-chemical and spectroscopic studies. By comparison of structures cited by Sutor with modern redeterminations, the soundness of her basic data set is assessed. The plausibility of the counter-arguments against her is evaluated. Finally, her biographical details are presented along with consideration of factors that might have impeded the acceptance of her work. © 2012 Taylor & Francis.