Advanced Software Engineering Support for Intelligent Agent Systems. Software Agents are an important technology for developing the complex software systems that are increasingly required to meet the needs of society. A crucial obstacle to the widespread adoption of agent technology is the lack of an appropriate software engineering methodology. This project proposes to explore support for design processes addressing advanced issues in agent systems, such as goal-based requirements, debugging ....Advanced Software Engineering Support for Intelligent Agent Systems. Software Agents are an important technology for developing the complex software systems that are increasingly required to meet the needs of society. A crucial obstacle to the widespread adoption of agent technology is the lack of an appropriate software engineering methodology. This project proposes to explore support for design processes addressing advanced issues in agent systems, such as goal-based requirements, debugging using design artefacts, component-based design, and reuse. We will also extend the methodology to support teamwork and open systems. We will be building on successful work we have already done in establishing a basic agent oriented software design methodology.Read moreRead less
Quantum Information and Entanglement: a new framework for Science and Technology with quantum many-body systems. The expected outcome of the research program is a significant boost in the understanding of quantum many-body systems, which will reinforce Australia's competitiveness and international profile in aspects of breakthrough science and frontier technologies. By developing both the underpinning theory and innovative computational tools, and by applying them to problems of recognised impor ....Quantum Information and Entanglement: a new framework for Science and Technology with quantum many-body systems. The expected outcome of the research program is a significant boost in the understanding of quantum many-body systems, which will reinforce Australia's competitiveness and international profile in aspects of breakthrough science and frontier technologies. By developing both the underpinning theory and innovative computational tools, and by applying them to problems of recognised importance, this program will have direct implications in areas of condensed matter physics, quantum statistical mechanics, particle physics, complex systems, quantum information science and technology, quantum computation, engineered quantum systems and nanotechnology. Read moreRead less
A Formal Approach to Resource Allocation in Service Oriented Marketplaces. There was a strong opinion at the 2004 World Economic Forum that interorganisational computing was a major factor in productivity improvements underpinning continuing economic growth in the developed world, and will continue to be so for the foreseeable future. The results of the proposed research are directed to advanced systems of this type, and will add momentum to Australia's Information Technology research community. ....A Formal Approach to Resource Allocation in Service Oriented Marketplaces. There was a strong opinion at the 2004 World Economic Forum that interorganisational computing was a major factor in productivity improvements underpinning continuing economic growth in the developed world, and will continue to be so for the foreseeable future. The results of the proposed research are directed to advanced systems of this type, and will add momentum to Australia's Information Technology research community. Increased international recognition will positively impact on future interactions with the service composition research groups in Europe and the USA.Read moreRead less
Linear programming approach to nonlinear deterministic and stochastic control problems: perturbations methods and numerical analysis. The proposed research will significantly advance knowledge by creating new analytical and numerical methods for tackling complex nonlinear control problems arising in many applications. The study's outputs will lead to a deeper understanding of fundamental issues in mathematical modelling. Collaboration with renowned researchers will further improve Australia's st ....Linear programming approach to nonlinear deterministic and stochastic control problems: perturbations methods and numerical analysis. The proposed research will significantly advance knowledge by creating new analytical and numerical methods for tackling complex nonlinear control problems arising in many applications. The study's outputs will lead to a deeper understanding of fundamental issues in mathematical modelling. Collaboration with renowned researchers will further improve Australia's standing in the international research community. Also their visits may further promote research both within and outside the host institution. In particular, lectures and seminars that they will deliver will be transmitted to Australian universities participating in the Access Grid Room Project.Read moreRead less
Analysing and Generating Fault-Tolerant Real-Time Systems. Safety-critical real-time systems are being deployed increasingly in diverse areas such as controlling critical infrastructure like transportation (e.g., railway signalling) as well as in defence applications (e.g., fly-by-wire). Such systems must be dependable and hence must be built using fault-tolerant strategies.
This project is researching frontier ICT technologies for analysing, designing and generating fault-tolerant systems, con ....Analysing and Generating Fault-Tolerant Real-Time Systems. Safety-critical real-time systems are being deployed increasingly in diverse areas such as controlling critical infrastructure like transportation (e.g., railway signalling) as well as in defence applications (e.g., fly-by-wire). Such systems must be dependable and hence must be built using fault-tolerant strategies.
This project is researching frontier ICT technologies for analysing, designing and generating fault-tolerant systems, concentrating on their software control components.Read moreRead less
Next Generation Planar Tellurite Waveguides. The project provides the basis for the production of new high technology photonic products in Australia, the availability of at least one new unique facility for future scientific endeavour, and the generation of skillsets new to Australia. New IP will also be developed during the project. A successful outcome could also ultimately result in new products offering, for example, enhanced National Security through the Defence applications, better measure ....Next Generation Planar Tellurite Waveguides. The project provides the basis for the production of new high technology photonic products in Australia, the availability of at least one new unique facility for future scientific endeavour, and the generation of skillsets new to Australia. New IP will also be developed during the project. A successful outcome could also ultimately result in new products offering, for example, enhanced National Security through the Defence applications, better measurements of atmospheric contaminants through the sensing route, and more advanced telecommunications services at lower cost for citizens and businesses, and for lower operating costs for service providers.
Read moreRead less
Special Research Initiatives - Grant ID: SR0567373
Funder
Australian Research Council
Funding Amount
$99,696.00
Summary
Collection, Sharing, Visualisation and Analysis of locally gathered information from geographically remote areas vulnerable to tidal waves. This project will set up a virtual organization for tsunami related data analysis using grid technology. Due to geologically remote areas/countries involved the sharing of seismic, tidal and other locally gathered tsunami related information is critical to issuing a warning. In collaboration with Australian and International partners, this project will explo ....Collection, Sharing, Visualisation and Analysis of locally gathered information from geographically remote areas vulnerable to tidal waves. This project will set up a virtual organization for tsunami related data analysis using grid technology. Due to geologically remote areas/countries involved the sharing of seismic, tidal and other locally gathered tsunami related information is critical to issuing a warning. In collaboration with Australian and International partners, this project will explore: new avenues of tsunami-related data collection, which are currently not available; new data fusion methods; data sharing strategies; visualisation and analysis methods; and develop sensing methods to gather data on animal behaviours often reported as a possible way of identifying similar disasters.Read moreRead less
Verified Emulation of Legacy Mission Computer Systems. Processor obsolescence is a serious maintenance problem for long-lived computer control systems in military aircraft and other critical applications. A promising solution is to interpose an emulator program between the original "legacy" software and a replacement processor. Unfortunately, no techniques exist for accurately verifying that this procedure preserves the original system's functional and timing behaviour. A particular challenge ....Verified Emulation of Legacy Mission Computer Systems. Processor obsolescence is a serious maintenance problem for long-lived computer control systems in military aircraft and other critical applications. A promising solution is to interpose an emulator program between the original "legacy" software and a replacement processor. Unfortunately, no techniques exist for accurately verifying that this procedure preserves the original system's functional and timing behaviour. A particular challenge is that processor emulations involve both legacy code and new subroutines, written in different programming languages. This project will enable verification of safety and mission-critical emulated systems by devising a multilingual modelling and reasoning formalism, based on program refinement theory.Read moreRead less
DEVELOPING A SMART FIRE RISK ADVISORY SYSTEM USING FIRE MODELLING AND KNOWLEDGE-BASED SYSTEMS TECHNOLOGIES. This project aims to develop a prototype fire risk advisory system for fire prevention and protection. Intelligent knowledge-based systems technologies will be tailored to provide a standardised approach for fire risk analysis by using collective expertise of fire engineers and fire modelling. This project will lead to a significant advancement to the development of intelligent systems tec ....DEVELOPING A SMART FIRE RISK ADVISORY SYSTEM USING FIRE MODELLING AND KNOWLEDGE-BASED SYSTEMS TECHNOLOGIES. This project aims to develop a prototype fire risk advisory system for fire prevention and protection. Intelligent knowledge-based systems technologies will be tailored to provide a standardised approach for fire risk analysis by using collective expertise of fire engineers and fire modelling. This project will lead to a significant advancement to the development of intelligent systems techniques for industrial applications and provide a better fire risk analysis tool for fire protection and preventions with the benefit of reduced risk for buildings.
Read moreRead less
OPTIMISATION OF COMPACT BOILING HEAT EXCHANGERS USING ARTIFICIAL NEURAL NETWORK. Compact heat exchangers are increasingly considered for duties in many industrial applications, involving phase change processes of boiling and condensation. In many cases such applications are completely new and no previous experience or information is available for constructive design of compact heat exchangers. This project aims to develop a commercially-viable design methodology that will be innovative and novel ....OPTIMISATION OF COMPACT BOILING HEAT EXCHANGERS USING ARTIFICIAL NEURAL NETWORK. Compact heat exchangers are increasingly considered for duties in many industrial applications, involving phase change processes of boiling and condensation. In many cases such applications are completely new and no previous experience or information is available for constructive design of compact heat exchangers. This project aims to develop a commercially-viable design methodology that will be innovative and novel with in mind of robust and speedy computations of key design parameters of compact boiling heat exchangers through the artificial neural networks (ANN) model and maintaining the inherent accuracy associated with the solutions of the boiling flow and heat transfer processes from computational fluid dynamics (CFD) and validated using experimental data. It will provide a cutting edge to the Industry Partner to compete successfully on the local and global market fronts in designing and manufacturing compact boiling heat exchangers.Read moreRead less