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
The dynamics of turbulent entrainment in sheared convective boundary layers. This project aims to develop general laws to enable the accurate prediction of boundary layer entrainment processes. This will be significant in a wide range of environmental and engineering applications. In particular, the current lack of understanding of this area is a major source of uncertainty in the latest generation of global climate models.
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.
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
Conjugate natural convection boundary layers. Conjugate natural convection systems occur when a conducting vertical wall separates fluids at different temperatures (that is at a window separating the interior of a room from the outside or when a container of fluid is placed in a refrigerator). This project will provide accurate predictions of such flows together with scaling relations.
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
Entrainment and Mixing in Turbulent Negatively Buoyant Jets and Fountains. The project intends to develop tools to accurate predict fountain flows. Volcanic eruptions, building ventilation and brine discharge from desalination plants are all examples of turbulent fountains and negatively buoyant jets. The project aims to conduct an investigation into the turbulent structure of fountains and negatively buoyant jets using numerical simulation and laboratory experiments, and to assess the accuracy ....Entrainment and Mixing in Turbulent Negatively Buoyant Jets and Fountains. The project intends to develop tools to accurate predict fountain flows. Volcanic eruptions, building ventilation and brine discharge from desalination plants are all examples of turbulent fountains and negatively buoyant jets. The project aims to conduct an investigation into the turbulent structure of fountains and negatively buoyant jets using numerical simulation and laboratory experiments, and to assess the accuracy of the commonly used integral models and test the effect of the use of more accurate entrainment relations. This may have a range of applications – enabling better prediction of environmental impacts, reduction of the adverse effects of the discharge of pollutants, and reduction in energy consumption in building ventilation and other industrial applications.Read moreRead less
Exploring electronic functionality in low-dimensional carbon and boron-nitride nanomaterials via advanced theoretical modelling. This project will spawn innovative carbon/boron nitride materials for next-generation electronics devices by devising new strategies to manipulate and control electronic structure as well as charge/spin transport properties. Outcomes will include technological breakthroughs leading to truly smaller, faster and smarter electronics materials.
Thermal stratification, overturning and mixing in riverine environments. Thermal stratification is common in Australia's rivers due to our hot, drought-prone climate and high human demands relative to available supply, which has led to a significant reduction in flows relative to natural levels. Thermal stratification inhibits mixing, creating stagnant conditions characterised by low oxygen levels and increased concentrations of contaminants, leading to algal blooms, fish kills and systemic dama ....Thermal stratification, overturning and mixing in riverine environments. Thermal stratification is common in Australia's rivers due to our hot, drought-prone climate and high human demands relative to available supply, which has led to a significant reduction in flows relative to natural levels. Thermal stratification inhibits mixing, creating stagnant conditions characterised by low oxygen levels and increased concentrations of contaminants, leading to algal blooms, fish kills and systemic damage to ecosystems. The aim of this project is to develop predictive models for the effects of physical processes such as night-time cooling, wind, turbulence and currents on riverine thermal stratification. This is expected to enable a more accurate determination of the flow rates required to maintain the health of our river systems.Read moreRead less