Economic Operability Assessment of Leaching Process at Kwinana Nickel Refinery. Process operability is concerned with systematic analysis and improvement of process performance in the face of variable operating conditions. This project will develop a rigorous methodology for analysis of process operability with respect to short-term and transient disturbances. The proposed technique will be applied to the Kwinana Nickel Refinery Leach section, in order to reduce the plant variability and increas ....Economic Operability Assessment of Leaching Process at Kwinana Nickel Refinery. Process operability is concerned with systematic analysis and improvement of process performance in the face of variable operating conditions. This project will develop a rigorous methodology for analysis of process operability with respect to short-term and transient disturbances. The proposed technique will be applied to the Kwinana Nickel Refinery Leach section, in order to reduce the plant variability and increase nickel throughput and plant availability. This can be considered as significant move by a process industry to embrace advanced theoretical developments and will act as a benchmark to promote future links between Australian industry and academia.Read moreRead less
Wavelet approaches for solving nonlinear dynamic systems in process engineering. The success of the proposed project will enable us to obtain more accurate numerical solutions for the nonlinear dynamical systems arising from process engineering. This ensures the potential for understanding and optimising industrial and engineering processes. Hence, a wide range of processing industries in Australia, such as agricultural chemicals, mineral processing, food, detergents, pharmaceuticals, ceramics ....Wavelet approaches for solving nonlinear dynamic systems in process engineering. The success of the proposed project will enable us to obtain more accurate numerical solutions for the nonlinear dynamical systems arising from process engineering. This ensures the potential for understanding and optimising industrial and engineering processes. Hence, a wide range of processing industries in Australia, such as agricultural chemicals, mineral processing, food, detergents, pharmaceuticals, ceramics and specialty chemicals will benefit from the results of this project. This will ensure globally competitive production and, therefore, greater contributions to the Australian economy.Read moreRead less
Asynchronous Continuous Time Conditioning. Methodology for reasoning about Asynchronous Temporal Conditional Events (ATCE) obtains, complete with logical calculus for causal relations, reasoning about continuous time belief change, and markov chain algorithms calculating joint distributions of ATCE's.
Current techniques, including bayesian nets, are oblivious to temporal aspects; within our model they can be enhanced to recognize dynamic time changes. Ours is the first such unified model and ....Asynchronous Continuous Time Conditioning. Methodology for reasoning about Asynchronous Temporal Conditional Events (ATCE) obtains, complete with logical calculus for causal relations, reasoning about continuous time belief change, and markov chain algorithms calculating joint distributions of ATCE's.
Current techniques, including bayesian nets, are oblivious to temporal aspects; within our model they can be enhanced to recognize dynamic time changes. Ours is the first such unified model and first to link conditional objects with continuous time constraints.
Need for structures we propose arises in diagnostic reasoning, bayesian learning, temporal databases, and time-dependent data mining. Several commercial products (like Microsoft Office Assistant)could apply them forthwith.Read moreRead less
Dynamic CFD Simulations and Scale-Up of Three-Phase Slurry Reactors for Gas-to-Liquid (GTL) Technology. The gas-liquid-solid flow patterns in three-phase slurry bubble column reactors will be studied using experiments and CFD. The effect of various reactor parameters will be studied to develop the scale-up heuristic for the slurry bubble column reactor. The Findings of this study will be used to optimise the reactor system for the offshore natural gas locations of Australia. A successful impleme ....Dynamic CFD Simulations and Scale-Up of Three-Phase Slurry Reactors for Gas-to-Liquid (GTL) Technology. The gas-liquid-solid flow patterns in three-phase slurry bubble column reactors will be studied using experiments and CFD. The effect of various reactor parameters will be studied to develop the scale-up heuristic for the slurry bubble column reactor. The Findings of this study will be used to optimise the reactor system for the offshore natural gas locations of Australia. A successful implementation of this project will bring a huge economic benefit to Australia by utilising the vast amount of remotely located and otherwise unusable stranded natural gas reserves. The project falls within one of National Research Priorities: An Environmentally Sustainable Australia.Read moreRead less
An innovative computational technique for the study and control of oscillation marks in continuous casting of steel. The project addresses an important problem in steel making industry. The success of the project will lead to a comprehensive understanding of the continuous steel casting process and the development of an innovative computational technique for the analysis of the process, which is important for the optimal control of the process. As Australia has a huge amount of mineral resources ....An innovative computational technique for the study and control of oscillation marks in continuous casting of steel. The project addresses an important problem in steel making industry. The success of the project will lead to a comprehensive understanding of the continuous steel casting process and the development of an innovative computational technique for the analysis of the process, which is important for the optimal control of the process. As Australia has a huge amount of mineral resources, improvement of the steel casting technology will result in great economic and social benefit. It will increase the revenue from the steelmaking industry and ensure the Australian steelmaking industry to be internationally competitive. The project will also lead to the production of a number of graduates with expertise directly useful to our local industry. Read moreRead less
Service-oriented negotiation and coordination in multi-agent systems. Australia has a strong competitive advantage in the area of agent software. The outcomes of this project will provide an improved platform for services in application areas such as finance, e-commerce, tourism, and multi-platform media. More broadly, the work proposed here will enable the IT industry in Australia, and Melbourne specifically, to adopt and utilise agent-technology in developing the complex software that is inc ....Service-oriented negotiation and coordination in multi-agent systems. Australia has a strong competitive advantage in the area of agent software. The outcomes of this project will provide an improved platform for services in application areas such as finance, e-commerce, tourism, and multi-platform media. More broadly, the work proposed here will enable the IT industry in Australia, and Melbourne specifically, to adopt and utilise agent-technology in developing the complex software that is increasingly required to meet the needs of the software-driven knowledge economy of the 21st century.Read moreRead less
High-performance computational data-mining techniques for feature detection in complex time series from large-scale, networked plasma experiments. Terabytes of data are gathered from large experimental facilities as complex time-series. Analysis of these data is daunting, especially when they involve high-dimensional spectral or image arrays. We will develop high-performance computational techniques for dimension reduction, efficient data-mining, and experimental control, using as an initial ta ....High-performance computational data-mining techniques for feature detection in complex time series from large-scale, networked plasma experiments. Terabytes of data are gathered from large experimental facilities as complex time-series. Analysis of these data is daunting, especially when they involve high-dimensional spectral or image arrays. We will develop high-performance computational techniques for dimension reduction, efficient data-mining, and experimental control, using as an initial target the H-1NF plasma fusion MNRF at the ANU and its >100 GB/year data stream. The techniques will immediately provide Australian researchers with unique tools for collaboration in international research to develop fusion as a low-emissions source of electricity, and will be applicable to complex time-series analysis in other areas of science, medicine, and defence.Read moreRead less
Information security and digital watermarking with Latin squares. The importance of digital information is increasing constantly. Audio, video, and still image data dominate our daily lives. Such information has commercial and strategic importance. It is invaluable in crime prevention: for example, video from security cameras. The protection of commercially valuable material against piracy and sensitive information against security breaches is vital to our economy and our safety. This project ad ....Information security and digital watermarking with Latin squares. The importance of digital information is increasing constantly. Audio, video, and still image data dominate our daily lives. Such information has commercial and strategic importance. It is invaluable in crime prevention: for example, video from security cameras. The protection of commercially valuable material against piracy and sensitive information against security breaches is vital to our economy and our safety. This project addresses these issues, by developing new, secure watermarks and fingerprints to protect digital information. Such watermarks can also protect radio communication channels, which is important due to the rising demand for wireless connectivity.Read moreRead less
From Universal Induction to Intelligent Systems. The dream of creating artificial devices that (out)reach human intelligence is an old one. What makes this challenge so interesting? A solution would have enormous implications for our society, and there are arguments that the AI problem might be solved within a couple of decades. Specialized intelligent systems are actually already pervasive (finger print, handwriting, speech, and face recognition; spam filtering; search engines; computer chess; ....From Universal Induction to Intelligent Systems. The dream of creating artificial devices that (out)reach human intelligence is an old one. What makes this challenge so interesting? A solution would have enormous implications for our society, and there are arguments that the AI problem might be solved within a couple of decades. Specialized intelligent systems are actually already pervasive (finger print, handwriting, speech, and face recognition; spam filtering; search engines; computer chess; robots). This decade the first presumably complete mathematical theory of AI has been proposed. By working out this theory, this project will significantly contribute to the foundations of inductive inference and AI, and ultimately lead to smarter software and intelligent systems.Read moreRead less
Logic, Abstraction and Construction. This is unashamedly a pure research project in logic. It aims to enhance our understanding of core issues in the nature of the world and how we can appropriately reason about it. Nevertheless, the techniques developed in logic inevitably find a home in applications in computer science, linguistics, mathematics and related fields. This project, in particular, will develop tools for realistically reasoning about the kinds of abstract or constructed objects on ....Logic, Abstraction and Construction. This is unashamedly a pure research project in logic. It aims to enhance our understanding of core issues in the nature of the world and how we can appropriately reason about it. Nevertheless, the techniques developed in logic inevitably find a home in applications in computer science, linguistics, mathematics and related fields. This project, in particular, will develop tools for realistically reasoning about the kinds of abstract or constructed objects one finds in mathematics, and with the vague or contradictory concepts we use in everyday discourse. In addition, the project will provide research training for postgraduate students, and it will strengthen an already internationally recognised research centre in philosophical logic.Read moreRead less