SpinLink: An interconnection system for the SpiNNaker biologically inspired multi-computer

SpiNNaker is a large-scale biologically-inspired multi-computer designed to model very heavily distributed problems, with the flagship application being the simulation of large neural networks. The project goal is to have one million processors included in a single machine, which consequently span many thousands of circuit boards. A computer of this scale imposes large communication requirements between these boards, and requires an extensible method of connecting to external equipment such as sensors, actuators and visualisation systems. This paper describes two systems that can address each of these problems.Firstly, SpinLink is a proposed method of connecting the SpiNNaker boards by using time-division multiplexing (TDM) to allow eight SpiNNaker links to run at maximum bandwidth between two boards. SpinLink will be deployed on Spartan-6 FPGAs and uses a locally generated clock that can be paused while the asynchronous links from SpiNNaker are sending data, thus ensuring a fast and glitch-free response. Secondly, SpiNNterceptor is a separate system, currently in the early stages of design, that will build upon SpinLink to address the important external I/O issues faced by SpiNNaker. Specifically, spare resources in the FPGAs will be used to implement the debugging and I/O interfacing features of SpiNNterceptor

Reduction of leukocyte microvascular adherence and preservation of blood-brain barrier function by superoxide-lowering therapies in a piglet model of neonatal asphyxia

Background: Asphyxia is the most common cause of brain damage in newborns. Substantial evidence indicates that leukocyte recruitment in the cerebral vasculature during asphyxia contributes to this damage. We tested the hypothesis that superoxide radical (O2⋅_) promotes an acute post-asphyxial inflammatory response and blood-brain barrier (BBB) breakdown. We investigated the effects of removing O2⋅_ by superoxide dismutase (SOD) or C3, the cell-permeable SOD mimetic, in protecting against asphyxia-related leukocyte recruitment. We also tested the hypothesis that xanthine oxidase activity is one source of this radical.Methods: Anesthetized piglets were tracheostomized, ventilated, and equipped with closed cranial windows for the assessment of post-asphyxial rhodamine 6G-labeled leukocyte-endothelial adherence and microvascular permeability to sodium fluorescein in cortical venules. Asphyxia was induced by discontinuing ventilation. SOD and C3 were administered by cortical superfusion. The xanthine oxidase inhibitor oxypurinol was administered intravenously.Results: Leukocyte-venular adherence significantly increased during the initial 2 h of post-asphyxial reperfusion. BBB permeability was also elevated relative to non-asphyxial controls. Inhibition of O2⋅_ production by oxypurinol, or elimination of O2⋅_ by SOD or C3, significantly reduced rhodamine 6G-labeled leukocyte-endothelial adherence and improved BBB integrity, as measured by sodium fluorescein leak from cerebral microvessels.Conclusion: Using three different strategies to either prevent formation or enhance elimination of O2⋅_ during the post-asphyxial period, we saw both reduced leukocyte adherence and preserved BBB function with treatment. These findings suggest that agents which lower O2⋅_ in brain may be attractive new therapeutic interventions for the protection of the neonatal brain following asphyxia

The amoebal MAP kinase response to Legionella pneumophila is regulated by DupA

SummaryThe amoeba Dictyostelium discoideum can support replication of Legionella pneumophila. Here we identify the dupA gene, encoding a putative tyrosine kinase/dual-specificity phosphatase, in a screen for D. discoideum mutants altered in allowing L. pneumophila intracellular replication. Inactivation of dupA resulted in depressed L. pneumophila growth and sustained hyperphosphorylation of the amoebal MAP kinase ERK1, consistent with loss of a phosphatase activity. Bacterial challenge of wild-type amoebae induced dupA expression and resulted in transiently increased ERK1 phosphorylation, suggesting that dupA and ERK1 are part of a response to bacteria. Indeed, over 500 of the genes misregulated in the dupA− mutant were regulated in response to L. pneumophila infection, including some thought to have immune-like functions. MAP kinase phosphatases are known to be highly upregulated in macrophages challenged with L. pneumophila. Thus, DupA may regulate a MAP kinase response to bacteria that is conserved from amoebae to mammals

Reliability analysis of dynamic systems by translating temporal fault trees into Bayesian networks

Classical combinatorial fault trees can be used to assess combinations of failures but are unable to capture sequences of faults, which are important in complex dynamic systems. A number of proposed techniques extend fault tree analysis for dynamic systems. One of such technique, Pandora, introduces temporal gates to capture the sequencing of events and allows qualitative analysis of temporal fault trees. Pandora can be easily integrated in model-based design and analysis techniques. It is, therefore, useful to explore the possible avenues for quantitative analysis of Pandora temporal fault trees, and we identify Bayesian Networks as a possible framework for such analysis. We describe how Pandora fault trees can be translated to Bayesian Networks for dynamic dependability analysis and demonstrate the process on a simplified fuel system model. The conversion facilitates predictive reliability analysis of Pandora fault trees, but also opens the way for post-hoc diagnostic analysis of failures

Physical properties of sediments from Keathley Canyon and Atwater Valley, JIP Gulf of Mexico gas hydrate drilling program

