title: Synthesis equivalence of triples

authors: Mohajerani, Sahar

subjects: computer science

abstract: This working paper describes a framework for compositional supervisor synthesis, which is applicable to all discrete event systems modelled as a set of deterministic automata. Compositional synthesis exploits the modular structure of the input model, and therefore works best for models consisting of a large number of small automata. State-space explosion is mitigated by the use of abstraction to simplify individual components, and the property of synthesis equivalence guarantees that the final synthesis result is the same as it would have been for the non-abstracted model. The working paper describes synthesis equivalent abstractions and shows their use in an algorithm to compute supervisors efficiently. The algorithm has been implemented in the DES software tool Supremica and successfully computes modular supervisors, even for systems with more than 1014 reachable states, in less than 30 seconds.

text: Synthesis equivalence of triples This working paper describes a framework for compositional supervisor synthesis, which is applicable to all discrete event systems modelled as a set of deterministic automata. Compositional synthesis exploits the modular structure of the input model, and therefore works best for models consisting of a large number of small automata. State-space explosion is mitigated by the use of abstraction to simplify individual components, and the property of synthesis equivalence guarantees that the final synthesis result is the same as it would have been for the non-abstracted model. The working paper describes synthesis equivalent abstractions and shows their use in an algorithm to compute supervisors efficiently. The algorithm has been implemented in the DES software tool Supremica and successfully computes modular supervisors, even for systems with more than 1014 reachable states, in less than 30 seconds.

year: 2012-09-19

title: Radiometric field work and remote sensing using satellite data

authors: Chalmers, Lex

abstract: There has been a marked growth in the number of spacecraft and airborne sensors since 1972, the date of the launching of the first satellite developed to monitor Earth's resources (LANDSAT). As a consequence, geographers interested in remote Sensing in New Zealand have had a widening range of data sources available to them. Geographers first expressed interest in monitoring ground cover using I.ANDSAT series data, but interest in remote sensing data has widened to include work on marine environments, structural geology, urban areas and soil survey. As Curran (1984) indicates, the development and use of thermal and microwave sensors is likely to rapidly extend the uses of remote sensing. In New Zealand, the growth in the number of stored data bases plus the increased sophistication of digital computer analysis (both dominated by the national centre, The Remote Sensing Section. DS1R) is encouraging. However, it is a matter of some concern that there does not seem to be a parallel growth in the radiometric field work required to reconcile sensor data with field information. This note examines some of the reasons which have led to this problem, stresses the importance of radiometric ground truth and describes a method of collecting radiometric data which is in operation at the University of Waikato.

text: Radiometric field work and remote sensing using satellite data There has been a marked growth in the number of spacecraft and airborne sensors since 1972, the date of the launching of the first satellite developed to monitor Earth's resources (LANDSAT). As a consequence, geographers interested in remote Sensing in New Zealand have had a widening range of data sources available to them. Geographers first expressed interest in monitoring ground cover using I.ANDSAT series data, but interest in remote sensing data has widened to include work on marine environments, structural geology, urban areas and soil survey. As Curran (1984) indicates, the development and use of thermal and microwave sensors is likely to rapidly extend the uses of remote sensing. In New Zealand, the growth in the number of stored data bases plus the increased sophistication of digital computer analysis (both dominated by the national centre, The Remote Sensing Section. DS1R) is encouraging. However, it is a matter of some concern that there does not seem to be a parallel growth in the radiometric field work required to reconcile sensor data with field information. This note examines some of the reasons which have led to this problem, stresses the importance of radiometric ground truth and describes a method of collecting radiometric data which is in operation at the University of Waikato.

year: 1985-10

title: Challenges to psychology in Aotearoa

authors: Awatere-Huata, Donna

subjects: Maori

abstract: Maori people are putting up with a lot right now. If governments can transfer $20 billion in the past ten years for hand outs and write offs to Pakeha people who have endured little, then they can do a lot better than the $150 million they’ve transferred to our people that have endured so much for 150 years.  The big issue is still the Treaty, and the need to re-negotiate this nation’s management. The challenge is to design a political system that is based on Maori ways of doing things rather than Pakeha ways of doing things. To achieve this requires relinquishing colonial patterns of thinking and the certainty that pakeha people and their ways are superior to Maori. For psychologists the issue is their role in maintaining Pakeha economic and political power. It may well be that psychologists provide lousy value for money from the Maori point of view, but provide excellent value for money from the government’s point of view.

text: Challenges to psychology in Aotearoa Maori people are putting up with a lot right now. If governments can transfer $20 billion in the past ten years for hand outs and write offs to Pakeha people who have endured little, then they can do a lot better than the $150 million they’ve transferred to our people that have endured so much for 150 years.  The big issue is still the Treaty, and the need to re-negotiate this nation’s management. The challenge is to design a political system that is based on Maori ways of doing things rather than Pakeha ways of doing things. To achieve this requires relinquishing colonial patterns of thinking and the certainty that pakeha people and their ways are superior to Maori. For psychologists the issue is their role in maintaining Pakeha economic and political power. It may well be that psychologists provide lousy value for money from the Maori point of view, but provide excellent value for money from the government’s point of view.

year: 1993