Towards model round-trip engineering : an abductive approach

Providing support for reversible transformations as a basis for round-trip engineering is a significant challenge in model transformation research. While there are a number of current approaches, they require the underlying transformation to exhibit an injective behaviour when reversing changes. This however, does not serve all practical transformations well. In this paper, we present a novel approach to round-trip engineering that does not place restrictions on the nature of the underlying transformation. Based on abductive logic programming, it allows us to compute a set of legitimate source changes that equate to a given change to the target model. Encouraging results are derived from an initial prototype that supports most concepts of the Tefkat transformation language

Infrared and infrared emission spectroscopy of gallium oxide α-GaO(OH) nanostructures

Infrared spectroscopy has been used to study nano to micro sized gallium oxyhydroxide α-GaO(OH), prepared using a low temperature hydrothermal route. Rod-like α-GaO(OH) crystals with average length of ~2.5 μm and width of 1.5 μm were prepared when the initial molar ratio of Ga to OH was 1:3. β-Ga2O3 nano and micro-rods were prepared through the calcination of α-GaO(OH) The initial morphology of α-GaO(OH) is retained in the β-Ga2O3 nanorods. The combination of infrared and infrared emission spectroscopy complimented with dynamic thermal analysis were used to characterise the α-GaO(OH) nanotubes and the formation of β-Ga2O3 nanorods. Bands at around 2903 and 2836 cm-1 are assigned to the -OH stretching vibration of α-GaO(OH) nanorods. Infrared bands at around 952 and 1026 cm-1 are assigned to the Ga-OH deformation modes of α-GaO(OH). A significant number of bands are observed in the 620 to 725 cm-1 region and are assigned to GaO stretching vibrations.

Test architecture for prototyping automated dynamic airspace control

The automation of various aspects of air traffic management has many wide-reaching benefits including: reducing the workload for Air Traffic Controllers; increasing the flexibility of operations (both civil and military) within the airspace system through facilitating automated dynamic changes to en-route flight plans; ensuring safe aircraft separation for a complex mix of airspace users within a highly complex and dynamic airspace management system architecture. These benefits accumulate to increase the efficiency and flexibility of airspace use(1). Such functions are critical for the anticipated increase in volume of manned and unmanned aircraft traffic. One significant challenge facing the advancement of airspace automation lies in convincing air traffic regulatory authorities that the level of safety achievable through the use of automation concepts is comparable to, or exceeds, the accepted safety performance of the current system.

On-road ultrafine particle concentration in the M5 East road tunnel, Sydney, Australia

The human health effects following exposure to ultrafine (<100nm) particles (UFPs) produced by fuel combustion, while not completely understood, are generally regarded as detrimental. Road tunnels have emerged as locations where maximum exposure to these particles may occur for the vehicle occupants using them. This study aimed to quantify and investigate the determinants of UFP concentrations in the 4km twin-bore (eastbound and westbound) M5 East tunnel in Sydney, Australia. Sampling was undertaken using a condensation particle counter (CPC) mounted in a vehicle traversing both tunnel bores at various times of day from May through July, 2006. Supplementary measurements were conducted in February, 2008. Over three hundred transects of the tunnel were performed, and these were distributed evenly between the bores. Additional comparative measurements were conducted on a mixed route comprising major roads and shorter tunnels, all within Sydney. Individual trip average UFP concentrations in the M5 East tunnel bores ranged from 5.53 × 104 p cm-3 to 5.95 × 106 p cm-3. Data were sorted by hour of capture, and hourly median trip average (HMA) UFP concentrations ranged from 7.81 × 104 p cm-3 to 1.73 × 106 p cm-3. Hourly median UFP concentrations measured on the mixed route were between 3.71 × 104 p cm-3 and 1.55 × 105 p cm-3. Hourly heavy diesel vehicle (HDV) traffic volume was a very good determinant of UFP concentration in the eastbound tunnel bore (R2 = 0.87), but much less so in the westbound bore (R2 = 0.26). In both bores, the volume of passenger vehicles (i.e. unleaded gasoline-powered vehicles) was a significantly poorer determinant of particle concentration. When compared with similar studies reported previously, the measurements described here were among the highest recorded concentrations, which further highlights the contribution road tunnels may make to the overall UFP exposure of vehicle occupants.

