2,682 research outputs found

    Identifying component modules

    Get PDF
    A computer-based system for modelling component dependencies and identifying component modules is presented. A variation of the Dependency Structure Matrix (DSM) representation was used to model component dependencies. The system utilises a two-stage approach towards facilitating the identification of a hierarchical modular structure. The first stage calculates a value for a clustering criterion that may be used to group component dependencies together. A Genetic Algorithm is described to optimise the order of the components within the DSM with the focus of minimising the value of the clustering criterion to identify the most significant component groupings (modules) within the product structure. The second stage utilises a 'Module Strength Indicator' (MSI) function to determine a value representative of the degree of modularity of the component groupings. The application of this function to the DSM produces a 'Module Structure Matrix' (MSM) depicting the relative modularity of available component groupings within it. The approach enabled the identification of hierarchical modularity in the product structure without the requirement for any additional domain specific knowledge within the system. The system supports design by providing mechanisms to explicitly represent and utilise component and dependency knowledge to facilitate the nontrivial task of determining near-optimal component modules and representing product modularity

    Accurate computation of quaternions from rotation matrices

    Get PDF
    The final publication is available at link.springer.comThe main non-singular alternative to 3×3 proper orthogonal matrices, for representing rotations in R3, is quaternions. Thus, it is important to have reliable methods to pass from one representation to the other. While passing from a quaternion to the corresponding rotation matrix is given by Euler-Rodrigues formula, the other way round can be performed in many different ways. Although all of them are algebraically equivalent, their numerical behavior can be quite different. In 1978, Shepperd proposed a method for computing the quaternion corresponding to a rotation matrix which is considered the most reliable method to date. Shepperd’s method, thanks to a voting scheme between four possible solutions, always works far from formulation singularities. In this paper, we propose a new method which outperforms Shepperd’s method without increasing the computational cost.Peer ReviewedPostprint (author's final draft

    On Tackling the Limits of Resolution in SAT Solving

    Full text link
    The practical success of Boolean Satisfiability (SAT) solvers stems from the CDCL (Conflict-Driven Clause Learning) approach to SAT solving. However, from a propositional proof complexity perspective, CDCL is no more powerful than the resolution proof system, for which many hard examples exist. This paper proposes a new problem transformation, which enables reducing the decision problem for formulas in conjunctive normal form (CNF) to the problem of solving maximum satisfiability over Horn formulas. Given the new transformation, the paper proves a polynomial bound on the number of MaxSAT resolution steps for pigeonhole formulas. This result is in clear contrast with earlier results on the length of proofs of MaxSAT resolution for pigeonhole formulas. The paper also establishes the same polynomial bound in the case of modern core-guided MaxSAT solvers. Experimental results, obtained on CNF formulas known to be hard for CDCL SAT solvers, show that these can be efficiently solved with modern MaxSAT solvers

    Testing Yukawa-unified SUSY during year 1 of LHC: the role of multiple b-jets, dileptons and missing E_T

    Get PDF
    We examine the prospects for testing SO(10) Yukawa-unified supersymmetric models during the first year of LHC running at \sqrt{s}= 7 TeV, assuming integrated luminosity values of 0.1 to 1 fb^-1. We consider two cases: the Higgs splitting (HS) and the D-term splitting (DR3) models. Each generically predicts light gluinos and heavy squarks, with an inverted scalar mass hierarchy. We hence expect large rates for gluino pair production followed by decays to final states with large b-jet multiplicity. For 0.2 fb^-1 of integrated luminosity, we find a 5 sigma discovery reach of m(gluino) ~ 400 GeV even if missing transverse energy, E_T^miss, is not a viable cut variable, by examining the multi-b-jet final state. A corroborating signal should stand out in the opposite-sign (OS) dimuon channel in the case of the HS model; the DR3 model will require higher integrated luminosity to yield a signal in the OS dimuon channel. This region may also be probed by the Tevatron with 5-10 fb^-1 of data, if a corresponding search in the multi-b+ E_T^miss channel is performed. With higher integrated luminosities of ~1 fb^-1, using E_T^miss plus a large multiplicity of b-jets, LHC should be able to discover Yukawa-unified SUSY with m(gluino) up to about 630 GeV. Thus, the year 1 LHC reach for Yukawa-unified SUSY should be enough to either claim a discovery of the gluino, or to very nearly rule out this class of models, since higher values of m(gluino) lead to rather poor Yukawa unification.Comment: 32 pages including 31 EPS figure

    Academic Performance and Behavioral Patterns

    Get PDF
    Identifying the factors that influence academic performance is an essential part of educational research. Previous studies have documented the importance of personality traits, class attendance, and social network structure. Because most of these analyses were based on a single behavioral aspect and/or small sample sizes, there is currently no quantification of the interplay of these factors. Here, we study the academic performance among a cohort of 538 undergraduate students forming a single, densely connected social network. Our work is based on data collected using smartphones, which the students used as their primary phones for two years. The availability of multi-channel data from a single population allows us to directly compare the explanatory power of individual and social characteristics. We find that the most informative indicators of performance are based on social ties and that network indicators result in better model performance than individual characteristics (including both personality and class attendance). We confirm earlier findings that class attendance is the most important predictor among individual characteristics. Finally, our results suggest the presence of strong homophily and/or peer effects among university students

    Horizontal DNA transfer mechanisms of bacteria as weapons of intragenomic conflict

    Get PDF
    Horizontal DNA transfer (HDT) is a pervasive mechanism of diversification in many microbial species, but its primary evolutionary role remains controversial. Much recent research has emphasised the adaptive benefit of acquiring novel DNA, but here we argue instead that intragenomic conflict provides a coherent framework for understanding the evolutionary origins of HDT. To test this hypothesis, we developed a mathematical model of a clonally descended bacterial population undergoing HDT through transmission of mobile genetic elements (MGEs) and genetic transformation. Including the known bias of transformation toward the acquisition of shorter alleles into the model suggested it could be an effective means of counteracting the spread of MGEs. Both constitutive and transient competence for transformation were found to provide an effective defence against parasitic MGEs; transient competence could also be effective at permitting the selective spread of MGEs conferring a benefit on their host bacterium. The coordination of transient competence with cell-cell killing, observed in multiple species, was found to result in synergistic blocking of MGE transmission through releasing genomic DNA for homologous recombination while simultaneously reducing horizontal MGE spread by lowering the local cell density. To evaluate the feasibility of the functions suggested by the modelling analysis, we analysed genomic data from longitudinal sampling of individuals carrying Streptococcus pneumoniae. This revealed the frequent within-host coexistence of clonally descended cells that differed in their MGE infection status, a necessary condition for the proposed mechanism to operate. Additionally, we found multiple examples of MGEs inhibiting transformation through integrative disruption of genes encoding the competence machinery across many species, providing evidence of an ongoing "arms race." Reduced rates of transformation have also been observed in cells infected by MGEs that reduce the concentration of extracellular DNA through secretion of DNases. Simulations predicted that either mechanism of limiting transformation would benefit individual MGEs, but also that this tactic's effectiveness was limited by competition with other MGEs coinfecting the same cell. A further observed behaviour we hypothesised to reduce elimination by transformation was MGE activation when cells become competent. Our model predicted that this response was effective at counteracting transformation independently of competing MGEs. Therefore, this framework is able to explain both common properties of MGEs, and the seemingly paradoxical bacterial behaviours of transformation and cell-cell killing within clonally related populations, as the consequences of intragenomic conflict between self-replicating chromosomes and parasitic MGEs. The antagonistic nature of the different mechanisms of HDT over short timescales means their contribution to bacterial evolution is likely to be substantially greater than previously appreciated

    Improved Measurement of the Pseudoscalar Decay Constant fDsf_{D_{s}}

    Get PDF
    We present a new determination of the Ds decay constant, f_{Ds} using 5 million continuum charm events obtained with the CLEO II detector. Our value is derived from our new measured ratio of widths for Ds -> mu nu/Ds -> phi pi of 0.173+/- 0.021 +/- 0.031. Taking the branching ratio for Ds -> phi pi as (3.6 +/- 0.9)% from the PDG, we extract f_{Ds} = (280 +/- 17 +/- 25 +/- 34){MeV}. We compare this result with various model calculations.Comment: 23 page postscript file, postscript file also available through http://w4.lns.cornell.edu/public/CLN
    corecore