title: An investigation of soil moisture associated with ephemeral streams, Wright Valley, Antarctica

authors: Shanhun, Fiona L.

abstract: Ephemeral streams in Wright Valley, Antarctica, are fed by glacial melt and flow for between four and ten weeks annually. Hyporheic zones develop concomitantly with ephemeral stream channels. These zones are areas of saturated or moistened soil, depending on their proximity to the stream. The hyporheic zones are laterally extensive, and may represent a greater proportion of total meltwater than surface water in the stream channel, thus exacerbating the risk of accidental contamination of streams. The hydrological system in Wright Valley is closed, with streams flowing inland to Lake Vanda via the Onyx River. 

This study aimed to quantify the extent to which liquid moisture was present in soils associated with Goodspeed Stream, in order to better predict the vulnerability of stream margins to impacts of human activities. Soil samples were collected from transects across the Goodspeed lower alluvial fan and analysed for gravimetric moisture content, electrical conductivity, and particle size distribution. A pedotransfer function was used to estimate soil moisture potential in order to show the direction of water movement across the lower alluvial fan. Climate data including air temperature, soil temperature, and total solar radiation were measured; stream flow in Goodspeed Stream was estimated. 

The Goodspeed Stream near-stream and extended hyporheic zones were identified. Distal components of the hyporheic zone were also identified at distances of up to 7 4 m from Goodspeed Stream. 

Soil gravimetric moisture content increased with soil depth and proximity to Goodspeed Stream. Distal components of the hyporheic zone observed at distances of 21, 59 and 74 m from Goodspeed Stream had relatively high gravimetric moisture contents (up to 7%; 88 in visibly dry soils was 0.6%). The distal hyporheic zones have the potential to develop into flowing stream channels during periods of increased melt. 

Soil electrical conductivity ranged from 34 - 10520 μSiem. Salts precipitated at the soil surface were concentrated at the western-most edge of the extended hyporheic zone and on raised bar features across the fan, highlighting zones of movement and evaporation of soil moisture. The particle size distribution of the <2 mm fraction was relatively uniform across the fan, being dominated by medium sand (45%). 

Soil moisture potential decreased with distance from Goodspeed Stream, indicating that small spills occurring outside the extended hyporheic zone would be driven laterally across the fan, away from the stream. Spills within the extended hyporheic may be incorporated into Goodspeed Stream. Large spills anywhere on the Goodspeed lower alluvial fan would migrate downwards to ice cement before flowing down-slope under gravity towards the Onyx River. 

Areas vulnerable to accidental spills and physical disturbance were highlighted on oblique photographs. Three vulnerability zones were identified based predominantly on the observed extent and movement of soil moisture. Zone 1 designates stream channels or surface waters and near-stream hyporheic zones, Zone 2 encompasses extended hyporheic zones, while Zone 3 applies to soils of alluvial fans, including distal hyporheic zones. Recommendations were made as to the types of activities permissible in each of the three zones.

text: An investigation of soil moisture associated with ephemeral streams, Wright Valley, Antarctica Ephemeral streams in Wright Valley, Antarctica, are fed by glacial melt and flow for between four and ten weeks annually. Hyporheic zones develop concomitantly with ephemeral stream channels. These zones are areas of saturated or moistened soil, depending on their proximity to the stream. The hyporheic zones are laterally extensive, and may represent a greater proportion of total meltwater than surface water in the stream channel, thus exacerbating the risk of accidental contamination of streams. The hydrological system in Wright Valley is closed, with streams flowing inland to Lake Vanda via the Onyx River. 

This study aimed to quantify the extent to which liquid moisture was present in soils associated with Goodspeed Stream, in order to better predict the vulnerability of stream margins to impacts of human activities. Soil samples were collected from transects across the Goodspeed lower alluvial fan and analysed for gravimetric moisture content, electrical conductivity, and particle size distribution. A pedotransfer function was used to estimate soil moisture potential in order to show the direction of water movement across the lower alluvial fan. Climate data including air temperature, soil temperature, and total solar radiation were measured; stream flow in Goodspeed Stream was estimated. 