Engineering a financial bloodbath: how sub-prime securitization destroyed the legitimacy of financial capitalism

"This book investigates the origins and implications of the securitization crisis, described by the chief executive of ANZ as a "financial services bloodbath". Based on extensive interviews it offers an integrated series of case studies drawn from the United States, the United Kingdom and Australia. A central purpose is to not only chart what went wrong with the investment houses and why the regulatory systems failed, but also provide policy guidance. The book therefore combines the empirical with the normative. In so doing, it provides a route map to navigate one of the most significant financial and regulatory failures in modern times."

A sequencing approach for creating new train timetables

Train scheduling is a complex and time consuming task of vital importance. To schedule trains more accurately and efficiently than permitted by current techniques a novel hybrid job shop approach has been proposed and implemented. Unique characteristics of train scheduling are first incorporated into a disjunctive graph model of train operations. A constructive algorithm that utilises this model is then developed. The constructive algorithm is a general procedure that constructs a schedule using insertion, backtracking and dynamic route selection mechanisms. It provides a significant search capability and is valid for any objective criteria. Simulated Annealing and Local Search meta-heuristic improvement algorithms are also adapted and extended. An important feature of these approaches is a new compound perturbation operator that consists of many unitary moves that allows trains to be shifted feasibly and more easily within the solution. A numerical investigation and case study is provided and demonstrates that high quality solutions are obtainable on real sized applications.

Robot path planning in dynamic environments using a simulated annealing based approach

Mobile robots are widely used in many industrial fields. Research on path planning for mobile robots is one of the most important aspects in mobile robots research. Path planning for a mobile robot is to find a collision-free route, through the robot’s environment with obstacles, from a specified start location to a desired goal destination while satisfying certain optimization criteria. Most of the existing path planning methods, such as the visibility graph, the cell decomposition, and the potential field are designed with the focus on static environments, in which there are only stationary obstacles. However, in practical systems such as Marine Science Research, Robots in Mining Industry, and RoboCup games, robots usually face dynamic environments, in which both moving and stationary obstacles exist. Because of the complexity of the dynamic environments, research on path planning in the environments with dynamic obstacles is limited. Limited numbers of papers have been published in this area in comparison with hundreds of reports on path planning in stationary environments in the open literature. Recently, a genetic algorithm based approach has been introduced to plan the optimal path for a mobile robot in a dynamic environment with moving obstacles. However, with the increase of the number of the obstacles in the environment, and the changes of the moving speed and direction of the robot and obstacles, the size of the problem to be solved increases sharply. Consequently, the performance of the genetic algorithm based approach deteriorates significantly. This motivates the research of this work. This research develops and implements a simulated annealing algorithm based approach to find the optimal path for a mobile robot in a dynamic environment with moving obstacles. The simulated annealing algorithm is an optimization algorithm similar to the genetic algorithm in principle. However, our investigation and simulations have indicated that the simulated annealing algorithm based approach is simpler and easier to implement. Its performance is also shown to be superior to that of the genetic algorithm based approach in both online and offline processing times as well as in obtaining the optimal solution for path planning of the robot in the dynamic environment. The first step of many path planning methods is to search an initial feasible path for the robot. A commonly used method for searching the initial path is to randomly pick up some vertices of the obstacles in the search space. This is time consuming in both static and dynamic path planning, and has an important impact on the efficiency of the dynamic path planning. This research proposes a heuristic method to search the feasible initial path efficiently. Then, the heuristic method is incorporated into the proposed simulated annealing algorithm based approach for dynamic robot path planning. Simulation experiments have shown that with the incorporation of the heuristic method, the developed simulated annealing algorithm based approach requires much shorter processing time to get the optimal solutions in the dynamic path planning problem. Furthermore, the quality of the solution, as characterized by the length of the planned path, is also improved with the incorporated heuristic method in the simulated annealing based approach for both online and offline path planning.

