19-22 March 1990

Filter Results

Displaying Results 1 - 25 of 67
  • Using reservation-virtual-time-CSMA with split-channel reservation for packet voice and data

    Publication Year: 1990, Page(s):209 - 212
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (171 KB)

    The carrier sense multiple access with collision detection (CSMA/CD) protocol, originally developed for data transmission is not very effective for the transmission of voice packets due to excessive packet delays at moderate to high loads. It has been shown by C.T. Lea, J.S. Heditch (1987), that the problem of delays can be greatly reduced by using a variation of CSMA called reservation-virtual-ti... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A shared-memory execution model for parallel functional programming

    Publication Year: 1990, Page(s):247 - 250
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (227 KB)

    Functional languages have received more interest recently and particularly for programming parallel computers. Traditionally, functional languages were developed simultaneously with the design of new architectures such as data flow and reduction machine. The authors present a general execution model to support a parallel functional language called SISAL (stream and iteration in a single assignment... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A direct voice input man-machine interface strategy to provide voice access for severely impaired speakers

    Publication Year: 1990, Page(s):279 - 285
    Cited by:  Patents (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (316 KB)

    A description is given of the initial stages in the development of a simple time-encoded digital speech (TES) isolated word recognition, (IWR) system, incorporating automatic token set selection (ATSS) procedures as a means of providing an effective man-machine interface for severely handicapped speakers. Three aspects of the investigation are emphasised. The use of automatic diagnostic routines, ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Aspects of knowledge base management system research at ECRC

    Publication Year: 1990, Page(s):271 - 278
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (552 KB)

    The main objective of the knowledge bases group at ECRC, is to develop a fully comprehensive knowledge base management system. The authors concentrate on aspects of this work in which they are actively involved and essentially provide an overview of theoretical studies and software development which have recently been reported in detail in the literature. They give a brief assessment of the state-... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • REPAIR: a model-based diagnosis system

    Publication Year: 1990, Page(s):266 - 270
    Cited by:  Patents (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (384 KB)

    The work of the REPAIR project is described with particular emphasis on research into model-based diagnosis. The aim of the project was to investigate diagnostic reasoning processes in the context of physical mechanisms drawn from industry and engineering. This goal was pursued by building experimental software simulators that facilitate the modular construction of device models and allow the simu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The cognitive role of an engineer in a diagnostic task

    Publication Year: 1990, Page(s):259 - 263
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (316 KB)

    A discussion is given on the provision of intelligent front ends to a suite of turbine vibration programs which are used by highly skilled engineers at CEGB. There is a brief account of the domain and the numerical simulations which model it. The authors then overview the expert system interface which was written to do a simple matching task and discuss some of its limitations when used by non-exp... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Systems engineering: a theoretical framework

    Publication Year: 1990, Page(s):143 - 148
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (372 KB)

    Explores the possible root causes of failure in systems engineering and suggests a model of the development process that takes full account of these. The model is intended to be a first step, in the form of a theoretical framework, towards achieving better quality in systems engineering View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Turning eureka steps into calculations in automatic program synthesis

    Publication Year: 1990, Page(s):221 - 226
    Cited by:  Papers (1)  |  Patents (11)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (300 KB)

    A description is given of a technique called middle-out reasoning for the control of search in automatic theorem proving. The authors illustrate it use in the domain of automatic program synthesis. Programs can be synthesised from proofs that their logical specifications are satisfiable. Each proof step is also a program construction step. Unfortunately, a naive use of this technique requires a hu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • UK IT 1990 Conference (Conf. Publ. No.316)

    Publication Year: 1990
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (80 KB)

    The following topics were dealt with: software engineering; knowledge acquisition and development; security and fault tolerance; concurrency; computer vision; control systems and environments; formal modelling methods; system quality and metrics; parallel and distributed architecture; VLSI; experimental systems; formal aspects; system design; software tools; instrumentation and intelligence; IKBS;... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Real-time image analysis for vision guided vehicle control

    Publication Year: 1990, Page(s):66 - 70
    Cited by:  Papers (3)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (316 KB)

    Presents an overview of a three year investigation into vision guided road vehicle control conducted by a team at the University of Bristol. The goal was to develop a parallel computer architecture, based on the Inmos transputer, which is capable of real-time analysis of video images obtained from a camera mounted on the front of a vehicle. Much of the algorithm development is based on analysis of... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Acousto-optic correlation techniques

    Publication Year: 1990, Page(s):251 - 258
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (340 KB)

    A description is given of the theory of operation of acousto-optic (AO) devices and correlators in general. Two different applications of twin Bragg cell space-integrating correlator/convolvers are then discussed. In the first a heterodyning technique is employed in which light at different optical frequencies is mixed to give the convolution of the signals applied to the two AO cells. The system ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The use of cluster techniques and system design metrics in software maintenance

    Publication Year: 1990, Page(s):139 - 142
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (208 KB)

    Software metrics are an attempt to quantify features of a software product which can be used for activities such as prediction and standards setting. The paper describes a novel use of such software metrics in which they are used to monitor the degree of structural degradation that occurs during the software maintenance process. The technique that is described relies on a branch of statistics know... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Functional languages for the implementation of formal specifications

    Publication Year: 1990, Page(s):213 - 220
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (400 KB)

    A programming language concept called functional programming has developed to the extent that programs can be viewed as being executable formal specifications. These languages can be manipulated using a technique known as `program transformation' which alters the form of the program but not it's behaviour. The authors examine work in the System and Software Engineering Division at Martlesham Heath... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Knowledge representations and interfaces in financial expert systems

    Publication Year: 1990, Page(s):434 - 441
    Cited by:  Patents (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (364 KB)

    The paper concerns itself with two related themes: explanation and knowledge reuse. They are treated in the context of the two ideas in the title, essential components of any knowledge-based system: interfaces and knowledge representation. The themes are related because they both require explicitness of knowledge; implicit knowledge makes for poor explanations, and restricts the potential for reus... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Real-time AI; a practical solution to a difficult problem [ESM processing]

    Publication Year: 1990, Page(s):58 - 65
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (416 KB)

    The paper starts with an introduction to the problems of ESM (electronic support measures) processing, which exemplifies the problems of real time data interpretation. The features of the approach followed by an operator to this task are then examined, and the implications of the necessity for a real-time solution discussed. The software architecture used to reflect these features is described, an... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Some applications of formal methods to the design of distributed knowledge base systems

    Publication Year: 1990, Page(s):133 - 138
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (392 KB)

    The paper describes a technique for formally defining the semantics of a knowledge base language-the Vienna development method (VDM). The technique is shown to have applications in query optimisation and in the maintenance of consistency of the knowledge. The paper suggests that the same approach can help in the development of translators between different knowledge models. It is also anticipated ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Hybrid optical fibre sensors

    Publication Year: 1990, Page(s):428 - 433
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (468 KB)

    Hybrid sensing systems are slowly becoming available on the market occupying a position between conventional electronic sensors and all-optical instruments. They combine the benefits of established sensors, such as reliability, cheapness and high performance, with the advantages of optical transmission, intrinsic safety and freedom from electromagnetic interference; a digital output improves the t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integration of multi-layer perceptron and Markov models for automatic speech recognition

    Publication Year: 1990, Page(s):413 - 420
    Cited by:  Papers (2)  |  Patents (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (396 KB)

    The paper presents the implementation of a new speech recognition system based on the integration of three semi-independent blocks: the acoustic processor (AP), which converts the speech signal into a set of robust acoustic features: the multi-layer perceptron (MLP) that maps the acoustic feature sequences to phonemes, discriminating the spectral variation from the real phonetic information; and t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Knowledge based systems with embedded simulation components

    Publication Year: 1990, Page(s):318 - 324
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (404 KB)

    Proposes a methodology for implementing knowledge based systems (KBS) which have embedded discrete event simulation (DES) capabilities. The paper begins with a brief review of some of the problems encountered when implementing non-trivial KBS and simulation modelling tools. The integration of KBS and simulation technologies is then proposed as a solution to some of these problems. A methodology fo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Definitive specification of concurrent systems

    Publication Year: 1990, Page(s):52 - 57
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (532 KB)

    A new approach to the modelling and simulation of concurrent systems, characterised by the use of sets of definitions to represent states and transitions, is described. The simulation of system behaviour is derived from a specification of possible agent actions by taking account of relative speeds of response and operation. A distinctive feature of the approach is that the perceptions and capabili... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The software death cycle

    Publication Year: 1990, Page(s):8 - 14
    Cited by:  Papers (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (272 KB)

    Some aspects of software quality have been fairly well explored-particularly those that pertain to the development phase. Other aspects, notably the measurement of the cost of keeping operational software in line with customer requirements, have received considerably less attention. The paper explores this area by proposing a means of assessing the ownership cost of such software. It shows how thi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • MATTRESS: an integrated environment for the design, analysis and programming of digital systems

    Publication Year: 1990, Page(s):241 - 246
    Cited by:  Patents (3)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (372 KB)

    MATTRESS is a software environment for the study of digital system behaviour through simulation and the development of software or microcode for the simulated system. A description of the target system, at any level of abstraction from architectural level down to gate level, is used to derive a model of the system in the form of a directed graph, with which simulation proceeds using a demand-drive... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Implementation and evaluation of pattern classification architectures using transputer arrays

    Publication Year: 1990, Page(s):87 - 90
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (208 KB)

    The paper focusses on the problem of transputer-based implementation of algorithms for pattern classification. Specifically, it shows that a very close relationship can be established between the conceptual level at which a classifier architecture is conceived and the physical level at which implementation is achieved, to the extent that novel conceptual structures can be evolved directly from a c... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • OSPREY: a continuous speech recognition system based on transputer parallel processing

    Publication Year: 1990, Page(s):339 - 343
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (308 KB)

    OSPREY is a real-time constrained domain speech recognition system for application in ground movement control. The paper describes, in some detail, the functional layers of the OSPREY system. From the hardware, through the algorithms to the application layer View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An environment for specification, design, operation, maintenance, and revision of manufacturing control systems

    Publication Year: 1990, Page(s):104 - 110
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (404 KB)

    The Engineering Design Research Centre has been set up by SERC at Glasgow University (in collaboration with Heriot-Watt and Strathclyde universities, Napier College and Paisley College) to conduct fundamental and strategic research into engineering design in all its aspects. As one aspect of this, a project sponsored jointly by the Engineering Design Research Centre and Eurotherm Ltd has been set ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.