title: An algorithm for compositional nonblocking verification of extended finite-state machines

authors: Mohajerani, Sahar

abstract: This paper describes an approach for compositional nonblocking verification of discrete event systems modelled as extended finite-state machines (EFSM). Previous results about finite-state machines in lock-step synchronisation are generalised and applied to EFSMs communicating via shared variables. This gives rise to an EFSM-based conflict check algorithm that composes EFSMs gradually and partially unfolds variables as needed. At each step, components are simplified using conflict-equivalence preserving abstraction. The algorithm has been implemented in the discrete event systems tool Supremica. The paper presents experimental results for the verification of two scalable manufacturing system models, and shows that the EFSM-based algorithm verifies some large models faster than previously used methods.

text: An algorithm for compositional nonblocking verification of extended finite-state machines This paper describes an approach for compositional nonblocking verification of discrete event systems modelled as extended finite-state machines (EFSM). Previous results about finite-state machines in lock-step synchronisation are generalised and applied to EFSMs communicating via shared variables. This gives rise to an EFSM-based conflict check algorithm that composes EFSMs gradually and partially unfolds variables as needed. At each step, components are simplified using conflict-equivalence preserving abstraction. The algorithm has been implemented in the discrete event systems tool Supremica. The paper presents experimental results for the verification of two scalable manufacturing system models, and shows that the EFSM-based algorithm verifies some large models faster than previously used methods.

year: 2014

title: Grass carp and incidental invaders from aquaculture: a study of impacts on zooplankton communities and invader origins

authors: Branford, Suzanne Nicola

subjects: Biological Invasions

abstract: The movement of fish from aquaculture facilities has led to invasions of non-native species globally, including of ‘hitch-hiking’ species, resulting in impacts on the composition of communities in recipient ecosystems. This thesis employs both community scale analysis and sensitive molecular techniques to assess the effects of grass carp translocations on zooplankton communities and to determine the origins of an incidental non-native invader. 

In the first component, I tested the effects of grass carp translocations from aquaculture facilities on ponds in the Auckland region, New Zealand. Zooplankton community composition was quantified in 34 ponds that had been subject to grass carp release and 31 which had no grass carp introductions. A significant difference in zooplankton community composition was observed between ponds that had received grass carp translocations and those that had not. Differences in zooplankton community composition between ponds with and without carp releases were attributable to: 1) the establishment of zooplankton originating from aquaculture ponds, including non-native species; and 2) the effects of grass carp activity, through habitat modification. Effective measures to curb the proliferation of non-native taxa within aquaculture facilities, and to mitigate the unintentional movement of non-native taxa with translocations from these facilities, are required to reduce future introductions.

In the second component of this thesis I used a fragment of the mitochondrial cytochrome c oxidase subunit I (COI) gene to more precisely identify the origins of invasions of freshwater calanoid copepod Skistodiaptomus pallidus (Herrick 1879). This was applied to populations sampled from within New Zealand, which have been linked to the release of fish from aquaculture facilities, and to populations found in Germany, which have possible links to a shipping vector. The S. pallidus COI sequences placed both the New Zealand and German specimens with those from the most easterly regions of the USA (e.g., New York, Virginia and Georgia). However, several haplotypes were found to be divergent between the New Zealand and German populations, indicating the exact sources of the introductions were likely different for each country. German sequences had greater haplotype diversity than those from New Zealand, supporting the suggestions of a shipping related vector of introduction to Germany. Both German and New Zealand populations contained haplotypes that were closely related to North American sequence records. However, further sampling of the native range will be required to determine the exact origin of the non-indigenous S. pallidus populations. With this additional information it may also be possible to determine more precisely the vectors of introduction. 

Collectively, the two research chapters provide a broader understanding of invasion processes and the effects of grass carp translocations on the zooplankton communities within recipient ponds in New Zealand. My research has immediate application in the re-evaluation of fish translocation management practises and impacts.

