A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software

Many Control Systems are indeed Software Based Control Systems, i.e. control systems whose controller consists of control software running on a microcontroller device. This motivates investigation on Formal Model Based Design approaches for automatic synthesis of control software. Available algorithms and tools (e.g., QKS) may require weeks or even months of computation to synthesize control software for large-size systems. This motivates search for parallel algorithms for control software synthesis. In this paper, we present a Map-Reduce style parallel algorithm for control software synthesis when the controlled system (plant) is modeled as discrete time linear hybrid system. Furthermore we present an MPI-based implementation PQKS of our algorithm. To the best of our knowledge, this is the first parallel approach for control software synthesis. We experimentally show effectiveness of PQKS on two classical control synthesis problems: the inverted pendulum and the multi-input buck DC/DC converter. Experiments show that PQKS efficiency is above 65%. As an example, PQKS requires about 16 hours to complete the synthesis of control software for the pendulum on a cluster with 60 processors, instead of the 25 days needed by the sequential algorithm in QKS.Comment: To be submitted to TACAS 2013. arXiv admin note: substantial text overlap with arXiv:1207.4474, arXiv:1207.409

Matrix metalloproteinase-10 effectively reduces infarct size in experimental stroke by enhancing fibrinolysis via a thrombin-activatable fibrinolysis inhibitor-mediated mechanism

BACKGROUND: The fibrinolytic and matrix metalloproteinase (MMP) systems cooperate in thrombus dissolution and extracellular matrix proteolysis. The plasminogen/plasmin system activates MMPs, and some MMPs have been involved in the dissolution of fibrin by targeting fibrin(ogen) directly or by collaborating with plasmin. MMP-10 has been implicated in inflammatory/thrombotic processes and vascular integrity, but whether MMP-10 could have a profibrinolytic effect and represent a promising thrombolytic agent is unknown. METHODS AND RESULTS: The effect of MMP-10 on fibrinolysis was studied in vitro and in vivo, in MMP-10-null mice (Mmp10(-/-)), with the use of 2 different murine models of arterial thrombosis: laser-induced carotid injury and ischemic stroke. In vitro, we showed that MMP-10 was capable of enhancing tissue plasminogen activator-induced fibrinolysis via a thrombin-activatable fibrinolysis inhibitor inactivation-mediated mechanism. In vivo, delayed fibrinolysis observed after photochemical carotid injury in Mmp10(-/-) mice was reversed by active recombinant human MMP-10. In a thrombin-induced stroke model, the reperfusion and the infarct size in sham or tissue plasminogen activator-treated animals were severely impaired in Mmp10(-/-) mice. In this model, administration of active MMP-10 to wild-type animals significantly reduced blood reperfusion time and infarct size to the same extent as tissue plasminogen activator and was associated with shorter bleeding time and no intracranial hemorrhage. This effect was not observed in thrombin-activatable fibrinolysis inhibitor-deficient mice, suggesting thrombin-activatable fibrinolysis inhibitor inactivation as one of the mechanisms involved in the MMP-10 profibrinolytic effect. CONCLUSIONS: A novel profibrinolytic role for MMP-10 in experimental ischemic stroke is described, opening new pathways for innovative fibrinolytic strategies in arterial thrombosis

Wide Angle Polarization Analysis with Neutron Spin Filters

AbstractWe report substantial improvements in a compact wide angle neutron spin filter system that was recently employed on the Multi- Axis Crystal Spectrometer at the Center for Neutron Research at the U.S. National Institute of Standards and Technology. The apparatus consists of a cylindrical 3He polarizer cell and wide-angle 3He analyzer cells, a vertical solenoid to provide a uniform magnetic field, and a shielded radio-frequency solenoid for the polarizer cell. Nuclear magnetic resonance is employed to reverse the polarization in the polarizer cell and monitor the 3He polarization in all cells. The first experiment using this apparatus was carried out with cylindrical analyzer cells with limited angular coverage due to low polarizations in fused quartz cells. We present results for aluminosilicate glass analyzer cells that cover 110 ∘ and have long relaxation times (100h to 400h). Using two 100W diode bars spectrally narrowed with chirped volume Bragg gratings, we have obtained 65% - 80% 3He polarization in these cells. The 3He polarization has been measured by neutron transmission and electron paramagnetic resonance. Additional progress includes an improved holding field solenoid and decreased spin-flip losses