This paper is not subject to U.S. copyright. The definitive version was published in Marine and Petroleum Geology 25 (2008): 896-905, doi:10.1016/j.marpetgeo.2008.01.018.Physical property measurements and consolidation behavior are different between sediments from Atwater Valley and Keathley Canyon in the northern Gulf of Mexico. Void ratio and bulk density of Atwater Valley sediment from a seafloor mound (holes ATM1 and ATM2) show little effective stress (or depth) dependence to 27 meters below seafloor (mbsf), perhaps owing to fluidized transport through the mound itself with subsequent settling onto the seafloor or mound flanks. Off-mound sediments (hole AT13-2) have bulk physical properties that are similar to mound sediments above 27 mbsf, but void ratio and porosity decrease below that depth. Properties of shallow (<50 mbsf) Keathley Canyon sediments (KC151-3) change with increasing effective stress (or depth) compared to Atwater Valley, but vary little below that depth. Organic carbon is present in concentrations between typical near-shore and deep-sea sediments. Organic carbon-to-nitrogen ratios suggest that the organic matter contained in Atwater Valley off-mound and mound sites came from somewhat different sources. The difference in organic carbon-to-nitrogen ratios between Atwater Valley and Keathley Canyon is more pronounced. At Keathley Canyon a more terrigenous source of the organic matter is indicated. Grain sizes are typically silty clay or clay within the two basins reflecting similar transport energy. However, the range in most shallow sediment properties is significantly different between the two basins. Bulk density profiles agree with logging results in Atwater Valley and Keathley Canyon. Agreement between lab-derived and logging-derived properties supports using logging data to constrain bulk physical properties where cores were not collected.Support of this research was provided by the USGS Coastal and Marine Geology Program, the USGS Energy Program, and the National Energy Technology Laboratory

The Constraints on CP Violating Phases in models with a dynamical gluino phase

We have analyzed the electric dipole moment and the Higgs mass constraints on the supersymmetric model which offers dynamical solutions to the \mu and strong CP problems. The trilinear coupling phases, and \tan\beta-|\mu| are strongly correlated, particularly in the low-\tan\beta regime. Certain values of the phases of the trilinear couplings are forbidden, whereas the CP violating phase from the chargino sector is imprisoned to lie near a CP conserving point, by the Higgs mass and electric dipole moment constraints.Comment: 19 pages, 11 eps fig

Flight tests of IFR landing approach systems for helicopters

Joint NASA/FAA helicopter flight tests were conducted to investigate airborne radar approaches (ARA) and microwave landing system (MLS) approaches. Flight-test results were utilized to prove NASA with a data base to be used as a performance measure for advanced guidance and navigation concepts, and to provide FAA with data for establishment of TERPS criteria. The first flight-test investigation consisted of helicopter IFR approaches to offshore oil rigs in the Gulf of Mexico, using weather/mapping radar, operational pilots, and a Bell 212 helicopter. The second flight-test investigation consisted of IFR MLS approaches at Crows Landing (near Ames Research Center), with a Bell UH-1H helicopter, using NASA, FAA, and operational industry pilots. Tests are described and results discussed

A Burst Mode, Ultrahigh Temperature UF4 Vapor Core Reactor Rankine Cycle Space Power System Concept

Static and dynamic neutronic analyses have been performed on an innovative burst mode (100's of MW output for a few thousand seconds) Ulvahigh Temperature Vapor Core Reactor (UTVR) space nuclear power system. The NVTR employs multiple, neutronically-coupled fissioning cores and operates on a direct, closed Rankine cycle using a disk Magnetohydrodynamic (MHD) generater for energy conversion. The UTVR includes two types of fissioning core regions: (1) the central Ultrahigh Temperature Vapor Core (UTVC) which contains a vapor mixture of highly enriched UF4 fuel and a metal fluoride working fluid and (2) the UF4 boiler column cores located in the BeO moderator/reflector region. The gaseous nature of the fuel the fact that the fuel is circulating, the multiple coupled fissioning cores, and the use of a two phase fissioning fuel lead to unique static and dynamic neutronic characteristics. Static neutronic analysis was conducted using two-dimensional S sub n, transport theory calculations and three-dimensional Monte Carlo transport theory calculations. Circulating-fuel, coupled-core point reactor kinetics equations were used for analyzing the dynamic behavior of the UTVR. In addition to including reactivity feedback phenomena associated with the individual fissioning cores, the effects of core-to-core neutronic and mass flow coupling between the UTVC and the surrounding boiler cores were also included in the dynamic model The dynamic analysis of the UTVR reveals the existence of some very effectlve inherent reactivity feedback effects that are capable of quickly stabilizing this system, within a few seconds, even when large positive reactivity insertions are imposed. If the UTVC vapor fuel density feedback is suppressed, the UTVR is still inherently stable because of the boiler core liquid-fuel volume feedback; in contrast, suppression of the vapor fuel density feedback in 'conventional" gas core cavity reactors causes them to become inherently unstable. Due to the strength of the negative reactivity feedback in the UTVR, it is found that external reactivity insertions alone are inadequate for bringing about significant power level changes during normal reactor operations. Additional methods of reactivity control such as variations in the gaseous fuel mass flow rate, are needed to achieve the desired power level oontrol

Examining the cancellation mechanism of neutron EDM in a model with dilaton-dominated susy breaking

We examine the cancellation mechanism between the different contributions to the electric dipole moment of the neutron in a model with dilaton-dominated SUSY breaking. We find these accidental cancellations occur at few points in parameter space. For a wide region of this space we must constrain the phase of $\mu$ to be of order $10^{-1}$ and have the phases of $A$ and $\mu$ strongly correlated in order to have small neutron EDM. Moreover, we consider the indirect CP violation parameter $\epsilon$ in this region where the electric dipole moment is less than the experimental limit and find that we can generate $\epsilon$ of order $10^{-6}$