Refinement of higher-order logic programs

A refinement calculus provides a method for transforming specifications to executable code, maintaining the correctness of the code with respect to its specification. In this paper we extend the refinement calculus for logic programs to include higher-order programming capabilities in specifications and programs, such as procedures as terms and lambda abstraction. We use a higher-order type and term system to describe programs, and provide a semantics for the higher-order language and refinement. The calculus is illustrated by refinement examples.

Zirconium alloying and grain refinement of magnesium alloys

Factors that influence alloying zirconium to magnesium with a Mg-33.3Zr master alloy and the subsequent grain refinement are discussed based on a large number of experiments conducted at the laboratory scale (up to 30 kg of melt). It is shown that the zirconium particles released from the Zirmax(R) master alloy must be brought into thorough contact with the melt by an appropriate stirring process in order to attain a good dissolution of zirconium. The influence of alloying temperature on the recovery of zirconium was found to be negligible in the range from 680 to 780 degreesC. An ideal zirconium alloying process should end up with both high soluble and high total zirconium in the melt in order to achieve the best grain refinement in the final alloy. The distribution of zirconium in the final alloy microstructure is inhomogeneous and almost all of the zirconium in solution is concentrated in zirconium-rich cores in the microstructure.

A new zirconium-rich master alloy for the grain refinement of magnesium alloys

A new zirconium-rich magnesium-zirconium master alloy (designated AM-cast) has been developed by the CRC for Cast Metals Manufacturing in collaboration with Australian Magnesium Corporation for use as a grain refiner for magnesium alloys that do not contain aluminium. This work describes the microstructural characteristics of this new grain refiner and its grain refining ability when added to different magnesium alloys under various conditions (alloying temperature from 680 °C to 750 °C; weight of melt from 1 kg to 150 kg and sample thickness from 7 mm to 62 mm). Owing to its highly alloyable microstructure, AM-cast can be readily introduced into molten magnesium at any temperature when assisted by a few minutes of stirring or puddling. Little sludge has been found at the bottom of the alloying vessel in these trials due to the fine zirconium particles contained in the master alloy. The recovery of zirconium is normally in the range from 40% to 60% with respect to 1% zirconium addition as the master alloy. It is shown that this new master alloy is an excellent grain refiner for aluminium-free magnesium alloys.

MACPROP:a revised program for the refinement of satellite orbital parameters

DUE TO COPYRIGHT RESTRICTIONS ONLY AVAILABLE FOR CONSULTATION AT ASTON UNIVERSITY LIBRARY AND INFORMATION SERVICES WITH PRIOR ARRANGEMENT

Global non-dynamic refinement of radial orbit error for altimetric earth satellites

The accuracy of altimetrically derived oceanographic and geophysical information is limited by the precision of the radial component of the satellite ephemeris. A non-dynamic technique is proposed as a method of reducing the global radial orbit error of altimetric satellites. This involves the recovery of each coefficient of an analytically derived radial error correction through a refinement of crossover difference residuals. The crossover data is supplemented by absolute height measurements to permit the retrieval of otherwise unobservable geographically correlated and linearly combined parameters. The feasibility of the radial reduction procedure is established upon application to the three day repeat orbit of SEASAT. The concept of arc aggregates is devised as a means of extending the method to incorporate longer durations, such as the 35 day repeat period of ERS-1. A continuous orbit is effectively created by including the radial misclosure between consecutive long arcs as an infallible observation. The arc aggregate procedure is validated using a combination of three successive SEASAT ephemerides. A complete simulation of the 501 revolution per 35 day repeat orbit of ERS-1 is derived and the recovery of the global radial orbit error over the full repeat period is successfully accomplished. The radial reduction is dependent upon the geographical locations of the supplementary direct height data. Investigations into the respective influences of various sites proposed for the tracking of ERS-1 by ground-based transponders are carried out. The potential effectiveness on the radial orbital accuracy of locating future tracking sites in regions of high latitudinal magnitude is demonstrated.

Automatic refinement of constructive solid geometry models

