title: From a community of practice to a body of knowledge: a case study of the formal methods community

authors: Bowen, Jonathan P.

subjects: computer science

abstract: A Body of Knowledge (BoK) is an ontology for a particular professional domain. A Community of Practice (CoP) is the collection of people developing such knowledge. In the paper we explore these concepts in the context of the formal methods community in general and the Z notation community, as has been supported by the Z User Group, in particular. The existing SWEBOK Software Engineering Body of Knowledge is considered with respect to formal methods and a high-level model for the possible structure of of a BoK is provided using the Z notation.

text: From a community of practice to a body of knowledge: a case study of the formal methods community A Body of Knowledge (BoK) is an ontology for a particular professional domain. A Community of Practice (CoP) is the collection of people developing such knowledge. In the paper we explore these concepts in the context of the formal methods community in general and the Z notation community, as has been supported by the Z User Group, in particular. The existing SWEBOK Software Engineering Body of Knowledge is considered with respect to formal methods and a high-level model for the possible structure of of a BoK is provided using the Z notation.

year: 2011

title: Improved linearity using harmonic error rejection in a full-field range imaging system

authors: Payne, Andrew D.

subjects: phase detection

abstract: Full field range imaging cameras are used to simultaneously measure the distance for every pixel in a given scene using an intensity modulated illumination source and a gain modulated receiver array. The light is reflected from an object in the scene, and the modulation envelope experiences a phase shift proportional to the target distance. Ideally the waveforms are sinusoidal, allowing the phase, and hence object range, to be determined from four measurements using an arctangent function. In practice these waveforms are often not perfectly sinusoidal, and in some cases square waveforms are instead used to simplify the electronic drive requirements. The waveforms therefore commonly contain odd harmonics which contribute a nonlinear error to the phase determination, and therefore an error in the range measurement. We have developed a unique sampling method to cancel the effect of these harmonics, with the results showing an order of magnitude improvement in the measurement linearity without the need for calibration or lookup tables, while the acquisition time remains unchanged. The technique can be applied to existing range imaging systems without having to change or modify the complex illumination or sensor systems, instead only requiring a change to the signal generation and timing electronics.

text: Improved linearity using harmonic error rejection in a full-field range imaging system Full field range imaging cameras are used to simultaneously measure the distance for every pixel in a given scene using an intensity modulated illumination source and a gain modulated receiver array. The light is reflected from an object in the scene, and the modulation envelope experiences a phase shift proportional to the target distance. Ideally the waveforms are sinusoidal, allowing the phase, and hence object range, to be determined from four measurements using an arctangent function. In practice these waveforms are often not perfectly sinusoidal, and in some cases square waveforms are instead used to simplify the electronic drive requirements. The waveforms therefore commonly contain odd harmonics which contribute a nonlinear error to the phase determination, and therefore an error in the range measurement. We have developed a unique sampling method to cancel the effect of these harmonics, with the results showing an order of magnitude improvement in the measurement linearity without the need for calibration or lookup tables, while the acquisition time remains unchanged. The technique can be applied to existing range imaging systems without having to change or modify the complex illumination or sensor systems, instead only requiring a change to the signal generation and timing electronics.

year: 2008

title: The role of coastal marae in natural hazard response and climate change adaptation

authors: Bailey-Winiata, Akuhata

abstract: Marae are much more than infrastructure. They are spiritual places and community hubs. Marae are often positioned in places that are known to be safe based on mātauranga a whānau/hapū/iwi (often more generally referred to as mātauranga Māori - Māori knowledge), and often near waterbodies including rivers/streams, estuaries, and the ocean. Although there are many advantages to living near waterbodies, such features are prone to natural hazards such as flooding and erosion. The impact of these hazards is being exacerbated by climate change and sea level rise.

Hapū and iwi in the past adapted to the impact of natural hazards, and continue to do so, and are now adapting to climate change through a carefully considered process informed by mātauranga Māori developed through generations of observations. Coastal adaptation is generally categorised into three broad types: 1) Protect, 2) Accommodate and 3) Retreat, and many coastal marae are already adapting across all these responses.

Heading into the future, marae are likely to play an increasingly important role for communities in Aotearoa New Zealand. They are examples of mātauranga in action and will continue to protect and shelter people from hazards and following disasters.

text: The role of coastal marae in natural hazard response and climate change adaptation Marae are much more than infrastructure. They are spiritual places and community hubs. Marae are often positioned in places that are known to be safe based on mātauranga a whānau/hapū/iwi (often more generally referred to as mātauranga Māori - Māori knowledge), and often near waterbodies including rivers/streams, estuaries, and the ocean. Although there are many advantages to living near waterbodies, such features are prone to natural hazards such as flooding and erosion. The impact of these hazards is being exacerbated by climate change and sea level rise.

Hapū and iwi in the past adapted to the impact of natural hazards, and continue to do so, and are now adapting to climate change through a carefully considered process informed by mātauranga Māori developed through generations of observations. Coastal adaptation is generally categorised into three broad types: 1) Protect, 2) Accommodate and 3) Retreat, and many coastal marae are already adapting across all these responses.

Heading into the future, marae are likely to play an increasingly important role for communities in Aotearoa New Zealand. They are examples of mātauranga in action and will continue to protect and shelter people from hazards and following disasters.

year: 2022-11