title: Combining models for interactive system modelling

authors: Bowen, Judy

subjects: computer science

abstract: Our approach for modelling interactive systems has been to develop models for the interface and interaction which are lightweight but with an underlying formal semantics. Combined with traditional formal methods to describe functional behaviour, this provides the ability to create a single formal model of interactive systems and consider all parts (functionality, user interface and interaction) with the same rigorous level of formality. The ability to convert the different models we use from one notation to another has given us a set of models which describe an interactive system (or parts of that system) at different levels of abstraction in ways most suitable for the domain but which can be combined into a single model for model checking, theorem proving, etc. There are, however, many benefits to using the individual models for different purposes throughout the development process. In this chapter, we provide examples of this using the nuclear power plant control system as an example.

text: Combining models for interactive system modelling Our approach for modelling interactive systems has been to develop models for the interface and interaction which are lightweight but with an underlying formal semantics. Combined with traditional formal methods to describe functional behaviour, this provides the ability to create a single formal model of interactive systems and consider all parts (functionality, user interface and interaction) with the same rigorous level of formality. The ability to convert the different models we use from one notation to another has given us a set of models which describe an interactive system (or parts of that system) at different levels of abstraction in ways most suitable for the domain but which can be combined into a single model for model checking, theorem proving, etc. There are, however, many benefits to using the individual models for different purposes throughout the development process. In this chapter, we provide examples of this using the nuclear power plant control system as an example.

year: 2017

title: Aging and chronic illness in language and sexuality

authors: Peel, Elizabeth

abstract: In Western societies and globally, there is an ageing demographic, and public health issues, such as dementias, are often described using hyperbolic metaphors like 'tsunami' and 'time bomb'. This chapter provides an overview of the current knowledge regarding sexualities, ageing, and chronic illness. Specifically, we concentrate on discursive research from various social science disciplines that have contributed to our understanding of the lives and experiences of older LGBTQ individuals. Our review includes research on ageism and chronic conditions that affect older people, such as dementia and type 2 diabetes. We also discuss our own empirical research conducted in these areas, as well as the manifestations of heterosexism and heteronormativity within these contexts. By using illustrative examples that highlight the intersection of language, sexuality, ageing, and chronic illness, we emphasize the importance of this field in language and sexuality scholarship. Furthermore, we suggest future directions for research and the development of studies focusing on these significant topics.

text: Aging and chronic illness in language and sexuality In Western societies and globally, there is an ageing demographic, and public health issues, such as dementias, are often described using hyperbolic metaphors like 'tsunami' and 'time bomb'. This chapter provides an overview of the current knowledge regarding sexualities, ageing, and chronic illness. Specifically, we concentrate on discursive research from various social science disciplines that have contributed to our understanding of the lives and experiences of older LGBTQ individuals. Our review includes research on ageism and chronic conditions that affect older people, such as dementia and type 2 diabetes. We also discuss our own empirical research conducted in these areas, as well as the manifestations of heterosexism and heteronormativity within these contexts. By using illustrative examples that highlight the intersection of language, sexuality, ageing, and chronic illness, we emphasize the importance of this field in language and sexuality scholarship. Furthermore, we suggest future directions for research and the development of studies focusing on these significant topics.

year: 2018-09

title: Assessment of impacts of mechanical spat harvesting on the surf clams of Te Oneroa a Tōhē

authors: Ross, Philip M.

