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
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
Making the most of remotely sensed data: Bayesian spatio-temporal models for enhanced natural resource management and design. This research will provide methods for cost-efficient spatio-temporal data collection and analysis, with increased capacity for better decision-making about managing Australia’s natural resources. Through the Linkage partners’ networks, these benefits will be disseminated throughout regional bodies, government agencies and research groups across and outside Australia. The ....Making the most of remotely sensed data: Bayesian spatio-temporal models for enhanced natural resource management and design. This research will provide methods for cost-efficient spatio-temporal data collection and analysis, with increased capacity for better decision-making about managing Australia’s natural resources. Through the Linkage partners’ networks, these benefits will be disseminated throughout regional bodies, government agencies and research groups across and outside Australia. The statistical techniques derived in this project will enhance Australia’s capability in the national priority area of mathematical sciences, and will contribute to knowledge in a wide range of disciplines including natural resources, medicine and genetics. Read moreRead less
An investigation of meaning negotiation in electronic discourse. This project investigates the use of collaborative electronic exchanges between language students in Indonesian and Queensland schools to enhance language and inter-cultural development. The chief investigators will develop a new model of discourse appropriate to such asynchronous communication (e-mail and forums), as well as investigate developments in technological literacy. Other outcomes will include guidelines for creating pra ....An investigation of meaning negotiation in electronic discourse. This project investigates the use of collaborative electronic exchanges between language students in Indonesian and Queensland schools to enhance language and inter-cultural development. The chief investigators will develop a new model of discourse appropriate to such asynchronous communication (e-mail and forums), as well as investigate developments in technological literacy. Other outcomes will include guidelines for creating practical technology-mediated tasks, and protocols for establishing and maintaining electronic tandem exchanges with a developing country. Results will be reported to the Industry Partner and relevant educational authorities and published in national and international journals such as ARAL, Babel and CALL Journal.Read moreRead less
Elucidating the morphology of organic semiconductors at an atomic level. Controlling morphology and self-organization at a molecular level is key to advancing the performance of optoelectronic devices such as organic light-emitting diodes and organic photovoltaic cells. Current device development relies on a costly and inefficient empirical design cycle (material synthesis followed by device fabrication and testing). In addition, the active layers often involve multiple components and their nano ....Elucidating the morphology of organic semiconductors at an atomic level. Controlling morphology and self-organization at a molecular level is key to advancing the performance of optoelectronic devices such as organic light-emitting diodes and organic photovoltaic cells. Current device development relies on a costly and inefficient empirical design cycle (material synthesis followed by device fabrication and testing). In addition, the active layers often involve multiple components and their nano-scale morphology is difficult to probe experimentally. Recently developed molecular simulation techniques can provide unique insight into atomic-level structural details that determine device efficiency. The project will determine if such simulations are sufficiently accurate to be industrially useful.Read moreRead less
Engineering the strength and consolidation of reclaimed soft soil. Engineering the strength and consolidation of reclaimed soft soil. This project aims to strengthen reclaimed soft soils by controlled desiccation. Soft soil is a significant engineering challenge for many industry sectors in Australia and worldwide. The disposal of dredged soft soil is costly and time-consuming, and failure of soft mine tailings is an environmental catastrophe that can cause loss of life and interrupt mining prod ....Engineering the strength and consolidation of reclaimed soft soil. Engineering the strength and consolidation of reclaimed soft soil. This project aims to strengthen reclaimed soft soils by controlled desiccation. Soft soil is a significant engineering challenge for many industry sectors in Australia and worldwide. The disposal of dredged soft soil is costly and time-consuming, and failure of soft mine tailings is an environmental catastrophe that can cause loss of life and interrupt mining production. This project will research the underlying processes of material behaviour, by developing new electromagnetic measurement and modelling methods to predict material strengths at the micro and macro scales during desiccation. The new approach is expected to lead to innovative solutions to bearing capacity and settlement problems associated with soft soils.Read moreRead less
Solar-driven massive hydrogen production from biomass and biomass/coal mixtures by supercritical water gasification. Cheap and massive hydrogen production from renewable resources is one of the key challenges to achieve a hydrogen economy that promises to ultimately solve critical problems, such as energy depletion and climate change. This project exactly falls into this research and development priority and will benefit Australian economy and environment.