Exploitation of symbolic information in interprocedural dependence analysis

The requirement for a very accurate dependence analysis to underpin software tools to aid the generation of efficient parallel implementations of scalar code is argued. The current status of dependence analysis is shown to be inadequate for the generation of efficient parallel code, causing too many conservative assumptions to be made. This paper summarises the limitations of conventional dependence analysis techniques, and then describes a series of extensions which enable the production of a much more accurate dependence graph. The extensions include analysis of symbolic variables, the development of a symbolic inequality disproof algorithm and its exploitation in a symbolic Banerjee inequality test; the use of inference engine proofs; the exploitation of exact dependence and dependence pre-domination attributes; interprocedural array analysis; conditional variable definition tracing; integer array tracing and division calculations. Analysis case studies on typical numerical code is shown to reduce the total dependencies estimated from conventional analysis by up to 50%. The techniques described in this paper have been embedded within a suite of tools, CAPTools, which combines analysis with user knowledge to produce efficient parallel implementations of numerical mesh based codes.

Upgrading automation for nuclear fuel in-core management: from the symbolic generation of configurations to the neural adaptation of heuristics

FUELCON is an expert system in nuclear engineering. Its task is optimized refueling-design, which is crucial to keep down operation costs at a plant. FUELCON proposes sets of alternative configurations of fuel-allocation; the fuel is positioned in a grid representing the core of a reactor. The practitioner of in-core fuel management uses FUELCON to generate a reasonably good configuration for the situation at hand. The domain expert, on the other hand, resorts to the system to test heuristics and discover new ones, for the task described above. Expert use involves a manual phase of revising the ruleset, based on performance during previous iterations in the same session. This paper is concerned with a new phase: the design of a neural component to carry out the revision automatically. Such an automated revision considers previous performance of the system and uses it for adaptation and learning better rules. The neural component is based on a particular schema for a symbolic to recurrent-analogue bridge, called NIPPL, and on the reinforcement learning of neural networks for the adaptation.

A novel neural/symbolic hybrid approach to heuristically optimized fuel allocation and automated revision of heuristics in nuclear engineering

FUELCON is an expert system for optimized refueling design in nuclear engineering. This task is crucial for keeping down operating costs at a plant without compromising safety. FUELCON proposes sets of alternative configurations of allocation of fuel assemblies that are each positioned in the planar grid of a horizontal section of a reactor core. Results are simulated, and an expert user can also use FUELCON to revise rulesets and improve on his or her heuristics. The successful completion of FUELCON led this research team into undertaking a panoply of sequel projects, of which we provide a meta-architectural comparative formal discussion. In this paper, we demonstrate a novel adaptive technique that learns the optimal allocation heuristic for the various cores. The algorithm is a hybrid of a fine-grained neural network and symbolic computation components. This hybrid architecture is sensitive enough to learn the particular characteristics of the ‘in-core fuel management problem’ at hand, and is powerful enough to use this information fully to automatically revise heuristics, thus improving upon those provided by a human expert.

An investigation of the aspects of occupant behavior required for evacuation modeling

This article examines occupant behavior exhibited during evacuation conditions. This is based on a review of a wide range of published literature concerned with evacuation. Factors influencing evacuation performance can be categorized into four broad areas, namely, configurational, environmental, procedural, and, most importantly, behavioral. The contributory factors associated with each of the four influencing categories are examined in detail and it is suggested that these factors should be represented within evacuation models.

Aspects of midwifery care 2: 'enhanced role' and social aspects

This is the second in a series of six papers presenting key findings from a national study that was undertaken to investigate the role and responsibilities of midwives and to identify and address continuing educational need. The background to the study and the titles of other papers in the series were outlined in the first paper. This paper focuses on two key aspects of the midwife’s role: ‘enhanced role’ activities and social and emotional care. The implications of the findings for practice and education are discussed.

Aspects of midwifery care 3: organisation of midwifery care