abstract: Much of the mussel spat used to seed mussel aquaculture farms throughout New Zealand is sourced from Te Oneroa a Tōhē (90 Mile Beach) in Te Hiku (far north of New Zealand). The mussel spat washes ashore attached to seaweed and hydroids where it is collected by spat harvesters and transported to mussel farms around the country to be on-grown. The collection of Te Hiku spat and seaweed was originally done by hand. However, the methods used have evolved over time and mussel spat is now primarily collected using mechanical loaders operating in the surf zone. Local iwi, hapu and the wider community have recently voiced their concerns about the impacts of this harvesting method. Specifically, there are concerns about the impact of loaders operating on top of toheroa (Paphies ventricosa) and tuatua (Paphies subtriangulata) beds or other shellfish inhabiting in the intertidal and subtidal areas of Te Oneroa a Tōhē. Consequently, research into the ecological impacts of mechanical spat harvesting was conducted to address the concerns of the community and inform the management of the Te Hiku spat fishery. 
This research aimed to examine the ecological impacts of a ‘worst case scenario’ by (1) simulating an intensity of spat harvesting activity much greater than would be anticipated in the ‘real world’ and (2) conducting the research at high density tuatua beds where impacts would potentially be greatest. Adult toheroa were not targeted in the experiment to avoid unnecessary impacts on already depleted toheroa populations. At each of three sites on Te Oneroa a Tōhē, nine spat harvesting loaders were repeatedly driven in and out of the surf, over shellfish beds, for 75 minutes leading up to the low tide. Once loader activity ceased, a sampling team made up of mana whenua, local primary school children, spat harvesters and staff from MPI, Te Ohu Kaimoana and the University of Waikato collected clams from the intertidal area. Collections were made from both impact and control (non-impact) sites, where (a) the number of crushed shells was quantified and (b) the self-righting and burying abilities of tuatua from impact and control areas were compared to provide an estimate of sub-lethal effects. 
There was no detectable impact of mechanical spat harvesting loaders on tuatua (or the juvenile toheroa that were present in the sampled tuatua beds) when these surf clams were either fully or partially buried in sands of Te Oneroa a Tōhē. Rates of shell damage were less 2 than 6.1% and were similar in impact and control areas indicating much of the observed shell damage was caused by the sediment corers that were used to extract samples from the beach. Similarly, being driven over by loaders did not affect the ability or speed at which tuatua were able to right and bury themselves in the sediment. When standing on end these clams appear robust to the forces exerted by loaders upon the sediment surface. However, beach cast clams (both tuatua and toheroa), lying on top of the sediment on their sides are vulnerable to crushing by vehicles. This includes juvenile clams that ‘float’ to the beach surface where multiple loader passes liquefy the surface sediment. Mortality in these beach cast clams was not well captured by the sampling methodology used in this study, but was observed at two of the three sites sampled. It was not possible to quantify this type of mortality during this study. However, the number of clams crushed on the beach surface was small relative to the high abundances of clams within the sediment and the impact is not considered ecologically significant at the scale the individual shellfish beds or the entire beach. 
Overall, there was nothing observed during the course of this experiment to suggest that mechanical harvesting is having a significant ecological effect on the toheroa or tuatua of Te Oneroa a Tōhē. Mechanical spat harvesting did result in some clam mortality during the course of this experiment, and it is likely that some mortality will occur in the future when clams are present on the beach surface. However, the level of mortality observed, and anticipated, is unlikely to compromise the viability of either clam species. 
To minimise clam mortality caused by spat harvesting, loader operators should endeavour to avoid areas where large numbers of surf clams are either beach cast or are observed washing around in the shallow subtidal. It would also be prudent, because of the depressed state of toheroa populations on Te Oneroa a Tōhē, for spat harvesters to have up-to-date information about the location of toheroa beds and avoid them where possible. 
It should be noted that concerns have been raised as to whether the driving of loaders during this study was equivalent to real world operations. However, the collection of operational data during this experiment, the proposed installation of GPS trackers on all loaders and the use of observers will allow for monitoring and enforcement of operating procedures established in the industry code of practise.

