The formal specification of abstract data types and their implementation in Fortran 90: Implementation issues concerning the use of pointers

In this paper we continue our investigation into the development of computational-science software based on the identification and formal specification of Abstract Data Types (ADTs) and their implementation in Fortran 90. In particular, we consider the consequences of using pointers when implementing a formally specified ADT in Fortran 90. Our aim is to highlight the resulting conflict between the goal of information hiding, which is central to the ADT methodology, and the space efficiency of the implementation. We show that the issue of storage recovery cannot be avoided by the ADT user, and present a range of implementations of a simple ADT to illustrate various approaches towards satisfactory storage management. Finally, we propose a set of guidelines for implementing ADTs using pointers in Fortran 90. These guidelines offer a way gracefully to provide disposal operations in Fortran 90. Such an approach is desirable since Fortran 90 does not provide automatic garbage collection which is offered by many object-oriented languages including Eiffel, Java, Smalltalk, and Simula.

A SPECIFICATION OF A COMPLEX PROGRAMMING LANGUAGE STATEMENT

A formal specification of a complex programming language statement is presented. The subject matter was selected as being typical of the kind confronting a small software house. It is shown that formal specification notations may be applied, with benefit, to 'messy' problems. Emphasis is placed upon producing a specification which is readable by, and useful to a reader not familiar with formal notations.

Efficient, Scalable, and Solvent-free Mechanochemical Synthesis of the OLED Material Alq(3) (q=8-Hydroxyquinolinate)

The aluminum complex Alq(3) (q = 8-hydroxyquinolinate), which has important applications in organic light-emitting diode materials, is shown to be readily synthesized as a pure phase under solvent-free mechanochemical conditions from Al(OAc)(2)OH and 8-hydroxyquinoline by ball milling. The initial product of the mechanochemical synthesis is a novel acetic acid solvate of Alq(3), and the alpha polymorph of Alq(3) is obtained on subsequent heating/desolvation of this phase. The structure of the mechanochemically prepared acetic acid solvate of Alq(3) has been determined directly from powder X-ray diffraction data and is shown to be a different polymorph from the corresponding acetic acid solvate prepared by solution-state crystallization of Alq(3) from acetic acid. Significantly, the mechanochemical synthesis of Alq(3) is shown to be fully scalable across two orders of magnitude from 0.5 to 50 g scale. The Alq(3) sample obtained from the solvent-free mechanochemical synthesis is analytically pure and exhibits identical photoluminescence behavior to that of a sample prepared by the conventional synthetic route.

Spatial allocation of material flow analysis in residential developments: a case study of Kildare County, Ireland

Studies of urban metabolism provide important insights for environmental management of cities, but are not widely used in planning practice due to a mismatch of data scale and coverage. This paper introduces the Spatial Allocation of Material Flow Analysis (SAMFA) model as a potential decision support tool aimed as a contribution to overcome some of these difficulties and describes its pilot use at the county level in the Republic of Ireland. The results suggest that SAMFA is capable of identifying hotspots of higher material and energy use to support targeted planning initiatives, while its ability to visualise different policy scenarios supports more effective multi-stakeholder engagement. The paper evaluates this pilot use and sets out how this model can act as an analytical platform for the industrial ecology–spatial planning nexus.

WC/CNT, WC/CNT/Pt Composite Material and Preparation Process Therefor and Use Thereof. (International Patent)

(EN)Disclosed are a WC/CNT， WC/CNT/Pt composite material and a preparation process therefor and use thereof. The WC/CNT/Pt composite material comprises mesoporous spherical tungsten carbide with a diameter of 1-5 microns, carbon nanotubes and platinum nano particles, with the carbon nanotubes growing on the surface of the mesoporous spherical tungsten carbide and expanding outward, and the platinum nano particles growing on the surfaces of the mesoporous spherical tungsten carbide and carbon nanotubes. The WC/CNT composite material comprises mesoporous spherical tungsten carbide with a diameter of 1-5 microns, and carbon nanotubes, with the carbon nanotubes growing on the surface of the mesoporous spherical tungsten carbide and expanding outward. The WC/CNT/Pt composite material of the present invention can be used as an electro-catalyst in a methanol flue battery, significantly improving the catalytic conversion rate and the service life of the catalyst. The WC/CNT composite material can be used as an electro-catalyst in the electro-reduction of a nitro aromatic compound, significantly improving the efficiency of organic electro-synthesis.

WC/CNT, WC/CNT/Pt Composite Material and Preparation Process Therefor and Use Thereof. (US patent)