Geometric information relating to most engineering products is available in the form of orthographic drawings or 2D data files. For many recent computer based applications, such as Computer Integrated Manufacturing (CIM), these data are required in the form of a sophisticated model based on Constructive Solid Geometry (CSG) concepts. A recent novel technique in this area transfers 2D engineering drawings directly into a 3D solid model called `the first approximation'. In many cases, however, this does not represent the real object. In this thesis, a new method is proposed and developed to enhance this model. This method uses the notion of expanding an object in terms of other solid objects, which are either primitive or first approximation models. To achieve this goal, in addition to the prepared subroutine to calculate the first approximation model of input data, two other wireframe models are found for extraction of sub-objects. One is the wireframe representation on input, and the other is the wireframe of the first approximation model. A new fast method is developed for the latter special case wireframe, which is named the `first approximation wireframe model'. This method avoids the use of a solid modeller. Detailed descriptions of algorithms and implementation procedures are given. In these techniques utilisation of dashed line information is also considered in improving the model. Different practical examples are given to illustrate the functioning of the program. Finally, a recursive method is employed to automatically modify the output model towards the real object. Some suggestions for further work are made to increase the domain of objects covered, and provide a commercially usable package. It is concluded that the current method promises the production of accurate models for a large class of objects.

Catalyst screening: Refinement of the origin of the volcano curve and its implication in heterogeneous catalysis

Understanding the overall catalytic activity trend for rational catalyst design is one of the core goals in heterogeneous catalysis. In the past two decades, the development of density functional theory (DFT) and surface kinetics make it feasible to theoretically evaluate and predict the catalytic activity variation of catalysts within a descriptor-based framework. Thereinto, the concept of the volcano curve, which reveals the general activity trend, usually constitutes the basic foundation of catalyst screening. However, although it is a widely accepted concept in heterogeneous catalysis, its origin lacks a clear physical picture and definite interpretation. Herein, starting with a brief review of the development of the catalyst screening framework, we use a two-step kinetic model to refine and clarify the origin of the volcano curve with a full analytical analysis by integrating the surface kinetics and the results of first-principles calculations. It is mathematically demonstrated that the volcano curve is an essential property in catalysis, which results from the self-poisoning effect accompanying the catalytic adsorption process. Specifically, when adsorption is strong, it is the rapid decrease of surface free sites rather than the augmentation of energy barriers that inhibits the overall reaction rate and results in the volcano curve. Some interesting points and implications in assisting catalyst screening are also discussed based on the kinetic derivation. Moreover, recent applications of the volcano curve for catalyst design in two important photoelectrocatalytic processes (the hydrogen evolution reaction and dye-sensitized solar cells) are also briefly discussed.

Model Refinement for the Active Control of Thermoacoustic Instability

Active control has been shown as a feasible technology for suppressing thermoacoustic instability in continuous combustion systems, and the control strategy design is substantially dependent on the reliability of the flame model. In this paper, refinement of G-equation flame model for the dynamics of lean premixed combustion is investigated. Precisely, the dynamics between the flame speed S_u and equivalence ratio phi are proposed based on numerical calculations and physical explanations. Finally, the developed model is tested on one set of experimental data.

Studies on grain refinement and alloying additions on the microstructure and mechanical properties of Mg-8Zn-4Al alloy

