A technique for evaluating the application of the pin-level stuck-at fault model to VLSI circuits

Accurate fault models are required to conduct the experiments defined in validation methodologies for highly reliable fault-tolerant computers (e.g., computers with a probability of failure of 10 to the -9 for a 10-hour mission). Described is a technique by which a researcher can evaluate the capability of the pin-level stuck-at fault model to simulate true error behavior symptoms in very large scale integrated (VLSI) digital circuits. The technique is based on a statistical comparison of the error behavior resulting from faults applied at the pin-level of and internal to a VLSI circuit. As an example of an application of the technique, the error behavior of a microprocessor simulation subjected to internal stuck-at faults is compared with the error behavior which results from pin-level stuck-at faults. The error behavior is characterized by the time between errors and the duration of errors. Based on this example data, the pin-level stuck-at fault model is found to deliver less than ideal performance. However, with respect to the class of faults which cause a system crash, the pin-level, stuck-at fault model is found to provide a good modeling capability

Alternatives to standard puncture initial data for binary black hole evolution

Standard puncture initial data have been widely used for numerical binary black hole evolutions despite their shortcomings, most notably the inherent lack of gravitational radiation at the initial time that is later followed by a burst of spurious radiation. We study the evolution of three alternative initial data schemes. Two of the three alternatives are based on post-Newtonian expansions that contain realistic gravitational waves. The first scheme is based on a second-order post-Newtonian expansion in Arnowitt, Deser, and Misner transverse-traceless (ADMTT) gauge that has been resummed to approach standard puncture data at the black holes. The second scheme is based on asymptotic matching of the 4-metrics of two tidally perturbed Schwarzschild solutions to a first-order post-Newtonian expansion in ADMTT gauge away from the black holes. The final alternative is obtained through asymptotic matching of the 4-metrics of two tidally perturbed Schwarzschild solutions to a second-order post-Newtonian expansion in harmonic gauge away from the black holes. When evolved, the second scheme fails to produce quasicircular orbits (and instead leads to a nearly head-on collision). This failure can be traced back to inaccuracies in the extrinsic curvature due to low order matching. More encouraging is that the latter two alternatives lead to quasicircular orbits and show gravitational radiation from the onset of the evolution, as well as a reduction of spurious radiation. Current deficiencies compared to standard punctures data include more eccentric trajectories during the inspiral and larger constraint violations, since the alternative data sets are only approximate solutions of Einstein's equations. The eccentricity problem can be ameliorated by adjusting the initial momentum parameters.Comment: 11 pages, 11 figures, 1 appendix, typos corrected, removed duplicate reference, matches published versio

Parallel structurally-symmetric sparse matrix-vector products on multi-core processors

We consider the problem of developing an efficient multi-threaded implementation of the matrix-vector multiplication algorithm for sparse matrices with structural symmetry. Matrices are stored using the compressed sparse row-column format (CSRC), designed for profiting from the symmetric non-zero pattern observed in global finite element matrices. Unlike classical compressed storage formats, performing the sparse matrix-vector product using the CSRC requires thread-safe access to the destination vector. To avoid race conditions, we have implemented two partitioning strategies. In the first one, each thread allocates an array for storing its contributions, which are later combined in an accumulation step. We analyze how to perform this accumulation in four different ways. The second strategy employs a coloring algorithm for grouping rows that can be concurrently processed by threads. Our results indicate that, although incurring an increase in the working set size, the former approach leads to the best performance improvements for most matrices.Comment: 17 pages, 17 figures, reviewed related work section, fixed typo

Non-equilibrium relaxation and critical aging for driven Ising lattice gases

