A New Approach to Air Traffic Management to Deliver Significantly Reduced Environmental Impact and System-wide Efficiencies. Aviation is often cited as a major contributor to harmful emissions in the upper atmosphere. The primary outcome of this project is the development of tools that will enable aviation industry stakeholders to optimise the deployment of 4-Dimensional User Preferred Trajectories across Australian airspace. It is expected that this will result in significant environmental bene ....A New Approach to Air Traffic Management to Deliver Significantly Reduced Environmental Impact and System-wide Efficiencies. Aviation is often cited as a major contributor to harmful emissions in the upper atmosphere. The primary outcome of this project is the development of tools that will enable aviation industry stakeholders to optimise the deployment of 4-Dimensional User Preferred Trajectories across Australian airspace. It is expected that this will result in significant environmental benefit, through reductions in fuel burn for each flight, and increases in system effectiveness. The project will enable better analysis of Australian aviation environmental effect, whilst at the same time allowing the aviation industry to continue to contribute to Australia's sustainable economic growth. 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
Integrated Financial Fraud Detection in Enterprise Applications. Fraud costs the Australian economy at least $3 billion per year. The incidence of fraud within the Australian economy is increasing. Australian entities are ill-prepared to detect and prevent fraud against their businesses with very few developing or implementing any form of fraud control strategy (AS 8001-2003). The growing use of the Internet by organisations for electronic commerce increases their exposure to fraudulent activiti ....Integrated Financial Fraud Detection in Enterprise Applications. Fraud costs the Australian economy at least $3 billion per year. The incidence of fraud within the Australian economy is increasing. Australian entities are ill-prepared to detect and prevent fraud against their businesses with very few developing or implementing any form of fraud control strategy (AS 8001-2003). The growing use of the Internet by organisations for electronic commerce increases their exposure to fraudulent activities. Inevitably much of the cost of fraud is passed on to the customers and the community at large. By providing large organisations with an approach to assist in detecting fraudulent behaviour in accounting systems, it is envisaged that this research will assist in reducing the impact of fraud on society.Read moreRead less
Integrating Global Multidimensional Datasets to Underpin Subduction Process Modelling During the Past 60 Million Years. Subduction zones are the sites for massive sulphide, orogenic vein gold and porphyry deposits. As Australia derived 47% of it merchandise exports from its mineral and energy resources in 2001, ore-deposits constitute an important component of the Australian economy. Understanding the environment of subduction initiation and development as well as the signal that it imparts on ....Integrating Global Multidimensional Datasets to Underpin Subduction Process Modelling During the Past 60 Million Years. Subduction zones are the sites for massive sulphide, orogenic vein gold and porphyry deposits. As Australia derived 47% of it merchandise exports from its mineral and energy resources in 2001, ore-deposits constitute an important component of the Australian economy. Understanding the environment of subduction initiation and development as well as the signal that it imparts on the magmatic (ore-forming) arc, will provide improved efficiency for targeting Australia's deep-earth ore-deposits.Read moreRead less
Applying Method Engineering Techniques to the Construction of Agile Methodologies. Agile approaches to software development provide flexibility within the method but provide no assistance for improving the selected method. This second kind of flexibility is important to permit organizations to improve with time. To accomplish such improvement, a method engineering approach is proposed for agile method construction using the OPEN Process Framework, which consists of a metamodel and a collection ....Applying Method Engineering Techniques to the Construction of Agile Methodologies. Agile approaches to software development provide flexibility within the method but provide no assistance for improving the selected method. This second kind of flexibility is important to permit organizations to improve with time. To accomplish such improvement, a method engineering approach is proposed for agile method construction using the OPEN Process Framework, which consists of a metamodel and a collection of method components, stored in a repository. In collaboration with Eagle Datamation International, we will devise methods of constructing an agile method tailored to their business needs and then evaluate it in practice, monitoring as the method evolves and improves.Read moreRead less
Formalising and automating the elicitation and reconciliation of requirements from multiple stakeholders. It is well recognised that requirements specifications are often error-prone and that it is much cheaper to detect and fix these errors early in the software development life cycle than later. A major problem with requirements determination is that each and every stakeholder has his/her own representation of the enterprise reality. This project seeks to take these views and use set-theore ....Formalising and automating the elicitation and reconciliation of requirements from multiple stakeholders. It is well recognised that requirements specifications are often error-prone and that it is much cheaper to detect and fix these errors early in the software development life cycle than later. A major problem with requirements determination is that each and every stakeholder has his/her own representation of the enterprise reality. This project seeks to take these views and use set-theoretical techniques from Formal Concept Analysis (FCA) to automatically generate and compare the underlying conceptual models. A process model based on FCA has been proposed which we will extend and empirically evaluate in this project. The result will be a more rigorous and yet pragmatic approach to requirements engineering which offers the greatest economic leverage.Read moreRead less
Metamodel-based Methodology for Developing Agent-Oriented Systems. In the context of building high quality software, agent technology offers substantial promise. However, its widespread deployment by industry is hampered by the lack of commercially acceptable development methodologies. Here, we expand a metamodel-based process framework (the OPEN Process Framework) to support agent-oriented (AO) software development that will eventually both form a de facto standard for AO methodologies and be ....Metamodel-based Methodology for Developing Agent-Oriented Systems. In the context of building high quality software, agent technology offers substantial promise. However, its widespread deployment by industry is hampered by the lack of commercially acceptable development methodologies. Here, we expand a metamodel-based process framework (the OPEN Process Framework) to support agent-oriented (AO) software development that will eventually both form a de facto standard for AO methodologies and be acceptable for commercial software application development. To create this extension, significant research in AO software engineering is required. Our basis will be the OPF plus elements from existing AO methodologies, notably Tropos and Gaia, whose authors will collaborate actively.Read moreRead less
Development of domain information model for aged & community care in Australia. The aim of this research is to develop a care-oriented reference information and communication model (RIM) that will inform national policy for the development of a national information technology strategic plan for aged care. The model will reflect the domain specific content and work of service providers and consumers in the aged and community care context and the unique cultural, social and professional attributes ....Development of domain information model for aged & community care in Australia. The aim of this research is to develop a care-oriented reference information and communication model (RIM) that will inform national policy for the development of a national information technology strategic plan for aged care. The model will reflect the domain specific content and work of service providers and consumers in the aged and community care context and the unique cultural, social and professional attributes of this sector. The model will be used to evaluate the applicability of the HealthOnline framework, including the relevance of emerging interoperability standards to the aged and community care sector.Read moreRead less
Intelligent Agent and Semantic Web empowered eFinance: A Knowledge Management Approach to enable and sustain Innovation. This research project will build new methods for adopting and deploying emerging Intelligent Agent and Semantic Web technologies for the purpose of enabling and sustaining innovation. Intelligent Agents and the Semantic Web are frontier technologies that facilitate information sharing and knowledge integration from multiple resources, and empower complex information systems ....Intelligent Agent and Semantic Web empowered eFinance: A Knowledge Management Approach to enable and sustain Innovation. This research project will build new methods for adopting and deploying emerging Intelligent Agent and Semantic Web technologies for the purpose of enabling and sustaining innovation. Intelligent Agents and the Semantic Web are frontier technologies that facilitate information sharing and knowledge integration from multiple resources, and empower complex information systems for independent action in open unpredictable environments such as a competitive global marketplace. We apply our methods in the Wholesale Financial Services Industry. Hence, the project supports both the ARC designated priority area, Frontier Technologies, and a National Priority to establish Australia as a financial services centre in the Asia Pacific Region.Read moreRead less
Components for Active Knowledge Portals. Businesses require people to collaborate and share knowledge in their work processes especially when they are in different locations. Such collaboration emerges by dynamically creating parallel and disconnected collaborative tasks that must be coordinated to meet organizational goals. This project will define the semantics of such emerging processes in the context of software digital workspaces that support them. It will then identify ways of constructing ....Components for Active Knowledge Portals. Businesses require people to collaborate and share knowledge in their work processes especially when they are in different locations. Such collaboration emerges by dynamically creating parallel and disconnected collaborative tasks that must be coordinated to meet organizational goals. This project will define the semantics of such emerging processes in the context of software digital workspaces that support them. It will then identify ways of constructing and using workspaces by creating active knowledge portals to support emerging processes. These portals will include software agents that are sensitive to the business context and help coordinate tasks within the emerging process.Read moreRead less