Digital Commons Network^™

The Application Of Iec 61000-3-6 To Mv Systems In Australia, Victor J. Gosbell, D A. Robinson, Sarath Perera, Alex Baitch

Faculty of Informatics - Papers (Archive)

IEC 61000-3-6 [1] comprises a number of stages and tests to determine harmonic emission allowances for customers connected to MV or HV networks. Of particular importance is the section concerning loads distributed along a feeder, each having a different fault level. Although a common situation, the treatment given in the IEC standard is poorly described, being largely illustrated by one atypical example. This allows simplifying assumptions to be made which are invalid in practical cases. This paper outlines a more general approach that is relatively easy to apply.

Design Of A High Temperature Superconductor Magnetic Energy Storage Systems, R L Causley, Christopher David Cook, Steve Gower

Faculty of Informatics - Papers (Archive)

The University of Wollongong (UoW) has received funding for the research and development of a 20 kJ high temperature superconducting magnetic energy storage device (HTS SMES). This SMES will be operated at 25 K in contrast to most existing HTS designs, which operate at 77K. This paper includes a literature review of the current technology for the configuration of the SMES coil and a summary of the work done at UoW to date. Solenoidal and toroidal coils designs are compared to determine which will provide the required level of energy stored for a minimum superconductor and device volume. The design …

Pure Type Systems With More Liberal Rules, Martin W. Bunder, Wil Dekkers

Faculty of Engineering and Information Sciences - Papers: Part A

Pure Type Systems. PTSs, introduced as a generalisation of the type systems of Barendregt's lambda-cube, provide a foundation for actual proof assistants, aiming at the mechanic verification of formal proofs. In this paper we consider simplifications of some of the rules of PTSs. This is of independent interest for PTSs as this produces more flexible PTS-like systems, but it will also help, in a later paper, to bridge the gap between PTSs and systems of Illative Combinatory Logic.

First we consider a simplification of the start and weakening rules of PTSs. which allows contexts to be sets of statements, and …

Molecular Dynamics Simulation Of Biomolecular Systems, Wilfred Van Gunsteren, Dirk Bakowies, Roland Buergi, Indira Chandrasekhar, Markus Christen, Xavier Daura, Peter Gee, Alice Glaettli, Tomas Hansson, Chris Oostenbrink, Christine Peter, Jed Pitera, Lukas Schuler, Thereza Soares, Haibo Yu

Faculty of Science - Papers (Archive)

The group for computer-aided chemistry at the ETH Zurich focuses its research on the development of methodology to simulate the behavior of biomolecular systems and the use of simulation techniques to analyze and understand biomolecular processes at the atomic level. Here, the current research directions are briefly reviewed and illustrated with a few examples.

A Dynamical Systems Model Of The Limiting Oxygen Index Test, Mark Nelson, H S. Sidhu, R O. Weber, G N. Mercer

Faculty of Law, Humanities and the Arts - Papers (Archive)

Oxygen index methods have been widely used to measure the flammability of polymeric materials and to investigate the effectiveness of fire-retardants. Using a dynamical systems framework we show how a limiting oxygen index can be identified with an appropriate bifurcation. The effectiveness of fire-retardants in changing the limiting oxygen index is calculated by unfolding the bifurcation point with a suitable non-dimensionalised variable, which depends upon the mode of action of the additive. In order to use this procedure it is essential the model is non-dimensionalised so as to retain the variables of interest as distinct continuation parameters.