Disclosed are a WC/CNT， WC/CNT/Pt composite material and a preparation process therefor and use thereof. The WC/CNT/Pt composite material comprises mesoporous spherical tungsten carbide with a diameter of 1-5 microns, carbon nanotubes and platinum nano particles, with the carbon nanotubes growing on the surface of the mesoporous spherical tungsten carbide and expanding outward, and the platinum nano particles growing on the surfaces of the mesoporous spherical tungsten carbide and carbon nanotubes. The WC/CNT composite material comprises mesoporous spherical tungsten carbide with a diameter of 1-5 microns, and carbon nanotubes, with the carbon nanotubes growing on the surface of the mesoporous spherical tungsten carbide and expanding outward. The WC/CNT/Pt composite material of the present invention can be used as an electro-catalyst in a methanol flue battery, significantly improving the catalytic conversion rate and the service life of the catalyst. The WC/CNT composite material can be used as an electro-catalyst in the electro-reduction of a nitro aromatic compound, significantly improving the efficiency of organic electro-synthesis.

Class Responsibility Assignment (CRA) for Use Case Specification to Sequence Diagrams (UC2SD)

Identifying responsibility for classes in object oriented software design phase is a crucial task. This paper proposes an approach for producing high quality and robust behavioural diagrams (e.g. Sequence Diagrams) through Class Responsibility Assignment (CRA). GRASP or General Responsibility Assignment Software Pattern (or Principle) was used to direct the CRA process when deriving behavioural diagrams. A set of tools to support CRA was developed to provide designers and developers with a cognitive toolkit that can be used when analysing and designing object-oriented software. The tool developed is called Use Case Specification to Sequence Diagrams (UC2SD). UC2SD uses a new approach for developing Unified Modelling Language (UML) software designs from Natural Language, making use of a meta-domain oriented ontology, well established software design principles and established Natural Language Processing (NLP) tools. UC2SD generates a well-formed UML sequence diagrams as output.

Trends in material choice for direct restorations by final year students from University College Cork 2004-2009

Traditionally, undergraduate students in University College Cork (UCC) have been taught to use amalgam as the first choice material for direct restoration of posterior cavities. Since 2005 the use of composite resins has replaced amalgam as the first choice material. An audit was conducted of all direct restorations placed by final year students from UCC from 2004 until 2009. Results showed that over a six year period, final year UCC dental undergraduate students placed proportionately more direct composite resin restorations and significantly fewer amalgam restorations. The need for and undergraduate exposure to, provision of amalgam restorations may have to be revisited.

Milling plant and soil material in plastic tubes over-estimates carbon and under-estimates nitrogen concentrations

Milling of plant and soil material in plastic tubes, such as microcentrifuge tubes, over-estimates carbon (C) and under-estimates nitrogen (N) concentrations due to the introduction of polypropylene into milled samples, as identified using Fourier-transform infra-red spectroscopy.

This study compares C and N concentrations of roots and soil milled in microcentrifuge tubes versus stainless steel containers, demonstrating that a longer milling time, greater milling intensity, smaller sample size and inclusion of abrasive sample material all increase polypropylene contamination from plastic tubes leading to overestimation of C concentrations by up to 8 % (0.08 g g(-1)).

Erroneous estimations of C and N, and other analytes, must be assumed after milling in plastic tubes and milling methods should be adapted to minimise such error.

Material Waste in the Northern Ireland Construction Industry: On-Site Management Causes and Methods of Prevention

The construction industry in Northern Ireland is one of the major contributors of construction waste to landfill each year. The aim of this research paper is to identify the core on-site management causes of material waste on construction sites in Northern Ireland and to illustrate various methods of prevention which can be adopted. The research begins with a detailed literature review and is complemented with the conduction of semi-structured interviews with 6 professionals who are experienced and active within the Northern Ireland construction industry. Following on from the literature review and interviews analysis, a questionnaire survey is developed to obtain further information in relation to the subject area. The questionnaire is based on the key findings of the previous stages to direct the research towards the most influential factors. The analysis of the survey responses reveals that the core causes of waste generation include a rushed program, poor handling and on-site damage of materials, while the principal methods of prevention emerge as the adequate storage, the reuse of material on-site and efficient material ordering. Furthermore, the role of the professional background in the shaping of perceptions relevant to waste management is also investigated and significant differences are identified. The findings of this research are beneficial for the industry as they enhance the understanding of construction waste generation causes and highlight the practices required to reduce waste on-site in the context of sustainable development.

Prescriptive Durability Specification

A specification that defines required results, criteria by which performance will be judged, and methods of evaluation, without requirements for how the results are to be obtained

Application examples of performance-based specification and quality control

This chapter presents an overview on several performance-based approaches for concrete durability specification and conformity assessment of the as-built structure.