title: Unit testing of Z specifications

authors: Utting, Mark

subjects: computer science

abstract: We propose a simple framework for validation unit testing of Z specifications, and illustrate this framework by testing the first few levels of a POSIX specification. The tests are written in standard Z, and are executable by the CZT animator, ZLive.

text: Unit testing of Z specifications We propose a simple framework for validation unit testing of Z specifications, and illustrate this framework by testing the first few levels of a POSIX specification. The tests are written in standard Z, and are executable by the CZT animator, ZLive.

year: 2008

title: Very low frequency supercapacitor techniques to improve the end-to-end efficiency of DC-DC converters based on commercial off the shelf LDOs

authors: Kularatna, Nihal

subjects: low frequency supercapacitor techniques

abstract: Given the advantages of linear regulator techniques, low dropout regulator ICs are frequently used in portable consumer electronics. Only disadvantage in linear regulators, low efficiency, can be overcome by a very low frequency supercapacitor energy recovery technique to achieve efficiencies similar to common switching regulator techniques. This technique was successfully applied in a 12 V to 5 V regulator. The article provides some generalized theoretical background and different supercapacitor circulating options which can be applied to different cases of linear regulators.

text: Very low frequency supercapacitor techniques to improve the end-to-end efficiency of DC-DC converters based on commercial off the shelf LDOs Given the advantages of linear regulator techniques, low dropout regulator ICs are frequently used in portable consumer electronics. Only disadvantage in linear regulators, low efficiency, can be overcome by a very low frequency supercapacitor energy recovery technique to achieve efficiencies similar to common switching regulator techniques. This technique was successfully applied in a 12 V to 5 V regulator. The article provides some generalized theoretical background and different supercapacitor circulating options which can be applied to different cases of linear regulators.

year: 2010

title: Culture, for and against: patterns of "Culturespeak" in New Zealand

authors: Goldsmith, Michael

subjects: multiculturalism

abstract: Culture is invoked not only as a means of justifying redress for discrimination or historical injustice, but also as a standard of accountability by which the upholding of rights (or their suppression) can be measured. Rather than assume conceptual coherence regarding the notion of culture that such applications appear to share, it is proposed to analyse them as terms within a broad and open-ended field of 'culturespeak', a concept generally ascribed to Ulf Hannerz.

text: Culture, for and against: patterns of "Culturespeak" in New Zealand Culture is invoked not only as a means of justifying redress for discrimination or historical injustice, but also as a standard of accountability by which the upholding of rights (or their suppression) can be measured. Rather than assume conceptual coherence regarding the notion of culture that such applications appear to share, it is proposed to analyse them as terms within a broad and open-ended field of 'culturespeak', a concept generally ascribed to Ulf Hannerz.

year: 2003-09-01