text: Grass carp and incidental invaders from aquaculture: a study of impacts on zooplankton communities and invader origins The movement of fish from aquaculture facilities has led to invasions of non-native species globally, including of ‘hitch-hiking’ species, resulting in impacts on the composition of communities in recipient ecosystems. This thesis employs both community scale analysis and sensitive molecular techniques to assess the effects of grass carp translocations on zooplankton communities and to determine the origins of an incidental non-native invader. 

In the first component, I tested the effects of grass carp translocations from aquaculture facilities on ponds in the Auckland region, New Zealand. Zooplankton community composition was quantified in 34 ponds that had been subject to grass carp release and 31 which had no grass carp introductions. A significant difference in zooplankton community composition was observed between ponds that had received grass carp translocations and those that had not. Differences in zooplankton community composition between ponds with and without carp releases were attributable to: 1) the establishment of zooplankton originating from aquaculture ponds, including non-native species; and 2) the effects of grass carp activity, through habitat modification. Effective measures to curb the proliferation of non-native taxa within aquaculture facilities, and to mitigate the unintentional movement of non-native taxa with translocations from these facilities, are required to reduce future introductions.

In the second component of this thesis I used a fragment of the mitochondrial cytochrome c oxidase subunit I (COI) gene to more precisely identify the origins of invasions of freshwater calanoid copepod Skistodiaptomus pallidus (Herrick 1879). This was applied to populations sampled from within New Zealand, which have been linked to the release of fish from aquaculture facilities, and to populations found in Germany, which have possible links to a shipping vector. The S. pallidus COI sequences placed both the New Zealand and German specimens with those from the most easterly regions of the USA (e.g., New York, Virginia and Georgia). However, several haplotypes were found to be divergent between the New Zealand and German populations, indicating the exact sources of the introductions were likely different for each country. German sequences had greater haplotype diversity than those from New Zealand, supporting the suggestions of a shipping related vector of introduction to Germany. Both German and New Zealand populations contained haplotypes that were closely related to North American sequence records. However, further sampling of the native range will be required to determine the exact origin of the non-indigenous S. pallidus populations. With this additional information it may also be possible to determine more precisely the vectors of introduction. 

Collectively, the two research chapters provide a broader understanding of invasion processes and the effects of grass carp translocations on the zooplankton communities within recipient ponds in New Zealand. My research has immediate application in the re-evaluation of fish translocation management practises and impacts.

year: 2016

title: Racism and bullying as correlates for considering ending psychology training in Aotearoa New Zealand

authors: Tan, Kyle K. H.

abstract: Despite global calls to enhance culturally safe care for Indigenous and minoritised groups, little attention has been given to exploring students’ experiences in psychology training programmes to meet these needs. A series of chi-square tests was performed to examine group differences for participants in the Kia Whakapapa Pounaumu survey (n = 107) in their consideration of ending their training and their decision to seek professional help. Over half (55%) of students reported having considered ending their psychology training. Our findings show that students who have experienced or witnessed forms of injustice such as institutional racism, microaggressions, and bullying, encounter additional barriers in completing their training. If psychology bodies wish to redress the harm caused to Indigenous and minoritised groups in the discipline of psychology, they must ensure the training programmes themselves do not perpetuate harm.

text: Racism and bullying as correlates for considering ending psychology training in Aotearoa New Zealand Despite global calls to enhance culturally safe care for Indigenous and minoritised groups, little attention has been given to exploring students’ experiences in psychology training programmes to meet these needs. A series of chi-square tests was performed to examine group differences for participants in the Kia Whakapapa Pounaumu survey (n = 107) in their consideration of ending their training and their decision to seek professional help. Over half (55%) of students reported having considered ending their psychology training. Our findings show that students who have experienced or witnessed forms of injustice such as institutional racism, microaggressions, and bullying, encounter additional barriers in completing their training. If psychology bodies wish to redress the harm caused to Indigenous and minoritised groups in the discipline of psychology, they must ensure the training programmes themselves do not perpetuate harm.

year: 2025