Traversing a treacherous landscape: Modelling caterpillar movement and behaviour on whole plants at multiple scales. How caterpillars move on plants and where they feed is central to developing plants resistant to these insect pests. Our research program will generate computer models of caterpillar behaviour on virtual plants that interact in realistic ways with the changing structure of the plant as it grows, its micro-architecture and environment. We provide a set of tools that will form the ....Traversing a treacherous landscape: Modelling caterpillar movement and behaviour on whole plants at multiple scales. How caterpillars move on plants and where they feed is central to developing plants resistant to these insect pests. Our research program will generate computer models of caterpillar behaviour on virtual plants that interact in realistic ways with the changing structure of the plant as it grows, its micro-architecture and environment. We provide a set of tools that will form the cornerstone of important future research agendas in the ecology of foraging caterpillars, optimisation of insecticide spray application, and the development of novel genetically transformed plants for insect control central to the future of Australian agriculture.
Read moreRead less
A Virtual Electromagnetic Compatibility (EMC) Lab Based on Advanced Computer Modeling and Simulation Techniques. The proposed project will provide a framework of electromagnetic compatibility computer modelling technologies for an electromagnetic compatibility/electromagnetic interference problem-solving environment. It will result in theoretical and practical contributions to the field of electromagnetic compatibility/electromagnetic interference and computational electromagnetics. The project ....A Virtual Electromagnetic Compatibility (EMC) Lab Based on Advanced Computer Modeling and Simulation Techniques. The proposed project will provide a framework of electromagnetic compatibility computer modelling technologies for an electromagnetic compatibility/electromagnetic interference problem-solving environment. It will result in theoretical and practical contributions to the field of electromagnetic compatibility/electromagnetic interference and computational electromagnetics. The project will provide an innovative technology to industry and societies with following major benefits: a) increased productivity and minimized the product risk with low failure rate, b) quicker project management cycles through such cost-effective electromagnetic compatibility computer modelling and simulation techniques based virtual Electromagnetic Compatibility Lab. and c) improved electromagnetic compatibility/electromagnetic interference problem solving environment and techniques for scientific research and commercial applications.Read moreRead less
Human interaction with context-aware computing systems. Context-aware systems can provide seamless support of IT applications in a variety of technologies and therefore can improve: (i) work performance and adoption of IT in many industries; and (ii) the quality of life through better support for health services, education, and everyday tasks. Currently proposed solutions for context-aware systems fail to deliver systems which are usable for non-IT professionals. The proposed project will show h ....Human interaction with context-aware computing systems. Context-aware systems can provide seamless support of IT applications in a variety of technologies and therefore can improve: (i) work performance and adoption of IT in many industries; and (ii) the quality of life through better support for health services, education, and everyday tasks. Currently proposed solutions for context-aware systems fail to deliver systems which are usable for non-IT professionals. The proposed project will show how to design context-aware systems that are usable and whose autonomic decisions can be trusted. Additional benefits include increased scientific competitiveness of Australia, strengthened collaboration with international research institutions, and high quality graduates (PhDs, Masters, Honours).Read moreRead less
An Empirically Derived Experimentally Validated Framework for Interactions in Information Environments. This project will investigate and design ways of interacting with the information infrastructure that maintain natural social interactions, take advantage of physical space and utilise our extensive human abilities to recognise and manipulate physical objects.
Expected outcomes include:
? a theoretical framework that describes the range of possible interactions that mediate information b ....An Empirically Derived Experimentally Validated Framework for Interactions in Information Environments. This project will investigate and design ways of interacting with the information infrastructure that maintain natural social interactions, take advantage of physical space and utilise our extensive human abilities to recognise and manipulate physical objects.
Expected outcomes include:
? a theoretical framework that describes the range of possible interactions that mediate information between the physical and virtual worlds.
? a prototype instrumented information environment that demonstrates and validates naturalistic information transactions identified in the framework.
This research is highly innovative in its field. It will use an iterative cycle of video observation, interaction analysis, user-centred device design, deployment and evaluation.
Read moreRead less
Cost-effective use of assertions in the verification and validation of distributed and real-time systems. The project will reinforce Australia as a world leader in empirical software engineering and software verification and validation research, thus building on Australia's strengths in ICT research and innovation. Through the involvement of a local software verification and validation company and through industrial case studies, this project will also improve the software verification and valid ....Cost-effective use of assertions in the verification and validation of distributed and real-time systems. The project will reinforce Australia as a world leader in empirical software engineering and software verification and validation research, thus building on Australia's strengths in ICT research and innovation. Through the involvement of a local software verification and validation company and through industrial case studies, this project will also improve the software verification and validation capabilities of local industry, allow them to save software development costs, and improve the quality of the software produced.Read moreRead less
Practical Tools and Techniques for the Testing of Concurrent Software Components. This project will develop tools and techniques for the practical, systematic testing of concurrent software components. Testing is a major means for ensuring that software performs as expected, but testing concurrent software is poorly understood even though the majority of complex, computer-based systems are concurrent in nature. The complexities arising from the non-deterministic nature of such software means tha ....Practical Tools and Techniques for the Testing of Concurrent Software Components. This project will develop tools and techniques for the practical, systematic testing of concurrent software components. Testing is a major means for ensuring that software performs as expected, but testing concurrent software is poorly understood even though the majority of complex, computer-based systems are concurrent in nature. The complexities arising from the non-deterministic nature of such software means that testing tools and techniques used for simpler, sequential software are inadequate. The outcomes of this project will consist of practical techniques for the effective testing of concurrent software components in general and tools for the testing of Java components in particular.Read moreRead less
Formalizing Software Design Pattern Concepts and Pattern Specifications using Metamodeling. Software design is currently an ad-hoc process that relies too heavily on each designer's personal experience. Software design patterns capture design know-how and make it reusable by identifying the problem and context in which a family of solutions can be applied. This project will use a formal metamodeling approach to define the concepts underlying software design patterns and hence will create precise ....Formalizing Software Design Pattern Concepts and Pattern Specifications using Metamodeling. Software design is currently an ad-hoc process that relies too heavily on each designer's personal experience. Software design patterns capture design know-how and make it reusable by identifying the problem and context in which a family of solutions can be applied. This project will use a formal metamodeling approach to define the concepts underlying software design patterns and hence will create precise and rigorous pattern specifications. Through this approach, we will incorporate patterns into the Unified Modeling Language (UML), the dominant object-oriented modeling language. Our pattern specifications will assist UML tool developers integrate software design patterns into their tools.Read moreRead less
Enhancing model-driven architecture with support for verification and validation. The proposed project will augment emerging methodologies for applying model-driven architecture to include verification and validation tools and techniques. This will decrease the time and effort required to develop software systems, and lead to better quality systems. It will evaluate and integrate existing verification and validation tools and techniques into the standards currently being developed to facilitate ....Enhancing model-driven architecture with support for verification and validation. The proposed project will augment emerging methodologies for applying model-driven architecture to include verification and validation tools and techniques. This will decrease the time and effort required to develop software systems, and lead to better quality systems. It will evaluate and integrate existing verification and validation tools and techniques into the standards currently being developed to facilitate model-driven architecture. This will strengthen Australia's software-based industries and its prominent role in defining international standards in this area.Read moreRead less
Rare Event Simulation with Heavy Tails. The project provides a rigorous way to enhance our understanding of the mechanisms that bring about catastrophic rare events such as urban flooding, electricity shortages and financial bankrupcy. Australia is at the forefront of exciting recent developments in rare event simulation. The advancement of the knowledge in this area will generate a competitive advantage for various sections of the Australian industry, including the areas of industrial reliabili ....Rare Event Simulation with Heavy Tails. The project provides a rigorous way to enhance our understanding of the mechanisms that bring about catastrophic rare events such as urban flooding, electricity shortages and financial bankrupcy. Australia is at the forefront of exciting recent developments in rare event simulation. The advancement of the knowledge in this area will generate a competitive advantage for various sections of the Australian industry, including the areas of industrial reliability, finance and insurance, were accurate simulation techniques are becoming increasingly important.Read moreRead less
Micromechanical modelling of fault gouge dynamics: towards an improved fault constitutive relation. The human and economic costs of geological and other particulate media related problems in Australia are staggering. These include geological hazards (e.g. landslides and earthquakes; the Newcastle earthquake cost around $4 billion and 13 lives), to particulate processes prevalent in Australia's major export industries (e.g. coal export valued at $9.3 billion, iron ore at $3.8 billion, and wheat ....Micromechanical modelling of fault gouge dynamics: towards an improved fault constitutive relation. The human and economic costs of geological and other particulate media related problems in Australia are staggering. These include geological hazards (e.g. landslides and earthquakes; the Newcastle earthquake cost around $4 billion and 13 lives), to particulate processes prevalent in Australia's major export industries (e.g. coal export valued at $9.3 billion, iron ore at $3.8 billion, and wheat at $3.4 billion), to Australia's 810,000 km granular paved road network that costs around $5.5 million per day to maintain. The program will deliver new knowledge and advanced analytical and predictive modelling tools capable of fuelling breakthroughs in earthquake forecasting research and industrial innovations.
Read moreRead less