WorldCat Identities


Works: 287 works in 288 publications in 1 language and 288 library holdings
Genres: Software 
Classifications: QA76.6.D93,
Publication Timeline
Mode S data link phrase coding by P. T Humphrey( Book )

2 editions published between 1985 and 1986 in English and held by 2 WorldCat member libraries worldwide

During the course of the data link research at RSRE an experimental phrase source language was devised which followed the pattern suggested for Mode-S in International Civil Aviation Organization (ICAO) SSR Improvements and Collision Avoidance Systems Panel (SICASP). This was published and presented to SICASP Working Group 3 in January 1986 where it was accepted as the basis for the Phrase Source Language (PSL) to be incorporated in the SARPS (Standards and Recommended Practices). Since that time there have been further developments which have arisen from practical study of applications for such a language. In particular it has become apparent that more complex phrases than were first envisaged will need to be encoded and so new features have been suggested. Contents--The Language Design: Operator Name Changes, To display Operator Field Value, Output Operator, A Macro Structure, Variable Length Variables, Repeat Loops, Commentary on the VOLMET Example; Language Features for Consideration: Fixed Bit Position Formats, Machine Readable Variables
Regular expression analysis of procedures and exceptions by J. M Foster( Book )

1 edition published in 1985 in English and held by 1 WorldCat member library worldwide

This paper describes an algorithm used to find properties of computer programs by using algebraic methods. It is capable of handling subroutines and exception exits. A program scheme has been produced to implement it which is particularly aimed at finding properties of microcode programs. This scheme can be systematically instantiated to deal with particular properties. Great care has been taken with the efficiency of the algorithm; it works in practice, even for very complex microcode, in time proportional to the number of microcode instructions. Both the mathematical basis of the algorithm and the algorithm itself are explained. (Great Britain)
GaAs Varactor Diode MMIC (Monolithic Microwave Integrated Circuit) Fabrication Technology( Book )

1 edition published in 1987 in English and held by 1 WorldCat member library worldwide

The design criteria and techniques developed to fabricate a monolithic low series resistance N on N+ GaAs varactor diode and the associated microwave circuit are described. Details of a high resolution polyimide patterning process developed for this device are included as is a description of the experimental work carried out to establish the practical design rules for the polyimide dielectric on chip capacitors. A description of the seven level mask set and associated processing are included and an assessment of the yield obtained on several wafers is discussed. The processing technology described in this memo has been successfully transferred to UK industry
Software fault tolerance by L. N Simcox( Book )

1 edition published in 1988 in English and held by 1 WorldCat member library worldwide

The main principles of software fault tolerance are presented and various schemes for achieving it are described, with emphasis being placed on the N-version programming and the recovery blocks schemes. The areas of research discussed include reliability modeling, version independence, and system simulation. A brief description of the use of software fault tolerance in aerospace applications is given and the important subject of cost-effectiveness is addressed. The potential benefits to Air Traffic Control systems are identified together with areas where further study and research are desirable. (rh)
The design of modulation doped heterostructures by Joel Kane( Book )

1 edition published in 1986 in English and held by 1 WorldCat member library worldwide

This memo presents a set of design rules for the thickness and doping levels of the various layers of a modulation doped heterojunction. It is shown how to optimise the heterostructure so that there is no parasitic parallel conduction and for the maximum low temperature mobility. (Author)
On the privacy problems involved in allowing access to computers via the public telephone system by S. C Giess( Book )

1 edition published in 1988 in English and held by 1 WorldCat member library worldwide

This report discusses some privacy problems involved in allowing access to computers over the Public Switched Telephone Network (PSTN). The relevant aspects of current land-line PSTN and cellular radio operations are described and the weaknesses of the access controls of current computer systems are discussed. Possible solutions that would allow access under a limited set of conditions are described. Great Britain. (rh)
An IKBS approach to image understanding by A. C Sleigh( Book )

1 edition published in 1984 in English and held by 1 WorldCat member library worldwide

This memorandum describes a method for extracting 2-Dimensional and 3-Dimensional shapes from scenes made up entirely of straight line segments. A new approach to extracting boundaries is discussed, and a methodology for defining geometrical shapes in PROLOG illustrated. Emphasis is placed on the structuring and control strategy for efficient implementation, and the applicability of IKBS methods to this is demonstrated. (Author)
Checking microcode algebraically by J. N Foster( Book )