The Goodspeed Stream near-stream and extended hyporheic zones were identified. Distal components of the hyporheic zone were also identified at distances of up to 7 4 m from Goodspeed Stream. 

Soil gravimetric moisture content increased with soil depth and proximity to Goodspeed Stream. Distal components of the hyporheic zone observed at distances of 21, 59 and 74 m from Goodspeed Stream had relatively high gravimetric moisture contents (up to 7%; 88 in visibly dry soils was 0.6%). The distal hyporheic zones have the potential to develop into flowing stream channels during periods of increased melt. 

Soil electrical conductivity ranged from 34 - 10520 μSiem. Salts precipitated at the soil surface were concentrated at the western-most edge of the extended hyporheic zone and on raised bar features across the fan, highlighting zones of movement and evaporation of soil moisture. The particle size distribution of the <2 mm fraction was relatively uniform across the fan, being dominated by medium sand (45%). 

Soil moisture potential decreased with distance from Goodspeed Stream, indicating that small spills occurring outside the extended hyporheic zone would be driven laterally across the fan, away from the stream. Spills within the extended hyporheic may be incorporated into Goodspeed Stream. Large spills anywhere on the Goodspeed lower alluvial fan would migrate downwards to ice cement before flowing down-slope under gravity towards the Onyx River. 

Areas vulnerable to accidental spills and physical disturbance were highlighted on oblique photographs. Three vulnerability zones were identified based predominantly on the observed extent and movement of soil moisture. Zone 1 designates stream channels or surface waters and near-stream hyporheic zones, Zone 2 encompasses extended hyporheic zones, while Zone 3 applies to soils of alluvial fans, including distal hyporheic zones. Recommendations were made as to the types of activities permissible in each of the three zones.

year: 2005

title: Shape predicates allow unbounded verification of linearizability using canonical abstraction

authors: Friggens, David

subjects: canonical abstraction

abstract: Canonical abstraction is a static analysis technique that represents states as 3-valued logical structures, and is able to construct finite representations of systems with infinite statespaces for verification. The granularity of the abstraction can be altered by the definition of instrumentation predicates, which derive their meaning from other predicates. We introduce shape predicates for preserving certain structures of the state during abstraction. We show that shape predicates allow linearizability to be verified for concurrent data structures using canonical abstraction alone, and use the approach to verify a stack and two queue algorithms. This contrasts with previous efforts to verify linearizability with canonical abstraction, which have had to employ other techniques as well.

text: Shape predicates allow unbounded verification of linearizability using canonical abstraction Canonical abstraction is a static analysis technique that represents states as 3-valued logical structures, and is able to construct finite representations of systems with infinite statespaces for verification. The granularity of the abstraction can be altered by the definition of instrumentation predicates, which derive their meaning from other predicates. We introduce shape predicates for preserving certain structures of the state during abstraction. We show that shape predicates allow linearizability to be verified for concurrent data structures using canonical abstraction alone, and use the approach to verify a stack and two queue algorithms. This contrasts with previous efforts to verify linearizability with canonical abstraction, which have had to employ other techniques as well.

year: 2014

title: Māori and Psychology Research Unit (MPRU) annual report 2018-2021

authors: Masters-Awatere, Bridgette

subjects: Māori and Psychology Research Unit

abstract: Annual report of the Māori and Psychology Research Unit (MPRU) 2018-2021. The unit was established in August of 1997. The unit is designed to provide a catalyst and support network for enhancing research concerning the psychological needs, aspirations, and priorities of Māori. The MPRU is well situated to draw together skilled and experienced interdisciplinary research groups by networking and establishing working relationships with staff and students within the Division of Arts, Law, Psychology and Social Science, the University, and the wider community.

text: Māori and Psychology Research Unit (MPRU) annual report 2018-2021 Annual report of the Māori and Psychology Research Unit (MPRU) 2018-2021. The unit was established in August of 1997. The unit is designed to provide a catalyst and support network for enhancing research concerning the psychological needs, aspirations, and priorities of Māori. The MPRU is well situated to draw together skilled and experienced interdisciplinary research groups by networking and establishing working relationships with staff and students within the Division of Arts, Law, Psychology and Social Science, the University, and the wider community.

year: 2022-09-02