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
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
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
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
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
Special Research Initiatives - Grant ID: SR0354727
Funder
Australian Research Council
Funding Amount
$20,000.00
Summary
Mathematics for Government, Industry and Community -- The *Magic* Network. The *Magic* network will promote the use of mathematics by government, industry and community to analyse real problems and implement practical solutions. It will connect the most promising young Australian mathematicians to experienced researchers with strong research teams linked directly to the broader community. Our program will demand research excellence, emphasise a sustainable society, support outstanding young mat ....Mathematics for Government, Industry and Community -- The *Magic* Network. The *Magic* network will promote the use of mathematics by government, industry and community to analyse real problems and implement practical solutions. It will connect the most promising young Australian mathematicians to experienced researchers with strong research teams linked directly to the broader community. Our program will demand research excellence, emphasise a sustainable society, support outstanding young mathematicians and create opportunities for promising postgraduate students. We will offer scholarships for professional development and fund research visits and exchanges. *Magic* will provide tangible incentives for young Australian mathematicians and a new generation of researchers and research leaders.Read moreRead less
Nonlocal Statistical Mechanics and Logarithmic Conformal Field Theory. Australia has an enviable track record as an innovator and developer of advanced materials. This project in strategic basic research consists of theoretical work within the disciplines of statistical mechanics and conformal field theory to determine the profound role of nonlocal interactions, such as connectivities, in determining the critical physical properties of materials. Connectivities play a significant role in diverse ....Nonlocal Statistical Mechanics and Logarithmic Conformal Field Theory. Australia has an enviable track record as an innovator and developer of advanced materials. This project in strategic basic research consists of theoretical work within the disciplines of statistical mechanics and conformal field theory to determine the profound role of nonlocal interactions, such as connectivities, in determining the critical physical properties of materials. Connectivities play a significant role in diverse applications such as the gelation of polymers, random fuse networks, the spatial spread of epidemics and bushfires and the tertiary recovery of oil. This research will be practically useful in engineering the physical properties of advanced materials such as liquid crystals, gels, polymers and other materials.Read moreRead less
Exact solution of generalized models of polymers and percolation in two dimensions. Originating with the work of Rodney Baxter, Australia is the world leader in exactly solvable lattice models in two dimensions. This project, in strategic basic research, aims to continue this tradition and extend it by solving exactly new classes of two-dimensional lattice models involving nonlocal degrees of freedom. Since this will lead to new universal classes of thermodynamic behaviours for a diverse range o ....Exact solution of generalized models of polymers and percolation in two dimensions. Originating with the work of Rodney Baxter, Australia is the world leader in exactly solvable lattice models in two dimensions. This project, in strategic basic research, aims to continue this tradition and extend it by solving exactly new classes of two-dimensional lattice models involving nonlocal degrees of freedom. Since this will lead to new universal classes of thermodynamic behaviours for a diverse range of polymer-like systems, the potential for exploitation and commercialization is almost limitless. Potential applications include percolation of contaminants through aquifers, the spatial spread of epidemics and bushfires, the tertiary recovery of oil and filtering drinking water.Read moreRead less
Yield strength and plastic flow of heterogeneous materials: Designing optimal composites and porous materials. A major goal of materials science is to design materials with improved functionality at lower weight, cost and size. It is important to guide this expensive and time-consuming process with sophisticated computer modelling. In this project we aim to model how and why composite and porous materials fail when they are placed under stress. Our results will make materials design more efficie ....Yield strength and plastic flow of heterogeneous materials: Designing optimal composites and porous materials. A major goal of materials science is to design materials with improved functionality at lower weight, cost and size. It is important to guide this expensive and time-consuming process with sophisticated computer modelling. In this project we aim to model how and why composite and porous materials fail when they are placed under stress. Our results will make materials design more efficient by providing a valuable experimental interpretive tool and a theoretical map for material optimization. Our models will also provide crucial information needed for modelling the behavior of composites in applications.Read moreRead less
The geometry of impossible, or contradictory objects and its applications to computing and cognition. The principal aim is pure research, the increase of knowledge within the Theory of Inconsistency and particularly its mathematical aspects, to be available to the national and world community. Additionally, a new stock of hitherto-unseen images (still, moving and three-dimensional) will be constructed in a virtual reality environment. In addition to enhancing Australia's strong reputation in log ....The geometry of impossible, or contradictory objects and its applications to computing and cognition. The principal aim is pure research, the increase of knowledge within the Theory of Inconsistency and particularly its mathematical aspects, to be available to the national and world community. Additionally, a new stock of hitherto-unseen images (still, moving and three-dimensional) will be constructed in a virtual reality environment. In addition to enhancing Australia's strong reputation in logic, there are spin-offs for mathematics, cognitive science, computer studies, and the arts and entertainment industries.Read moreRead less