1 edition published in 1984 in English and held by 1 WorldCat member library worldwide

This Memorandum describes algebraic methods used by a program which processes microcode based on the AMD 2910 in order to find some of its properties. The methods could be applied to other controllers. Examples of the properties which can be found are given, including checking for timing constraints, ensuring that interrupts are polled frequently, checking against expression stack overflow and ensuring the absence of certain sequences of instruction. The method separates into a part which deals only with the control structure, for this program that of the AMD 2910, and a part which deals with the operations performed by the micro-instructions, in this case those of the ICL Perq. It has been used to check many properties of the implementation of Flex on Perq, which involves more than 4000 microinstructions
RSRE (Royal Signals and Radar Establishment) 1985 Research Review( Book )

1 edition published in 1985 in English and held by 1 WorldCat member library worldwide

Contents: Radar and Microwaves, Communications and Computing, Signal and Data Processing, Infrared and Lasers, Solid State Physics and Displays, Historical Review, and Publications. (Great Britain)
A FORTRAN plotting package for graphic VDUs by V. J Mifsud( Book )

1 edition published in 1984 in English and held by 1 WorldCat member library worldwide

A set of plotting routines have been implemented in FORTRAN on DEC LSI-11, PDP-11 and VAX-11 computers to provide a transportable graphics capability to improve data presentation and machine control on vector scan particle beam lithography machines. The routines are general in nature and have already proved to be of use in many scientific applications requiring compact and tailored graphics capabilities within specific programs. This document is designed to act as a User's Guide for the suite. Versions of the routines are available for ReGIS, Tektronics 4010/4014 and SIGMA native mode graphics terminals. (Author)
Investigation of the effect of annealing on the dislocation and sub-grain boundary content of solvent-evaporation-grown CdTe by N Troughton( Book )

1 edition published in 1984 in English and held by 1 WorldCat member library worldwide

Solvent-evaporation grown CdTe wafers have been examined using optical microscopy and etching techniques to determine the sub-grain boundary structure and density. The results indicate that the material contains sub-grains of the order of 100-300 micron in diameter, the boundaries of which are formed by polygonised dislocations in densities exceeding 100,000 per cm. Annealing for periods of more than 24 hours at temperatures above 800 deg C leads to a reduction in the subgrain boundary dislocation density and, in the best case, to complete removal of some of these boundaries. (Author)
Developments in United Kingdom waveguide power standards by P. J Skilton( Book )

1 edition published in 1980 in English and held by 1 WorldCat member library worldwide

The United Kingdom national standards for power in waveguide consist of bolometer mounts of known efficiency at discrete frequencies from 8.2 GHz to 35 GHz. This report outlines recent developments in the design, construction, calibration and use of the standards. An analysis of random and systematic uncertainties in the microcalorimeter method of calibration forms a significant part of the report and yields an overall uncertainty of + or - 0.1% in the mount efficiency with 95% confidence. Features of a technique for calibrating power meters in terms of a bolometer standard using a waveguide transfer instrument are described together with an analysis of uncertainty in the technique. Comparisons in the past five years of the RSRE developed standards with other power standards are also summarised. (Author)
A system for the processing, transmission and remote display data from a weather radar by A. P Ball( Book )

1 edition published in 1975 in English and held by 1 WorldCat member library worldwide

The memo describes a prototype system which has been developed to enable quantitative precipitation data from a weather radar to be made available in timely fashion to meteorologists and hydrologists remote from the radar station. The data is available within 30 secs of its acquisition by the radar and is presented as a colour-coded map showing the intensity distribution of the rainfall over a large area. The display terminal uses a modified colour television set and the transmission is by means of standard PO lines. Other data outputs are available in a computer-compatible format and the system design is such as to allow future expansion to embrace a number of radars and to meet a number of different user requirements. An experimental system has been implemented at a radar site in N Wales, and is currently transmitting instantaneous rainfall 'pictures' and integrated rainfall totals to the Meteorological Office at Preston, to the Malvern Office of the Severn - Trent Regional Water Authority and to the Bala Office of the Welsh National Water Development Authority. (Author)
Ion implanted GaAs microwave FETs( Book )

1 edition published in 1988 in English and held by 1 WorldCat member library worldwide

