title: Selection of Components in Compositional Verification of Safety Properties

authors: Shi, Jinjian

subjects: Model verification

abstract: This report presents a two-step components selection method to compose the components for compositional verification. This method employs different methods for the selection of components to be composed during compositional verification. Also, this report presents some automata transformation strategies to improve the efficiency of composing and projection. This enhanced compositional verification method is applied to a set of large and complex realistic industrial examples to evaluate and compare the performance of different methods for components selection. The example profisafe_i6 [MM03] [MM02] [PN02], which was never verified for the language inclusion check before, is verified first by this enhanced compositional verification method.

text: Selection of Components in Compositional Verification of Safety Properties This report presents a two-step components selection method to compose the components for compositional verification. This method employs different methods for the selection of components to be composed during compositional verification. Also, this report presents some automata transformation strategies to improve the efficiency of composing and projection. This enhanced compositional verification method is applied to a set of large and complex realistic industrial examples to evaluate and compare the performance of different methods for components selection. The example profisafe_i6 [MM03] [MM02] [PN02], which was never verified for the language inclusion check before, is verified first by this enhanced compositional verification method.

year: 2009

title: Effects of a small-bladed macroalgal canopy on benthic boundary layer dynamics: implications for nutrient transport

authors: Kregting, Louise T.

subjects: macroalgae

abstract: Field and laboratory velocity profiles were used to quantify boundary layer dynamics within communities of a small (<0.2 m tall), dense canopy-forming seaweed Adamsiella chauvinii (Rhodophyta) in a soft-sediment habitat and to examine the role of hydrodynamics in modulating nutrient supply. At the ‘canopy scale’ there was a mixing layer at the fluid−canopy interface where turbulent kinetic energy was greatest, potentially enhancing nutrient uptake in this region. In the lower half of the canopy, a drag-dominated area of very low water velocity (<0.01 m s−1) occurred. Spectral analysis revealed a reduction in energy within the canopy of around 1 Hz. The hydrodynamic parameters obtained from flume measurements were in good agreement with those recorded in the field. To understand the implications of the hydrodynamic environment on nutrient uptake, a flushing ratio was developed that compares the time for macroalgae to remove all nutrients from the canopy volume relative to the timescale for flushing. Results suggest that when nutrient demand is low, the canopy is well flushed and not mass-transfer limited. However when nutrient demand is high, the canopy can deplete nutrients more quickly than they can be replenished by ambient flows and are potentially mass-transfer limited.

text: Effects of a small-bladed macroalgal canopy on benthic boundary layer dynamics: implications for nutrient transport Field and laboratory velocity profiles were used to quantify boundary layer dynamics within communities of a small (<0.2 m tall), dense canopy-forming seaweed Adamsiella chauvinii (Rhodophyta) in a soft-sediment habitat and to examine the role of hydrodynamics in modulating nutrient supply. At the ‘canopy scale’ there was a mixing layer at the fluid−canopy interface where turbulent kinetic energy was greatest, potentially enhancing nutrient uptake in this region. In the lower half of the canopy, a drag-dominated area of very low water velocity (<0.01 m s−1) occurred. Spectral analysis revealed a reduction in energy within the canopy of around 1 Hz. The hydrodynamic parameters obtained from flume measurements were in good agreement with those recorded in the field. To understand the implications of the hydrodynamic environment on nutrient uptake, a flushing ratio was developed that compares the time for macroalgae to remove all nutrients from the canopy volume relative to the timescale for flushing. Results suggest that when nutrient demand is low, the canopy is well flushed and not mass-transfer limited. However when nutrient demand is high, the canopy can deplete nutrients more quickly than they can be replenished by ambient flows and are potentially mass-transfer limited.

year: 2011

title: Rebel discourses: Colonial violence, Pai Marire resistance and land allocation at Tauranga

authors: Kahotea, Des Tatana

