Airports of the Future. This project will enhance the capabilities of Australian airport operators to design and manage complex airport systems. Research outcomes will enable the identification of patterns of behaviour and will provide tools to manage airport effectiveness and balance conflicting security, economic and passenger-driven pressures. Outcomes will improve productivity, enhance capabilities for critical infrastructure protection, and lessen the cost of mandated security, estimated t ....Airports of the Future. This project will enhance the capabilities of Australian airport operators to design and manage complex airport systems. Research outcomes will enable the identification of patterns of behaviour and will provide tools to manage airport effectiveness and balance conflicting security, economic and passenger-driven pressures. Outcomes will improve productivity, enhance capabilities for critical infrastructure protection, and lessen the cost of mandated security, estimated to grow to $152M by 2010 for the five major Australian airports. The deliverables of this project will be transferable to other complex socio-technical systems providing the potential to transform a range of Australian critical infrastructure and transportation hubs.Read moreRead less
Intelligent Model Checking. Real-world systems are typically so complex that software engineers require specialised CAD tools to debug and verify a design. Model checking is a formal method that is used extensively for this purpose, particularly for mission-critical systems. In this work, a new kind of verifying tool, based on model checking, is developed. This new model checker is intelligent because a heuristic search is integrated into the underlying formalism. It is not exhaustive, and is mo ....Intelligent Model Checking. Real-world systems are typically so complex that software engineers require specialised CAD tools to debug and verify a design. Model checking is a formal method that is used extensively for this purpose, particularly for mission-critical systems. In this work, a new kind of verifying tool, based on model checking, is developed. This new model checker is intelligent because a heuristic search is integrated into the underlying formalism. It is not exhaustive, and is more efficient than a traditional model checker during the design phase because it does only a minimum amount of work in its search for a fault.Read moreRead less
A lossy compression paradigm for sensory neural coding. By applying new interdisciplinary theoretical results, this research aims to enhance our understanding of how the ear turns sounds into electrical signals in the presence of high levels of random noise. Socio-economic benefits to Australia include: (i) contributions to the knowledge base of theoretical neuroscience, and communications systems, enhancing Australia's reputation for cutting-edge research; (ii) strengthening of European interna ....A lossy compression paradigm for sensory neural coding. By applying new interdisciplinary theoretical results, this research aims to enhance our understanding of how the ear turns sounds into electrical signals in the presence of high levels of random noise. Socio-economic benefits to Australia include: (i) contributions to the knowledge base of theoretical neuroscience, and communications systems, enhancing Australia's reputation for cutting-edge research; (ii) strengthening of European international collaborations; (iii) outcomes that will ultimately impact on improved designs for bionic ears and future biomedical prosthetics; and (iv) commercialisation and technology transfer opportunities, via the transfer of results to wireless artificial sensor networks.Read moreRead less
Large-scale Parallelization of Neural Stimulation in a Visual Prosthesis. Over time, engineers have been able to treat a large number of disorders through new technologies. For example, the deaf can now hear again through cochlear implants. Similar efforts to provide vision to the blind, however, have met with difficulties owing to the high quantities of sites that must be stimulated to provide 'useful' vision. This study addresses the important issues relating to the delivery of large quantitie ....Large-scale Parallelization of Neural Stimulation in a Visual Prosthesis. Over time, engineers have been able to treat a large number of disorders through new technologies. For example, the deaf can now hear again through cochlear implants. Similar efforts to provide vision to the blind, however, have met with difficulties owing to the high quantities of sites that must be stimulated to provide 'useful' vision. This study addresses the important issues relating to the delivery of large quantities of electrical stimulations to surviving nerves in the eyes of blind patients in an effort to devise a beneficial visual prosthesis or 'bionic eye'. The outcomes of this study could substantially enhance Australia's already prominent reputation in neurostimulation and provide much needed treatments to vision disorders.Read moreRead less
Individualized cochlear implant sound coding: Optimized algorithms for better hearing. One in six Australians is affected by hearing loss. Hearing loss impacts on a person's educational and employment opportunities, resulting in a significant economic impact upon Australia. Over 10% of people with hearing impairment have a severe or profound hearing loss and may be candidates for a cochlear implant. Current cochlear implant sound processing only offers limited benefit to users. This project repr ....Individualized cochlear implant sound coding: Optimized algorithms for better hearing. One in six Australians is affected by hearing loss. Hearing loss impacts on a person's educational and employment opportunities, resulting in a significant economic impact upon Australia. Over 10% of people with hearing impairment have a severe or profound hearing loss and may be candidates for a cochlear implant. Current cochlear implant sound processing only offers limited benefit to users. This project represents a truly innovative pathway forward in the development of cochlear implant sound coding that could substantially increase the speech perception of users, enabling these people to become and remain active and productive members of our community.Read moreRead less
Sound and Shape Synthesis Using Tensegrity Particle Systems. Pixar's Toy Story amazed audiences with its computer-generated images, yet the sound was still composed and ?tuned? almost wholly by human hand. In industry, virtual reality systems are increasingly applied to simulation and visualisation but, in general, 'sound? is poorly handled. In this project, we seek to research complex systems that will simulate an object's sound, shape and interaction characteristics in a unified approach. Our ....Sound and Shape Synthesis Using Tensegrity Particle Systems. Pixar's Toy Story amazed audiences with its computer-generated images, yet the sound was still composed and ?tuned? almost wholly by human hand. In industry, virtual reality systems are increasingly applied to simulation and visualisation but, in general, 'sound? is poorly handled. In this project, we seek to research complex systems that will simulate an object's sound, shape and interaction characteristics in a unified approach. Our proposed Tensegrity particle systems generate minimal, stable and robust descriptions of objects in interacting situations. This represents a new and unique approach to the unified representation of multimedia objects with applications in manufacturing and entertainment.Read moreRead less
System Identification of Complex System Models. This project lies within an ARC Research Priority Area. Namely, "Frontier Technologies". It involves the development of new technologies and fundamental theory that take data records from physical or abstract systems and generate mathematical models for use in prediction, control and diagnosis of the underlying system. In light of this, the project also lies within the ARC Research Priority Area of "Smart Information Use",
Agent-Based Frameworks for Coordinated Activities in E-Business: Supply Chain Management and Workflow Applications. As e-commerce over the Internet expands, the level of integration of businesses and consumers will increase, necessitating innovative approaches to decision-support and information management to facilitate within-business, business-to-consumer and business-to-business transactions. In conjunction with a local designer of business solutions, Agent Oriented Software Pty. Ltd., this p ....Agent-Based Frameworks for Coordinated Activities in E-Business: Supply Chain Management and Workflow Applications. As e-commerce over the Internet expands, the level of integration of businesses and consumers will increase, necessitating innovative approaches to decision-support and information management to facilitate within-business, business-to-consumer and business-to-business transactions. In conjunction with a local designer of business solutions, Agent Oriented Software Pty. Ltd., this project aims to build agent-based frameworks for the support of selected within-business and business-to-business activities in supply chain management, implement an agent-based workflow system based around document management, and provide research training in this key area of technology through joint university-industry supervision of two research students. This will enhance Australia's competitiveness in the provision of leading edge technologies to support e-commerce.Read moreRead less
A hybrid multi-agent technique for shop floor control. The new knowledge and techniques, as a result of this research project, will have direct relevance to many Australian industries. In particular, they provide opportunities to improve Australia's competitiveness through innovations for the manufacturing sector. The project will enable the development of the state-of-the-art simulation software readily accessible to a larger section of industry, including small to medium sized manufacturers. T ....A hybrid multi-agent technique for shop floor control. The new knowledge and techniques, as a result of this research project, will have direct relevance to many Australian industries. In particular, they provide opportunities to improve Australia's competitiveness through innovations for the manufacturing sector. The project will enable the development of the state-of-the-art simulation software readily accessible to a larger section of industry, including small to medium sized manufacturers. The use of meta-modelling will improve control of processes on the shop floor. Combining process meta-models with hybrid discrete event-based agent optimisation will result in increased shop floor efficiency, assisting Australian industry to be competitive in the world market.Read moreRead less
Implicit transmission of embodied culture. Is a culturally diverse, yet socially integrated community possible? In multicultural societies such as Australia, this is a pressing and significant question. To form and maintain a vibrant and prosperous community in the face of globalization, it is essential to understand the fundamental processes by which cultures are formed and transformed in everyday social activities. This project examines one such process, implicit cultural transmission, propose ....Implicit transmission of embodied culture. Is a culturally diverse, yet socially integrated community possible? In multicultural societies such as Australia, this is a pressing and significant question. To form and maintain a vibrant and prosperous community in the face of globalization, it is essential to understand the fundamental processes by which cultures are formed and transformed in everyday social activities. This project examines one such process, implicit cultural transmission, proposed to function in the nonconscious transmission of cultural information. Understanding the dynamics of this subtle, yet pervasive, mode of cultural influence is central to a full appreciation of how one's own culture and those of others' integrate and flourish.Read moreRead less