text: Assessment of impacts of mechanical spat harvesting on the surf clams of Te Oneroa a Tōhē Much of the mussel spat used to seed mussel aquaculture farms throughout New Zealand is sourced from Te Oneroa a Tōhē (90 Mile Beach) in Te Hiku (far north of New Zealand). The mussel spat washes ashore attached to seaweed and hydroids where it is collected by spat harvesters and transported to mussel farms around the country to be on-grown. The collection of Te Hiku spat and seaweed was originally done by hand. However, the methods used have evolved over time and mussel spat is now primarily collected using mechanical loaders operating in the surf zone. Local iwi, hapu and the wider community have recently voiced their concerns about the impacts of this harvesting method. Specifically, there are concerns about the impact of loaders operating on top of toheroa (Paphies ventricosa) and tuatua (Paphies subtriangulata) beds or other shellfish inhabiting in the intertidal and subtidal areas of Te Oneroa a Tōhē. Consequently, research into the ecological impacts of mechanical spat harvesting was conducted to address the concerns of the community and inform the management of the Te Hiku spat fishery. 
This research aimed to examine the ecological impacts of a ‘worst case scenario’ by (1) simulating an intensity of spat harvesting activity much greater than would be anticipated in the ‘real world’ and (2) conducting the research at high density tuatua beds where impacts would potentially be greatest. Adult toheroa were not targeted in the experiment to avoid unnecessary impacts on already depleted toheroa populations. At each of three sites on Te Oneroa a Tōhē, nine spat harvesting loaders were repeatedly driven in and out of the surf, over shellfish beds, for 75 minutes leading up to the low tide. Once loader activity ceased, a sampling team made up of mana whenua, local primary school children, spat harvesters and staff from MPI, Te Ohu Kaimoana and the University of Waikato collected clams from the intertidal area. Collections were made from both impact and control (non-impact) sites, where (a) the number of crushed shells was quantified and (b) the self-righting and burying abilities of tuatua from impact and control areas were compared to provide an estimate of sub-lethal effects. 
There was no detectable impact of mechanical spat harvesting loaders on tuatua (or the juvenile toheroa that were present in the sampled tuatua beds) when these surf clams were either fully or partially buried in sands of Te Oneroa a Tōhē. Rates of shell damage were less 2 than 6.1% and were similar in impact and control areas indicating much of the observed shell damage was caused by the sediment corers that were used to extract samples from the beach. Similarly, being driven over by loaders did not affect the ability or speed at which tuatua were able to right and bury themselves in the sediment. When standing on end these clams appear robust to the forces exerted by loaders upon the sediment surface. However, beach cast clams (both tuatua and toheroa), lying on top of the sediment on their sides are vulnerable to crushing by vehicles. This includes juvenile clams that ‘float’ to the beach surface where multiple loader passes liquefy the surface sediment. Mortality in these beach cast clams was not well captured by the sampling methodology used in this study, but was observed at two of the three sites sampled. It was not possible to quantify this type of mortality during this study. However, the number of clams crushed on the beach surface was small relative to the high abundances of clams within the sediment and the impact is not considered ecologically significant at the scale the individual shellfish beds or the entire beach. 
Overall, there was nothing observed during the course of this experiment to suggest that mechanical harvesting is having a significant ecological effect on the toheroa or tuatua of Te Oneroa a Tōhē. Mechanical spat harvesting did result in some clam mortality during the course of this experiment, and it is likely that some mortality will occur in the future when clams are present on the beach surface. However, the level of mortality observed, and anticipated, is unlikely to compromise the viability of either clam species. 
To minimise clam mortality caused by spat harvesting, loader operators should endeavour to avoid areas where large numbers of surf clams are either beach cast or are observed washing around in the shallow subtidal. It would also be prudent, because of the depressed state of toheroa populations on Te Oneroa a Tōhē, for spat harvesters to have up-to-date information about the location of toheroa beds and avoid them where possible. 
It should be noted that concerns have been raised as to whether the driving of loaders during this study was equivalent to real world operations. However, the collection of operational data during this experiment, the proposed installation of GPS trackers on all loaders and the use of observers will allow for monitoring and enforcement of operating procedures established in the industry code of practise.

year: 2020