title: Verification of the diagnosability of discrete-event systems in waters

authors: McGrath, Nicholas

abstract: The task of detecting faults and reacting to them appropriately is a crucial aspect of a building a stable system. If a fault cannot be directly observed, its occurrence must be inferred from what can be observed. In the realm of discrete-event systems, the property of diagnosability has been defined, and several algorithms for testing diagnosability have been presented. Diagnosability relates to the ability for all possible faults to be correctly detected or inferred within a finite amount of time from their occurrence. WATERS (Waikato Analysis Toolkit for Events in Reactive Systems) is a software toolkit for the creation and analysis of discrete-event systems. In this report pre-existing existing algorithms for the verification of diagnosability and the implementation of one of these algorithms into WATERS are discussed. The created implementation can verify the diagnosability of a discrete-event system in polynomial time with respect to its state space and provide a counterexample if the discrete-event system was found to be not diagnosable.

text: Verification of the diagnosability of discrete-event systems in waters The task of detecting faults and reacting to them appropriately is a crucial aspect of a building a stable system. If a fault cannot be directly observed, its occurrence must be inferred from what can be observed. In the realm of discrete-event systems, the property of diagnosability has been defined, and several algorithms for testing diagnosability have been presented. Diagnosability relates to the ability for all possible faults to be correctly detected or inferred within a finite amount of time from their occurrence. WATERS (Waikato Analysis Toolkit for Events in Reactive Systems) is a software toolkit for the creation and analysis of discrete-event systems. In this report pre-existing existing algorithms for the verification of diagnosability and the implementation of one of these algorithms into WATERS are discussed. The created implementation can verify the diagnosability of a discrete-event system in polynomial time with respect to its state space and provide a counterexample if the discrete-event system was found to be not diagnosable.

year: 2018-11-21

title: The Waikato Region: Major tourism issues and opportunities to facilitate tourism development: Public summary

authors: Zahra, Anne Louise

subjects: tourism

abstract: A regional tourism project was commissioned by Katolyst, the Waikato Economic Development Agency, to assess the following: What is meant by regional tourism; the current views of industry stakeholders within the tourism and hospitality sectors; major issues, drivers, and obstacles facing tourism and pathways to address them, including industry capabilities and new opportunities for industry growth.

The purpose of this research was to record the voice of tourism operators and stakeholders at the grass roots, to identify the specific issues facing the Waikato.  Visitors do not focus on geographical or political boundaries, but rather are seeking an experience that transcends these boundaries.

The region is generally ignorant of the significant economic impacts of the tourism sector, and education and advocacy is urgently needed. Tourism should not be seen in isolation to other key economic generators for the region, and there is potential for cross sector regional initiatives between tourism and other major sectors within the Waikato that could lead to cross sector strategic growth.

The Waikato is a significant player in international visitor expenditure (7th out of 30 tourism regions), although the forecasted growth to 2012 for the Waikato is less than the national average.  Although the Australian visitor market is significant for Hamilton International Airport, it comprises just 2% of all Australian visitors to New Zealand.  Domestic visitors are the major driver of visitor expenditure in the region, with domestic visitor expenditure in the Waikato the third highest among the 30 tourism regions in New Zealand.  Events are a driver, yet there is a perception that there is a lack of coordination and regional linkages.

i-SITEs are inadequately funded and can rely on non-visitor revenue streams.  There is a need to improve tourism expertise and knowledge to facilitate product development, especially getting current and potential tourism product export ready and to understand the distribution channels for domestic and international marketing. Most operators in the region are small owner operated firms with a few medium sized firms.  A number are lacking tourism sector knowledge and business capabilities.

text: The Waikato Region: Major tourism issues and opportunities to facilitate tourism development: Public summary A regional tourism project was commissioned by Katolyst, the Waikato Economic Development Agency, to assess the following: What is meant by regional tourism; the current views of industry stakeholders within the tourism and hospitality sectors; major issues, drivers, and obstacles facing tourism and pathways to address them, including industry capabilities and new opportunities for industry growth.

The purpose of this research was to record the voice of tourism operators and stakeholders at the grass roots, to identify the specific issues facing the Waikato.  Visitors do not focus on geographical or political boundaries, but rather are seeking an experience that transcends these boundaries.

The region is generally ignorant of the significant economic impacts of the tourism sector, and education and advocacy is urgently needed. Tourism should not be seen in isolation to other key economic generators for the region, and there is potential for cross sector regional initiatives between tourism and other major sectors within the Waikato that could lead to cross sector strategic growth.

The Waikato is a significant player in international visitor expenditure (7th out of 30 tourism regions), although the forecasted growth to 2012 for the Waikato is less than the national average.  Although the Australian visitor market is significant for Hamilton International Airport, it comprises just 2% of all Australian visitors to New Zealand.  Domestic visitors are the major driver of visitor expenditure in the region, with domestic visitor expenditure in the Waikato the third highest among the 30 tourism regions in New Zealand.  Events are a driver, yet there is a perception that there is a lack of coordination and regional linkages.

i-SITEs are inadequately funded and can rely on non-visitor revenue streams.  There is a need to improve tourism expertise and knowledge to facilitate product development, especially getting current and potential tourism product export ready and to understand the distribution channels for domestic and international marketing. Most operators in the region are small owner operated firms with a few medium sized firms.  A number are lacking tourism sector knowledge and business capabilities.

year: 2007-11-19

title: Travel writing and the first Marists in New Zealand

authors: Jennings, William

subjects: travel writing

abstract: French Marist missionaries arrived in New Zealand in 1838 and travelled extensively throughout the country during the next two decades. The letters they sent to France, now published in Girard's Lettres recues d'Ocanie (2009), include accounts of journeys that reveal the Marists' different perspectives of New Zealand's landscape and inhabitants. French romanticism and their religious vows emphasised a spiritual connection with the landscape, in sharp contrast with prevailing utilitarian European views. The Marists' status as Frenchmen in a British colony meant they encountered two alterities: British and Maori. Influenced by the noble savage of the French Romantics and by anti-Protestant bias, the Marists portrayed Maori favourably, reserving their more hostile comments for the British missionaries.

text: Travel writing and the first Marists in New Zealand French Marist missionaries arrived in New Zealand in 1838 and travelled extensively throughout the country during the next two decades. The letters they sent to France, now published in Girard's Lettres recues d'Ocanie (2009), include accounts of journeys that reveal the Marists' different perspectives of New Zealand's landscape and inhabitants. French romanticism and their religious vows emphasised a spiritual connection with the landscape, in sharp contrast with prevailing utilitarian European views. The Marists' status as Frenchmen in a British colony meant they encountered two alterities: British and Maori. Influenced by the noble savage of the French Romantics and by anti-Protestant bias, the Marists portrayed Maori favourably, reserving their more hostile comments for the British missionaries.

year: 2010-12