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
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
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
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
Noise control in aircraft and motor vehicles. The principal aim of this collaborative program between Australian and Japanese research teams is to tackle the complex issue of using active noise control systems focussing "zones of quiet" at passengers in aircraft and motor vehicles. The work has important implications for increased comfort of air travel and a safer environment for drivers of heavy vehicles. The outcomes will be the development of "smart skins" for application to aircraft and veh ....Noise control in aircraft and motor vehicles. The principal aim of this collaborative program between Australian and Japanese research teams is to tackle the complex issue of using active noise control systems focussing "zones of quiet" at passengers in aircraft and motor vehicles. The work has important implications for increased comfort of air travel and a safer environment for drivers of heavy vehicles. The outcomes will be the development of "smart skins" for application to aircraft and vehicle cabin interiors to actively control of interior noise. This will be achieved by combining the Japanese team's "structural wavenumber sensors" and the Adelaide team's "virtual microphones".Read moreRead less
Terahertz optoelectronics based on spintronics materials. Spintronic devices have many advantages which include non-volatility, permitting data retention in non-powered conditions, increased integration densities, high data processing speeds, low electrical energy demands, and a fabrication process compatible with those currently used in semiconductor microelectronics. The low energy consumption of spintronic devices also leads to economic and environmental benefits. Spintronic devices will help ....Terahertz optoelectronics based on spintronics materials. Spintronic devices have many advantages which include non-volatility, permitting data retention in non-powered conditions, increased integration densities, high data processing speeds, low electrical energy demands, and a fabrication process compatible with those currently used in semiconductor microelectronics. The low energy consumption of spintronic devices also leads to economic and environmental benefits. Spintronic devices will help to meet the sensing and storage demands of information technology in the decades to come. The project will enhance the international competitiveness and export power of Australian industry in the areas of information technology, quantum computing, magnetic recording and optoelectronics.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
Advances in Nonperturbative Studies of Subatomic Physics. Fundamental research into physics always leads to unpredictable technological breakthroughs. Fundamental physics research has led to the development of transistors, world wide web, carbon dating, cancer treatments, Magnetic Resonance Imaging (MRI) scans, satellites and many applications too numerous to mention. The collaboration will allow Australia access to technologies, research infrastructure, expertise and intellectual knowledge that ....Advances in Nonperturbative Studies of Subatomic Physics. Fundamental research into physics always leads to unpredictable technological breakthroughs. Fundamental physics research has led to the development of transistors, world wide web, carbon dating, cancer treatments, Magnetic Resonance Imaging (MRI) scans, satellites and many applications too numerous to mention. The collaboration will allow Australia access to technologies, research infrastructure, expertise and intellectual knowledge that wouldn't be available otherwise. This will enable Australian institutions to pursue breakthrough science, to develop frontier technologies and to have a great impact in the international scientific community. It will also provide advance training in simulation and high-performance computing to postgraduates and research associates.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