Proceedings Ninth Asia-Pacific Software Engineering Conference. ASPEC 2002

The following topics are dealt with: Requirements engineering; components; design; formal specification analysis; education; model checking; human computer interaction; software design and architecture; formal methods and components; software maintenance; software process; formal methods and design; server-based applications; review and testing; measurement; documentation; management and knowledge-based approaches.

Formalising behaviour trees with CSP

Behaviour Trees is a novel approach for requirements engineering. It advocates a graphical tree notation that is easy to use and to understand. Individual requirements axe modelled as single trees which later on are integrated into a model of the system as a whole. We develop a formal semantics for a subset of Behaviour Trees using CSP. This work, on one hand, provides tool support for Behaviour Trees. On the other hand, it builds a front-end to a subset of the CSP notation and gives CSP users a new modelling strategy which is well suited to the challenges of requirements engineering.

International evaluation of current and future requirements for environmental engineering education

The field of environmental engineering is developing as a result of changing environmental requirements. In response, environmental engineering education (E3) needs to ensure that it provides students with the necessary tools to address these challenges. In this paper the current status and future development of E3 is evaluated based on a questionnaire sent to universities and potential employers of E3 graduates. With increasing demands on environmental quality, the complexity of environmental engineering problems to be solved can be expected to increase. To find solutions environmental engineers will need to work in interdisciplinary teams. Based on the questionnaire there was a broad agreement that the best way to prepare students for these future challenges is to provide them with a fundamental education in basic sciences and related engineering fields. Many exciting developments in the environmental engineering profession will be located at the interface between engineering, science, and society. Aspects of all three areas need to be included in E3 and the student needs to be exposed to the tensions associated with linking the three.

Specification matching of object-oriented components

Object-orientation supports software reuse via features such as abstraction, information hiding, polymorphism, inheritance and redefinition. However, while libraries of classes do exist, one of the challenges that still remains is to locate suitable classes and adapt them to meet the specific requirements of the software developer. Traditional approaches to library retrieval are text-based; it is therefore difficult for the developer to express their requirements in a precise and unambiguous manner. A more promising approach is specification-based retrieval, where library component interfaces and requirements are expressed using a formal specification language. In this case retrieval is based on matching formal specifications. In this paper we describe how existing approaches to specification matching can be extended to handle object-oriented components.

Hybrid knowledge representation in a blackboard KBS for liquid retaining structure design

This paper highlights the importance of design expertise, for designing liquid retaining structures, including subjective judgments and professional experience. Design of liquid retaining structures has special features different from the others. Being more vulnerable to corrosion problem, they have stringent requirements against serviceability limit state of crack. It is the premise of the study to transferring expert knowledge in a computerized blackboard system. Hybrid knowledge representation schemes, including production rules, object-oriented programming, and procedural methods, are employed to express engineering heuristics and standard design knowledge during the development of the knowledge-based system (KBS) for design of liquid retaining structures. This approach renders it possible to take advantages of the characteristics of each method. The system can provide the user with advice on preliminary design, loading specification, optimized configuration selection and detailed design analysis of liquid retaining structure. It would be beneficial to the field of retaining structure design by focusing on the acquisition and organization of expert knowledge through the development of recent artificial intelligence technology. (C) 2003 Elsevier Ltd. All rights reserved.

Diagnostic goal driven modelling and simulation of multiscale process systems

A systematic goal-driven top-down modelling methodology is proposed that is capable of developing a multiscale model of a process system for given diagnostic purposes. The diagnostic goal-set and the symptoms are extracted from HAZOP analysis results, where the possible actions to be performed in a fault situation are also described. The multiscale dynamic model is realized in the form of a hierarchical coloured Petri net by using a novel substitution place-transition pair. Multiscale simulation that focuses automatically on the fault areas is used to predict the effect of the proposed preventive actions. The notions and procedures are illustrated on some simple case studies including a heat exchanger network and a more complex wet granulation process.