Response, relaxation and transport in unconventional superconductors

We investigate the collision-limited electronic Raman response and the attenuation of ultrasound in spin-singlet d-wave superconductors at low temperatures. The dominating elastic collisions are treated within a t-matrix approximation, which combines the description of weak (Born) and strong (unitary) impurity scattering. In the long wavelength limit a two-fluid description of both response and transport emerges. Collisions are here seen to exclusively dominate the relaxational dynamics of the (Bogoliubov) quasiparticle system and the analysis allows for a clear connection of response and transport phenomena. When applied to quasi-2-d superconductors like the cuprates, it turns out that the transport parameter associated with the Raman scattering intensity for B1g and B2g photon polarization is closely related to the corresponding components of the shear viscosity tensor, which dominates the attenuation of ultrasound. At low temperatures we present analytic solutions of the transport equations, resulting in a non-power-law behavior of the transport parameters on temperature.Comment: 22 pages, 3 figure

Exchange coupling in CaMnO3_3 and LaMnO3_3: configuration interaction and the coupling mechanism

The equilibrium structure and exchange constants of CaMnO$_3$ and LaMnO$_3$ have been investigated using total energy unrestricted Hartree-Fock (UHF) and localised orbital configuration interaction (CI) calculations on the bulk compounds and Mn$_2$O$_{11}^{14-}$ and Mn$_2$O$_{11}^{16-}$ clusters. The predicted structure and exchange constants for CaMnO$_3$ are in reasonable agreement with estimates based on its N\'eel temperature. A series of calculations on LaMnO$_3$ in the cubic perovskite structure shows that a Hamiltonian with independent orbital ordering and exchange terms accounts for the total energies of cubic LaMnO$_3$ with various spin and orbital orderings. Computed exchange constants depend on orbital ordering. UHF calculations tend to underestimate exchange constants in LaMnO$_3$, but have the correct sign when compared with values obtained by neutron scattering; exchange constants obtained from CI calculations are in good agreement with neutron scattering data provided the Madelung potential of the cluster is appropriate. Cluster CI calculations reveal a strong dependence of exchange constants on Mn d e$_g$ orbital populations in both compounds. CI wave functions are analysed in order to determine which exchange processes are important in exchange coupling in CaMnO$_3$ and LaMnO$_3$.Comment: 25 pages and 9 postscript figure

Identifying HIV care enrollees at-risk for cannabis use disorder

Increased scientific attention given to cannabis in the United States has particular relevance for its domestic HIV care population, given that evidence exists for both cannabis as a therapeutic agent and cannabis use disorder (CUD) as a barrier to antiretroviral medication adherence. It is critical to identify relative risk for CUD among demographic subgroups of HIV patients, as this will inform detection and intervention efforts. A Center For AIDS Research Network of Integrated Clinical Systems cohort (N = 10,652) of HIV-positive adults linked to care at seven United State sites was examined for this purpose. Based on a patient-report instrument with validated diagnostic threshold for CUD, the prevalence of recent cannabis use and corresponding conditional probabilities for CUD were calculated for the aggregate sample and demographic subgroups. Generalized estimating equations then tested models directly examining patient demographic indices as predictors of CUD, while controlling for history and geography. Conditional probability of CUD among cannabis-using patients was 49%, with the highest conditional probabilities among demographic subgroups of young adults and those with non-specified sexual orientation (67–69%) and the lowest conditional probability among females and those 50+ years of age (42% apiece). Similarly, youthful age and male gender emerged as robust multivariate model predictors of CUD. In the context of increasingly lenient policies for use of cannabis as a therapeutic agent for chronic conditions like HIV/AIDS, current study findings offer needed direction in terms of specifying targeted patient groups in HIV care on whom resources for enhanced surveillance and intervention efforts will be most impactful

Can forest management based on natural disturbances maintain ecological resilience?

