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
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
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
Optimal Transforms of Random Vectors. This proposal focusses on development of optimal transforms to describe and model nonlinear phenomena when only statistical information is known. An optimal transform is a mathematical procedure that enables us to process information in a way that is most suited to the task in hand. These transforms have been successfully used in approximation, information theory, communications, control theory and signal and image processing. Applications include modelli ....Optimal Transforms of Random Vectors. This proposal focusses on development of optimal transforms to describe and model nonlinear phenomena when only statistical information is known. An optimal transform is a mathematical procedure that enables us to process information in a way that is most suited to the task in hand. These transforms have been successfully used in approximation, information theory, communications, control theory and signal and image processing. Applications include modelling of physical, chemical and biological systems, filtering and compression of signals and data classification and clustering. We propose two new hybrid models for realistic transforms in a general structural framework.
Read moreRead less
Generalised quantum models of complexity with application to cognitive systems. Non-separable systems surround us. Our transportation, taxation, schooling, environmental and social policies are all interrelated, and it is increasingly recognised that we cannot consider them in isolation. Such systems are generally deemed complex, and it is often impossible to separate them from one another. Despite this, many of our most advanced modelling techniques are grounded in principles of separability a ....Generalised quantum models of complexity with application to cognitive systems. Non-separable systems surround us. Our transportation, taxation, schooling, environmental and social policies are all interrelated, and it is increasingly recognised that we cannot consider them in isolation. Such systems are generally deemed complex, and it is often impossible to separate them from one another. Despite this, many of our most advanced modelling techniques are grounded in principles of separability and non-contextuality. This project will develop a new set of models of non-separable systems and complexity that will in turn lead to new frontier technologies and theories.Read moreRead less
Explicit Construction of Global Function Fields with Many Rational Places. The use of error-correcting codes and cryptosystems is fundamental to the secure and reliable operation of many technological devices that we depend upon in our everyday lives. Essentially invisible, both coding theory and cryptography are essential for banking (ATM machines, e-banking), commerce (e-commerce), defense (cryptography) and entertainment (digital TV and radio, music CDs, DVDs). While certain families of "goo ....Explicit Construction of Global Function Fields with Many Rational Places. The use of error-correcting codes and cryptosystems is fundamental to the secure and reliable operation of many technological devices that we depend upon in our everyday lives. Essentially invisible, both coding theory and cryptography are essential for banking (ATM machines, e-banking), commerce (e-commerce), defense (cryptography) and entertainment (digital TV and radio, music CDs, DVDs). While certain families of "good" codes and cryptosystems can be constructed from specific function fields whose existence is guaranteed by abstract theory, often no actual construction for the function field is currently known. We aim to close this gap, making a greater range of "good" codes and cryptosystems available for practical applications.
Read moreRead less