Design and verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important effici ....Design and verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important efficiency gains, but can introduce complex and error-prone behaviours that cannot be managed using traditional software development approaches. This project will produce better, scalable and mechanised methods for the design and verification of such software which is expected to reduce the prevalence of failures in efficient, modern software.Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0347403
Funder
Australian Research Council
Funding Amount
$222,000.00
Summary
An ultra-wideband digital filterbank for the Mopra Radiotelescope. We seek funding to equip the Mopra radiotelescope with an ultra-wide-bandwidth digital filter bank. This will greatly improve the efficiency of the observatory, increasing the speed at which spectroscopic data is acquired by a factor of 8, and the speed of acquiring continuum data by a factor of 32. Once equipped in this way, Mopra, which is already the largest millimetre-wave radiotelescope in the southern hemisphere, will enjo ....An ultra-wideband digital filterbank for the Mopra Radiotelescope. We seek funding to equip the Mopra radiotelescope with an ultra-wide-bandwidth digital filter bank. This will greatly improve the efficiency of the observatory, increasing the speed at which spectroscopic data is acquired by a factor of 8, and the speed of acquiring continuum data by a factor of 32. Once equipped in this way, Mopra, which is already the largest millimetre-wave radiotelescope in the southern hemisphere, will enjoy an unbeatable edge over all other competing observatories around the world through its combination of collecting area and bandpass.Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0989127
Funder
Australian Research Council
Funding Amount
$400,000.00
Summary
A High-Throughput Neutron Spectrometer for The Study of Atomic and Molecular Motion at ANSTO. Neutron scattering enables new science across a broad range of disciplines, and for this reason it is undergoing major expansion in the USA, Europe, Japan and Australia. Various diffactometers and spectrometers have recently been built at ANSTO, but an instrumental option for a high-throughput cross-discipline spectroscopy is urgently needed. Fortunately, it is fairly straightforward to add this type of ....A High-Throughput Neutron Spectrometer for The Study of Atomic and Molecular Motion at ANSTO. Neutron scattering enables new science across a broad range of disciplines, and for this reason it is undergoing major expansion in the USA, Europe, Japan and Australia. Various diffactometers and spectrometers have recently been built at ANSTO, but an instrumental option for a high-throughput cross-discipline spectroscopy is urgently needed. Fortunately, it is fairly straightforward to add this type of option to an existing spectrometer that will broaden its user-base from specialised applications in physics to more general applications in physics, chemistry, materials-science and biology. This additional option provides a totally new way for Australian scientists to study atomic and molecular motions. Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0346515
Funder
Australian Research Council
Funding Amount
$507,000.00
Summary
Fluorescence Detector for the Australian National Beamline Facility. X-ray absorption spectroscopy (XAS) is an extremely important synchrotron radiation tool for determining the local structure around an X-ray absorbing atom. This has many applications in the study of materials, minerals, metal complexes, and metalloproteins and can often be used to obtain information that is not available by other techniques, because structural information can be obtained in the solid or solution state and in ....Fluorescence Detector for the Australian National Beamline Facility. X-ray absorption spectroscopy (XAS) is an extremely important synchrotron radiation tool for determining the local structure around an X-ray absorbing atom. This has many applications in the study of materials, minerals, metal complexes, and metalloproteins and can often be used to obtain information that is not available by other techniques, because structural information can be obtained in the solid or solution state and in mixtures. The current proposal is aimed at introducing new technology into the Australian National Beamline Facility that will greatly improve the quality and quantity of experiments that can be performed and extend studies into dilute solutions and protein samples.Read moreRead less
Real-time imaging of crystal strengthening mechanisms in metals. The strength limit of a metal is marked by rapid motion of crystalline defects. The associated speeds can locally approach that of sound. To probe the associated mechanisms clearly requires both spatial and temporal resolution. We propose to create a new bulk x-ray technique with an unprecedented combination of temporal and spatial resolution. We plan to exploit the technique to mediate a step change in modelling strength based on ....Real-time imaging of crystal strengthening mechanisms in metals. The strength limit of a metal is marked by rapid motion of crystalline defects. The associated speeds can locally approach that of sound. To probe the associated mechanisms clearly requires both spatial and temporal resolution. We propose to create a new bulk x-ray technique with an unprecedented combination of temporal and spatial resolution. We plan to exploit the technique to mediate a step change in modelling strength based on twinning. The formation of crystalline twins is known to dictate the strength of the light metal magnesium. A fuller understanding of the effect of twinning on strength in this metal will provide much needed confidence to implement it more widely in energy saving applications.Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0228799
Funder
Australian Research Council
Funding Amount
$1,602,000.00
Summary
Australian Membership of the International Gemini Partnership. The International Gemini Partnership is an intergovernmental consortium formed to construct and operate two 8-metre optical/infrared telescopes, one in Chile, and the other in Hawaii. Australia joined the IGP in May 1998, taking approximately 5% of the partnership. The Gemini telescopes have been carefully engineered to exploit the superb atmospheric conditions at both sites, allowing users to address key astronomical problems in way ....Australian Membership of the International Gemini Partnership. The International Gemini Partnership is an intergovernmental consortium formed to construct and operate two 8-metre optical/infrared telescopes, one in Chile, and the other in Hawaii. Australia joined the IGP in May 1998, taking approximately 5% of the partnership. The Gemini telescopes have been carefully engineered to exploit the superb atmospheric conditions at both sites, allowing users to address key astronomical problems in ways not previously possible. Through membership of Gemini, Australian astronomers have access to the world-class facilities necessary to maintain their high international profile and great public visibility in Galactic and extragalactic astronomy, and also to enhance the national capacity to construct advanced scientific instrumentation. Australia has already won a contract to build one of the instruments.Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0453817
Funder
Australian Research Council
Funding Amount
$1,849,438.00
Summary
Australian Membership of the International Gemini Partnership. The International Gemini Partnership is an intergovernmental consortium formed to build and operate two 8-metre optical/infrared telescopes, one in Chile and the other in Hawaii. Australia joined the IGP in May 1998, taking approximately 5% of the partnership. The Gemini telescopes have been carefully engineered to exploit the superb atmospheric conditions at both sites, allowing users to address key astronomical problems in ways not ....Australian Membership of the International Gemini Partnership. The International Gemini Partnership is an intergovernmental consortium formed to build and operate two 8-metre optical/infrared telescopes, one in Chile and the other in Hawaii. Australia joined the IGP in May 1998, taking approximately 5% of the partnership. The Gemini telescopes have been carefully engineered to exploit the superb atmospheric conditions at both sites, allowing users to address key astronomical problems in ways not previously possible. Through membership of Gemini, Australian astronomers have access to the world-class facilities necessary to maintain their high international profile and the great public visibility in Galactic and extragalactic astronomy, and also to enhance the national capacity to
construct advanced scientific instrumentation. Australia is currently building one of the instruments.
Note: in A7.1 GAMS incorrectly forces integer days/month. In full operation Australian astronomers will receive approximately 25 nights per year.Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0560761
Funder
Australian Research Council
Funding Amount
$1,458,000.00
Summary
Australian Membership of the International Gemini Partnership. The International Gemini Partnership is an intergovernmental consortium that operates two 8-metre optical/infrared telescopes, in Chile and Hawaii. Australia joined the IGP in 1998, with 4.76% of the partnership. The Gemini telescopes have been carefully engineered to exploit the superb atmospheric conditions at both sites, allowing users to address key astronomical problems in ways not previously possible. Through membership of Gemi ....Australian Membership of the International Gemini Partnership. The International Gemini Partnership is an intergovernmental consortium that operates two 8-metre optical/infrared telescopes, in Chile and Hawaii. Australia joined the IGP in 1998, with 4.76% of the partnership. The Gemini telescopes have been carefully engineered to exploit the superb atmospheric conditions at both sites, allowing users to address key astronomical problems in ways not previously possible. Through membership of Gemini, Australian astronomers have access to the world-class facilities necessary to maintain their high international profile, and also to enhance the national capacity to construct advanced scientific instrumentation. Australian institutions are currently building two new instruments.Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0347237
Funder
Australian Research Council
Funding Amount
$1,855,121.00
Summary
Australian Membership of the International Gemini Partnership. The International Gemini Partnership is an intergovernmental consortium formed to construct and operate two 8-metre optical/infrared telescopes, one in Chile and the other in Hawaii. Australia joined the IGP in May 1998, taking approximately 5% of the partnership. The Gemini telescopes have been carefully engineered to exploit the superb atmospheric conditions at both sites, allowing users to address key astronomical problems in ways ....Australian Membership of the International Gemini Partnership. The International Gemini Partnership is an intergovernmental consortium formed to construct and operate two 8-metre optical/infrared telescopes, one in Chile and the other in Hawaii. Australia joined the IGP in May 1998, taking approximately 5% of the partnership. The Gemini telescopes have been carefully engineered to exploit the superb atmospheric conditions at both sites, allowing users to address key astronomical problems in ways not previously possible. Through membership of Gemini, Australian astronomers have access to the world-class facilities necessary to maintain their high international profile and the great public visibility in Galactic and extragalactic astronomy, and also to enhance the national capacity to construct advanced scientific instrumentation. Australia is currently building one of the instruments.Read moreRead less