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
Visual Tracking: Geometric Fitting and Filtering. One of the most elementary things that people and sighted animals do is to follow moving objects with their eyes. Movement is a cue to the importance and relevance of objects in a scene. Visually tracking objects allows the determination of important characteristics - distance to the object, shape of the object, likely behaviour of the object etc. Though systems have been built that can perform visual tracking: accuracy and reliability must be i ....Visual Tracking: Geometric Fitting and Filtering. One of the most elementary things that people and sighted animals do is to follow moving objects with their eyes. Movement is a cue to the importance and relevance of objects in a scene. Visually tracking objects allows the determination of important characteristics - distance to the object, shape of the object, likely behaviour of the object etc. Though systems have been built that can perform visual tracking: accuracy and reliability must be improved though a better understanding of the underlying processes. Applications include visual inspection (industrial automation), surveillance (civil and military), robot vision for scene understanding and navigation, multimedia production (automatic human motion capture for example), and human computer interfaces.
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
New Analytical Perspectives on the Algorithmic Complexity of the Hamiltonian Cycle Problem. Hamiltonian Cycle Problem (HCP), known - in the complexity theory of
algorithms -to be NP-hard is proposed for study, from three innovative,
separate (yet related) analytical perspectives: singularly perturbed
(controlled) Markov chains, that links the HCP with systems and control
theories; parametric nonconvex optimization, that links HCP with fast
interior point methods of modern optimization an ....New Analytical Perspectives on the Algorithmic Complexity of the Hamiltonian Cycle Problem. Hamiltonian Cycle Problem (HCP), known - in the complexity theory of
algorithms -to be NP-hard is proposed for study, from three innovative,
separate (yet related) analytical perspectives: singularly perturbed
(controlled) Markov chains, that links the HCP with systems and control
theories; parametric nonconvex optimization, that links HCP with fast
interior point methods of modern optimization and the spectral approach
based on a novel adaptation of Ihara-Selberg trace formula for regular
graphs. Our mathematical approach to this archetypal complex problem of graph
theory and discrete optimization promises to enhance the fundamental
understanding - and ultimate "managibility" - of the underlying
difficulty of HCP.
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
Information Security Evaluation of Embedded Computer Software. Safeguarding classified electronic communications is of major national importance. This research, into security evaluation of computer software, is supported by the Defence Signals Directorate, which verifies the security of communications devices used by Australia's government and armed forces. As such devices become increasingly sophisticated, traditional security evaluation techniques have become unacceptably difficult and costl ....Information Security Evaluation of Embedded Computer Software. Safeguarding classified electronic communications is of major national importance. This research, into security evaluation of computer software, is supported by the Defence Signals Directorate, which verifies the security of communications devices used by Australia's government and armed forces. As such devices become increasingly sophisticated, traditional security evaluation techniques have become unacceptably difficult and costly. Hardware evaluation techniques, based on tracing paths through circuitry diagrams, have proven unsuitable for software evaluations. Consequently, devising new tools and techniques for information security evaluation of embedded computer software is essential for preserving Australia's national security.Read moreRead less
Building dependability into complex, computer-based systems. Air traffic control, telecommunications, defence, power distribution and many other vital infrastructures all rely on complex computer-based systems. Whenever one of these systems fails, it can cause major disruption to society, create large financial losses and even pose risks to life.
This project will integrate and improve methods for modelling and analysing computer-based systems in terms of their requirements and architectures ....Building dependability into complex, computer-based systems. Air traffic control, telecommunications, defence, power distribution and many other vital infrastructures all rely on complex computer-based systems. Whenever one of these systems fails, it can cause major disruption to society, create large financial losses and even pose risks to life.
This project will integrate and improve methods for modelling and analysing computer-based systems in terms of their requirements and architectures, focusing on how to achieve and maintain dependability in the context of on-going change and failure to meet requirements. These methods will be based on sound mathematical foundations and proven engineering approaches applicable to industrial-scale complex systems.Read moreRead less
A hardware accellerated platform for high-fidelity, high speed simulation of infrared scenes. Missiles present a major military and terrorist threat to aircraft and ships. A possible method to detect them is an infrared imaging system which is sensitive to a missile's spectrally unique rocket propulsion exhaust. It is both dangerous and expensive to conduct field trials; so simulation is used extensively. This project aims to use high performance computing to accelerate the slowest parts of the ....A hardware accellerated platform for high-fidelity, high speed simulation of infrared scenes. Missiles present a major military and terrorist threat to aircraft and ships. A possible method to detect them is an infrared imaging system which is sensitive to a missile's spectrally unique rocket propulsion exhaust. It is both dangerous and expensive to conduct field trials; so simulation is used extensively. This project aims to use high performance computing to accelerate the slowest parts of the industrial partner's existing simulations: the generation of simulated infrared images.
This project will improve the competitiveness of the manufacturer of infrared threat and warning systems and provide research training in an area of high performance computing.
Read moreRead less
A Scalable Theory of Behavior Composition for Practical Engineering Models of Human Performance. Minimizing human error and maximizing human performance is a major design goal in safety critical systems. The development of methods for affordable human performance modeling has widespread applicability for evaluating user-system interfaces. The compositional method explored here has been shown to make accurate predictions reduce model development time by an order of magnitude. Large safety critica ....A Scalable Theory of Behavior Composition for Practical Engineering Models of Human Performance. Minimizing human error and maximizing human performance is a major design goal in safety critical systems. The development of methods for affordable human performance modeling has widespread applicability for evaluating user-system interfaces. The compositional method explored here has been shown to make accurate predictions reduce model development time by an order of magnitude. Large safety critical applications, such as military or air traffic control systems, would benefit greatly. The proposed work tests whether the compositional methods will scale to more complex domains. The work will be coordinated with Australian industry, academia, and government research efforts.Read moreRead less
Through Walls Collaboration to Support Command and Control Operations with Eyes and Ears in the Field. Australia is a geographically dispersed country with locations of high concentrations of technology resources. Australia requires the ability to gather real time intelligence information in the field to support planning and operational decisions by a command team for military and civil defence operations. Currently Australia supports such operations in remote areas of the country and numerous o ....Through Walls Collaboration to Support Command and Control Operations with Eyes and Ears in the Field. Australia is a geographically dispersed country with locations of high concentrations of technology resources. Australia requires the ability to gather real time intelligence information in the field to support planning and operational decisions by a command team for military and civil defence operations. Currently Australia supports such operations in remote areas of the country and numerous overseas operations. A major research outcome is the design and development of interaction techniques for the mobile users in through walls collaboration systems to control and manipulate augmented reality information in the field across a number of application domains, such as medical, maintenance, military, search and rescue, and GIS visualization.Read moreRead less