To identify and to understand highly reactive surfaces for solar hydrogen production. This project aims to develop advanced technology to produce hydrogen - carbon-free fuel - from water with sunlight as the only energy input. Using clean energy to replace fossil fuels can help address the issues of energy supply and reduce carbon emissions, which is critically important for a sustainable Australia.
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
Electron Transpiration Cooling of Hypersonic Vehicles. Future aircraft for flight at hypersonic speeds require sharp leading edges for the best aerodynamic performance. Sharp leading edges incur high heat loads and cannot be adequately cooled with current technologies. The project aim is to investigate novel surface materials that emit electrons when heated. This emission of electrons from the surface can significantly contribute to the cooling of the sharp leading edges. This project is expecte ....Electron Transpiration Cooling of Hypersonic Vehicles. Future aircraft for flight at hypersonic speeds require sharp leading edges for the best aerodynamic performance. Sharp leading edges incur high heat loads and cannot be adequately cooled with current technologies. The project aim is to investigate novel surface materials that emit electrons when heated. This emission of electrons from the surface can significantly contribute to the cooling of the sharp leading edges. This project is expected to deliver new experimental data on novel surface materials exposed to a hypersonic flow environment and computer models that can simulate their cooling effect. This investigation will contribute towards enabling technologies for sustained hypersonic flight by overcoming critical head load limitations.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
Eliminating Hepatitis C Transmission By Enhancing Hepatitis C Care And Treatment In Primary Health Care Settings.
Funder
National Health and Medical Research Council
Funding Amount
$1,221,831.00
Summary
In developed countries, people who inject drugs (PWID) are the group at greatest risk of hepatitis C (HCV) infection but few PWID receive HCV treatment. With the advent of highly effective non-interferon based treatments HCV elimination, although ambitious, is now being seriously considered globally. This partnership grant will explore the feasibility of eliminating HCV transmission by enhancing HCV care and treatment for PWID in primary health care settings.
Computer-Aided Design of High-Performance Photocatalysts for Solar Hydrogen Production Based on Red Titanium Dioxide. Large-scale generation of energy by solar conversion is critical for future sustainability. This project aims to develop high performance materials to efficiently convert solar energy to hydrogen - a clean fuel. Starting from the newly developed material red titanium dioxide, novel strategies for improved photocatalytic materials will be proposed and evaluated by advanced computa ....Computer-Aided Design of High-Performance Photocatalysts for Solar Hydrogen Production Based on Red Titanium Dioxide. Large-scale generation of energy by solar conversion is critical for future sustainability. This project aims to develop high performance materials to efficiently convert solar energy to hydrogen - a clean fuel. Starting from the newly developed material red titanium dioxide, novel strategies for improved photocatalytic materials will be proposed and evaluated by advanced computational approaches. Key issues for solar-to-hydrogen conversion will be clarified. The materials, knowledge and strategies achieved by this project will dramatically enhance current solar technology and in particular will advance the development of low-cost hydrogen production from water. Read moreRead less
Stochastic majorization--minimization algorithms for data science. The changing nature of acquisition and storage data has made the process of drawing inference infeasible with traditional statistical and machine learning methods. Modern data are often acquired in real time, in an incremental nature, and are often available in too large a volume to process on conventional machinery. The project proposes to study the family of stochastic majorisation-minimisation algorithms for computation of inf ....Stochastic majorization--minimization algorithms for data science. The changing nature of acquisition and storage data has made the process of drawing inference infeasible with traditional statistical and machine learning methods. Modern data are often acquired in real time, in an incremental nature, and are often available in too large a volume to process on conventional machinery. The project proposes to study the family of stochastic majorisation-minimisation algorithms for computation of inferential quantities in an incremental manner. The proposed stochastic algorithms encompass and extend upon a wide variety of current algorithmic frameworks for fitting statistical and machine learning models, and can be used to produce feasible and practical algorithms for complex models, both current and future.
Read moreRead less