Type Test Elimination using Typeflow Analysis

Programs written in languages of the Oberon family usually contain runtime tests on the dynamic type of variables. In some cases it may be desirable to reduce the number of such tests. Typeflow analysis is a static method of determining bounds on the types that objects may possess at runtime. We show that this analysis is able to reduce the number of tests in certain plausible circumstances. Furthermore, the same analysis is able to detect certain program errors at compile time, which would normally only be detected at program execution. This paper introduces the concepts of typeflow analysis and details its use in the reduction of runtime overhead in Oberon-2.

Evaluating the Java Virtual Machine as a Target for Languages Other Than Java

The portability and runtime safety of programs which are executed on the Java Virtual Machine (JVM) makes the JVM an attractive target for compilers of languages other than Java. Unfortunately, the JVM was designed with language Java in mind, and lacks many of the primitives required for a straighforward implementation of other languages. Here, we discuss how the JVM may be used to implement other object-oriented languages. As a practical example of the possibilities, we report on a comprehensive case study. The open source Gardens Point Component Pascal compiler compiles the entire Component Pascal language, a dialect of Oberon-2, to JVM bytecodes. This compiler achieves runtime efficiencies which are comparable to native-code implementations of procedural languages.

Driving performance in persons with hemianopia and quadrantanopia assessed under in-traffic conditions

Purpose: To evaluate the on-road driving performance of persons with homonymous hemianopia or quadrantanopia in comparison to age-matched controls with normal visual fields. Methods: Participants were 22 hemianopes and eight quadrantanopes (mean age 53 years) and 30 persons with normal visual fields (mean age 52 years) and were either current drivers or aiming to resume driving. All participants completed a battery of tests of vision (ETDRS visual acuity, Pelli-Robson letter contrast sensitivity, Humphrey visual fields), cognitive tests (trials A and B, Mini Mental State Examination, Digit Symbol Substitution) and an on-road driving assessment. Driving performance was assessed in a dual-brake vehicle with safety monitored by a certified driving rehabilitation specialist. Backseat evaluators masked to the clinical characteristics of participants independently rated driving performance along a 22.7 kilometre route involving urban and interstate driving. Results: Seventy-three per cent of the hemianopes, 88 per cent of quadrantanopes and all of the drivers with normal fields received safe driving ratings. Those hemianopic and quadrantanopic drivers rated as unsafe tended to have problems with maintaining appropriate lane position, steering steadiness and gap judgment compared to controls. Unsafe driving was associated with slower visual processing speed and impairments in contrast sensitivity, visual field sensitivity and executive function. Conclusions: Our findings suggest that some drivers with hemianopia or quadrantanopia are capable of safe driving performance, when compared to those of the same age with normal visual fields. This finding has important implications for the assessment of fitness to drive in this population.

Head and eye movements and lane keeping in drivers with hemianopia and quadrantanopia compared to controls

