Intelligent Model Checking. Real-world systems are typically so complex that software engineers require specialised CAD tools to debug and verify a design. Model checking is a formal method that is used extensively for this purpose, particularly for mission-critical systems. In this work, a new kind of verifying tool, based on model checking, is developed. This new model checker is intelligent because a heuristic search is integrated into the underlying formalism. It is not exhaustive, and is mo ....Intelligent Model Checking. Real-world systems are typically so complex that software engineers require specialised CAD tools to debug and verify a design. Model checking is a formal method that is used extensively for this purpose, particularly for mission-critical systems. In this work, a new kind of verifying tool, based on model checking, is developed. This new model checker is intelligent because a heuristic search is integrated into the underlying formalism. It is not exhaustive, and is more efficient than a traditional model checker during the design phase because it does only a minimum amount of work in its search for a fault.Read moreRead less
Coding Error Isolation in Computerised Simulation Models with Application to Wastewater Treatment Systems. Simulation code verification through program testing and debugging is crucially important, but is tedious and often difficult. A novel approach will be studied in this project. The approach involves detecting coding errors through back-to-back testing using two independently implemented versions of a given mathematical model, and isolating the coding errors through systematically analysing ....Coding Error Isolation in Computerised Simulation Models with Application to Wastewater Treatment Systems. Simulation code verification through program testing and debugging is crucially important, but is tedious and often difficult. A novel approach will be studied in this project. The approach involves detecting coding errors through back-to-back testing using two independently implemented versions of a given mathematical model, and isolating the coding errors through systematically analysing the test error signal generated (the difference between the outputs of the two models). This is possible because one of the two versions is implemented in such a way that the test error carries an easily identifiable feature. This project could revolutionize the area of model verification.Read moreRead less
Agent-Based Frameworks for Coordinated Activities in E-Business: Supply Chain Management and Workflow Applications. As e-commerce over the Internet expands, the level of integration of businesses and consumers will increase, necessitating innovative approaches to decision-support and information management to facilitate within-business, business-to-consumer and business-to-business transactions. In conjunction with a local designer of business solutions, Agent Oriented Software Pty. Ltd., this p ....Agent-Based Frameworks for Coordinated Activities in E-Business: Supply Chain Management and Workflow Applications. As e-commerce over the Internet expands, the level of integration of businesses and consumers will increase, necessitating innovative approaches to decision-support and information management to facilitate within-business, business-to-consumer and business-to-business transactions. In conjunction with a local designer of business solutions, Agent Oriented Software Pty. Ltd., this project aims to build agent-based frameworks for the support of selected within-business and business-to-business activities in supply chain management, implement an agent-based workflow system based around document management, and provide research training in this key area of technology through joint university-industry supervision of two research students. This will enhance Australia's competitiveness in the provision of leading edge technologies to support e-commerce.Read moreRead less
A hybrid multi-agent technique for shop floor control. The new knowledge and techniques, as a result of this research project, will have direct relevance to many Australian industries. In particular, they provide opportunities to improve Australia's competitiveness through innovations for the manufacturing sector. The project will enable the development of the state-of-the-art simulation software readily accessible to a larger section of industry, including small to medium sized manufacturers. T ....A hybrid multi-agent technique for shop floor control. The new knowledge and techniques, as a result of this research project, will have direct relevance to many Australian industries. In particular, they provide opportunities to improve Australia's competitiveness through innovations for the manufacturing sector. The project will enable the development of the state-of-the-art simulation software readily accessible to a larger section of industry, including small to medium sized manufacturers. The use of meta-modelling will improve control of processes on the shop floor. Combining process meta-models with hybrid discrete event-based agent optimisation will result in increased shop floor efficiency, assisting Australian industry to be competitive in the world market.Read moreRead less
Implicit transmission of embodied culture. Is a culturally diverse, yet socially integrated community possible? In multicultural societies such as Australia, this is a pressing and significant question. To form and maintain a vibrant and prosperous community in the face of globalization, it is essential to understand the fundamental processes by which cultures are formed and transformed in everyday social activities. This project examines one such process, implicit cultural transmission, propose ....Implicit transmission of embodied culture. Is a culturally diverse, yet socially integrated community possible? In multicultural societies such as Australia, this is a pressing and significant question. To form and maintain a vibrant and prosperous community in the face of globalization, it is essential to understand the fundamental processes by which cultures are formed and transformed in everyday social activities. This project examines one such process, implicit cultural transmission, proposed to function in the nonconscious transmission of cultural information. Understanding the dynamics of this subtle, yet pervasive, mode of cultural influence is central to a full appreciation of how one's own culture and those of others' integrate and flourish.Read moreRead less
Intelligent Collaborative Care Management. The project will provide the basis for new models of consumer care in both social and commercial settings. In a commercial setting, customer care means looking after the customer, with the hope of retaining their business. By developing a formal model of evidence-based care, together with the information technologies to implement this model, the project will result in higher quality, safer, more efficient and more effective care. This will produce si ....Intelligent Collaborative Care Management. The project will provide the basis for new models of consumer care in both social and commercial settings. In a commercial setting, customer care means looking after the customer, with the hope of retaining their business. By developing a formal model of evidence-based care, together with the information technologies to implement this model, the project will result in higher quality, safer, more efficient and more effective care. This will produce significant economic and social benefits for Australia across a wide range of service industries. The project will also generate export opportunities for information technology services and products in health care and other service industries. In addition, it will drive collaboration with leading global businesses, providing new paths to market for Australian research, technologies and innovations.Read moreRead less
Applying the Lessons of the Virtual Battlefield to Financial Modelling - Investigating Innovative use of Distributed Simulation. The development of Distributed Simulations is recognised as an increasingly important part of training, scientific modelling and acquisitions in the defense community. While the benefits of simulation are well understood the actual development costs and complexity remain prohibitive, requiring expert programming skills and training. These limitations are greatly impedi ....Applying the Lessons of the Virtual Battlefield to Financial Modelling - Investigating Innovative use of Distributed Simulation. The development of Distributed Simulations is recognised as an increasingly important part of training, scientific modelling and acquisitions in the defense community. While the benefits of simulation are well understood the actual development costs and complexity remain prohibitive, requiring expert programming skills and training. These limitations are greatly impeding the wider adoption of simulation in the broader business community.
To address these issues this proposal investigates the means of applying simulation technologies to a domain in which user-configurable desktop tools, such as spreadsheets and word processors, are more the norm - for example financial modelling.
We aim to extend the development of tools and techniques that support the desktop use of simulation and to assess the relative merits of these approaches. Our eventual goal is to provide approachable simulation services, without adversely compromising their inherent power, to a far wider range of application domains.
Read moreRead less
Rapid Modelling, simulation and control for automated conveyor systems. Automated conveyor systems form part of the core infrastructure of Australia 's industrial and transportation sectors. New tools and methodologies are required to facilitate an urgent upgrade of these systems in order to combat heightened security risks and remain internationally competitive. Airport baggage handling will be researched, as the conveyor networks are highly complex in terms of control, decision-making and mode ....Rapid Modelling, simulation and control for automated conveyor systems. Automated conveyor systems form part of the core infrastructure of Australia 's industrial and transportation sectors. New tools and methodologies are required to facilitate an urgent upgrade of these systems in order to combat heightened security risks and remain internationally competitive. Airport baggage handling will be researched, as the conveyor networks are highly complex in terms of control, decision-making and modelling. The proposed simulation framework will allow the development of dynamic routing and distributed control algorithms to improve system robustness, efficiency and throughput. Innovative techniques in conceptual modelling and data analysis will make state-of-the-art simulation technology available for rapid deployment.Read moreRead less
Behaviour of large networks of neurons in a functioning organ: a realistic computer-based model of the enteric nervous system. The organisation of the gut nervous system is well understood, but how nerve cells cooperate to control gut movements and secretions are matters of conjecture. We will test these conjectures by simulating the behaviour of the gut nervous system using an anatomically and physiologically realistic computer model to predict the way the gut responds to specific stimuli and t ....Behaviour of large networks of neurons in a functioning organ: a realistic computer-based model of the enteric nervous system. The organisation of the gut nervous system is well understood, but how nerve cells cooperate to control gut movements and secretions are matters of conjecture. We will test these conjectures by simulating the behaviour of the gut nervous system using an anatomically and physiologically realistic computer model to predict the way the gut responds to specific stimuli and test these predictions using novel methods for recording gut movements and nervous activity. This will provide the first complete description of how a mammalian nervous system generates complex behaviours and will provide substantial pointers to how other nervous systems achieve similar tasks.Read moreRead less
ARC Centre for Complex Systems. The Australian Centre for Complex Systems brings together leading researchers from several disciplines and institutions to conduct research on questions fundamental to understanding and managing complex systems. Its core research program, based on the theme of computation in and by networks of agents, has two interwoven strands. The science strand addresses questions about emergent properties, natural computation, and nonlinear dynamics. The engineering strand add ....ARC Centre for Complex Systems. The Australian Centre for Complex Systems brings together leading researchers from several disciplines and institutions to conduct research on questions fundamental to understanding and managing complex systems. Its core research program, based on the theme of computation in and by networks of agents, has two interwoven strands. The science strand addresses questions about emergent properties, natural computation, and nonlinear dynamics. The engineering strand addresses issues about methodology, modelling toolkits, and management and control. Practical applications are advanced via collaborative projects that address key issues in biology, environment, and socio-economics.Read moreRead less