On-line structural integrity assessment of advanced composite airframe with senor network. The project addresses frontier technologies that lead to solutions to one of the critical key issues forming the Australian community - online integrity/safety assessment of structures or asset including aircraft, ships, buildings and bridges. The community benefits significantly if potential disaster due to occurrence of damage associated with those structures can be prevented - the ultimate aim of resear ....On-line structural integrity assessment of advanced composite airframe with senor network. The project addresses frontier technologies that lead to solutions to one of the critical key issues forming the Australian community - online integrity/safety assessment of structures or asset including aircraft, ships, buildings and bridges. The community benefits significantly if potential disaster due to occurrence of damage associated with those structures can be prevented - the ultimate aim of researchers for decades. It is imperative that Australian industries remain technologically ahead of international competitors. Outcomes of the project will lead to novel technologies for real-time structural health monitoring and integrity assessment, bringing significant improvement in operation safety and driving down maintenance cost.Read moreRead less
Smart CMOS Vision Sensors in Deep Sub-0.25um CMOS Technologies. This research project aims to develop a new generation of smart vision sensors featuring on-chip and pixel-level implementation of human vision based algorithms. Built in state-of-the-art deep sub-0.25um CMOS technologies, these imagers will feature extensive in-pixel processing power in contrast to the currently commercially available CMOS vision sensors. This will enable on-chip vision-based decision making but also increased on-c ....Smart CMOS Vision Sensors in Deep Sub-0.25um CMOS Technologies. This research project aims to develop a new generation of smart vision sensors featuring on-chip and pixel-level implementation of human vision based algorithms. Built in state-of-the-art deep sub-0.25um CMOS technologies, these imagers will feature extensive in-pixel processing power in contrast to the currently commercially available CMOS vision sensors. This will enable on-chip vision-based decision making but also increased on-chip image processing. These innovative system-on-chip features will contribute towards the positioning of CMOS imaging technology as the technology of choice for most digital imaging applications, in place of the existing, and so far unchallenged, CCD technology.
Read moreRead less
Electronic Auditory Pathway. We will develop electronic building blocks to investigate biological signal processing. In particular, we will investigate the auditory pathway and develop the most accurate electronic model of the biological cochlea and auditory nerve. These will be followed by electronic circuits that model the processing of sensory signals in the brain. Processing signals with neural spikes offers distinct advantages over current analogue and digital signal processing techniques i ....Electronic Auditory Pathway. We will develop electronic building blocks to investigate biological signal processing. In particular, we will investigate the auditory pathway and develop the most accurate electronic model of the biological cochlea and auditory nerve. These will be followed by electronic circuits that model the processing of sensory signals in the brain. Processing signals with neural spikes offers distinct advantages over current analogue and digital signal processing techniques in terms of noise, energy consumption and extraction of temporal information. We will implement the first spike-based models of pitch and timbre perception, and a neural model of speech recognition in noisy environments.Read moreRead less
A 3D CMOS Vision Sensor with Pixel Level Analog-to-Digital Converter and Intelligent Processing. The aim of this research project is to build a smart vision sensor using advanced 3D technology. The smart sensor will consist of two vertically stacked levels comprising the vision sensor chip with pixel-level Analog-to-Digital Converter (ADC) and the processing chip for edge and motion detection. The pixel level ADC will be based on new architectures offering improved performance in terms of dynami ....A 3D CMOS Vision Sensor with Pixel Level Analog-to-Digital Converter and Intelligent Processing. The aim of this research project is to build a smart vision sensor using advanced 3D technology. The smart sensor will consist of two vertically stacked levels comprising the vision sensor chip with pixel-level Analog-to-Digital Converter (ADC) and the processing chip for edge and motion detection. The pixel level ADC will be based on new architectures offering improved performance in terms of dynamic range, fill-factor, and signal-to-noise ratio. Both the vision and the processing chips will be realised in standard CMOS technology, which make the smart vision sensor very suitable for low cost consumer electronic applications.Read moreRead less
Economical and practical design and analysis of probabilistic distributed systems. Complex computing systems composed of communicating processes are
distributed over networks, and interact with embedded hardware
components. They routinely operate in probabilistic environments:
hardware components fail randomly, but at known rates; and tactical
randomisation resolves competition for resources. Effective
specification, development and analysis methods for these systems
is crucial, and probab ....Economical and practical design and analysis of probabilistic distributed systems. Complex computing systems composed of communicating processes are
distributed over networks, and interact with embedded hardware
components. They routinely operate in probabilistic environments:
hardware components fail randomly, but at known rates; and tactical
randomisation resolves competition for resources. Effective
specification, development and analysis methods for these systems
is crucial, and probability makes that particularly difficult.
The focus of this project is to develop new formal methods that are
economical and practical in use. Exploiting our recent advances in
probabilistic program semantics, we will add probability in a new
way to proven techniques in concurrency theory, including
refinement and hierarchical design.Read moreRead less
Algebraic reasoning for serialisability in probabilistic transaction systems. The ability to analyse complex systems is a vital part of the development of large-scale computer applications; a method that improves the quality of the analysis task would increase the competitiveness of the software industry, would attract future development work (in complex and intelligent systems) to Australia, and could contribute to national security.
The results of this project will have a direct influence ....Algebraic reasoning for serialisability in probabilistic transaction systems. The ability to analyse complex systems is a vital part of the development of large-scale computer applications; a method that improves the quality of the analysis task would increase the competitiveness of the software industry, would attract future development work (in complex and intelligent systems) to Australia, and could contribute to national security.
The results of this project will have a direct influence on currently available design tools; the fact that Australian institutions will be responsible for key theoretical results in this growing field will strengthen Australia's position worldwide as an international centre for computer science.Read moreRead less
Hidden-state modelling for modular analysis of information flow, protection and risk evaluation. Automation is increasing explosively, and the cliche is no longer that there is a cpu chip in your washing machine, television or automobile. Nowadays they are potentially in our cash cards, passports and soon on every item in our shopping baskets. Australia is a leader in adopting and developing such technology.
Security and privacy, hard enough for PCs, thus concerns smaller, more numerous devi ....Hidden-state modelling for modular analysis of information flow, protection and risk evaluation. Automation is increasing explosively, and the cliche is no longer that there is a cpu chip in your washing machine, television or automobile. Nowadays they are potentially in our cash cards, passports and soon on every item in our shopping baskets. Australia is a leader in adopting and developing such technology.
Security and privacy, hard enough for PCs, thus concerns smaller, more numerous devices that we might not even realise we are using.
Our research aims to make it easier and more effective to describe and then successfully build-in features that enforce security without adverse impact on usability.Read moreRead less
Designing software for secrecy: Security-enabled program algebra. Ensuring security and privacy, hard enough for PCs, is a critical problem in computer engineering; the frequency with which software security breaches are reported in smartcards and web applications means that new software-design techniques are urgently needed. This project aims to improve the quality of computer software by creating smart technology which will make it easier for designers to describe and then successfully build ....Designing software for secrecy: Security-enabled program algebra. Ensuring security and privacy, hard enough for PCs, is a critical problem in computer engineering; the frequency with which software security breaches are reported in smartcards and web applications means that new software-design techniques are urgently needed. This project aims to improve the quality of computer software by creating smart technology which will make it easier for designers to describe and then successfully build-in features that enforce security in software without adverse impact on usability. This research addresses National Security Priority 3, Smart technology, and will build on Australia's world-leading position in pioneering uptake of innovative technology.Read moreRead less