Advanced Combustion Modelling for Scramjets and Rotating Detonation Engines. This project will develop new fundamental knowledge and engineering models underpinning air-breathing high speed propulsion engines employing complex hydrocarbon fuels. Extensive data and new physical understanding will be garnered through analysis of direct numerical simulations of supersonic reacting mixing layers including impinging shock waves. That data will be employed to isolate, test and develop computationally ....Advanced Combustion Modelling for Scramjets and Rotating Detonation Engines. This project will develop new fundamental knowledge and engineering models underpinning air-breathing high speed propulsion engines employing complex hydrocarbon fuels. Extensive data and new physical understanding will be garnered through analysis of direct numerical simulations of supersonic reacting mixing layers including impinging shock waves. That data will be employed to isolate, test and develop computationally efficient engineering models that are accurate and efficient for high speed combustion in rotating detonation engines and scramjets. Expected outcomes are knowledge and tools needed to develop practical and effective supersonic propulsion engines for access to space, defence and high speed point-to-point flight.
Read moreRead less
An extensible framework for analysis of Java language-based security conformance. Java is a programming language and platform running on 3 billion devices. While Java provides a sandbox-based security architecture within the Java Class Library to protect systems from untrusted code downloaded from Internet, it cannot defend against implementation bugs that occur in the Java Class Library. The goal of this project is to provide a formal model of the Java security architecture, which can be used b ....An extensible framework for analysis of Java language-based security conformance. Java is a programming language and platform running on 3 billion devices. While Java provides a sandbox-based security architecture within the Java Class Library to protect systems from untrusted code downloaded from Internet, it cannot defend against implementation bugs that occur in the Java Class Library. The goal of this project is to provide a formal model of the Java security architecture, which can be used by program analysers to identify faulty or insufficient security checks in the Java Class Library that may lead to the sandbox being bypassed.Read moreRead less
Design and verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important effici ....Design and verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important efficiency gains, but can introduce complex and error-prone behaviours that cannot be managed using traditional software development approaches. This project will produce better, scalable and mechanised methods for the design and verification of such software which is expected to reduce the prevalence of failures in efficient, modern software.Read moreRead less
Special Research Initiatives - Grant ID: SR0354636
Funder
Australian Research Council
Funding Amount
$30,000.00
Summary
Australian Computational Molecular Science Network. Computational Molecular Science (CMS) involves the use of theory and computational methods to simulate and visualise molecular systems ranging from small atmospheric species to proteins, nucleic acids, chemical polymers and materials. It represents our most incisive expression of what we understand about the molecular basis of nature. The CMS network will integrate and cross-fertilize both fundamental and application-based expertize in molecula ....Australian Computational Molecular Science Network. Computational Molecular Science (CMS) involves the use of theory and computational methods to simulate and visualise molecular systems ranging from small atmospheric species to proteins, nucleic acids, chemical polymers and materials. It represents our most incisive expression of what we understand about the molecular basis of nature. The CMS network will integrate and cross-fertilize both fundamental and application-based expertize in molecular scale computations in the fields of nanoscience, biomaterials, biotechnology, biomedical science and environmental science. It will uncover and explore critical new interdisciplinary science and create new molecular-based paradigms that will drive advances in these fields over the next decade.Read moreRead less
Optimal management of corrosion and odour problems in sewer systems. Pollutants in wastewater undergo complex changes in sewers, leading to the production and release of odorous and corrosive compounds. Despite major efforts and expenditure by water utilities to mitigate these problems, odorous emissions from sewers are still commonly occurring in urban areas. Furthermore, the value of public assets is significantly diminished due to sewer corrosion, costing hundreds of millions of dollars a yea ....Optimal management of corrosion and odour problems in sewer systems. Pollutants in wastewater undergo complex changes in sewers, leading to the production and release of odorous and corrosive compounds. Despite major efforts and expenditure by water utilities to mitigate these problems, odorous emissions from sewers are still commonly occurring in urban areas. Furthermore, the value of public assets is significantly diminished due to sewer corrosion, costing hundreds of millions of dollars a year in Australia alone. This project is a major joint effort by the Australian water industry and world-leading scientists to generate advanced knowledge and develop effective technologies for optimal odour and corrosion management in sewers, delivering large social, environmental and economic benefits.Read moreRead less
ARC Research Network for Enabling Human Communication. The Human Communication Network promotes interdisciplinary research in speech, language, and sound by and between humans and machines. The network connects leading and emerging researchers across disciplines, exploits previously unrecognised intersections, supports interdisciplinary graduate training and exchanges, provides database storage infrastructure, and consults with industry and government to set, not follow, research agendas. By ge ....ARC Research Network for Enabling Human Communication. The Human Communication Network promotes interdisciplinary research in speech, language, and sound by and between humans and machines. The network connects leading and emerging researchers across disciplines, exploits previously unrecognised intersections, supports interdisciplinary graduate training and exchanges, provides database storage infrastructure, and consults with industry and government to set, not follow, research agendas. By generating an explosion of new approaches and knowledge, the network will build Australia's reputation as a leader in communication science and technology via advances in automatic speech recognition, distress call monitoring, hearing prostheses, web interfaces, and data retrieval and data mining systems.Read moreRead less
Sewer corrosion reduction through model-supported ventilation control. Ventilation is one of the key technologies for sewer corrosion control. However, its design and operation are currently based on experience and empirical equations, often leading to unsatisfactory results. By integrating in-depth laboratory and pilot-sewer studies under defined conditions with extensive field investigations, this multidisciplinary project aims to develop critical models to predict the corrosion process in res ....Sewer corrosion reduction through model-supported ventilation control. Ventilation is one of the key technologies for sewer corrosion control. However, its design and operation are currently based on experience and empirical equations, often leading to unsatisfactory results. By integrating in-depth laboratory and pilot-sewer studies under defined conditions with extensive field investigations, this multidisciplinary project aims to develop critical models to predict the corrosion process in response to ventilation and dynamic wastewater and atmospheric conditions, enabling model-based sewer ventilation design and operation. The project also aims to deliver novel, field-demonstrated ventilation strategies. The project findings will be incorporated in the Australian ventilation design and operation guidelines.Read moreRead less
Identification of causal variants for complex traits. The aim of this project is to identify causal variants for complex traits in cattle and humans. Although most important traits in agriculture, medicine and evolution are complex traits, very few of the genetic variants affecting these traits are known and this undermines our understanding of how genetic variants affect a trait and practical uses of this knowledge. Huge datasets of individuals with genome sequence and phenotypes and new statis ....Identification of causal variants for complex traits. The aim of this project is to identify causal variants for complex traits in cattle and humans. Although most important traits in agriculture, medicine and evolution are complex traits, very few of the genetic variants affecting these traits are known and this undermines our understanding of how genetic variants affect a trait and practical uses of this knowledge. Huge datasets of individuals with genome sequence and phenotypes and new statistical methods provide the opportunity to close this gap. The outcome will be identification of many genomic variants causing variation in complex traits. This will benefit scientific understanding of complex traits and the ability to predict traits for individuals from their genome sequence.Read moreRead less