Sequential tripping strategy for a transmission network back-upprotection expert system

This paper describes a sequential tripping strategy used in a wide area back-up protection expert system (BPES) to combat situations in which protection relays have maloperated or information is missing. The BPES is an innovative back-up protection scheme designed to prevent the occurrence of widespread blackouts. The BPES evaluates the certainty that transmission lines are likely to be affected by the fault and uses a sequential tripping strategy to isolate the fault if a firm decision is not available due to maloperated relays and/or missing information. The mode of analysis and the sequential tripping strategy ensures that the BPES will clear a fault at minimum risk to the network. An example is included to demonstrate how the certainty factor based sequential tripping strategy is employed by the BPES to clear a fault which occurred on the South Western part of the UK National Grid System     

Reduction of laser chirp in 1.5 ?m DFB lasers by modulation pulse shaping

The dynamic linewidth of 1.5 ?m ridge waveguide DFB lasers is shown to be reduced by shaping the pulse of the laser modulating waveform. Pulse shaping is performed by a second-order network designed to cancel the small-signal laser resonance. Results demonstrate a dynamic linewidth reduction from 1.4 ? to 0.55 ? FWHM for a 500 ps pulse.     

Laboratory accreditation in the UK

Two complementary national laboratory accreditation schemes are run by the National Physical Laboratory (NPL) to provide official recognition of competent British laboratories and an assurance of quality to their customers. The first of these, the British Calibration Service (BCS), was set up in 1966 to accredit laboratories to calibrate instruments, gauges and reference materials. In 1981 the National Testing Laboratory Accreditation Scheme (NATLAS) was formed to extend the service to all kinds of testing. Both BCS and NATLAS form an integral part of the UK national measurement system and were combined to form the National Measurement Accreditation Service on 1 October 1985.     

A distribution function for double-bit upsets

It is suggested that the chord length distribution method could be useful for predicting double-bit upset rates in certain circumstances. A chord length distribution function for simultaneous path lengths in two parallelepipeds, applicable to a unidirectional flux, is derived. A proof of the system is outlined for the case under consideration     

PCR-based procedures in detection and DNA-fingerprinting of Salmonella from samples of animal origin

The usefulness of selected PCR-protocols for the detection of Salmonella in 117 samples of animal origin (17 raw minced meat, 27 raw chicken meat, 8 raw sausages, and 25 egg samples, as well as 18 poultry faecal, and caecal swabs samples) and DNA-fingerprinting typing is shown. To establish an accurate PCR-procedure for Salmonella detection the following parameters were evaluated: two pre-PCR concentration procedures, centrifugation and immunomagnetic separation (IMS) using Dynabeads anti- Salmonella; the specificity and sensitivity of 10 sets of primers; and different conditions of the amplification reaction. In light of the results obtained from the use of PCR-based procedures alone or in combination with conventional methods, the following findings can be underlined: First, IMS is more efficient than centrifugation in the recovery of Salmonella. Second, the selected IMS/PCR-detection protocol is less time-consuming (45 h) than the IMS/culture procedure (90 h), and a good concordance between them was found when the Kappa coefficient was calculated (0·87). Third, PCR-ribotyping technique showed a very low discrimination power, being able to differentiate only three profiles. Fourth, RAPD technique using specific primers supports previous works in which it was proposed as a simple and useful tool for discriminating isolates between and within serotypes. Fifth, The efficiency, rapidity, and flexibility of the PCR-protocols applied were high, and they can be performed using two PCR-programs and the same basic equipment.     

Shallow Linear Action Graphs and their Embeddings

Action calculi, which generalise process calculi such as Petri nets, π-calculusand ambient calculus, have been presented in terms of action graphs. We here offer linear action graphs as a primitive basis for action calculi. This paper presents the category of embeddings of undirected linear action graphs without nesting, using a novel form of graphical reasoning which simplifies some otherwise complex manipulations in regular algebra. The results are adapted in a few lines to directed graphs. This work is part of a long-term search for a uniform behavioural theory for process calculi. Received October 2000 / Accepted in revised form April 2001