A knowledge-based system for liquid retaining structure design with blackboard architecture

Owing to the high degree of vulnerability of liquid retaining structures to corrosion problems, there are stringent requirements in its design against cracking. In this paper, a prototype knowledge-based system is developed and implemented for the design of liquid retaining structures based on the blackboard architecture. A commercially available expert system shell VISUAL RULE STUDIO working as an ActiveX Designer under the VISUAL BASIC programming environment is employed. Hybrid knowledge representation approach with production rules and procedural methods under object-oriented programming are used to represent the engineering heuristics and design knowledge of this domain. It is demonstrated that the blackboard architecture is capable of integrating different knowledge together in an effective manner. The system is tailored to give advice to users regarding preliminary design, loading specification and optimized configuration selection of this type of structure. An example of application is given to illustrate the capabilities of the prototype system in transferring knowledge on liquid retaining structure to novice engineers. (C) 2004 Elsevier Ltd. All rights reserved.

Making media work in space: An interdisciplinary perspective on media and communication requirements for current and future space communities

As humans expand into space communities will form. These have already begun to form in small ways, such as long-duration missions on the International Space Station and the space shuttle, and small-scale tourist excursions into space. Social, behavioural and communications data emerging from such existing communities in space suggest that the physically-bounded, work-oriented and traditionally male-dominated nature of these extremely remote groups present specific problems for the resident astronauts, groups of them viewed as ‘communities’, and their associated groups who remain on Earth, including mission controllers, management and astronauts’ families. Notionally feminine group attributes such as adaptive competence, social adaptation skills and social sensitivity will be crucial to the viability of space communities and in the absence of gender equity, ‘staying in touch’ by means of ‘news from home’ becomes more important than ever. A template of news and media forms and technologies is suggested to service those needs and enhance the social viability of future terraforming activities.

An object-oriented designed finite-difference time-domain simulator for electromagnetic analysis and design in MRI - application to high field analyses

This paper presents a finite-difference time-domain (FDTD) simulator for electromagnetic analysis and design applications in MRI. It is intended to be a complete FDTD model of an MRI system including all RF and low-frequency field generating units and electrical models of the patient. The pro-ram has been constructed in an object-oriented framework. The design procedure is detailed and the numerical solver has been verified against analytical solutions for simple cases and also applied to various field calculation problems. In particular, the simulator is demonstrated for inverse RF coil design, optimized source profile generation, and parallel imaging in high-frequency situations. The examples show new developments enabled by the simulator and demonstrate that the proposed FDTD framework can be used to analyze large-scale computational electromagnetic problems in modern MRI engineering. (C) 2004 Elsevier Inc. All rights reserved.

General self-concept and life satisfaction for boys with differing levels of physical coordination: The role of goal orientations and leisure participation

Participation in leisure-time activities, self-concept perceptions and individual dispositional goal orientations were examined as mediators of relationships between physical coordination and self-evaluations of life satisfaction and general self-concept for 173 boys aged 10-13 years. Participants completed seven-day activity diaries and 12-month retrospective recall questionnaires recording participation in leisure-time activities. Self-report measures of self-concept, global life satisfaction and dispositional goal orientations were also completed. Results showed that boys with moderate to severe physical coordination difficulties had significantly lower self-concept perceptions of physical ability and appearance, peer and parent relations and general self-concept, as well as lower life satisfaction than boys with medium to high levels of physical coordination. The relationships between boys' physical coordination and their self-perceptions of life satisfaction and general self-concept were significantly influenced by individual self-concept appraisals of physical ability and appearance, peer and parent relations. Adopting task-oriented goals was found to positively change the relationship between physical coordination and both general self-concept and life satisfaction. Team sport participation positively mediated the relationship between physical coordination and life satisfaction. The potential for team sport participation and adoption of task-oriented goals to influence life satisfaction for boys with differing levels of physical coordination was discussed. (c) 2006 Elsevier B.V.. All rights reserved.