This is the third in a series of six papers presenting key findings from a national study that was undertaken to investigate the role and responsibilities of midwives and to identify continuing educational need. The background to the study and the titles of the other papers in the series have been outlined in the first paper. Issues related to the way midwifery care is organized nationally are discussed in this paper. Midwives and supervisors indicated a strong commitment to providing woman-centred care in a caring and sensitive manner, often in the face of enormous structural and organizational change. This paper addresses key issues that arose for midwives and supervisors when planning and providing an optimum quality service.

Aspects of care 4: views of professionals and mothers

This is the fourth in a series of six papers presenting key findings from a national study that was undertaken to investigate the role and responsibilities of midwives and to identify continuing educational need. The background to the study and the titles of the other papers in the series have been outlined in the first paper. This paper focuses on midwives’, supervisors’, doctors’ and mothers’ views regarding quality of care issues, with particular emphasis on what makes a ‘good’ midwife.

Aspects of care 5: the continuing educational needs of midwives

This is the fifth in a series of six papers presenting key findings from a national study that was undertaken to investigate the role and responsibilities of midwives and to identify continuing educational need. The background to the study and the titles of the other papers in the series have been outlined in the first paper. This paper focuses on the methods used to identify the continuing educational needs of midwives, and provides an overview of the findings related to midwives' perceived confidence/competence to practice and their continuing educational needs.

Aspects of care 6: continuing educational needs of midwives 2

This is the last in a series of six papers presenting key findings from a national study that was undertaken to investigate the role and responsibilities of midwives in England and to identify and address continuing educational needs. The background to the study and the titles of other papers in the series have been outlined in the first paper. The first five papers have provided an overview of the main research findings that have been used to determine the continuing educational needs of midwives. This paper provides a more detailed picture of the issues that were identified in relation to educational need, and an overview of the way in which an educational package was developed on the basis of the research findings for use by midwives nationally.

Aspects of the in vitro bioactivity and antimicrobial properties of Ag+- and Zn2+-exchanged 11 Å tobermorites

11 Å tobermorite, Ca5Si6O16(OH)2 · 4H2O, is a layer lattice ion exchange mineral whose potential as a carrier for Ag+ and Zn2+ ions in antimicrobial, bioactive formulations has not yet been explored. In view of this, the in vitro bioactivity of Ag+- and Zn2+-exchanged 11 Å tobermorites and their bactericidal action against S. aureus and P.aeruginosa are reported. The in vitro bioactivity of the synthetic unsubstituted tobermorite phase was confirmed by the formation of bone-like hydroxycarbonate apatite (HCA) on its surface within 48 h of contact with simulated body fluid. The substitution of labile Ag+ ions into the tobermorite lattice delayed the onset of HCA-formation to 72 h; whereas, the Zn2+-substituted phase failed to elicit an HCA-layer within 14 days. Both Ag+- and Zn2+-exchanged tobermorite phases were found to exhibit marked antimicrobial action against S. aureus and P.aeruginosa, two common pathogens in biomaterial-centred infections.

Aspects of the in vitro bioactivity of hydraulic calcium (alumino)silicate cement

In response to a burgeoning interest in the prospective clinical applications of hydraulic calcium (alumino)silicate cements, the in vitro bioactivity and dissolution characteristics of a white Portland cement have been investigated. The formation of an apatite layer within 6 h of contact with simulated body fluid was attributed to the rapid dissolution of calcium hydroxide from the cement matrix and to the abundance of pre-existing Si-OH nucleation sites presented by the calcium silicate hydrate phase. A simple kinetic model has been used to describe the rate of apatite formation and an apparent pseudo-second-order rate constant for the removal of HPO42- ions frorn solultion has been calculated (k(2) = 5.8 x 10(-4) g mg(-1)). Aspects of the chemistry of hydraulic cements are also discussed with respect to their potential use in the remedial treatment of living tissue. (C) 2008 Wiley Periodicals, Inc. J Biomed Mater Res 90A: 166-174, 2009