WorldCat Identities

ROYAL SIGNALS AND RADAR ESTABLISHMENT MALVERN (England)

Overview
Works: 288 works in 288 publications in 1 language and 288 library holdings
Genres: Software 
Classifications: QA76.8.V56,
Publication Timeline
.
Most widely held works by ROYAL SIGNALS AND RADAR ESTABLISHMENT MALVERN (England)
Hardware proofs using LCF-LSM and ELLA by W. J Cullyer( Book )

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

A method is described for writing the formal specifications for a digital system, a high level of design which satisfies this requirement and then a gate level realisation, using the languages LCF -LSM and ELLA. Given these formal descriptions, this papers shows how to carry out mathematical proofs to establish that the high level design respects the specification and the gate level design agrees with precisely with the high level design. By this means, a chain of correspondence proof is created from the specification to the ultimate realisation, as required during the development of safety critical and security critical hardware. There methods have been used to develop formal proofs for the VIPER microprocessor and this paper forms an essential tutorial for those studying the validation of this new 32 - bit processor. (Great Britain)
A system for the processing, transmission and remote display of data from a weather radar( 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)
Applications of focused ion beams in microelectronics by C Broughton( Book )

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

We present the conclusions of the RSRE programme on the application of focused ion beams in microelectronics and review the literature published in this field. We discuss the design and performance of focused beam implanters and the viability of their application to semiconductor device fabrication. Applications in the areas of lithography, direct implantation and micromachining are discussed in detail. Comparisons are made between the use of focused ion beams and existing techniques for these fabrication processes with a strong emphasis placed on the relative throughputs. We present results on a novel spot size measurement technique and the effect of beam heating on resist. We also present the results of studies into implantation passivation of resist to oxygen plasma attack as basis for a dry development lithography scheme. A novel lithography system employing flood electron exposure from a photocathode which is patterned by a focused ion beam which can also be used to repair mask defects. (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
Automatic Prober for the DC Characterisation of Gallium Arsenide Devices. Part 2. The Data Sorting and Display Facility( Book )

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

The Automatic Device Probing System used in the Microwave Devices Division (DP2) comprises separate measurement and data handling facilities. The measurement facility is described in RSRE Memorandum 4065 and the data sorting and display facility forms the subject of this memorandum. The facility described is designed to assist in analysing the large quantity of measured data obtained from device wafers and allows general trends as well as individual device parameters to be investigated. Programs have been written to produce maps which allow parameter variations across wafers to be assessed and additional routines are available which present the data in histogram form. These options allow the numeric as well as the geographic distribution of the data to be investigated. Three main types of map display are available, these display the variation in magnitude of a device parameter across a wafer, the location and nature of the failure of any failed devices and the location of devices with a specified combination of parameters
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)
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)
The phase diagram Cd-Hg-Te by A. W Vere( Book )

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

This memorandum reports the results of a study of the published literature on the Cd-Hg-Te phase diagram and adds some further data from RSRE(Royal Signals and Radar Establishment) studies of the microstructure of alloys from the Te-rich carrier of the ternary phase diagram. Where possible, attempts have been made to assess the relative merits of the data and to indicate that preferred result in cases where severe discrepancies appear between the various author's results. For ease of reference the thermodynamic data available have been converted to standard values and summarised in tabular form. (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)
Research using a DISCUS based network emulator by T. G Connelly( Book )

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

This memo describes a proposal to use the DISCUS multi-microprocessor system developed at RSRE as a tool for emulating a circuit switched network. The research which could be undertaken using such an emulator is outlined, and the advantages of this approach are described. An analysis is presented to show how the current system may be used with little or no modification. (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)
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)
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)
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)
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)
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)
Determination of oxygen and carbon in silicon wafers by R. W Series( Book )

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

Possibilities for the use of a dispersive infrared spectrophotometer to determine the oxygen and carbon content of device quality silicon wafers have been examined. A novel approach to the analysis of the spectra bassed on a curve fitting method has been employed. This has been shown to provide very good rejection of interferences due to absorptions caused by precipitates present in heat treated material. Single instrument precisions for measurements on 350 micrometers device quality wafers of better than 10% for oxygen and + or - 2 x 10 to the 16th power/cc for carbon with no correction for wafer backsurface finish are reported. (Author)
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)
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
0
Audience Level
1
  Kids General Special  
Audience level: 0.91 (from 0.89 for Binary pse ... to 1.00 for GaAs Varac ...)

Languages
English (20)