Novel framework for optimising battery-cooling microchannel heat exchangers. Thermal overheating can affect the capacity, safety and life expectancy of batteries for renewable energy storage and electric vehicles. Microscale heat exchangers are a potential high-efficiency, low-bulk solution. This project aims to develop a novel computational methodology to optimise the design of those heat exchangers in which viscoelastic fluids are used to control flow instabilities and enhance heat transfer at ....Novel framework for optimising battery-cooling microchannel heat exchangers. Thermal overheating can affect the capacity, safety and life expectancy of batteries for renewable energy storage and electric vehicles. Microscale heat exchangers are a potential high-efficiency, low-bulk solution. This project aims to develop a novel computational methodology to optimise the design of those heat exchangers in which viscoelastic fluids are used to control flow instabilities and enhance heat transfer at the microscale. A new microscopic fluid physics model will provide data for an innovative neural network framework to optimise the working fluid conditions and microscale design, which could contribute to increased adoption of renewable energy technologies that are supported by microscale heat exchangers.Read moreRead less
Secure and Efficient Cryptographic Hashing. This project will enhance information security, which is absolutely crucial for rapidly growing e-commerce, e-government services and for national security (Priority 4 -Safeguarding Australia - Protection against Terrorism and Crime). The project will strengthen international collaboration by reciprocal exchange of researchers and postgraduate students leading to more attractive and productive research environment. At the same time, the project will he ....Secure and Efficient Cryptographic Hashing. This project will enhance information security, which is absolutely crucial for rapidly growing e-commerce, e-government services and for national security (Priority 4 -Safeguarding Australia - Protection against Terrorism and Crime). The project will strengthen international collaboration by reciprocal exchange of researchers and postgraduate students leading to more attractive and productive research environment. At the same time, the project will help to maintain high research profile of Australian researchers, to increase the capacity for consultancy and contract work, and provide a cutting-edge information technology for the Australian telecommunications industry, business and government (Priority 3 - Frontier Technologies). Read moreRead less
Expanding the scramjet operating envelope through oxygen enrichment. This project aims to investigate the benefits of expanding the operating envelope of scramjets to higher altitudes and speeds by enriching their fuel with oxygen. This is expected to enhance the performance and flexibility of hypersonic air-breathing engines designed to form the core of a more reliable and economical access to space system. Expected outcomes of this project are a validated understanding and mapping of how oxyge ....Expanding the scramjet operating envelope through oxygen enrichment. This project aims to investigate the benefits of expanding the operating envelope of scramjets to higher altitudes and speeds by enriching their fuel with oxygen. This is expected to enhance the performance and flexibility of hypersonic air-breathing engines designed to form the core of a more reliable and economical access to space system. Expected outcomes of this project are a validated understanding and mapping of how oxygen enrichment can augment scramjet thrust at high altitudes and speeds, and a performance evaluation of a launch system optimised for this approach. This could provide significant benefits to the performance of reusable, air-breathing launch technology, where Australia is leading the push towards commercialisation.Read moreRead less
Approximate proximity for applications in data mining and visualization. Data Mining, pattern recognition and visualization of relational information are all important data analysis techniques in which it is essential to determine which data points are in the vicinity of others. The huge size of the data sets involved and the need for real-time interaction preclude the use of conventional methods for the precise computation of the proximity information required. This project will develop efficie ....Approximate proximity for applications in data mining and visualization. Data Mining, pattern recognition and visualization of relational information are all important data analysis techniques in which it is essential to determine which data points are in the vicinity of others. The huge size of the data sets involved and the need for real-time interaction preclude the use of conventional methods for the precise computation of the proximity information required. This project will develop efficient algorithms and data structures for gathering high-quality approximations of the full proximity information, and will use these innovations as the basis for new, practical tools for visualization, and clustering in data mining.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 tools for optimising data centre layout to minimise energy usage. Data centres are major consumers of energy worldwide, mainly through the need to cool the equipment. It has become imperative to develop the science for reducing this consumption. Rising computing demand, increasing power density, and increasing infrastructure and energy costs are major issue for data centres around the world. Our research will provide a powerful alternative to conventional thermal management techniques for ....Design tools for optimising data centre layout to minimise energy usage. Data centres are major consumers of energy worldwide, mainly through the need to cool the equipment. It has become imperative to develop the science for reducing this consumption. Rising computing demand, increasing power density, and increasing infrastructure and energy costs are major issue for data centres around the world. Our research will provide a powerful alternative to conventional thermal management techniques for cooling high-density heat loads in mixed-density environments. We will address the key issue of energy minimisation through a detailed flow analyses by the use of numerical simulations and optimisation algorithms.Read moreRead less
Symbolic synthesis of knowledge-based program implementations. Systems with concurrent streams of activity are ubiquitous in computer hardware and software designs, but are conceptually complex, and fraught with faults and inefficiency. The project aims to address these difficulties by automating aspects of system design, to relieve the designer of the need to reason about complex patterns of information flow.
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