The combination of ion implantation and photolithographic patterning techniques has been applied to the fabrication of GaAs microwave FETs. This approach was adopted with the aim of providing a large number of devices having consistently predictable dc and high frequency characteristics. This memorandum concentrates on a description of the technology research carried out between 1983 and 1986 which culminated in the successful demonstration of a processing scheme meeting this objective. To validate the accuracy and repeatability of the high frequency device parameters, and X-band microwave circuit has been designed and realized. The performance of this circuit, a buffered amplifier, was very close to the design specification. The availability of a large number of reproducible, well-characterized transistors has enabled work to commence on the development of a large signal model for FETs. The preliminary work in this area is also described in this report. Great Britain. (rh)
Specification of Viper2 in Z by D. H Kemp( Book )

1 edition published in 1988 in English and held by 1 WorldCat member library worldwide

As a continuation of the use of the specification language Z which was used to specify the Viper 1 microprocessor this paper covers the specification of the Viper 2. This was completed before the definitive HOL specification was complete, therefore there is no proof of correspondence between the two. Using Z did highlight inconsistencies in the HOL specification that may not have appeared until later in the specification. Great Britain. (rh)
Binary pseudo random phase correlation in radar systems - a new approach by M Dean( Book )

1 edition published in 1989 in English and held by 1 WorldCat member library worldwide

The growing requirement for low probability of intercept characteristics in radar sensors is producing increasing interest in continuous wave (cw) radars. Pure cw radars have no inherent ranging capability, and it is therefore customary to modulate the cw transmission in some way if ranging is required. An increasingly popular modulation scheme is Binary Pseudo Random Phase Coding (BPRPC), whereby the phase of the transmitted signal is switched between O degs. and 180 degs. under the control of a binary pseudo random sequence of length n, variously known as a pseudo random code, maximal sequence or Galois Code. Techniques for achieving the correlation of binary pseudo random phase coded signals in doppler radar sensors are discussed. A new design based on current technology is developed which potentially offers both a low cost and highly integrable solution. Prototype hardware is constructed and tested and its performance compared with other designs. Excellent performance is achievable without the penalties of size and weight which the other designs carry. Australia. (RH)
The use of the MASCOT philosophy for the construction of Ada programs by Gustav Fickenscher( Book )

1 edition published in 1983 in English and held by 1 WorldCat member library worldwide

The development of computer based systems poses major problems on the people involved. Both, MASCOT (the official design methodology of the UK Ministry of Defence for real-time systems) and Ada (the official programming language of the US Department of Defence for embedded computer systems) claim to offer a solution to the majority of these problems. MASCOT is a programming support environment which is independent of a particular programming language, but it defines its own runtime kernel for parallel execution of different program parts. Ada, on the other hand, offers language constructs to express parallelism of program parts, but Ada enforces a particular design methodology with its language rules. This paper investigates whether it is feasible to combine the MASCOT methodology with the programming language Ada. It demonstrates a possible implementation of a MASCOT Construction Data Base in Ada, and it explains the combination of MASCOT and Ada by using a simple example. (Author)
Eye movements and visual search : a bibliography by Karen Carr( Book )

1 edition published in 1983 in English and held by 1 WorldCat member library worldwide

Over 700 references describing past work related to eye movements and visual search are listed and qualified using a keyword system. The bibliography is intended as the starting point for a research programme on visual search for military targets viewed through electro-optical imaging systems
Rumford and the teapots : demonstration of the formation of thermal images by E. H Putley( Book )

1 edition published in 1983 in English and held by 1 WorldCat member library worldwide

A modern version of an experiment originally performed by Count Rumford is described. This enables us to demonstrates some of the factors concerned in the formation of thermal images. The images obtained with a pyroelectric vidicon thermal imager are compared with the visible images to demonstrate the effects of the surface characteristics of the objects in the scene. Demonstrations of transmission and reflection effects using a modified Leslie cube are also included. (Author)
Curt : the command interpreter language for Flex by I. F Currie( Book )

1 edition published in 1982 in English and held by 1 WorldCat member library worldwide

Curt is an interactive command language for the Flex computer system. Since one feature of Flex is its treatment of procedures at first class data objects, the creation and calling of procedures is the most important part of Curt. In addition, Curt handles a wide spectrum of types of values in as uniform as manner as possible and is a very flexible tool for the construction of programs. (Author)
moreShow More Titles
fewerShow Fewer Titles
Audience Level
Audience Level
  Kids General Special  
Audience level: 0.90 (from 0.84 for Checking m ... to 0.99 for GaAs Varac ...)

English (21)