Purpose: To compare the eye and head movements and lane-keeping of drivers with hemianopia and quadrantanopia with that of age-matched controls when driving under real world conditions. Methods: Participants included 22 hemianopes and 8 quadrantanopes (M age 53 yrs) and 30 persons with normal visual fields (M age 52 yrs) who were ≥ 6 months from the brain injury date and either a current driver or aiming to resume driving. All participants drove an instrumented dual-brake vehicle along a 14-mile route in traffic that included non-interstate city driving and interstate driving. Driving performance was scored using a standardised assessment system by two “backseat” raters and the Vigil Vanguard system which provides objective measures of speed, braking and acceleration, cornering, and video-based footage from which eye and head movements and lane-keeping can be derived. Results: As compared to drivers with normal visual fields, drivers with hemianopia or quadrantanopia on average were significantly more likely to drive slower, to exhibit less excessive cornering forces or acceleration, and to execute more shoulder movements off the seat. Those hemianopic and quadrantanopic drivers rated as safe to drive by the backseat evaluator made significantly more excursive eye movements, exhibited more stable lane positioning, less sudden braking events and drove at higher speeds than those rated as unsafe, while there was no difference between safe and unsafe drivers in head movements. Conclusions: Persons with hemianopic and quadrantanopic field defects rated as safe to drive have different driving characteristics compared to those rated as unsafe when assessed using objective measures of driving performance.

Thermogravimetric analysis and hot stage Raman spectroscopy of cubic indium hydroxide

The transition of cubic indium hydroxide to cubic indium oxide has been studied by thermogravimetric analysis complimented with hot stage Raman spectroscopy. Thermal analysis shows the transition of In(OH)3 to In2O3 occurs at 219°C. The structure and morphology of In(OH)3 synthesised using a soft chemical route at low temperatures was confirmed by X-ray diffraction and scanning electron microscopy. A topotactical relationship exists between the micro/nano-cubes of In(OH)3 and In2O3. The Raman spectrum of In(OH)3 is characterised by an intense sharp band at 309 cm-1 attributed to ν1 In-O symmetric stretching mode, bands at 1137 and 1155 cm-1 attributed to In-OH δ deformation modes, bands at 3083, 3215, 3123 and 3262 cm-1 assigned to the OH stretching vibrations. Upon thermal treatment of In(OH)3 new Raman bands are observed at 125, 295, 488 and 615 cm-1 attributed to In2O3. Changes in the structure of In(OH)3 with thermal treatment is readily followed by hot stage Raman spectroscopy.

Adaptation of Sudanese refugees in an Australian context : investigating helps and hindrances

The present study investigates the experiences of Sudanese refugees by exploring the themes that characterise participants’ experiences in Sudan, en route, and at their Australian destination. In particular, the research identifies several factors that may be seen as ‘helps’ or ‘hindrances’ to Sudanese refugees’ adaptation. Participants were 12 Sudanese refugees aged between 19 and 40 years who had been residing in Australia for five years or less. A qualitative phenomenological approach to data collection and analysis was employed. Examination of the interview transcripts revealed that all participants identified both ‘hindrances’ and ‘helps’ toward adaptation and indicated that positive adaptation is not only possible, but probable for Sudanese refugees in spite of their past experiences of trauma and present resettlement difficulties. Several practical implications were elicited from the research including a need for programs that actively promote refugees’ adaptation by encouraging the broadening of social networks.

Driver behaviour and decision making at railway level crossings : An exploratory on-road case study

Crashes at rail level crossings represent a significant problem, both in Australia and worldwide. Advances in driving assessment methods, such as the provision of on-road instrumented test vehicles, now provide researchers with the opportunity to further understand driver behaviour at rail level crossings in ways not previously possible. This paper gives an overview of a recent on-road pilot study of driver behaviour at rail level crossings in which 25 participants drove a pre-determined route, incorporating 4 rail level crossings, using MUARC's instrumented On-Road Test Vehicle (ORTeV). Drivers provided verbal commentary whilst driving the route, and a range of other data were collected, including eye fixations, forward, cockpit and driver video, and vehicle data (speed, braking, steering wheel angle, lane tracking etc). Participants also completed a post trial cognitive task analysis interview. Extracts from the wider analyses are used to examine in depth driver behaviour at one of the rail level crossings encountered during the study. The analysis presented, along with the overall analysis undertaken, gives insight into the driver and wider systems factors that shape behaviour at rail level crossings, and highlights the utility of using a multi-method, instrumented vehicle approach for gathering data regarding driver behaviour in different contexts.