Bio-inspired Computing for Problems with Dynamically Changing Constraints. The aim of this project is to design bio-inspired computing methods for dynamically changing environments. Dynamic problems arise frequently in the areas of engineering, logistics, and manufacturing. Such problems are usually subject to a large set of constraints that change over time due to changes in resources. Algorithms that can deal with such dynamic changes would benefit decision-makers. The project aims to provide ....Bio-inspired Computing for Problems with Dynamically Changing Constraints. The aim of this project is to design bio-inspired computing methods for dynamically changing environments. Dynamic problems arise frequently in the areas of engineering, logistics, and manufacturing. Such problems are usually subject to a large set of constraints that change over time due to changes in resources. Algorithms that can deal with such dynamic changes would benefit decision-makers. The project aims to provide a foundational theory as the basis for the design of bio-inspired algorithms dealing with dynamically changing constraints and provide approaches for dealing with important industrial problems.Read moreRead less
Parameterized Analysis of Bio-inspired Computing - From Theory to High Performing Algorithms. This project will establish the field of parameterised analysis of bio-inspired computing which includes prominent approaches such as evolutionary algorithms and ant colony optimisation. It will rigorously analyse features of instances of combinatorial optimisation problems and their impact on the runtime behaviour of bio-inspired computing methods. Furthermore, the project will design new bio-inspired ....Parameterized Analysis of Bio-inspired Computing - From Theory to High Performing Algorithms. This project will establish the field of parameterised analysis of bio-inspired computing which includes prominent approaches such as evolutionary algorithms and ant colony optimisation. It will rigorously analyse features of instances of combinatorial optimisation problems and their impact on the runtime behaviour of bio-inspired computing methods. Furthermore, the project will design new bio-inspired computing algorithms that make use of instance features and hardness characteristics. The results will advance the theoretical knowledge of bio-inspired computing, bridge the gap between theory and practice, and provide more powerful algorithms for complex optimisation problems occurring for example in the field of supply chain management for the mining industry.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE160100850
Funder
Australian Research Council
Funding Amount
$330,000.00
Summary
Dynamic adaptive software configuration. The aim of this project is to use computational intelligence in software engineering processes to achieve self-optimising products. Many mobile device users bemoan inadequate battery life, and device size is largely determined by the battery. In addition, information and communications technology uses six per cent of the global electricity production. The expected outputs of this project will be packages of optimisation components that software engineers ....Dynamic adaptive software configuration. The aim of this project is to use computational intelligence in software engineering processes to achieve self-optimising products. Many mobile device users bemoan inadequate battery life, and device size is largely determined by the battery. In addition, information and communications technology uses six per cent of the global electricity production. The expected outputs of this project will be packages of optimisation components that software engineers can incorporate into next generation products: the products analyse their collected usage data, perform what-if analyses, and optimise their configurations accordingly for the next usage period. Hence, the products may respond faster, be more reliable, and consume less energy.Read moreRead less
Advanced planning systems for vertically integrated supply chain management. This project will integrate various algorithms into an adaptive, dynamic and intelligent system that deals with the vertically integrated supply chains. The outcomes include publications in the quality outlets, generation of intellectual property, and dissemination of this research amongst the research and business communities.
Aggregating Generalised Stochastic Petri Nets for improved Performance Analysis. Australia's economy is very dependent on the operation of complex man-made systems. Important examples are telecommunication networks and services (e.g. the Internet), manufacturing plants, organisational processes, military logistics and transport systems (e.g. air traffic control). The performance of these systems is critical to their success. Thus being able to predict performance before systems are implemented i ....Aggregating Generalised Stochastic Petri Nets for improved Performance Analysis. Australia's economy is very dependent on the operation of complex man-made systems. Important examples are telecommunication networks and services (e.g. the Internet), manufacturing plants, organisational processes, military logistics and transport systems (e.g. air traffic control). The performance of these systems is critical to their success. Thus being able to predict performance before systems are implemented is very important in their design. This project will develop leading-edge performance analysis techniques and tools for an important class of practical systems. There is potential to commercialise the resulting tools and methodology and to transfer the expertise to industry.Read moreRead less
Extending the scope of modular analysis for the validation of large systems. The increasing complexity of computer systems has severe implications for verification and validation, especially for critical systems (e.g. medical supervision, avionics mission systems). The standard approach is to build a formal model of the system and automatically analyse its behaviour. Such models can be captured in a modular, high-level description, but the number of states is usually so large as to preclude an ....Extending the scope of modular analysis for the validation of large systems. The increasing complexity of computer systems has severe implications for verification and validation, especially for critical systems (e.g. medical supervision, avionics mission systems). The standard approach is to build a formal model of the system and automatically analyse its behaviour. Such models can be captured in a modular, high-level description, but the number of states is usually so large as to preclude analysis. The modular analysis proposed in this project matches the analysis technique to the structure of the model. Preliminary results are promising and motivate the extension of the technique to a larger class of modular descriptions.Read moreRead less
Advanced Sweep-Line State Space Reduction Methods for Verification of Concurrent and Distributed Systems. The rigorous design and analysis of distributed systems, such as the Internet and its applications, is known to be a difficult problem. This project will develop new techniques for reducing the memory and time required for computer-aided verification of concurrent and distributed systems. The technique will be combined with other reduction techniques to increase their range of applicability. ....Advanced Sweep-Line State Space Reduction Methods for Verification of Concurrent and Distributed Systems. The rigorous design and analysis of distributed systems, such as the Internet and its applications, is known to be a difficult problem. This project will develop new techniques for reducing the memory and time required for computer-aided verification of concurrent and distributed systems. The technique will be combined with other reduction techniques to increase their range of applicability. The reduction techniques will be implemented and evaluated using important transaction protocols for electronic commerce and internet enabled wireless communications. The technique will also be applied to so called 'object-oriented' modelling languages.Read moreRead less
Computational Intelligence Methods for Financial Applications. Complex financial problems can be better addressed with software that can learn from available data and adapt to environmental changes. It is therefore essential to develop technologies that enable prediction and optimisation in constrained and dynamic environments. There are currently some limitations in existing business decision support systems despite their ubiquity providing an opportunity for Australia to be at the forefront as ....Computational Intelligence Methods for Financial Applications. Complex financial problems can be better addressed with software that can learn from available data and adapt to environmental changes. It is therefore essential to develop technologies that enable prediction and optimisation in constrained and dynamic environments. There are currently some limitations in existing business decision support systems despite their ubiquity providing an opportunity for Australia to be at the forefront as new standards in the field are developed. Furthermore, the fund management industry (particularly superannuation) is significant to the Australian economy and development of this technology has the potential to enhance its performance and reputation.Read moreRead less
Intelligent Resource Allocation Techniques for Next Generation Wireless Mobile Communication Networks. The project will develop radio and network resource allocation techniques to maximise network utilisation and to offer guaranteed Quality of Service (QoS) for multimedia traffic in 3G/4G wireless mobile communication networks. In particular, this work will study the problem of radio channel allocation in wireless IP (Internet protocol) multimedia networks. The project will develop resource allo ....Intelligent Resource Allocation Techniques for Next Generation Wireless Mobile Communication Networks. The project will develop radio and network resource allocation techniques to maximise network utilisation and to offer guaranteed Quality of Service (QoS) for multimedia traffic in 3G/4G wireless mobile communication networks. In particular, this work will study the problem of radio channel allocation in wireless IP (Internet protocol) multimedia networks. The project will develop resource allocation algorithms based on traffic conditions, link qualities and service requirements using statistical traffic models, mobile software agents and neural network techniques.
Read moreRead less
Improving flow management for the control of blue-green algal blooms. Cyanobacterial (blue-green algal) blooms are a major water quality problem worldwide. They are toxic, produce odours and are estimated to cost around $200 million/year in Australia alone. Flow management is one of the most promising approaches for combating the cyanobacterial bloom problem in rivers. In this research, a new risk-based approach for quantifying the impact of flow management on cyanobacterial blooms is developed, ....Improving flow management for the control of blue-green algal blooms. Cyanobacterial (blue-green algal) blooms are a major water quality problem worldwide. They are toxic, produce odours and are estimated to cost around $200 million/year in Australia alone. Flow management is one of the most promising approaches for combating the cyanobacterial bloom problem in rivers. In this research, a new risk-based approach for quantifying the impact of flow management on cyanobacterial blooms is developed, which can be applied to rivers world wide. The utility of the approach is demonstrated for key sites in the Murray-Darling basin, providing a valuable decision support tool for river managers.Read moreRead less