abstract: This thesis is a study of resistance and power in a colonial situation, based on the ethnography of a confiscated-land claim of three hapu who had been Kingitanga supporters and Pai Marire adherents in the 19th century. It draws on archival material and insider ethnography and is arranged into four parts. The first part looks at the relationship between anthropology and colonialism, particularly the role of Sir George Grey, a Governor who used anthropological knowledge to facilitate colonial domination of Maori. Grey instigated the establishment of learned societies which introduced the use of ethnology and anthropology to study Maori. This led to the development of colonial anthropology and its emphasis on salvage anthropology in the late nineteenth century, which in turn gave rise to an intellectual tradition of Maori anthropology. The first proponents of Maori anthropology, Te Rangihiroa and Apirana Ngata, emphasised the role of anthropology for cultural recovery and 'insider' ethnographer. The second part examines the Kingitanga and Pai Marire political and religious expressions of resistance. Political resistance to colonialism was met by legislation by the settler colonial government to punish 'rebellion', a system of collaboration or cultivation of 'loyalty' amongst 'friendly' Maori, and other policies directed at suppressing indigenous expressions of rebel consciousness. This programme had a major bearing on the ongoing existence of these hapu into the twentieth century. Pai Marire was a rebel religious phenomenon that became the object of a campaign of coercion, surveillance, and violence by the settler colonial government. The adherents were subject to policies of exclusion from the redistribution and allocation of confiscated land by local government officials and civil commissioners. The government supported, instead, the land claims of 'friendly' and 'surrendered rebel' chiefs. The third part is hapu ethnography. Key transformations in the nineteenth and twentieth centuries related to changing political and kin alliances for one hapu, Ngati Kahu, while another hapu, Ngati Pango which was involved with Pai Marire, suffered from claims on their traditional lands leading to the undermining of its identity and existence as a socially operating hapu. The fourth part uses historical and ethnographic fragments to consider what Pai Marire meant to its adherents. The colonial construct of Pai Marire and Hauhau was forms of savagery and a mix of Christian syncretism, an image that has little changed from the nineteenth century.

text: Rebel discourses: Colonial violence, Pai Marire resistance and land allocation at Tauranga This thesis is a study of resistance and power in a colonial situation, based on the ethnography of a confiscated-land claim of three hapu who had been Kingitanga supporters and Pai Marire adherents in the 19th century. It draws on archival material and insider ethnography and is arranged into four parts. The first part looks at the relationship between anthropology and colonialism, particularly the role of Sir George Grey, a Governor who used anthropological knowledge to facilitate colonial domination of Maori. Grey instigated the establishment of learned societies which introduced the use of ethnology and anthropology to study Maori. This led to the development of colonial anthropology and its emphasis on salvage anthropology in the late nineteenth century, which in turn gave rise to an intellectual tradition of Maori anthropology. The first proponents of Maori anthropology, Te Rangihiroa and Apirana Ngata, emphasised the role of anthropology for cultural recovery and 'insider' ethnographer. The second part examines the Kingitanga and Pai Marire political and religious expressions of resistance. Political resistance to colonialism was met by legislation by the settler colonial government to punish 'rebellion', a system of collaboration or cultivation of 'loyalty' amongst 'friendly' Maori, and other policies directed at suppressing indigenous expressions of rebel consciousness. This programme had a major bearing on the ongoing existence of these hapu into the twentieth century. Pai Marire was a rebel religious phenomenon that became the object of a campaign of coercion, surveillance, and violence by the settler colonial government. The adherents were subject to policies of exclusion from the redistribution and allocation of confiscated land by local government officials and civil commissioners. The government supported, instead, the land claims of 'friendly' and 'surrendered rebel' chiefs. The third part is hapu ethnography. Key transformations in the nineteenth and twentieth centuries related to changing political and kin alliances for one hapu, Ngati Kahu, while another hapu, Ngati Pango which was involved with Pai Marire, suffered from claims on their traditional lands leading to the undermining of its identity and existence as a socially operating hapu. The fourth part uses historical and ethnographic fragments to consider what Pai Marire meant to its adherents. The colonial construct of Pai Marire and Hauhau was forms of savagery and a mix of Christian syncretism, an image that has little changed from the nineteenth century.

year: 2005