Investigating techniques in the generation of support software

The performance of the Meta assembler processor software package previously provided for the Space Ultrareliable Modular Computer (SUMC) at the Marshall Space Flight Center (MSFC) was verified. A number of adjustments were made to the processor following the rehosting of the SUMC software development facility (S4) on a newly acquired IBM 360/65. The assembler was configured to provide cross assembly capability for various target computers

A software reliability model based on a geometric sequence of failure rates

Software reliability models are an important tool in quality management and release planning. There is a large number of different models that often exhibit strengths in different areas. This paper proposes a model that is based on a geometric sequence (or progression) of the failure rates of faults. This property of the failure process was observed in practice at Siemens among others and led to the development of the proposed model. It is described in detail and evaluated using standard criteria. Most importantly, the model performs constantly well over several projects in terms of its predictive validity

A Complete Model of Low-Scale Gauge Mediation

Recent signs of a Standard Model-like Higgs at 125 GeV point towards large A-terms in the MSSM. This presents special challenges for gauge mediation, which by itself predicts vanishing A-terms at the messenger scale. In this paper, we review the general problems that arise when extending gauge mediation to achieve large A-terms, and the mechanisms that exist to overcome them. Using these mechanisms, we construct weakly-coupled models of low-scale gauge mediation with extended Higgs-messenger couplings that generate large A-terms at the messenger scale and viable mu/B_mu-terms. Our models are simple, economical, and complete realizations of supersymmetry at the weak scale.Comment: 33 pages; v2: refs added, minor change

General Gauge Mediation at the Weak Scale

We completely characterize General Gauge Mediation (GGM) at the weak scale by solving all IR constraints over the full parameter space. This is made possible through a combination of numerical and analytical methods, based on a set of algebraic relations among the IR soft masses derived from the GGM boundary conditions in the UV. We show how tensions between just a few constraints determine the boundaries of the parameter space: electroweak symmetry breaking (EWSB), the Higgs mass, slepton tachyons, and left-handed stop/sbottom tachyons. While these constraints allow the left-handed squarks to be arbitrarily light, they place strong lower bounds on all of the right-handed squarks. Meanwhile, light EW superpartners are generic throughout much of the parameter space. This is especially the case at lower messenger scales, where a positive threshold correction to $m_h$ coming from light Higgsinos and winos is essential in order to satisfy the Higgs mass constraint.Comment: 43 pages, 20 figures, mathematica package included in the sourc

Cosmological vacuum selection and metastable susy breaking

We study gauge mediation in a wide class of O'Raifeartaigh type models where supersymmetry breaking metastable vacuum is created by gravity and/or quantum corrections. We examine their thermal evolution in the early universe and the conditions under which the susy breaking vacuum can be selected. It is demonstrated that thermalization typically makes the metastable supersymmetry breaking cosmologically disfavoured but this is not always the case. Initial conditions with the spurion displaced from the symmetric thermal minimum and a small coupling to the messenger sector can result in the realization of the susy breaking vacuum even if the reheating temperature is high. We show that this can be achieved without jeopardizing the low energy phenomenology. In addition, we have found that deforming the models by a supersymmetric mass term for messengers in such a way that the susy breaking minimum and the susy preserving minima are all far away from the origin does not change the conclusions. The basic observations are expected to hold also in the case of models with an anomalous U(1) group.Comment: 28 pages, 4 figures, plain Latex, journal versio

Physics at a 100 TeV pp collider: Higgs and EW symmetry breaking studies

This report summarises the physics opportunities for the study of Higgs bosons and the dynamics of electroweak symmetry breaking at the 100 TeV pp collider.Comment: 187 pages, 94 figures. Chapter 2 of the "Physics at the FCC-hh" Repor

Mixed Mediation of Supersymmetry Breaking with Anomalous U(1) Gauge Symmetry

Models with anomalous U(1) gauge symmetry contain various superfields which can have nonzero supersymmetry breaking auxiliary components providing the origin of soft terms in the visible sector, e.g. the U(1) vector superfield, the modulus or dilaton superfield implementing the Green-Schwarz anomaly cancellation mechanism, U(1)-charged but standard model singlet matter superfield required to cancel the Fayet-Iliopoulos term, and finally the supergravity multiplet. We examine the relative strength between these supersymmetry breaking components in a simple class of models, and find that various different mixed mediations of supersymmetry breaking, involving the modulus, gauge, anomaly and D-term mediations, can be realized depending upon the characteristics of D-flat directions and how those D-flat directions are stabilized with a vanishing cosmological constant. We identify two parameters which represent such properties and thus characterize how the various mediations are mixed. We also discuss the moduli stabilization and soft terms in a variant of KKLT scenario, in which the visible sector K\"ahler modulus is stabilized by the D-term potential of anomalous U(1) gauge symmetry.Comment: 30 pages, 5 figure

Physics at a 100 TeV pp collider: beyond the Standard Model phenomena

This report summarises the physics opportunities in the search and study of physics beyond the Standard Model at a 100 TeV pp collider.Comment: 196 pages, 114 figures. Chapter 3 of the "Physics at the FCC-hh" Repor

Migraine and psychiatric comorbidity: a review of clinical findings

Migraine is an extremely common disorder. The underlying mechanisms of this chronic illness interspersed with acute symptoms appear to be increasingly complex. An important aspect of migraine heterogeneity is comorbidity with other neurological diseases, cardiovascular disorders, and psychiatric illnesses. Depressive disorders are among the leading causes of disability worldwide according to WHO estimation. In this review, we have mainly considered the findings from general population studies and studies on clinical samples, in adults and children, focusing on the association between migraine and psychiatric disorders (axis I of the DSM), carried over after the first classification of IHS (1988). Though not easily comparable due to differences in methodology to reach diagnosis, general population studies generally indicate an increased risk of affective and anxiety disorders in patients with migraine, compared to non-migrainous subjects. There would also be a trend towards an association of migraine with bipolar disorder, but not with substance abuse/dependence. With respect to migraine subtypes, comorbidity mainly involves migraine with aura. Patients suffering from migraine, however, show a decreased risk of developing affective and anxiety disorders compared to patients with daily chronic headache. It would also appear that psychiatric disorders prevail in patients with chronic headache and substance use than in patients with simple migraine. The mechanisms underlying migraine psychiatric comorbidity are presently poorly understood, but this topic remains a priority for future research. Psychiatric comorbidity indeed affects migraine evolution, may lead to chronic substance use, and may change treatment strategies, eventually modifying the outcome of this important disorder