title: A framework for compositional nonblocking verification of extended finite-state machines

authors: Mohajerani, Sahar

subjects: Science & Technology

abstract: This paper presents a framework for compositional nonblocking verification of discrete event systems modelled as extended finite-state machines (EFSM). Previous results are improved to consider general conflict-equivalence based abstractions of EFSMs communicating both via shared variables and events. Performance issues resulting from the conversion of EFSM systems to finite-state machine systems are avoided by operating directly on EFSMs, deferring the unfolding of variables into state machines as long as possible. Several additional methods to abstract EFSMs and remove events are also presented. The proposed algorithm has been implemented in the discrete event systems tool Supremica, and the paper presents experimental results for several large EFSM models that can be verified faster than by previously used methods.

text: A framework for compositional nonblocking verification of extended finite-state machines This paper presents a framework for compositional nonblocking verification of discrete event systems modelled as extended finite-state machines (EFSM). Previous results are improved to consider general conflict-equivalence based abstractions of EFSMs communicating both via shared variables and events. Performance issues resulting from the conversion of EFSM systems to finite-state machine systems are avoided by operating directly on EFSMs, deferring the unfolding of variables into state machines as long as possible. Several additional methods to abstract EFSMs and remove events are also presented. The proposed algorithm has been implemented in the discrete event systems tool Supremica, and the paper presents experimental results for several large EFSM models that can be verified faster than by previously used methods.

year: 2016-03-01

title: Geodesic geometry of some static axisymmetric vacuum spacetimes

authors: Harder, David M.

abstract: Solutions of Laplace's equation in terms of bispherical and toroidal coordinates are used to derive new exact exterior (vacuum), general relativistic fields, of static axially symmetric spacetimes. 
For each new metric we calculate the first Geroch relativistic multipole moments. By selecting solutions that have even multipole moments, and thus a plane of equatorial symmetry, we numerically generate the timelike geodesics of test particles confined to these planes. 
Approximate solutions of these orbits are calculated, fro~ which the precession of the perihelion is compared to that of the numerical results and those predicted by a method of Fernández-Jambrina and Hoenselaers (2001). Similar calculations are done in the bispherical case for the precession rate of the line of nodes of a perturbed circular orbit. 
Geodesics of zero angular momentum are also presented for various spacetimes. In general, it is observed that the trajectories of test particles can experience periods of gravitational repulsion. Furthermore, the toroidal solutions show that the period of oscillation of a test particle along the axis of a ring like mass distribution can increase as the mass of the source is increased. 
We also consider the application of bicyclide coordinates. In doing so the computation of Lamé-Wangerin functions are required. New results for the eigenfunctions for the Lamé equation of order  -1/2 are produced. Analytic and numerical results are compared. The multipole moments and timelike geodesics of this solution are also presented.

text: Geodesic geometry of some static axisymmetric vacuum spacetimes Solutions of Laplace's equation in terms of bispherical and toroidal coordinates are used to derive new exact exterior (vacuum), general relativistic fields, of static axially symmetric spacetimes. 
For each new metric we calculate the first Geroch relativistic multipole moments. By selecting solutions that have even multipole moments, and thus a plane of equatorial symmetry, we numerically generate the timelike geodesics of test particles confined to these planes. 
Approximate solutions of these orbits are calculated, fro~ which the precession of the perihelion is compared to that of the numerical results and those predicted by a method of Fernández-Jambrina and Hoenselaers (2001). Similar calculations are done in the bispherical case for the precession rate of the line of nodes of a perturbed circular orbit. 
Geodesics of zero angular momentum are also presented for various spacetimes. In general, it is observed that the trajectories of test particles can experience periods of gravitational repulsion. Furthermore, the toroidal solutions show that the period of oscillation of a test particle along the axis of a ring like mass distribution can increase as the mass of the source is increased. 
We also consider the application of bicyclide coordinates. In doing so the computation of Lamé-Wangerin functions are required. New results for the eigenfunctions for the Lamé equation of order  -1/2 are produced. Analytic and numerical results are compared. The multipole moments and timelike geodesics of this solution are also presented.

year: 2003

title: Translated identities: 'Pakeha' as subjects of the Treaty of Waitangi

authors: Goldsmith, Michael

subjects: Treaty of Waitangi

abstract: The politics of translation is clearly a perennial focus of debate in New Zealand, as shown by thematic links between the New Zealand social anthropology conferences at Waikato in 1990 and Auckland in 2004. Of the many issues of translation swirling around ongoing attempts to interpret the Treaty of Waitangi, a surprisingly neglected one concerns the identities of the people on behalf of whom the Crown signed the Treaty. The term 'Pakeha' appears only once in the Treaty, the question of whom it refers to is by no means straightforward, and it would be unwise to presume that it had the same range of meanings in 1840 as it does in present-day biculturalism. This point is demonstrated by a re-reading of historical material concerning the parties present at or implicated in the signing of the Treaty, including the so-called Pakeha Maori.

text: Translated identities: 'Pakeha' as subjects of the Treaty of Waitangi The politics of translation is clearly a perennial focus of debate in New Zealand, as shown by thematic links between the New Zealand social anthropology conferences at Waikato in 1990 and Auckland in 2004. Of the many issues of translation swirling around ongoing attempts to interpret the Treaty of Waitangi, a surprisingly neglected one concerns the identities of the people on behalf of whom the Crown signed the Treaty. The term 'Pakeha' appears only once in the Treaty, the question of whom it refers to is by no means straightforward, and it would be unwise to presume that it had the same range of meanings in 1840 as it does in present-day biculturalism. This point is demonstrated by a re-reading of historical material concerning the parties present at or implicated in the signing of the Treaty, including the so-called Pakeha Maori.

year: 2005