We employ Monte Carlo simulations to study the non-equilibrium relaxation of driven Ising lattice gases in two dimensions. Whereas the temporal scaling of the density auto-correlation function in the non-equilibrium steady state does not allow a precise measurement of the critical exponents, these can be accurately determined from the aging scaling of the two-time auto-correlations and the order parameter evolution following a quench to the critical point. We obtain excellent agreement with renormalization group predictions based on the standard Langevin representation of driven Ising lattice gases.Comment: 5 pages, 4 figures included; to appear in Phys. Rev. Lett. (2012

On evaluating parallel computer systems

A workshop was held in an attempt to program real problems on the MIT Static Data Flow Machine. Most of the architecture of the machine was specified but some parts were incomplete. The main purpose for the workshop was to explore principles for the evaluation of computer systems employing new architectures. Principles explored were: (1) evaluation must be an integral, ongoing part of a project to develop a computer of radically new architecture; (2) the evaluation should seek to measure the usability of the system as well as its performance; (3) users from the application domains must be an integral part of the evaluation process; and (4) evaluation results should be fed back into the design process. It is concluded that the general organizational principles are achievable in practice from this workshop

Do Trustees and Administrators Matter? Diversifying the Faculty Across Gender Lines

Our paper focuses on the role that the gender composition of the leaders of American colleges and universities – trustees, presidents/chancellors, and provosts/academic vice presidents – plays in influencing the rate at which academic institutions diversify their faculty across gender lines. Our analyses make use of institutional level panel data that we have collected for a large sample of American academic institutions. We find, other factors held constant including our estimate of the “expected” share of new hires that should be female, that institutions with female presidents/chancellors and female provosts/academic vice presidents, as well as those with a greater share of female trustees, increase their shares of female faculty at a more rapid rate. The magnitudes of the effects of these leaders are larger at smaller institutions, where central administrators may play a larger role in faculty hiring decisions. A critical share of female trustees must be reached before the gender composition of the board matters

Acute neuroinflammation induces AIS structural plasticity in a NOX2-dependent manner

Background Chronic microglia-mediated inflammation and oxidative stress are well-characterized underlying factors in neurodegenerative disease, whereby reactive inflammatory microglia enhance ROS production and impact neuronal integrity. Recently, it has been shown that during chronic inflammation, neuronal integrity is compromised through targeted disruption of the axon initial segment (AIS), the axonal domain critical for action potential initiation. AIS disruption was associated with contact by reactive inflammatory microglia which wrap around the AIS, increasing association with disease progression. While it is clear that chronic microglial inflammation and enhanced ROS production impact neuronal integrity, little is known about how acute microglial inflammation influences AIS stability. Here, we demonstrate that acute neuroinflammation induces AIS structural plasticity in a ROS-mediated and calpain-dependent manner. Methods C57BL/6J and NOX2−/− mice were given a single injection of lipopolysaccharide (LPS; 5 mg/kg) or vehicle (0.9% saline, 10 mL/kg) and analyzed at 6 h–2 weeks post-injection. Anti-inflammatory Didox (250 mg/kg) or vehicle (0.9% saline, 10 mL/kg) was administered beginning 24 h post-LPS injection and continued for 5 days; animals were analyzed 1 week post-injection. Microglial inflammation was assessed using immunohistochemistry (IHC) and RT-qPCR, and AIS integrity was quantitatively analyzed using ankyrinG immunolabeling. Data were statistically compared by one-way or two-way ANOVA where mean differences were significant as assessed using Tukey’s post hoc analysis. Results LPS-induced neuroinflammation, characterized by enhanced microglial inflammation and increased expression of ROS-producing enzymes, altered AIS protein clustering. Importantly, inflammation-induced AIS changes were reversed following resolution of microglial inflammation. Modulation of the inflammatory response using anti-inflammatory Didox, even after significant AIS disruption occurred, increased the rate of AIS recovery. qPCR and IHC analysis revealed that expression of microglial NOX2, a ROS-producing enzyme, was significantly increased correlating with AIS disruption. Furthermore, ablation of NOX2 prevented inflammation-induced AIS plasticity, suggesting that ROS drive AIS structural plasticity. Conclusions In the presence of acute microglial inflammation, the AIS undergoes an adaptive change that is capable of spontaneous recovery. Moreover, recovery can be therapeutically accelerated. Together, these findings underscore the dynamic capabilities of this domain in the presence of a pathological insult and provide evidence that the AIS is a viable therapeutic target

Selection mechanisms affect volatility in evolving markets

Financial asset markets are sociotechnical systems whose constituent agents are subject to evolutionary pressure as unprofitable agents exit the marketplace and more profitable agents continue to trade assets. Using a population of evolving zero-intelligence agents and a frequent batch auction price-discovery mechanism as substrate, we analyze the role played by evolutionary selection mechanisms in determining macro-observable market statistics. In particular, we show that selection mechanisms incorporating a local fitness-proportionate component are associated with high correlation between a micro, risk-aversion parameter and a commonly-used macro-volatility statistic, while a purely quantile-based selection mechanism shows significantly less correlation.Comment: 9 pages, 7 figures, to appear in proceedings of GECCO 2019 as a full pape

AFM pulling and the folding of donor-acceptor oligorotaxanes: phenomenology and interpretation

The thermodynamic driving force in the self-assembly of the secondary structure of a class of donor-acceptor oligorotaxanes is elucidated by means of molecular dynamics simulations of equilibrium isometric single-molecule force spectroscopy AFM experiments. The oligorotaxanes consist of cyclobis(paraquat-\emph{p}-phenylene) rings threaded onto an oligomer of 1,5-dioxynaphthalenes linked by polyethers. The simulations are performed in a high dielectric medium using MM3 as the force field. The resulting force vs. extension isotherms show a mechanically unstable region in which the molecule unfolds and, for selected extensions, blinks in the force measurements between a high-force and a low-force regime. From the force vs. extension data the molecular potential of mean force is reconstructed using the weighted histogram analysis method and decomposed into energetic and entropic contributions. The simulations indicate that the folding of the oligorotaxanes is energetically favored but entropically penalized, with the energetic contributions overcoming the entropy penalty and effectively driving the self-assembly. In addition, an analogy between the single-molecule folding/unfolding events driven by the AFM tip and the thermodynamic theory of first-order phase transitions is discussed and general conditions, on the molecule and the cantilever, for the emergence of mechanical instabilities and blinks in the force measurements in equilibrium isometric pulling experiments are presented. In particular, it is shown that the mechanical stability properties observed during the extension are intimately related to the fluctuations in the force measurements.Comment: 42 pages, 17 figures, accepted to the Journal of Chemical Physic