Design of Wireless sensor and communication networks with fixed and mobile nodes. Wireless sensor and communication networks with fixed and mobile nodes are rapidly becoming essential technologies for hostile environmental monitoring, battlefield surveillance and precision agriculture. However, due to the complexities associated with interconnected design issues involving sensors, autonomous vehicles and communication protocols, even very simple networks have proven to be difficult to design. Th ....Design of Wireless sensor and communication networks with fixed and mobile nodes. Wireless sensor and communication networks with fixed and mobile nodes are rapidly becoming essential technologies for hostile environmental monitoring, battlefield surveillance and precision agriculture. However, due to the complexities associated with interconnected design issues involving sensors, autonomous vehicles and communication protocols, even very simple networks have proven to be difficult to design. This project proposes to intelligently employ higher capabilities of mobile nodes and develop methods for rapid deployment, maintenance and routing that are aware of location, energy, and security. The outcomes of this project will form the basis for design of intelligent wireless networks for defence and civilian applications.Read moreRead less
Algorithmics for Extremely Mobile Wireless Networks. Existing wireless network protocols need stringent conditions to be effective. These conditions are rarely met for concrete applications such as Defence, Disaster-Relief, Search-and-Rescue. All these cannot rely on existing infrastructure, and often require high mobility. This is crucial in the case of Australia which cannot rely on complete network coverage of its lands and seas. This project will develop new wireless protocols for applicati ....Algorithmics for Extremely Mobile Wireless Networks. Existing wireless network protocols need stringent conditions to be effective. These conditions are rarely met for concrete applications such as Defence, Disaster-Relief, Search-and-Rescue. All these cannot rely on existing infrastructure, and often require high mobility. This is crucial in the case of Australia which cannot rely on complete network coverage of its lands and seas. This project will develop new wireless protocols for applications requiring extreme mobility. It will increase Australia's control of this, now ubiquitous, technology thus rendering Australia a key player in this field.Read moreRead less
Advances in the Verification of Communication Protocols. Australia's economy is becoming increasingly dependent on many complex distributed systems. Some important examples are the Internet, electronic commerce, financial networks, transportation systems, health care networks, telecommunication networks, defence systems, intelligent manufacturing systems and organisational workflow management systems. Failure in these systems can result in serious financial loss (in banking applications) and los ....Advances in the Verification of Communication Protocols. Australia's economy is becoming increasingly dependent on many complex distributed systems. Some important examples are the Internet, electronic commerce, financial networks, transportation systems, health care networks, telecommunication networks, defence systems, intelligent manufacturing systems and organisational workflow management systems. Failure in these systems can result in serious financial loss (in banking applications) and loss of life or serious accidents in safety critical areas (medical, transport and defence applications). It is thus of utmost importance that distributed systems are designed correctly. This project aims to advance the state of the art in verifying that distributed systems will work correctly.Read moreRead less
ARC Research Network on Intelligent Sensors, Sensor Networks and Information Processing. Sensor networks, a collection of diverse sensors interconnected via an ad-hoc communication network, are identified as one of the key technologies that over the next two decades will change the way we live. This research network brings together an interdisciplinary team of outstanding Australian researchers representing all the key disciplines required to successfully deploy sensor networks and links this te ....ARC Research Network on Intelligent Sensors, Sensor Networks and Information Processing. Sensor networks, a collection of diverse sensors interconnected via an ad-hoc communication network, are identified as one of the key technologies that over the next two decades will change the way we live. This research network brings together an interdisciplinary team of outstanding Australian researchers representing all the key disciplines required to successfully deploy sensor networks and links this team with the foremost international authorities and leading industry players in the area of sensor networks. This research network will guide collaborative research that will ensure Australia to play a world leading role in sensor network development and implementation.
Read moreRead less
Advanced Sweep-Line State Space Reduction Methods for Verification of Concurrent and Distributed Systems. The rigorous design and analysis of distributed systems, such as the Internet and its applications, is known to be a difficult problem. This project will develop new techniques for reducing the memory and time required for computer-aided verification of concurrent and distributed systems. The technique will be combined with other reduction techniques to increase their range of applicability. ....Advanced Sweep-Line State Space Reduction Methods for Verification of Concurrent and Distributed Systems. The rigorous design and analysis of distributed systems, such as the Internet and its applications, is known to be a difficult problem. This project will develop new techniques for reducing the memory and time required for computer-aided verification of concurrent and distributed systems. The technique will be combined with other reduction techniques to increase their range of applicability. The reduction techniques will be implemented and evaluated using important transaction protocols for electronic commerce and internet enabled wireless communications. The technique will also be applied to so called 'object-oriented' modelling languages.Read moreRead less
Reducing the risks associated with developing large-scale, critical software-integrated systems. Industry, government and defence increasingly rely on large-scale, critical software-integrated systems. The scale and complexity of these systems means current methods of analysing, designing and assuring their dependability are struggling to provide the constructive support and assurance that is demanded. Consequently, there are significant risks of cost and schedule overruns and of system problems ....Reducing the risks associated with developing large-scale, critical software-integrated systems. Industry, government and defence increasingly rely on large-scale, critical software-integrated systems. The scale and complexity of these systems means current methods of analysing, designing and assuring their dependability are struggling to provide the constructive support and assurance that is demanded. Consequently, there are significant risks of cost and schedule overruns and of system problems and failures. This project builds on results from our current collaboration - a new method for modelling, analysis and defect detection for the requirements of large-scale systems. We will develop and scale-up to industry strength, simpler, more powerful, strategies for analysing, designing and providing the high level of assurance required.Read moreRead less
Network Management in a World of Secrets. The aim of this proposal is to provide world leading measurement and management techniques for the Internet and other telecommunications networks. In particular, the methods will improve privacy of network participants (customers and providers) while simultaneously improving network performance. Additionally, the project will create expertise in an area of great future interest -- privacy preserving computation -- expertise that can be transferred to stu ....Network Management in a World of Secrets. The aim of this proposal is to provide world leading measurement and management techniques for the Internet and other telecommunications networks. In particular, the methods will improve privacy of network participants (customers and providers) while simultaneously improving network performance. Additionally, the project will create expertise in an area of great future interest -- privacy preserving computation -- expertise that can be transferred to students and the next generation of innovators.
Apart from these benefits, the research will provide exposure of Australian research strength in an area of world-wide public interest. Results concerning Internet reliability are of particularly high impact. Read moreRead less
Adaptive Modulation For OFDM Signals. The sub band Signal To Noise Ratio in an OFDM communications channel varies by as much as 30 dB. In order to optimise the bandwidth efficiency of OFDM signalling it is desirable to adapt the chosen modulation technique such as M-ary QAM to the SNR available in sub bands. In this way high quality channels transmit the highest bit rates, whilst low quality channels accommodate the lowest bit rates. The net result is that the capacity of the communications link ....Adaptive Modulation For OFDM Signals. The sub band Signal To Noise Ratio in an OFDM communications channel varies by as much as 30 dB. In order to optimise the bandwidth efficiency of OFDM signalling it is desirable to adapt the chosen modulation technique such as M-ary QAM to the SNR available in sub bands. In this way high quality channels transmit the highest bit rates, whilst low quality channels accommodate the lowest bit rates. The net result is that the capacity of the communications link does not have to be limited by designing for worst case conditions.Read moreRead less
Optimal Waveform Design and Compensation Techniques for Non Linear Communication Channels. Distortion effects in satellite amplifiers have a serious impact upon communication system performance, for example, by increasing the error rates.
The research study we are proposing involves analysing these distortion causing non linear effects and designing techniques to compensate for them. Although we are initially interested in the nonlinear satellite channel, we intend the results to be extended t ....Optimal Waveform Design and Compensation Techniques for Non Linear Communication Channels. Distortion effects in satellite amplifiers have a serious impact upon communication system performance, for example, by increasing the error rates.
The research study we are proposing involves analysing these distortion causing non linear effects and designing techniques to compensate for them. Although we are initially interested in the nonlinear satellite channel, we intend the results to be extended to other difficult nonlinear channels such as will be present in future 3G and 4G mobile communication systems.
The proposed research will place Australia at the forefront of cutting edge Information Technology and Communications research.
Read moreRead less
Producing 3D video sequences from 2D input video. The project will develop new methods for extracting 3D information from existing films so that they may be used with 3D television monitors marketed by the industrial partner, Dynamic Digital Depth. The 3D representation will allow existing video material such as existing films, TV programs and news video to be viewed in 3D on a suitable 3D TV monitor. This will give a boost to the acceptance of 3D television and film as a preferred medium. Ex ....Producing 3D video sequences from 2D input video. The project will develop new methods for extracting 3D information from existing films so that they may be used with 3D television monitors marketed by the industrial partner, Dynamic Digital Depth. The 3D representation will allow existing video material such as existing films, TV programs and news video to be viewed in 3D on a suitable 3D TV monitor. This will give a boost to the acceptance of 3D television and film as a preferred medium. Expected outcome is a software system that will speed the conversion of 2D video to a 3D representation through automatic and interactive analysis techniques.Read moreRead less