Asynchronous router specification

We describe the application of three formal design tools to a case study in the design of a distributed system. The case study in question involves the specification of an asynchronous message router; the three design tools are process algebra (specifically Milner's Calculus of Communicating Systems CCS), the modal μ-calculus and the Edinburgh Concurrency Workbench (CWB). We demonstrate how an informally-presented specification can be formalised within the language of the modal μ-calculus, allowing for a rigorous mathematical analysis of the correctness of our proposed implementation. For modest-sized versions of the router, this correctness proof has been carried out using the CWB     

Energy storage at 77 K in multilayer ceramic capacitors

A ceramic material having a large dielectric constant at 77 K, ε=8000-12000, has been developed for capacitive energy storage at this temperature. A large matrix of multilayer ceramic capacitors were fabricated using conventional tape-casting methods to optimize the dielectric breakdown strength at 77 K, and measured energy storage values on these capacitors range up to 6 J/cm³ at 77 K. An unfused bank of these capacitors was voltage-cycled 10⁵ times at 77 K without failure, and the heating effects during cycling were immeasurably small (i.e., nitrogen boiloff was monitored). An electrocaloric effect on discharge (ΔT~1 K) contributes to the thermal stability. Measurements of the frequency dependence of the dielectric properties of the ceramic at 77 K indicate a fundamental limit of about 8 μs for the switching repetition rate. Improved capacitor-manufacturing methods are discussed which can increase the energy density to the 20-30 J/cm³ range     

Moving target imaging algorithm for SAR data

A digital processing algorithm for fine-resolution imaging of synthetic aperture radar (SAR) moving targets is described. The targets may have any translational and rotational motion components relative to the data collection platform. The algorithm requires the presence of up to three prominent points in the image of the target; the signals from these points provide estimates of the unknown target motion parameters. Phase compensation and data formatting based on these estimates eliminate motion-induced phase errors. This algorithm has been implemented on a VAX computer and used to process both simulated and real SAR data of moving targets. Results obtained using the simulated data are presented     

A recursive moving-target-indication algorithm for optical imagesequences

A recursive track-before-detect algorithm, producing potentially large signal-to-noise ratio (SNR) gains under realizable conditions, is described. The basic relation has the form of a linear, constant-coefficient difference equation with a unity magnitude damping factor. Known as recursive moving-target-indication (RMTI), this procedure adapts easily to digital processing and achieves SNR gains comparable to those from other robust track-before-detect algorithms. Examples are given to demonstrate the performance of the moving target indicator (MTI) procedure     

A new clutter rejection method using a robust polarimetricCFAR-detector

Two methods for constructing robust polarimetric constant-false-alarm-rate (CFAR) detectors that use elements of the scattering matrix are discussed. Both methods use robust estimators to recognize outliers and exclude them from further calculations. The first method weighs each sample of the surrounding vectors, and vectors that appear to be outliers are weighted with lower values than the others. The second method uses cluster algorithms to arrange the data in different clusters; some clusters contain the outliers, and others contain observations assumed to come from the main body of the data. The detectors are intended to be used in multitarget and nonhomogeneous-clutter environments     

Next generation digital GPS receiver

The architecture and technology features of the next-generation (NGR) digital GPS (Global Positioning System) receiver manufactured by Collin are described. The project's objective was to develop an advanced GPS receiver chipset with high antijam capabilities. The program, initiated in 1985, has provided the technology for miniature receiver products for both unmanned and manned vehicle applications. A two-channel version of the receiver is in full-scale development for tactical missile applications. A five-channel version is being tested and evaluated as a drop-in replacement for RCVR-3A, the US Department of Defense standard high dynamic receiver. The NGR design started with the digital signal processing architecture developed for the Defense Advanced Research Project Agency (DARPA) hand-held GPS receiver. Enhancements were made to improve the antijam and signal acquisition performance. Producible, qualifiable and cost-effective silicon monolithic microwave integrated circuits and semicustom digital technologies were used to develop the core GPS chipset. A system design approach was established to permit reuse of mature and validated GPS software     

Experimental phased array radar ELRA with extended flexibility

An update of a phased array radar project with the experimental system ELRA (electronic steerable radar) is given with respect to the extended and improved possibilities for performing measurements and evaluations for different types of radar operation. The variability of waveforms for solid-state transmitters is described. Flexible control of multifunction operation with various search and localization tasks is achieved with a network of microcomputers. Different means of signal processing are used for target detection and estimation. The active receiving array is divided into subarrays, and offers digital beamforming for pattern shaping and adaptive jammer suppression. Experimental results are presented     

A nickel/hydrogen battery for PV systems

The nickel-hydrogen battery, developed in the early nineteen-seventies as an energy-storage subsystem for commercial communication satellites, is discussed. The advantages offered by nickel-hydrogen batteries, including long life, low maintenance and high reliability, make it very attractive for terrestrial applications such as stand-alone photovoltaic systems. The major drawback to the wider use of the nickel-hydrogen battery is its high initial cost. A 7-kWh battery has been on test since January 1988 using a flat-plate photovoltaic array for charging. The cell, battery design and test methods are briefly described, and the results of cycling and solar tests are presented. It is concluded that the battery is well suited for remote solar applications