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
Quantum Information and Entanglement: a new framework for Science and Technology with quantum many-body systems. The expected outcome of the research program is a significant boost in the understanding of quantum many-body systems, which will reinforce Australia's competitiveness and international profile in aspects of breakthrough science and frontier technologies. By developing both the underpinning theory and innovative computational tools, and by applying them to problems of recognised impor ....Quantum Information and Entanglement: a new framework for Science and Technology with quantum many-body systems. The expected outcome of the research program is a significant boost in the understanding of quantum many-body systems, which will reinforce Australia's competitiveness and international profile in aspects of breakthrough science and frontier technologies. By developing both the underpinning theory and innovative computational tools, and by applying them to problems of recognised importance, this program will have direct implications in areas of condensed matter physics, quantum statistical mechanics, particle physics, complex systems, quantum information science and technology, quantum computation, engineered quantum systems and nanotechnology. 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
The Characterisation of Fires in Tunnels. A series of 22 fires ranging from 2 megawatt up to 20 megawatt intensity will be set under controlled conditions in unused tunnel facilities, in New South Wales. Instrumentation in the tunnel, donated by the State Rail Authority of New South Wales, will monitor the movement of particulates (smoke). This information is vital to tunnel design, and for passenger life safety. This information will be applicable to all tunnels worldwide.
Development of a Compartment Fire Behaviour Training (CFBT) Database. In recent years, incidents of fire flashover have caused considerable destruction to property and the loss of life. Fire prediction and understanding is an area of significance to both the Australian public and the firefighting profession. The NSW Fire Brigade has recently introduced Compartment Fire Behaviour Training (CFBT). To extend this scheme, a database of configurations will be developed using computational modelling, ....Development of a Compartment Fire Behaviour Training (CFBT) Database. In recent years, incidents of fire flashover have caused considerable destruction to property and the loss of life. Fire prediction and understanding is an area of significance to both the Australian public and the firefighting profession. The NSW Fire Brigade has recently introduced Compartment Fire Behaviour Training (CFBT). To extend this scheme, a database of configurations will be developed using computational modelling, allowing firefighters the ability to experience virtually different situations. Detailed experimental studies will be conducted to validate the numerical model. This database will have use and significance beyond Australia and successful implementation promises reductions in the loss of life and property.Read moreRead less
Experimental and numerical study of sprinklers for improved fire safety. Fire sprinklers are a common method for extinguishing fires. Current lack of detailed knowledge about sprinklers can lead to conservative design and excessive cost, often limiting the installation of these proven life-saving devices. This project sees the involvement of Arup Pty Ltd and the NSW Fire Brigade in examining the behaviour of sprinklers using a custom-designed test-rig, laser based measurement and a numerical mod ....Experimental and numerical study of sprinklers for improved fire safety. Fire sprinklers are a common method for extinguishing fires. Current lack of detailed knowledge about sprinklers can lead to conservative design and excessive cost, often limiting the installation of these proven life-saving devices. This project sees the involvement of Arup Pty Ltd and the NSW Fire Brigade in examining the behaviour of sprinklers using a custom-designed test-rig, laser based measurement and a numerical model. This will result in improved confidence in sprinkler specification and installation and the project will have use and significance beyond Australia. Successful implementation promises reductions in the loss of life and property as well as financial savings.Read moreRead less
Foundation remediation using resin injection. The aim of this research project is to explore the application of injected expanded polyurethane resins as a new option for the re-levelling and stabilisation of deflected foundations on reactive clay soils. It will identify the physical and behavioural characteristics of resin-injected reactive clay foundations, in the context of both shallow and deep injection, and will identify any limitations to the applicability of the approach. Based on detaile ....Foundation remediation using resin injection. The aim of this research project is to explore the application of injected expanded polyurethane resins as a new option for the re-levelling and stabilisation of deflected foundations on reactive clay soils. It will identify the physical and behavioural characteristics of resin-injected reactive clay foundations, in the context of both shallow and deep injection, and will identify any limitations to the applicability of the approach. Based on detailed laboratory and field testing, and advanced numerical modelling, the outcome will be the ability to confidently assess various foundation remediation strategies in reactive clay soils, and provide much needed design guidance to the geotechnical profession and building industry.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
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0453879
Funder
Australian Research Council
Funding Amount
$184,163.00
Summary
Electron beam induced deposition and ablation nanofabrication facility. Electron beam induced deposition and ablation(EBIDA) is rapidly emerging as a new technology capable of fabricating three-dimensional nanostructures on nearly any substrate with very high precision. This proposal aims to establish a nanoscale EBIDA facility by integrating a specialized nanolithography attachment with an existing state-of-the-art 1nm resolution high current variable pressure scanning electron microscope. This ....Electron beam induced deposition and ablation nanofabrication facility. Electron beam induced deposition and ablation(EBIDA) is rapidly emerging as a new technology capable of fabricating three-dimensional nanostructures on nearly any substrate with very high precision. This proposal aims to establish a nanoscale EBIDA facility by integrating a specialized nanolithography attachment with an existing state-of-the-art 1nm resolution high current variable pressure scanning electron microscope. This combination of instrumentation will enable the high-speed production of conductive and insulating structures with 1-to-10nm dimensions. The unique facility will be used to manufacture and prototype novel nanoscale devices and structures and will enable measurement of their physical and chemical properties.Read moreRead less