The regulatory challenges in engineering a safer tipple

David Nutt asks two very important questions. Can we make alcohol safer? Can we use pharmacology and neuroscience to engineer a safer alternative to alcohol? The answer to the first question is clearly ‘yes’. We can make alcohol safer by encouraging drinkers to consume less alcohol per occasion. That goal can be accomplished by imposing lower taxes on lower alcohol beverages or a volumetric tax on alcoholic beverages (Babor et al., 2003).

Transmission planning in a deregulated environment

The worldwide trend for the deregulation of the electricity generation and transmission industries has led to dramatic changes in system operation and planning procedures. The optimum approach to transmission-expansion planning in a deregulated environment is an open problem especially when the responsibilities of the organisations carrying out the planning work need to be addressed. To date there is a consensus that the system operator and network manager perform the expansion planning work in a centralised way. However, with an increasing input from the electricity market, the objectives, constraints and approaches toward transmission planning should be carefully designed to ensure system reliability as well as meeting the market requirements. A market-oriented approach for transmission planning in a deregulated environment is proposed. Case studies using the IEEE 14-bus system and the Australian national electricity market grid are performed. In addition, the proposed method is compared with a traditional planning method to further verify its effectiveness.

Engineering of needle-free physical methods to target epidermal cells for DNA vaccination

A challenge in epidermal DNA vaccination is the efficient and targeted delivery of polynucleotides to immunologically sensitive Langerhans cells. This paper investigates this particular challenge for physical delivery approaches. The skin immunology and material properties are examined in the context of the physical cell targeting requirements of the viable epidermis. Selected current physical cell targeting technologies engineered to meet these needs are examined: needle and syringe; diffusion patches; liquid jet injectors; microneedle arrays/patches; and biolistic particle injection. The operating methods and relative performance of these approaches are discussed, with a comment on potential future developments and technologies. (c) 2005 Elsevier Ltd. All rights reserved.

Eliminating non-renewable CO2 emissions from sewage treatment: An anaerobic migrating bed reactor pilot plant study

The aim of this work was to demonstrate at pilot scale a high level of energy recovery from sewage utilising a primary Anaerobic Migrating Bed Reactor (AMBR) operating at ambient temperature to convert COD to methane. The focus is the reduction in non-renewable CO2 emissions resulting from reduced energy requirements for sewage treatment. A pilot AMBR was operated on screened sewage over the period June 2003 to September 2004. The study was divided into two experimental phases. In Phase 1 the process operated at a feed rate of 10 L/h (HRT 50 h), SRT 63 days, average temperature 28 degrees C and mixing time fraction 0.05. In Phase 2 the operating parameters were 20 L/h, 26 days, 16 degrees C and 0.025. Methane production was 66% of total sewage COD in Phase 1 and 23% in Phase 2. Gas mixing of the reactor provided micro-aeration which suppressed sulphide production. Intermittent gas mixing at a useful power input of 6 W/m(3) provided satisfactory process performance in both phases. Energy consumption for mixing was about 1.5% of the energy conversion to methane in both operating phases. Comparative analysis with previously published data confirmed that methane supersaturation resulted in significant losses of methane in the effluent of anaerobic treatment systems. No cases have been reported where methane was considered to be supersaturated in the effluent. We have shown that methane supersaturation is likely to be significant and that methane losses in the effluent are likely to have been greater than previously predicted. Dissolved methane concentrations were measured at up to 2.2 times the saturation concentration relative to the mixing gas composition. However, this study has also demonstrated that despite methane supersaturation occurring, microaeration can result in significantly lower losses of methane in the effluent (< 11% in this study), and has demonstrated that anaerobic sewage treatment can genuinely provide energy recovery. The goal of demonstrating a high level of energy recovery in an ambient anaerobic bioreactor was achieved. An AMBR operating at ambient temperature can achieve up to 70% conversion of sewage COD to methane, depending on SRT and temperature. (c) 2006 Wiley Periodicals, Inc.