Specification methods for material-handling control algorithms in flexible manufacturing systems

Good methods are needed to specify, test, and debug material-handling control logic. This article surveys a number of representative methods for defining and describing control algorithms for programmable material-handling equipment used in flexible manufacturing systems. The methods are evaluated with regard to their suitability for communication between people and as bases for interfaces to automatic program generators. It is concluded that no single method is entirely satisfactory. Three methods (position diagrams, function block diagrams, and operation networks) have potential to be combined into an effective hybrid approach that minimizes the need for the user to switch between various conceptual models.     

Three-Phase Induction Generator for Single-Phase Line

Hydroelectric generators of less than 20 kilowatts can be in remote areas served only by a single-phase line. For high efficiency and low cost, a three-phase induction generator should be used. This three-phase generator can operate with balanced voltages and currents when the ``phase-splitting' circuit uses two capacitors connetted to two different single-phase voltage sources.     

Electrical characterization of megabit DRAMs. 11. Internal testing

For pt.I. see ibid., vol.8, no.3, p.36-43 (1991). Contactless tools for testing inside dynamic RAMs, including hot-spot detection, emission microscopy, scanning laser microscopy, and submicron electron beam testing, are described. Basic principles and experimental setups are described. The utility of the techniques is assessed     

High affinity presentation of an autoantigenic peptide in type I diabetes by an HLA class II protein encoded in a haplotype protecting from disease

Tissue composition and the distribution of body mass are described for four genera of East African Bovidae (Madoqua, Gazella, Damaliscus, Hippotragus) with supporting data from four others (Neotragus, Oryx, Tragelaphus, Connochaetes). These species are high in muscle mass, an adaptation convergent with other high-speed terrestrial cursors, bounders, and saltators. The segments below the elbow/cubitus and knee/stifle/genu joints in small bovids are both lighter in percent of total body mass (8.6% TBM) and less heavily muscled (10-15% of total limb musculature) than those segments in macaques (13.6% TBM, 20-25% of the limb musculature). Bovid species differ from one another in the regional distribution of muscle mass. Madoqua kirkii (4-5 kg) concentrates muscle in the lumbar extensors and hindlimbs; large species such as Damaliscus doreas (50-60 kg) and Hippotragus niger (160-220 kg) distribute it more evenly between the lumbar and cervical regions and between the hindlimbs and forelimbs. Gazella dorcas (10-20 kg) is quantitatively intermediate in those characteristics. The redistribution of muscle mass with increasing size correlates with the loss of axial bending of the vertebral column: in small, hindlimb dominant, 'dorsomobile' species such as Madoqua sagittal mobility increases stride length through 'extended' suspension; in large 'dorsostable' species such as Damaliscus and Hippotragus the vertebral column resists bending, consequently abbreviating or omitting this non-contact phase of the gait cycle. Locomotor adaptation as it is reflected in size, shape, and musculoskeletal structure is the key to habitat choice, dietary specialization, social structure, and male agonistic behavior and, therefore, central to the fabric of behavioral ecology.     

Chicken acidic leucine-rich EGF-like domain containing brain protein (CALEB), a neural member of the EGF family of differentiation factors, is implicated in neurite formation

Chicken acidic leucine-rich EGF-like domain containing brain protein (CALEB) was identified by combining binding assays with immunological screens in the chicken nervous system as a novel member of the EGF family of differentiation factors. cDNA cloning indicates that CALEB is a multidomain protein that consists of an NH2-terminal glycosylation region, a leucine-proline-rich segment, an acidic box, a single EGF-like domain, a transmembrane, and a short cytoplasmic stretch. In the developing nervous system, CALEB is associated with glial and neuronal surfaces. CALEB is composed of a 140/130-kD doublet, an 80-kD band, and a chondroitinsulfate-containing 200-kD component. The latter two components are expressed in the embryonic nervous system and are downregulated in the adult nervous system. CALEB binds to the extracellular matrix glycoproteins tenascin-C and -R. In vitro antibody perturbation experiments reveal a participation of CALEB in neurite formation in a permissive environment.     

A process oriented semantics of the PRAM-language FORK

The parallel language FORK [1], based on a scalable shared memory model, is a PASCAL-like language with some additional parallel constructs. A PRAM (Parallel Random Access Machine) algorithm can be expressed on a high level of abstraction as a FORK program which is translated into efficient PRAM code guaranteeing theoretically predicted runtimes.

In this paper, we concentrate on those features of the language FORK related to parallelism, such as the group concept, a shared memory access and synchronous or asynchronous execution. We present a trace-based denotational interleaving semantics where processes describe synchronous computations. Processes are created or deleted dynamically and run asynchronously. Interleaving rules reflect the underlying CRCW (concurrent-read-concurrent-write) PRAM model.     

The distribution of HBV, HCV and HGV among livers with fulminant hepatic failure of different aetiology

BACKGROUND/AIMS: The aim of the study was to assess the impact factor of HCV and HGV in fulminant hepatic failure. METHODS: The 5'-untranslated regions of HCV RNA and HGV RNA and a segment of the core antigen sequence of HBV were amplified after extracting the nucleic acids from snap-frozen tissue aliquots from explanted livers of 26 consecutive patients undergoing orthotopic liver transplantation for fulminant hepatic failure preoperatively diagnosed as either autoimmune (n=2), HAV/HBV (n=8), toxic (n=4) or aetiologically unknown (n=12). RESULTS: HCV RNA was detected in five of 26 (19.2%) livers with fulminant hepatic failure. All five HCV RNA-positive livers belonged to the group of non-toxic, non-autoimmune liver failure (n=20), three of them were found in the group of liver failure with unknown aetiology (n=12) and two in the group of HBV-associated liver failure (n=7), making an HCV incidence of 25%, 25% and 28.6%, in the different groups, respectively. HGV RNA was detected in 10 of 17 (58.8%) explants and in all four groups of fulminant hepatic failure as defined preoperatively. HBV DNA was identified in six livers of 26 patients (23.1%) with fulminant hepatic failure. Neither HCV RNA nor HBV DNA was detected in the livers of patients with toxic or autoimmune fulminant hepatic failure. CONCLUSIONS: These results indicate that HBV and HCV, but not HGV, play an aetiologic role in fulminant hepatic failure. HCV-positive cases were concentrated either in the group of otherwise unexplained fulminant hepatic failure or in the group of HBV fulminant hepatic failure. HGV-positive cases, on the other hand, were found within all four preoperatively defined groups, indicating a role as cofactor rather than as single aetiologic agent.     

Uncertainty in Quantitative Electron Probe Microanalysis

Quantitative electron probe analysis is based on models based on the physics or x-ray generation, empirically adjusted to the analyses of specimens of known composition. Their accuracy can be estimated by applying them to a set of specimens of presumably well-known composition.