Application of Optimisation Techniques to the Truck/Loader Selection Problem in Mining. Australia has world class deposits of most major mineral commodities and is a major producer and exporter of coal and many metals. The mining industry has an annual turnover of around $40 billion. A significant component (up to 55%) of mining costs is material handling. This project aims to develop computational tools for determining the best selection of trucks and loaders for the mining operation. To da ....Application of Optimisation Techniques to the Truck/Loader Selection Problem in Mining. Australia has world class deposits of most major mineral commodities and is a major producer and exporter of coal and many metals. The mining industry has an annual turnover of around $40 billion. A significant component (up to 55%) of mining costs is material handling. This project aims to develop computational tools for determining the best selection of trucks and loaders for the mining operation. To date this important problem has not been addressed. Our strategy is to develop accurate mathematical models and cutting edge optimisation techniques for their solution. The research outcomes will have significant outcomes for the mining industry.Read moreRead less
Mining venture risk: novel econometric methods to integrate joint financial and geological uncertainty into dynamic risk forecasting measures. The mining industry is nationally important: it contributed $33,927M to Australia's GDP in 2002-3. This project's outcomes - sophisticated statistical and econometric tools - will significantly improve capability for forecasting overall risk to mining projects requiring vast upfront, irreversible investments, and contribute to its efficiency and internati ....Mining venture risk: novel econometric methods to integrate joint financial and geological uncertainty into dynamic risk forecasting measures. The mining industry is nationally important: it contributed $33,927M to Australia's GDP in 2002-3. This project's outcomes - sophisticated statistical and econometric tools - will significantly improve capability for forecasting overall risk to mining projects requiring vast upfront, irreversible investments, and contribute to its efficiency and international competitiveness. Innovative methods driven by data from complex financial and geological systems will integrate price volatility risk and orebody uncertainty in a real options framework, providing holistic, rigorous measurement of mining venture risk. Xstrata Queensland Ltd will strongly support and participate in research training of an identified candidate to deliver discoveries to the wider industry.Read moreRead less
Geometric structures in representation theory. Mathematics underpins every aspect of people's interactions with nature (e.g. physics) and with each other (e.g. finance). Its uses range from formulating physical laws in order to understand and predict nature, to analysis of financial concepts and transactions. This project will formulate and develop three new fundamental mathematical concepts: cellular algebras, eigenspace geometries, and diagram algebras. Benefits include enhancement of Australi ....Geometric structures in representation theory. Mathematics underpins every aspect of people's interactions with nature (e.g. physics) and with each other (e.g. finance). Its uses range from formulating physical laws in order to understand and predict nature, to analysis of financial concepts and transactions. This project will formulate and develop three new fundamental mathematical concepts: cellular algebras, eigenspace geometries, and diagram algebras. Benefits include enhancement of Australia's position at the very frontier of world class mathematical research, and a myriad of potential applications to physics, coding theory, information technology, electronic security and experimental design.Read moreRead less
The geometry of exotic nilpotent cones. This research will describe the geometry of some important objects which sit at the boundary of algebra, geometry, and combinatorics. It has intrinsic value as a significant addition to the heritage of mathematical thought, and will strengthen Australian traditions in these areas of mathematics.
Increasing the effectiveness of quantitative verification. The ability to analyse the performance of complex systems and protocols is a vital part of the development of large-scale computer applications. Methods that improve the effectiveness of the analysis task would increase the competitiveness of the software industry, and would attract future development work (in complex systems) to Australia. The results of this project will have a direct influence on currently available design tools; the ....Increasing the effectiveness of quantitative verification. The ability to analyse the performance of complex systems and protocols is a vital part of the development of large-scale computer applications. Methods that improve the effectiveness of the analysis task would increase the competitiveness of the software industry, and would attract future development work (in complex systems) to Australia. The results of this project will have a direct influence on currently available design tools; the fact that Australian institutions will be (in part) responsible for key theoretical results in this growing field will strengthen Australia's position worldwide as an international centre for computer science.Read moreRead less
Control of Markov jumping processes with constraints. The project outcomes will constitute the set of tools for modelling and optimisation of complex stochastic systems and will lead to new and more precise characterisations of optimal behaviour of complex controllable systems arising in Resource Management, Engineering and Telecommunications. Therefore, the project fits to the research priority areas Breakthrough Science and Frontier Technologies in the topic of mathematical modelling and optim ....Control of Markov jumping processes with constraints. The project outcomes will constitute the set of tools for modelling and optimisation of complex stochastic systems and will lead to new and more precise characterisations of optimal behaviour of complex controllable systems arising in Resource Management, Engineering and Telecommunications. Therefore, the project fits to the research priority areas Breakthrough Science and Frontier Technologies in the topic of mathematical modelling and optimisation of Complex Systems.Read moreRead less
Non-invasive assessment of hip fracture risk in elderly people. No falls, no fractures - this will be the main benefit of the proposed research. The most significant outcome will be new computational tools to improve current understanding of the biomechanics of falls and bone fragility in elderly people, which, in turn, will help to reduce healthcare costs associated with the treatment and management of hip fractures. Realistic models and computer simulations of human movement can play a pivota ....Non-invasive assessment of hip fracture risk in elderly people. No falls, no fractures - this will be the main benefit of the proposed research. The most significant outcome will be new computational tools to improve current understanding of the biomechanics of falls and bone fragility in elderly people, which, in turn, will help to reduce healthcare costs associated with the treatment and management of hip fractures. Realistic models and computer simulations of human movement can play a pivotal role in three of Australia's largest industries: healthcare, through the diagnosis and treatment of movement disorders; sports, through the development of personalized training programs for elite athletes; and entertainment, through the development of video/digital games and animated films.Read moreRead less
A Control Systems Approach for Understanding Human Locomotion. This proposal addresses fundamental, difficult questions in the context of human movement: How do muscles move our limbs during walking? How do the nervous system and muscles work together to control movement? Realistic computer simulations of human movement can help answer these questions and, in so doing, can play a pivotal role in three of Australia's largest industries: healthcare, through clinical gait analysis and gait rehabili ....A Control Systems Approach for Understanding Human Locomotion. This proposal addresses fundamental, difficult questions in the context of human movement: How do muscles move our limbs during walking? How do the nervous system and muscles work together to control movement? Realistic computer simulations of human movement can help answer these questions and, in so doing, can play a pivotal role in three of Australia's largest industries: healthcare, through clinical gait analysis and gait rehabilitation (diagnosis and treatment of movement disorders); sports, through the development of personalized training programs for elite athletes; and entertainment, through the development of video/digital games and animated films (creation of virtual life-like actors).Read moreRead less
Patient-specific computational tools for evaluating functional performance of total knee replacements in vivo. Knee replacement surgery is the established treatment for end-stage osteoarthritis. This proposal addresses one of the most fundamental questions related to knee replacement surgery: Why do total knee replacements fail? High-fidelity, patient-specific computer simulations of walking can help to answer this question and, in so doing, can improve the functional performance and longevity o ....Patient-specific computational tools for evaluating functional performance of total knee replacements in vivo. Knee replacement surgery is the established treatment for end-stage osteoarthritis. This proposal addresses one of the most fundamental questions related to knee replacement surgery: Why do total knee replacements fail? High-fidelity, patient-specific computer simulations of walking can help to answer this question and, in so doing, can improve the functional performance and longevity of current knee implant designs. Realistic computer simulations of human movement also can play a pivotal role in healthcare through patient rehabilitation; in sports, through the development of personalized training programs for elite athletes; and in entertainment, through the creation of video games and animated films.Read moreRead less
Expressive power and complexity of temporal logics for model-checking. Hardware verification based upon mathematical logic is now routinely
used in industry to verify the correctness of large digital circuits
using a technique called model-checking. Such discrete systems move
from one state to another according to the regular ticks of a clock.
The challenge now is to find tractable methods for reasoning about
real-time systems and hybrid systems that move in a continuous manner
with respec ....Expressive power and complexity of temporal logics for model-checking. Hardware verification based upon mathematical logic is now routinely
used in industry to verify the correctness of large digital circuits
using a technique called model-checking. Such discrete systems move
from one state to another according to the regular ticks of a clock.
The challenge now is to find tractable methods for reasoning about
real-time systems and hybrid systems that move in a continuous manner
with respect to time: examples include aeroplanes flying according to
the laws of physics and a moving robot arm. We shall invent new logics
which are specifically tailored for tractable reasoning about
real-time and hybrid systems.Read moreRead less