Integration of Metamorphic Testing and Model Checking. This project proposes an innovative approach of integrating metamorphic testing and model checking. Its main outcome will be to deliver a comprehensive testing method that will help to reduce errors and costs in software development and consequently to improve the quality of software systems. Since software is pervasive and ubiquitous, our results will improve the nation's software productivity and quality. Thus, our results will help in ra ....Integration of Metamorphic Testing and Model Checking. This project proposes an innovative approach of integrating metamorphic testing and model checking. Its main outcome will be to deliver a comprehensive testing method that will help to reduce errors and costs in software development and consequently to improve the quality of software systems. Since software is pervasive and ubiquitous, our results will improve the nation's software productivity and quality. Thus, our results will help in raising our nation's competitive advantage towards the goal of becoming a leading nation in the software industry among Asia-Pacific countries. Furthermore, this collaboration will help young Australian researchers to link to the Chinese Academy of Sciences, a leading-edge international research institute.Read moreRead less
The First Objects in the Universe. We seek to unravel the mystery behind the emergence of the first objects in the Universe from what are romantically termed the "Dark Ages" - this brief (500 million year) phase marks the transition from a smooth to a clumpy Universe and is the target for billion-dollar technologies such as the Square Kilometer Array and the James Webb Space Telescope. We are establishing linkages between the groups responsible for the most powerful hydrodynamics codes applicab ....The First Objects in the Universe. We seek to unravel the mystery behind the emergence of the first objects in the Universe from what are romantically termed the "Dark Ages" - this brief (500 million year) phase marks the transition from a smooth to a clumpy Universe and is the target for billion-dollar technologies such as the Square Kilometer Array and the James Webb Space Telescope. We are establishing linkages between the groups responsible for the most powerful hydrodynamics codes applicable to simulating the dark ages, in order to implement a new paradigm for star formation and energy feedback which will aid in the interpretation of data from this next generation of major facilities.Read moreRead less
Smart Location Sensors for Emergency Responders. 1. It underpins the 2006 e-Government strategy with regards to spatially enabling Australian Government. This research will generate outputs to support this strategy. 2. It contributes to Australian national strategies for emergency management with regards to 'assuring the safety of emergency responders'. 3. It addresses fundamental constraints of positioning systems like GPS and provides the theoretical and practical models to take GPS into 'hars ....Smart Location Sensors for Emergency Responders. 1. It underpins the 2006 e-Government strategy with regards to spatially enabling Australian Government. This research will generate outputs to support this strategy. 2. It contributes to Australian national strategies for emergency management with regards to 'assuring the safety of emergency responders'. 3. It addresses fundamental constraints of positioning systems like GPS and provides the theoretical and practical models to take GPS into 'harsher' environments. The outcomes will expand the uses of GPS and facilitate growth across many Australian industries. 4. It will enhance the expertise and international profile of Australian researchers by offering an innovative solution to an internationally significant problem.Read moreRead less
Experimental and Numerical Modelling of Gas-Liquid Flows. Multiphase flow systems are encountered in many process industries such as chemical, petroleum, mining, energy, food and pharmaceutical, which are fundamental to the Australian economy. Commercially available computer codes for simulating such systems are currently widely used in many Australian industrial sectors. This research project will address the prevalent deficiency in many of these computer codes and develop new models capable of ....Experimental and Numerical Modelling of Gas-Liquid Flows. Multiphase flow systems are encountered in many process industries such as chemical, petroleum, mining, energy, food and pharmaceutical, which are fundamental to the Australian economy. Commercially available computer codes for simulating such systems are currently widely used in many Australian industrial sectors. This research project will address the prevalent deficiency in many of these computer codes and develop new models capable of predicting a wide range of industrial bubbly flow problems. The resultant improved computer codes will provide industries with significant benefits - especially reduced times and costs in their design and production.Read moreRead less
Digital Imagery for Building 3D City Models. The project will investigate the application of digital photogrammetric imagery, and primarily high-resolution satellite imagery for the creation of visually realistic 3D city models. Virtual reality computer models of urban scenes find application in urban planning, facilities management, engineering and even virtual tourism. Building upon recently initiated collaborative research, the project aims to develop improved methods and procedures for autom ....Digital Imagery for Building 3D City Models. The project will investigate the application of digital photogrammetric imagery, and primarily high-resolution satellite imagery for the creation of visually realistic 3D city models. Virtual reality computer models of urban scenes find application in urban planning, facilities management, engineering and even virtual tourism. Building upon recently initiated collaborative research, the project aims to develop improved methods and procedures for automated, image-based object reconstruction to support the generation of metrically accurate 3D computer models of buildings and the built environment.Read moreRead less
Quantum correlations in ultra-cold Fermi gases. The field of ultra-cold Fermi gases provides a unique opportunity to develop and test theoretical methods for novel experimental environments of exceptional purity and simplicity. This improved understanding will have potential applications in many fields, ranging from the astrophysics of neutron stars to condensed matter systems such as superconductors or nanostructures. Just as importantly, the project will develop linkages with world leading the ....Quantum correlations in ultra-cold Fermi gases. The field of ultra-cold Fermi gases provides a unique opportunity to develop and test theoretical methods for novel experimental environments of exceptional purity and simplicity. This improved understanding will have potential applications in many fields, ranging from the astrophysics of neutron stars to condensed matter systems such as superconductors or nanostructures. Just as importantly, the project will develop linkages with world leading theoretical groups, which will greatly aid research student education. There are direct applications to experiments on molecule formation with ultra-cold fermions in the ARC Centre of Excellence for Quantum-Atom Optics.Read moreRead less
Design of Welded Steel Tubular Connections. Steel tubes are widely used in building, road transportation, defence, recreation, and agriculture industries. The proposed program will develop static design procedures for welded tubular connections to ensure safe and economic structures. The program will also investigate the behaviour of a popular tubular connection utilizing very high strength steel tubes to extend the existing design scope and enhance the utilization of Australian produced innovat ....Design of Welded Steel Tubular Connections. Steel tubes are widely used in building, road transportation, defence, recreation, and agriculture industries. The proposed program will develop static design procedures for welded tubular connections to ensure safe and economic structures. The program will also investigate the behaviour of a popular tubular connection utilizing very high strength steel tubes to extend the existing design scope and enhance the utilization of Australian produced innovative tubular sections. The notch toughness of steel tubes will also be investigated to avoid fracture failure of welded connections under dynamic loading. The program will build strong ongoing collaboration between University of Toronto and Monash University.Read moreRead less
Development of Knowledge Discovery for High Dimensional Biomedical Data. The recent progress in experimental techniques of molecular genetics has made available a wealth of genome data and raised the interest for analysis of DNA sequences. As the human and mouse genome projects are in a phase of systematic sequencing, computational tools based on concepts used in science fields have recently played a prominent role. Significant contributions to this project will increasingly depend upon original ....Development of Knowledge Discovery for High Dimensional Biomedical Data. The recent progress in experimental techniques of molecular genetics has made available a wealth of genome data and raised the interest for analysis of DNA sequences. As the human and mouse genome projects are in a phase of systematic sequencing, computational tools based on concepts used in science fields have recently played a prominent role. Significant contributions to this project will increasingly depend upon original application and development of algorithms for the analysis of genomic data, and of the computational systems that support them. These challenges have fostered major progress in computer science, leading to collaborative research of global significance.Read moreRead less
Production of a compact disk summarising the evolution and impact of Boger fluids. In 1977 the discovery of a unique class of materials, now called Boger fluids, was reported in the Journal of Non-Newtonian Fluid Mechanics. These materials have had a huge impact in the development of non-Newtonian fluid mechanics, to the extent that the Institute of Non-Newtonian Fluid Mechanics in the UK have offered to make a cd documenting the impact of these materials. Funding is requested to support, in p ....Production of a compact disk summarising the evolution and impact of Boger fluids. In 1977 the discovery of a unique class of materials, now called Boger fluids, was reported in the Journal of Non-Newtonian Fluid Mechanics. These materials have had a huge impact in the development of non-Newtonian fluid mechanics, to the extent that the Institute of Non-Newtonian Fluid Mechanics in the UK have offered to make a cd documenting the impact of these materials. Funding is requested to support, in part, the documentation of this important discovery.Read moreRead less
Control of Transitions in Wakes and Swirling Flows. We will attack industrially-important problems in fluid mechanics by building new, and substantially enhancing existing, international collaborations between key complementary teams of internationally-recognised French and Australian researchers. Funding will support the exchange of 6 senior staff and 3 graduate students, which, in turn, will measurably benefit the research output of a further 20 graduate students and 7 post-doctoral fellows as ....Control of Transitions in Wakes and Swirling Flows. We will attack industrially-important problems in fluid mechanics by building new, and substantially enhancing existing, international collaborations between key complementary teams of internationally-recognised French and Australian researchers. Funding will support the exchange of 6 senior staff and 3 graduate students, which, in turn, will measurably benefit the research output of a further 20 graduate students and 7 post-doctoral fellows associated with closely-related projects. From the Australian perspective, the planned exchanges will bring new research expertise, knowledge and skills, which will be focussed on a diverse range of applications. Target industries (with existing collaborations) include Airbus and Dassault Aviation in Europe, and Aerosonde and Warman pumps in Australia. Read moreRead less