-A one-dimensional time-dependent model is descnbed m order to determine the influence of the transport terms m a transversally excited discharge m molecular Nitrogen. The results obtained indicate that the assumption of a homogeneous electnc field is not valid and that

The ability to automatically generalise (interactive) proofs and use such generalisations to discharge related conjectures is a very hard problem which remains unsolved; this paper shows how we hope to make a start on solving this problem. We develop a notion of goal types to capture key properties of goals, which enables abstractions over the specific order and number of sub-goals arising when...

The experimental charge and discharge profiles of a LiCoO2 electrode show that the overpotential of the electrode does not change much during alvanostatic charge, but changes significantly during galvanostatic discharge. Semi-empirical porous electrode models are presented to simulate he charge and discharge profiles of the LiCoO2 electrode. The symmetry factor is empirically assumed to decreas...