Expressive power and complexity of temporal logics for model-checking. Hardware verification based upon mathematical logic is now routinely
used in industry to verify the correctness of large digital circuits
using a technique called model-checking. Such discrete systems move
from one state to another according to the regular ticks of a clock.
The challenge now is to find tractable methods for reasoning about
real-time systems and hybrid systems that move in a continuous manner
with respec ....Expressive power and complexity of temporal logics for model-checking. Hardware verification based upon mathematical logic is now routinely
used in industry to verify the correctness of large digital circuits
using a technique called model-checking. Such discrete systems move
from one state to another according to the regular ticks of a clock.
The challenge now is to find tractable methods for reasoning about
real-time systems and hybrid systems that move in a continuous manner
with respect to time: examples include aeroplanes flying according to
the laws of physics and a moving robot arm. We shall invent new logics
which are specifically tailored for tractable reasoning about
real-time and hybrid systems.Read moreRead less
Boron nitride nanotubes for tunable conductivity. The proposed research in nanotubes falls into the national research priority areas of advanced materials and breakthrough science. This ANU research group has a leading role in Boron Nitride (BN) nanotube research internationally. The proposed collaborative research will enhance this position and further improve the nation's research profile in nanotechnology. New intellectual properties will be generated if the project is successful, which wi ....Boron nitride nanotubes for tunable conductivity. The proposed research in nanotubes falls into the national research priority areas of advanced materials and breakthrough science. This ANU research group has a leading role in Boron Nitride (BN) nanotube research internationally. The proposed collaborative research will enhance this position and further improve the nation's research profile in nanotechnology. New intellectual properties will be generated if the project is successful, which will benefit the commercialization activity of BN nanotubes at ANU. New PhD and undergraduate students will be trained by the proposed cutting edge research project.Read moreRead less
Structure-property correlation in metal-oxide aerogels. Aerogels are truly remarkable materials with unique physical properties including extraordinary thermal insulation capabilities. The influence of mechanical deformation on these nanoscale materials is only poorly understood, despite key technological interest. This project aims to measure the response of a variety of aerogels samples to forces applied by nanoindentation and, using advanced electron microscopy and ion-beam analysis techniqu ....Structure-property correlation in metal-oxide aerogels. Aerogels are truly remarkable materials with unique physical properties including extraordinary thermal insulation capabilities. The influence of mechanical deformation on these nanoscale materials is only poorly understood, despite key technological interest. This project aims to measure the response of a variety of aerogels samples to forces applied by nanoindentation and, using advanced electron microscopy and ion-beam analysis techniques, to directly identify the atomic-level deformation mechanisms.Read moreRead less
Enhancing the performance of thin-film photovoltaic cells via the application of luminescent down-shifting layers. Photovoltaic (PV) devices convert sunlight directly into electricity. For decades, the dominant PV technology has been based on thick, costly silicon wafers. However, due to higher energy conversion efficiencies and manufacturing processes, thin film PV cells can provide lower price than of the conventional wafer-based technologies. This project takes one of the leading thin film ....Enhancing the performance of thin-film photovoltaic cells via the application of luminescent down-shifting layers. Photovoltaic (PV) devices convert sunlight directly into electricity. For decades, the dominant PV technology has been based on thick, costly silicon wafers. However, due to higher energy conversion efficiencies and manufacturing processes, thin film PV cells can provide lower price than of the conventional wafer-based technologies. This project takes one of the leading thin film technologies and couples it with a passive optical layer, which will result in a 30% performance enhancement by overcoming internal absorption losses. It is anticipated that the increased performance will enable the thin film PV technology to be far more commercially viable and attractive for future commercialisation, and hence reduce the cost of solar power.Read moreRead less
Optoelectronic properties of low-dimensional semiconductor systems and semiconductor nanostructures under terahertz free-electron laser radiation. The recent application of terahertz (THz) free-electron lasers (FELs) to scientific investigation into low-dimensional semiconductor systems and semiconductor nanostructures has opened up a new field of research in semiconductor optoelectronics. This project will conduct a joint experimental and theoretical study of how these novel systems interact w ....Optoelectronic properties of low-dimensional semiconductor systems and semiconductor nanostructures under terahertz free-electron laser radiation. The recent application of terahertz (THz) free-electron lasers (FELs) to scientific investigation into low-dimensional semiconductor systems and semiconductor nanostructures has opened up a new field of research in semiconductor optoelectronics. This project will conduct a joint experimental and theoretical study of how these novel systems interact with intense THz laser fields. Experimentally, we plan to use Beijing FELs in China to study optoelectronic properties in GaAs-and GaN based systems. Theoretically, we intend developing fundamental new approaches to theory of electron interactions with intense laser fields in semiconductors and relating theoretical results to experiments and experimental findings.Read moreRead less