Singular and Analytic Perturbations, Slow and Fast Time Scales in Control Theory and Viability Theory and their Applications. We propose an innovative approach to several important classes of mathematical problems, whose data depend analytically on small perturbation parameters. Time scale problems, and, in particular, the interaction of two types of evolution, slow and fast, arise in many scientific domains (biotechnology, physics, engineering, etc).We expect to develop new techniques for analy ....Singular and Analytic Perturbations, Slow and Fast Time Scales in Control Theory and Viability Theory and their Applications. We propose an innovative approach to several important classes of mathematical problems, whose data depend analytically on small perturbation parameters. Time scale problems, and, in particular, the interaction of two types of evolution, slow and fast, arise in many scientific domains (biotechnology, physics, engineering, etc).We expect to develop new techniques for analysis and asymptotic optimisation of singularly perturbed control systems and Markov decision processes. In particular, we plan to establish links between general nonlinear optimal control problems with time average criteria and linear programming problems in the space of limit occupational measures generated by the underlying control system.Read moreRead less
Linear programming approach to nonlinear deterministic and stochastic control problems: perturbations methods and numerical analysis. The proposed research will significantly advance knowledge by creating new analytical and numerical methods for tackling complex nonlinear control problems arising in many applications. The study's outputs will lead to a deeper understanding of fundamental issues in mathematical modelling. Collaboration with renowned researchers will further improve Australia's st ....Linear programming approach to nonlinear deterministic and stochastic control problems: perturbations methods and numerical analysis. The proposed research will significantly advance knowledge by creating new analytical and numerical methods for tackling complex nonlinear control problems arising in many applications. The study's outputs will lead to a deeper understanding of fundamental issues in mathematical modelling. Collaboration with renowned researchers will further improve Australia's standing in the international research community. Also their visits may further promote research both within and outside the host institution. In particular, lectures and seminars that they will deliver will be transmitted to Australian universities participating in the Access Grid Room Project.Read moreRead less
Dehumidification and cooling driven by solar/waste heat using liquid desiccants. The provision of comfort cooling is responsible for a considerable and increasing portion of the world energy demand and electricity peak demand. To substitute electrically driven vapour compression machines with their high electrical energy consumption and especially high peak loads, the use of solar energy or waste heat for a cooling and dehumidification system driven by liquid desiccants is a promising opportunit ....Dehumidification and cooling driven by solar/waste heat using liquid desiccants. The provision of comfort cooling is responsible for a considerable and increasing portion of the world energy demand and electricity peak demand. To substitute electrically driven vapour compression machines with their high electrical energy consumption and especially high peak loads, the use of solar energy or waste heat for a cooling and dehumidification system driven by liquid desiccants is a promising opportunity. The project utilises the complementary strengths in the research groups to develop practical and economically feasible cooling/dehumidification systems for different types of buildings with different moisture removal and cooling requirements at different locations (Australia, Southern Europe).Read moreRead less
Extending a family of garbage collectors. Garbage collection is a key component in the automatic management of storage in computer systems. It is an essential property of modern programming systems that frees the programmer from a significant error-prone task. Our interest is in garbage collection in distributed systems involving a number of networked computers. Using our novel construction methodology, we have jointly produced a family of collection algorithms that are significantly simpler and ....Extending a family of garbage collectors. Garbage collection is a key component in the automatic management of storage in computer systems. It is an essential property of modern programming systems that frees the programmer from a significant error-prone task. Our interest is in garbage collection in distributed systems involving a number of networked computers. Using our novel construction methodology, we have jointly produced a family of collection algorithms that are significantly simpler and more efficient than previous work. Here we wish to extend this family to operate effectively in a specific architecture increasingly favoured by many modern distributed high-performance computing systems.Read moreRead less
Evolution of host relationships among the parasitic wasps inferred from morphology, DNA sequences and mitochondrial genome organisation. The parasitic Hymenoptera (wasps) are extensively used as biological control agents of agricultural and horticultural pests worldwide, but detailed information on their evolutionary relationships, how they have coevolved with major host groups, and the patterns of host relationships across various wasp families are lacking. This project will employ DNA sequence ....Evolution of host relationships among the parasitic wasps inferred from morphology, DNA sequences and mitochondrial genome organisation. The parasitic Hymenoptera (wasps) are extensively used as biological control agents of agricultural and horticultural pests worldwide, but detailed information on their evolutionary relationships, how they have coevolved with major host groups, and the patterns of host relationships across various wasp families are lacking. This project will employ DNA sequence data from 'new' genes, information on mitochondrial genome organisation, as well as morphology, to generate robust phylogenies for braconid and scelionid wasps that can be used to determine patterns of host utilisation and predict hosts for wasp groups where this information is currently unknown.Read moreRead less
Simulation and verification of system-level specifications of requirements and constraints using Rosetta. Modern computer-based systems comprise a mixture of electronic hardware and embedded computer software that interacts with mechanical and other non-electrical subsystems. Future design capability will depend on being able to model the requirements and constraints of heterogeneous systems, so that they can be simulated and formally verified before being manufactured and deployed. This project ....Simulation and verification of system-level specifications of requirements and constraints using Rosetta. Modern computer-based systems comprise a mixture of electronic hardware and embedded computer software that interacts with mechanical and other non-electrical subsystems. Future design capability will depend on being able to model the requirements and constraints of heterogeneous systems, so that they can be simulated and formally verified before being manufactured and deployed. This project will develop techniques and software tools for simulation and verification based on the new Rosetta system-level design language. These tools will make the design of complex computer-based systems faster, more reliable and less costly by minimizing design errors early in the design flow.Read moreRead less
Male germ line transgenesis and siRNA technology for manipulating genes in domestic species. Professor Shemesh has successfully developed male germ line transgenesis in species such as bovine and chicken. This technology allows genes to be manipulated via sperm in a wide range of animals besides mice, avoiding the need for a female in vitro fertilization regimen. He is curently applying interference RNA (siRNA) transgenically to manipulate genes in vivo. Together these two technologies offer imm ....Male germ line transgenesis and siRNA technology for manipulating genes in domestic species. Professor Shemesh has successfully developed male germ line transgenesis in species such as bovine and chicken. This technology allows genes to be manipulated via sperm in a wide range of animals besides mice, avoiding the need for a female in vitro fertilization regimen. He is curently applying interference RNA (siRNA) transgenically to manipulate genes in vivo. Together these two technologies offer immense possibilities to manipulate a wide range of species for economic, biotechnological or medical research purposes. Professor Shemesh wishes to come to Adelaide to establish these technologies there as parts of ongoing research projects, related to the physiology of the ovarian hormone relaxin in aging research.Read moreRead less