Given the increasingly global stresses on forests, many ecologists argue that managers must maintain ecological resilience: the capacity of ecosystems to absorb disturbances without undergoing fundamental change. In this review we ask: Can the emerging paradigm of natural-disturbance-based management (NDBM) maintain ecological resilience in managed forests? Applying resilience theory requires careful articulation of the ecosystem state under consideration, the disturbances and stresses that affect the persistence of possible alternative states, and the spatial and temporal scales of management relevance. Implementing NDBM while maintaining resilience means recognizing that (i) biodiversity is important for long-term ecosystem persistence, (ii) natural disturbances play a critical role as a generator of structural and compositional heterogeneity at multiple scales, and (iii) traditional management tends to produce forests more homogeneous than those disturbed naturally and increases the likelihood of unexpected catastrophic change by constraining variation of key environmental processes. NDBM may maintain resilience if silvicultural strategies retain the structures and processes that perpetuate desired states while reducing those that enhance resilience of undesirable states. Such strategies require an understanding of harvesting impacts on slow ecosystem processes, such as seed-bank or nutrient dynamics, which in the long term can lead to ecological surprises by altering the forest's capacity to reorganize after disturbance

The exposure of the hybrid detector of the Pierre Auger Observatory

The Pierre Auger Observatory is a detector for ultra-high energy cosmic rays. It consists of a surface array to measure secondary particles at ground level and a fluorescence detector to measure the development of air showers in the atmosphere above the array. The "hybrid" detection mode combines the information from the two subsystems. We describe the determination of the hybrid exposure for events observed by the fluorescence telescopes in coincidence with at least one water-Cherenkov detector of the surface array. A detailed knowledge of the time dependence of the detection operations is crucial for an accurate evaluation of the exposure. We discuss the relevance of monitoring data collected during operations, such as the status of the fluorescence detector, background light and atmospheric conditions, that are used in both simulation and reconstruction.Comment: Paper accepted by Astroparticle Physic

Atmospheric effects on extensive air showers observed with the Surface Detector of the Pierre Auger Observatory

Atmospheric parameters, such as pressure (P), temperature (T) and density, affect the development of extensive air showers initiated by energetic cosmic rays. We have studied the impact of atmospheric variations on extensive air showers by means of the surface detector of the Pierre Auger Observatory. The rate of events shows a ~10% seasonal modulation and ~2% diurnal one. We find that the observed behaviour is explained by a model including the effects associated with the variations of pressure and density. The former affects the longitudinal development of air showers while the latter influences the Moliere radius and hence the lateral distribution of the shower particles. The model is validated with full simulations of extensive air showers using atmospheric profiles measured at the site of the Pierre Auger Observatory.Comment: 24 pages, 9 figures, accepted for publication in Astroparticle Physic

Update on the correlation of the highest energy cosmic rays with nearby extragalactic matter

Data collected by the Pierre Auger Observatory through 31 August 2007 showed evidence for anisotropy in the arrival directions of cosmic rays above the Greisen-Zatsepin-Kuz'min energy threshold, \nobreak{$6\times 10^{19}$eV}. The anisotropy was measured by the fraction of arrival directions that are less than $3.1^\circ$ from the position of an active galactic nucleus within 75 Mpc (using the V\'eron-Cetty and V\'eron $12^{\rm th}$ catalog). An updated measurement of this fraction is reported here using the arrival directions of cosmic rays recorded above the same energy threshold through 31 December 2009. The number of arrival directions has increased from 27 to 69, allowing a more precise measurement. The correlating fraction is $(38^{+7}_{-6})$, compared with $21$ expected for isotropic cosmic rays. This is down from the early estimate of $(69^{+11}_{-13})$. The enlarged set of arrival directions is examined also in relation to other populations of nearby extragalactic objects: galaxies in the 2 Microns All Sky Survey and active galactic nuclei detected in hard X-rays by the Swift Burst Alert Telescope. A celestial region around the position of the radiogalaxy Cen A has the largest excess of arrival directions relative to isotropic expectations. The 2-point autocorrelation function is shown for the enlarged set of arrival directions and compared to the isotropic expectation.Comment: Accepted for publication in Astroparticle Physics on 31 August 201