Analysing and Generating Fault-Tolerant Real-Time Systems. Safety-critical real-time systems are being deployed increasingly in diverse areas such as controlling critical infrastructure like transportation (e.g., railway signalling) as well as in defence applications (e.g., fly-by-wire). Such systems must be dependable and hence must be built using fault-tolerant strategies.
This project is researching frontier ICT technologies for analysing, designing and generating fault-tolerant systems, con ....Analysing and Generating Fault-Tolerant Real-Time Systems. Safety-critical real-time systems are being deployed increasingly in diverse areas such as controlling critical infrastructure like transportation (e.g., railway signalling) as well as in defence applications (e.g., fly-by-wire). Such systems must be dependable and hence must be built using fault-tolerant strategies.
This project is researching frontier ICT technologies for analysing, designing and generating fault-tolerant systems, concentrating on their software control components.Read moreRead less
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
WAVELET-BASED MODELLING AND MODEL PREDICTIVE CONTROL OF COMPLEX MULTIDIMENSIONAL CRYSTALLISATION PROCESSES. The results of this project will directly contribute to a better understanding of crystallisation which is an important unit operation to achieve high purity separations. Many Australian industries for example, mineral processing, sugar processing, pharmaceuticals, etc will benefit from the results in order to enhance optimal operation and control to ensure globally competitive production ....WAVELET-BASED MODELLING AND MODEL PREDICTIVE CONTROL OF COMPLEX MULTIDIMENSIONAL CRYSTALLISATION PROCESSES. The results of this project will directly contribute to a better understanding of crystallisation which is an important unit operation to achieve high purity separations. Many Australian industries for example, mineral processing, sugar processing, pharmaceuticals, etc will benefit from the results in order to enhance optimal operation and control to ensure globally competitive production which is on time, minimize wastes and raw materials and inventories. The leading edge results will increase the contributions of these industries to the Australian economy and our global competitiveness necessary to maintain our culture and the beauty of our environment. 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
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
Mathematical and mechanical modeling of nano particulate flow. Nano particulates are the basis for many new technologies, including coatings in the electronics industry, composite materials and medical and pharmaceutical applications. Worldwide industrial competition is increasingly determined by our capacity to handle such highly cohesive materials, and to exploit their novel physical, chemical and mechanical characteristics. Devising handling mechanisms and understanding nano particulate flows ....Mathematical and mechanical modeling of nano particulate flow. Nano particulates are the basis for many new technologies, including coatings in the electronics industry, composite materials and medical and pharmaceutical applications. Worldwide industrial competition is increasingly determined by our capacity to handle such highly cohesive materials, and to exploit their novel physical, chemical and mechanical characteristics. Devising handling mechanisms and understanding nano particulate flows depends on formulating accurate mathematical models which reflect the correct underlying physics. This APF proposal will utilise advanced continuum mechanics to develop the correct underlying conceptual ideas to resolve fundamental nanomechanical particulate flows, which will lead to the next generation of engineering tools.
Read moreRead less
Assessment and Prediction of Particle Breakage under Cyclic Loading. Every year, transport industries spend millions of dollars to maintain existing tracks suffering excessive settlement due to heavy traffic. In railways, differential settlement and track fouling are mostly due to ballast breakage. Frequent maintenance requires large amounts of quarried ballast causing environmental degradation. Simulation of particle breakage subject to cyclic loading is pioneering fundamental research that wi ....Assessment and Prediction of Particle Breakage under Cyclic Loading. Every year, transport industries spend millions of dollars to maintain existing tracks suffering excessive settlement due to heavy traffic. In railways, differential settlement and track fouling are mostly due to ballast breakage. Frequent maintenance requires large amounts of quarried ballast causing environmental degradation. Simulation of particle breakage subject to cyclic loading is pioneering fundamental research that will have significant impact on the design and maintenance of future rail and road networks. A full understanding of the breakage mechanisms of aggregates will lead to innovative techniques in design and construction, including faster trains carrying heavier loads with reduced maintenance costs.Read moreRead less
FRICTION AND CONTACT IN SOIL-STRUCTURE INTERACTION AT LARGE DEFORMATION. The proposed research addresses the fundamental mechanics of contact for a wide range of civil engineering structures such as piles, retaining walls, and soil anchors. Piles and anchors are essential parts of off-shore platforms which, in turn, are key elements of the Australian oil and gas industry. The numerical tool the project aims to develop is capable of analysing the entire process of installation and loading of a pi ....FRICTION AND CONTACT IN SOIL-STRUCTURE INTERACTION AT LARGE DEFORMATION. The proposed research addresses the fundamental mechanics of contact for a wide range of civil engineering structures such as piles, retaining walls, and soil anchors. Piles and anchors are essential parts of off-shore platforms which, in turn, are key elements of the Australian oil and gas industry. The numerical tool the project aims to develop is capable of analysing the entire process of installation and loading of a pile foundation. Such a tool does not currently exist and will result in safer and cheaper geotechnical design. The methods developed in this project can also be extended to study human joints and joint replacements.Read moreRead less
Integrated prediction of wave-induced liquefaction for stable breakwater heads. Breakwaters are central to the economies and lifestyles of many coastal areas around the world. The liquefaction of breakwater foundations causes the failure of breakwaters, with potentially deliterious consequences for life and property. The remedies involve large investments in maintenance and cause major disruptions to coastal activities. More accurate and reliable methods for analysing the stability of structures ....Integrated prediction of wave-induced liquefaction for stable breakwater heads. Breakwaters are central to the economies and lifestyles of many coastal areas around the world. The liquefaction of breakwater foundations causes the failure of breakwaters, with potentially deliterious consequences for life and property. The remedies involve large investments in maintenance and cause major disruptions to coastal activities. More accurate and reliable methods for analysing the stability of structures and their foundations is urgently required, and will bring major benefits to Australian coastal facilities. We will create the science to transform our understanding of the mechanisms of wave-induced liquefaction. This will enable engineers to significantly improve the stability and robustness of marine structures.Read moreRead less
Poro-elastic, single domain model of wave-induced transport and transformation of pollutants in coastal sediments. The sediments in many bays and estuaries in Australia are contaminated by pollutants due to discharge of waste from the river, groundwater or/and ocean outfall. Most previous research has had a multi-domain approach and have ignored the wave-dirven advective flow and effects of soil behaviour in coastal sediment. In this study, we will couple the procedure of pollutant transport ne ....Poro-elastic, single domain model of wave-induced transport and transformation of pollutants in coastal sediments. The sediments in many bays and estuaries in Australia are contaminated by pollutants due to discharge of waste from the river, groundwater or/and ocean outfall. Most previous research has had a multi-domain approach and have ignored the wave-dirven advective flow and effects of soil behaviour in coastal sediment. In this study, we will couple the procedure of pollutant transport near the sediment-water interface by a single domain approach, and link wave-dirven advective flow and contaminant in marine sediments. The research outcomes will provide a better prediction of the transformation behaviour of pollutants in contaminated sediments.Read moreRead less