Structured development of an asynchronous forth processor using trace theory

This thesis examines the use of a structured design methodology in the design of asynchronous circuits so that high level constructs can be specified purely in terms of signal exchanges and without the intrusion of lower level concepts. Trace theory is used to specify a multi-processor Forth machine at a high level then part of the design is further elaborated using trace theory operations to (insure that the behaviours of the lower level constructs will combine to give the high level specified behaviour without locking or other hazards. A novel form of threaded language to take advantage of the machine architecture is developed. At suitable points the design is tested by simulation. The stack element which is designed is reduced to an electric circuit which is itself tested by simulation to verify the design.

Direct current electric potential in an anisotropic half-space with vertical contact containing a conductive 3D body

Detailed studies of anomalous conductors in otherwise homogeneous media have been modelled. Vertical contacts form common geometries in galvanic studies when describing geological formations with different electrical conductivities on either side. However, previous studies of vertical discontinuities have been mainly concerned with isotropic environments. In this paper, we deal with the effect on the electric potentials, such as mise-`a-la-masse anomalies, due to a conductor near a vertical contact between two anisotropic regions. We also demonstrate the interactive effects when the conductive body is placed across the vertical contact. This problem is normally very difficult to solve by the traditional numerical methods. The integral equations for the electric potential in anisotropic half-spaces are established. Green’s function is obtained using the reflection and transmission image method in which five images are needed to fit the boundary conditions on the vertical interface and the air-earth surface. The effects of the anisotropy of the environments and the conductive body on the electric potential are illustrated with the aid of several numerical examples.