Verified Emulation of Legacy Mission Computer Systems. Processor obsolescence is a serious maintenance problem for long-lived computer control systems in military aircraft and other critical applications. A promising solution is to interpose an emulator program between the original "legacy" software and a replacement processor. Unfortunately, no techniques exist for accurately verifying that this procedure preserves the original system's functional and timing behaviour. A particular challenge ....Verified Emulation of Legacy Mission Computer Systems. Processor obsolescence is a serious maintenance problem for long-lived computer control systems in military aircraft and other critical applications. A promising solution is to interpose an emulator program between the original "legacy" software and a replacement processor. Unfortunately, no techniques exist for accurately verifying that this procedure preserves the original system's functional and timing behaviour. A particular challenge is that processor emulations involve both legacy code and new subroutines, written in different programming languages. This project will enable verification of safety and mission-critical emulated systems by devising a multilingual modelling and reasoning formalism, based on program refinement theory.Read moreRead less
Novel approaches to strongly correlated quantum systems in two dimensions. The expected outcome of the research program is a significant boost in our understanding of strongly correlated quantum systems, which will reinforce Australia's competitiveness and international profile in aspects of breakthrough science and frontier technologies. By strengthening both the underpinning theory and innovative computational tools to study quantum many-body systems, and by applying them to specific problems ....Novel approaches to strongly correlated quantum systems in two dimensions. The expected outcome of the research program is a significant boost in our understanding of strongly correlated quantum systems, which will reinforce Australia's competitiveness and international profile in aspects of breakthrough science and frontier technologies. By strengthening both the underpinning theory and innovative computational tools to study quantum many-body systems, and by applying them to specific problems of recognized importance, this program will have direct implications in condensed matter physics and will exert significant influence in areas such as quantum chemistry, high energy physics, quantum computing, quantum atom optics and nanotechnology.Read moreRead less
Exposure dating with manganese-53, neon-21 and beryllium-10: a new toolkit for studying long-term landscape evolution. Australia today is the driest inhabited continent but this was not always the case. Tens of millions of years ago the climate of Australia was considerably wetter. Then, several million years ago, aridity in Australia developed producing most of the desert features of the red Centre that we see today. The age of our deserts and other arid features are not, however, well known. T ....Exposure dating with manganese-53, neon-21 and beryllium-10: a new toolkit for studying long-term landscape evolution. Australia today is the driest inhabited continent but this was not always the case. Tens of millions of years ago the climate of Australia was considerably wetter. Then, several million years ago, aridity in Australia developed producing most of the desert features of the red Centre that we see today. The age of our deserts and other arid features are not, however, well known. This project will determine the age of desertification in Australia, thereby enhancing our understanding of such processes and the response of our landscape to changing climate.
Read moreRead less
Situated Design Computing: A New Paradigm to Support Design Using Situated Reasoning. A country like Australia with its twin disadvantages of distance from its large markets and small population as its own market has to found its goals in its wealth production on its ability to compete at the high value-adding loci of the economy. Design is a precursor to superior products and is one of the nation's high value-adding wealth generating activities. This project aims to lay the foundations for a ....Situated Design Computing: A New Paradigm to Support Design Using Situated Reasoning. A country like Australia with its twin disadvantages of distance from its large markets and small population as its own market has to found its goals in its wealth production on its ability to compete at the high value-adding loci of the economy. Design is a precursor to superior products and is one of the nation's high value-adding wealth generating activities. This project aims to lay the foundations for a new class of design support tools that have the capacity to be used at a variety of stages in the design process including those stages where major decisions are being taken. This will have the potential to improve the efficacy and the efficiency of Australian design and hence make it more globally competitive.Read moreRead less
Development of direct-write focussed electron beam processing techniques for nano-fabrication applications. The burgeoning disciplines of nanotechnology and biotechnology have the potential to deliver breakthroughs in science and engineering that will revolutionise many aspects of everyday life. Progress in these emerging fields, however, requires parallel advances in the techniques used to fabricate, manipulate and characterise materials and devices at the nanoscale. This project will provide s ....Development of direct-write focussed electron beam processing techniques for nano-fabrication applications. The burgeoning disciplines of nanotechnology and biotechnology have the potential to deliver breakthroughs in science and engineering that will revolutionise many aspects of everyday life. Progress in these emerging fields, however, requires parallel advances in the techniques used to fabricate, manipulate and characterise materials and devices at the nanoscale. This project will provide such enabling tools and fill a major gap in the research infrastructure urgently required by these exciting new technologies.Read moreRead less
Complexity Measures Of Design Spaces As Basis For Mass Customisation Of Novel Designs. This project aims to develop, implement and test a means to determine the potential of any arbitrary design generator to produce a diversity of designs and to utilise that means to control the mass customisation of novel designs. Globalisation of markets has produced the need to be able to mass customise designs that are not simple variants of existing designs. Any improvement in Australia's capacity to provid ....Complexity Measures Of Design Spaces As Basis For Mass Customisation Of Novel Designs. This project aims to develop, implement and test a means to determine the potential of any arbitrary design generator to produce a diversity of designs and to utilise that means to control the mass customisation of novel designs. Globalisation of markets has produced the need to be able to mass customise designs that are not simple variants of existing designs. Any improvement in Australia's capacity to provide this service will improve both its internal efficiency and increase its competitiveness in the increasing international marketplace for designing through the production of the basis for a new class of designing tools.Read moreRead less
Scaling-up microstructured fibres for terahertz radiation. Terahertz radiation is the last region of the electromagnetic spectrum to be fully utilised. Many applications have been identified but their practicality has been limited by a lack of low-loss flexible waveguides. The waveguides to be developed in this project will build on Australia's existing international lead and investments in photonics as well as extend the dynamic field of microstructured optical fibres, indentified as the 'futur ....Scaling-up microstructured fibres for terahertz radiation. Terahertz radiation is the last region of the electromagnetic spectrum to be fully utilised. Many applications have been identified but their practicality has been limited by a lack of low-loss flexible waveguides. The waveguides to be developed in this project will build on Australia's existing international lead and investments in photonics as well as extend the dynamic field of microstructured optical fibres, indentified as the 'future' of optical fibres. Low-loss flexible waveguides will enable imaging and spectroscopy applications that can reveal and object's internal structure and composition. This will have immediate applications in security, quality control, medical imaging and other safety or industrial applications.Read moreRead less
Nanoparticle fluorescent labels as a platform for high throughput data gathering. Recent developments in genomics require gathering of vast amounts of information in a rapid and cost-effective fashion. To this aim we will develop a new fluorescent labelling technology with adequate throughput and high level of multiplexing. We will exploit recent advances in nanoparticle science combined with our own discoveries concerning rare earth ions as fluorescence activators. Our approach promises a combi ....Nanoparticle fluorescent labels as a platform for high throughput data gathering. Recent developments in genomics require gathering of vast amounts of information in a rapid and cost-effective fashion. To this aim we will develop a new fluorescent labelling technology with adequate throughput and high level of multiplexing. We will exploit recent advances in nanoparticle science combined with our own discoveries concerning rare earth ions as fluorescence activators. Our approach promises a combination of great technological simplicity, low fabrication costs, cutting edge performance and gives an additional time-resolved modality. Our fluorescent labels will be field-tested to search for yet unknown microorganisms.Read moreRead less
Curious Places: Agent-Mediated Self-Aware Worlds. This project develops and demonstrates a model of curious places: physical and digital environments that adapt their behaviour based on their experiences. This means that we can implement new kinds of places, rooms, public spaces, that respond to human activity and new technology by creating their own goals and behaviours. This is a benefit to Australia by expanding its capability in home automation and leading developments in novel human-comput ....Curious Places: Agent-Mediated Self-Aware Worlds. This project develops and demonstrates a model of curious places: physical and digital environments that adapt their behaviour based on their experiences. This means that we can implement new kinds of places, rooms, public spaces, that respond to human activity and new technology by creating their own goals and behaviours. This is a benefit to Australia by expanding its capability in home automation and leading developments in novel human-computer interfaces. This benefit can provide economic gain to Australia through the development of frontier technologies.Read moreRead less
Structure of Exotic Neutron-Rich Nuclei Populated Using Novel Reaction Mechanisms. Over half of the nuclei believed to be stable to particle decay have not been studied due to the lack of available nuclear reactions. We have played a leading role in developing innovative techniques using incomplete-fusion and deep-inelastic reactions to access neutron-rich nuclei that were inaccessible prior to this work. This project aims to study new phenomena in exotic, neutron-rich nuclei, building on Aust ....Structure of Exotic Neutron-Rich Nuclei Populated Using Novel Reaction Mechanisms. Over half of the nuclei believed to be stable to particle decay have not been studied due to the lack of available nuclear reactions. We have played a leading role in developing innovative techniques using incomplete-fusion and deep-inelastic reactions to access neutron-rich nuclei that were inaccessible prior to this work. This project aims to study new phenomena in exotic, neutron-rich nuclei, building on Australia's existing investment in this area, and, through international scientific leadership, facilitating the access of Australian researchers to highly competitive overseas facilities.Read moreRead less