MAGNESIUM ALLOYS have strong potential for weight reduction in a wide range of technical applications because of their low density compared to other structural metallic materials. Therefore, an extensive growth of magnesium alloys usage in the automobile sector is expected in the coming years to enhance the fuel efficiency through mass reduction. The drawback associated with the use of commercially cheaper Mg-Al based alloys, such as AZ91, AM60 and AM50 are their inferior creep properties above 100ºC due to the presence of discontinuous Mg17A112 phases at the grain boundaries. Although rare earth-based magnesium alloys show better mechanical properties, it is not economically viable to use these alloys in auto industries. Recently, many new Mg-Al based alloy systems have been developed for high temperature applications, which do not contain the Mg17Al12 phase. It has been proved that the addition of a high percentage of zinc (which depends upon the percentage of Al) to binary Mg-Al alloys also ensures the complete removal of the Mg17Al12 phase and hence exhibits superior high temperature properties.ZA84 alloy is one such system, which has 8%Zn in it (Mg-8Zn-4Al-0.2Mn, all are in wt %) and shows superior creep resistance compared to AZ and AM series alloys. These alloys are mostly used in die casting industries. However, there are certain large and heavy components, made up of this alloy by sand castings that show lower mechanical properties because of their coarse microstructure. Moreover, further improvement in their high temperature behaviour through microstructural modification is also an essential task to make this alloy suitable for the replacement of high strength aluminium alloys used in automobile industry. Grain refinement is an effective way to improve the tensile behaviour of engineering alloys. In fact, grain refinement of Mg-Al based alloys is well documented in literature. However, there is no grain refiner commercially available in the market for Mg-Al alloys. It is also reported in the literature that the microstructure of AZ91 alloy is modified through the minor elemental additions such as Sb, Si, Sr, Ca, etc., which enhance its high temperature properties because of the formation of new stable intermetallics. The same strategy can be used with the ZA84 alloy system to improve its high temperature properties further without sacrificing the other properties. The primary objective of the present research work, “Studies on grain refinement and alloying additions on the microstructure and mechanical properties of Mg-8Zn-4Al alloy” is twofold: 1. To investigate the role of individual and combined additions of Sb and Ca on the microstructure and mechanical properties of ZA84 alloy. 2. To synthesis a novel Mg-1wt%Al4C3 master alloy for grain refinement of ZA84 alloy and investigate its effects on mechanical properties.

Accurate molecular structures of chlorothiazide and hydrochlorothiazide by joint refinement against powder neutron and X-ray diffraction data

The compounds chlorothiazide and hydrochlorothiazide (crystalline form II) have been studied in their fully hydrogenous forms by powder neutron diffraction on the GEM diffractometer. The results of joint Rietveld refinement of the structures against multi-bank neutron and single-bank X-ray powder data are reported and show that accurate and precise structural information can be obtained from polycrystalline molecular organic materials by this route.

Introduction of a short writing task to measure and develop academic literacy in first year health undergraduates

This paper describes an initiative in the Faculty of Health at the Queensland University of Technology, Australia, where a short writing task was introduced to first year undergraduates in four courses including Public Health, Nursing, Social Work and Human Services, and Human Movement Studies. Over 1,000 students were involved in the trial. The task was assessed using an adaptation of the MASUS Procedure (Measuring the Academic Skills of University Students) (Webb & Bonanno, 1994). Feedback to the students including MASUS scores then enabled students to be directed to developmental workshops targeting their academic literacy needs. Students who achieved below the benchmark score were required to attend academic writing workshops in order to obtain the same summative 10% that was obtained by those who had achieved above the benchmark score. The trial was very informative, in terms of determining task appropriateness and timing, student feedback, student use of support, and student perceptions of the task and follow-up workshops. What we learned from the trial will be presented with a view to further refinement of this initiative.

Developments in Australian laws requiring the reporting of suspected child sexual abuse

Thousands of Australian children are sexually abused every year, and the effects can be severe and long lasting. Not only is child sexual abuse a public health problem, but the acts inflicted are criminal offences. Child sexual abuse usually occurs in private, typically involving relationships featuring a massive imbalance in power and an abuse of that power. Those who inflict child sexual abuse seek to keep it secret, whether by threats or more subtle persuasion. As a method of responding to this phenomenon and in an effort to uncover cases of sexual abuse that otherwise would not come to light, governments in Australian States and Territories have enacted legislation requiring designated persons to report suspected child sexual abuse. With Western Australia’s new legislation having commenced on 1 January 2009, every Australian State and Territory government has now passed these laws, so that there is now, for the first time, an almost harmonious legislative approach across Australia to the reporting of child sexual abuse. Yet there remain differences in the State and Territory laws regarding who has to make reports, which cases of sexual abuse are required to be reported, and whether suspected future abuse must be reported. These differences indicate that further refinement of the laws is required