A Game of Attribute Decomposition for Software Architecture Design

Attribute-driven software architecture design aims to provide decision support by taking into account the quality attributes of softwares. A central question in this process is: What architecture design best fulfills the desirable software requirements? To answer this question, a system designer needs to make tradeoffs among several potentially conflicting quality attributes. Such decisions are normally ad-hoc and rely heavily on experiences. We propose a mathematical approach to tackle this problem. Game theory naturally provides the basic language: Players represent requirements, and strategies involve setting up coalitions among the players. In this way we propose a novel model, called decomposition game, for attribute-driven design. We present its solution concept based on the notion of cohesion and expansion-freedom and prove that a solution always exists. We then investigate the computational complexity of obtaining a solution. The game model and the algorithms may serve as a general framework for providing useful guidance for software architecture design. We present our results through running examples and a case study on a real-life software project.Comment: 23 pages, 5 figures, a shorter version to appear at 12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015

Magnetization and Level Statistics at Quantum Hall Liquid-Insulator Transition in the Lattice Model

Statistics of level spacing and magnetization are studied for the phase diagram of the integer quantum Hall effect in a 2D finite lattice model with Anderson disorder.Comment: 4 pages, 6 figure

Evolution of the electronic structure from electron-doped to hole-doped states in the two-dimensional Mott-Hubbard system La1.17-xPbxVS3.17

The filling-controlled metal-insulator transition (MIT) in a two-dimensional Mott-Hubbard system La1.17-xPbxVS3.17 has been studied by photoemission spectroscopy. With Pb substitution x, chemical potential mu abruptly jumps by ~ 0.07 eV between x=0.15 and 0.17, indicating that a charge gap is opened at x ~= 0.16 in agreement with the Mott insulating state of the d2 configuration. When holes or electrons are doped into the Mott insulator of x ~= 0.16, the gap is filled and the photoemission spectral weight at mu, rho(mu), gradually increases in a similar way to the electronic specific heat coefficient, although the spectral weight remains depressed around mu compared to that expected for a normal metal, showing a pseudogap behavior in the metallic samples. The observed behavior of varrho(mu)->0 for x->0.16 is contrasted with the usual picture that the electron effective mass of the Fermi-liquid system is enhanced towards the metal-insulator boundary. With increasing temperature, the gap or the pseudogap is rapidly filled up, and the spectra at T=300 K appears to be almost those of a normal metal. Near the metal-insulator boundary, the spectra around mu are consistent with the formation of a Coulomb gap, suggesting the influence of long-range Coulomb interaction under the structural disorder intrinsic to this system.Comment: 8 pages, 12 figure

Quantum railroads and directed localization at the juncture of quantum Hall systems

The integer quantum Hall effect (QHE) and one-dimensional Anderson localization (AL) are limiting special cases of a more general phenomenon, directed localization (DL), predicted to occur in disordered one-dimensional wave guides called "quantum railroads" (QRR). Here we explain the surprising results of recent measurements by Kang et al. [Nature 403, 59 (2000)] of electron transfer between edges of two-dimensional electron systems and identify experimental evidence of QRR's in the general, but until now entirely theoretical, DL regime that unifies the QHE and AL. We propose direct experimental tests of our theory.Comment: 11 pages revtex + 3 jpeg figures, to appear in Phys. Rev.

Classical Ising model test for quantum circuits

We exploit a recently constructed mapping between quantum circuits and graphs in order to prove that circuits corresponding to certain planar graphs can be efficiently simulated classically. The proof uses an expression for the Ising model partition function in terms of quadratically signed weight enumerators (QWGTs), which are polynomials that arise naturally in an expansion of quantum circuits in terms of rotations involving Pauli matrices. We combine this expression with a known efficient classical algorithm for the Ising partition function of any planar graph in the absence of an external magnetic field, and the Robertson-Seymour theorem from graph theory. We give as an example a set of quantum circuits with a small number of non-nearest neighbor gates which admit an efficient classical simulation.Comment: 17 pages, 2 figures. v2: main result strengthened by removing oracular settin

The Structure, Dynamics and Electronic Structure of Liquid Ag-Se Alloys Investigated by Ab Initio Simulation

Ab initio molecular-dynamics simulations have been used to investigate the structure, dynamics and electronic properties of the liquid alloy Ag(1-x)Se(x) at 1350 K and at the three compositions x=0.33, 0.42 and 0.65. The calculations are based on density-functional theory in the local density approximation and on the pseudopotential plane-wave method. The reliability of the simulations is confirmed by detailed comparisons with very recent neutron diffraction results for the partial structure factors and radial distribution functions (RDF) of the stoichiometric liquid Ag2Se. The simulations show a dramatic change of the Se-Se RDF with increasing Se content. This change is due to the formation of Se clusters bound by covalent bonds, the Se-Se bond length being almost the same as in pure c-Se and l-Se. The clusters are predominantly chain-like, but for higher x a large fraction of 3-fold coordinated Se atoms is also found. It is shown that the equilibrium fractions of Se present as isolated atoms and in clusters can be understood on a simple charge-balance model based on an ionic interpretation. The Ag and Se diffusion coefficients both increase with Se content, in spite of the Se clustering. An analysis of the Se-Se bond dynamics reveals surprisingly short bond lifetimes of less than 1 ps. The changes in the density of states with composition arise directly from the formation of Se-Se covalent bonds. Results for the electronic conductivity obtained using the Kubo-Greenwood approximation are in adequate agreement with experiment for l-Ag2Se, but not for the high Se contents. Possible reasons for this are discussed.Comment: 14 pages, Revtex, 14 Postscript figures embedded in the tex

Are Insider Sales Always Bad News? Evidence On Large Sales By Key Insiders

Investors often scrutinize stock trades by corporate insiders, hoping to infer the nature of any privileged information which may have motivated the trades. Conventional wisdom suggests that sales of stock by insiders reveal negative information; this interpretation is supported by empirical work such as the series of papers by Seyhun. However, this common interpretation fails to distinguish between sales by atomistic insiders and sales by controlling blockholders.  In this paper, I present evidence which suggests that sales by controlling insiders should not be considered bad news. Using both a series of logit regressions and traditional event-study tests, I examine the relationship between a firm's performance and the willingness of its controlling shareholder to sell a significant proportion of his shares. I find that firm value is just as likely to rise on the news of large insider sales as it is to fall, so that large sales need not imply negative private information.  One possible explanation for a positive response to a controlling blockholder's large sale is that such a sale makes the insider vulnerable to meaningful oversight by outside shareholders. Thus, a large sale may be a signal of the insider's willingness to expose himself to shareholder monitoring and discipline. However, regardless of the interpretation, the empirical evidence presented in the paper forces the conclusion that it is inappropriate to interpret all insider sales as bad news: insider sales occur in a variety of contexts, and creating buy/sell rules which ignore those contexts is simplistic and erroneous

Design of the New Life(style) study: a randomised controlled trial to optimise maternal weight development during pregnancy. [ISRCTN85313483]

BACKGROUND: Preventing excessive weight gain during pregnancy is potentially important in the prevention of overweight and obesity among women of childbearing age. However, few intervention studies aiming at weight management during pregnancy have been performed and most of these interventions were not as successful as expected. In this paper the design of the New Life(style) study is described as well as the content of the individually tailored intervention program, which focuses on controlling weight development during pregnancy. METHODS: The effectiveness of the New Life(style) intervention program versus usual care by midwives is evaluated in a randomised controlled trial. Women who expect their first child and visit one of the participating midwifery practices are included. The intervention is standardised in a protocol and executed by trained counsellors with the women who are randomised in the intervention group. During 5 sessions – at 18, 22, 30 and 36 weeks of pregnancy and at 8 weeks postpartum – individual weight gain is discussed in relation to weight gain guidelines for pregnant women of the American Institute of Medicine. Counsellors coach the women to maintain or optimise a healthy lifestyle, in a period of drastic physical and mental changes. Data is collected at 15, 25, 35 weeks of pregnancy and at 6, 26, and 52 weeks after delivery. Primary outcome measures are body weight, BMI, and skinfold thickness. Secondary outcome measures include physical activity, nutrition and blood levels of factors that are associated with energy homeostasis. DISCUSSION: Results of the current RCT will improve the knowledge of determinants of weight gain during pregnancy, weight retention after childbirth and of the effectiveness of the intervention program that is described. Caregivers and researchers in the field of health promotion are offered more insight in specific elements of the New Life(style) intervention program

Impaired RNA incorporation and dimerization in live attenuated leader-variants of SIV(mac239)

BACKGROUND: The 5' untranslated region (UTR) or leader sequence of simian immunodeficiency virus (SIV(mac239)) is multifunctional and harbors the regulatory elements for viral replication, persistence, gene translation, expression, and the packaging and dimerization of viral genomic RNA (vRNA). We have constructed a series of deletions in the SIV(mac239 )leader sequence in order to determine the involvement of this region in both the packaging and dimerization of viral genomic RNA. We also assessed the impact of these deletions upon viral infectiousness, replication kinetics and gene expression in cell lines and monkey peripheral blood mononuclear cells (PBMC). RESULTS: Regions on both sides of the major splice donor (SD) were found to be necessary for the efficiency and specificity of viral genome packaging. However, stem-loop1 is critical for both RNA encapsidation and dimerization. Downstream elements between the splice donor and the initiation site of SIV-Gag have additive effects on RNA packaging and contribute to a lesser degree to RNA dimerization. The targeted disruption of structures on both sides of the SD also severely impacts viral infectiousness, gene expression and replication in both CEMx174 cells and rhesus PBMC. CONCLUSION: In the leader region of SIV(mac239), stem-loop1 functions as the primary determinant for both RNA encapsidation and dimerization. Downstream elements between the splice donor and the translational initiation site of SIV-Gag are classified as secondary determinants and play a role in dimerization. Collectively, these data signify a linkage between the primary encapsidation determinant of SIV(mac239 )and RNA dimerization

Potent Activity of the HIV-1 Maturation Inhibitor Bevirimat in SCID-hu Thy/Liv Mice

The HIV-1 maturation inhibitor, 3-O-(3',3'-dimethylsuccinyl) betulinic acid (bevirimat, PA-457) is a promising drug candidate with 10 nM in vitro antiviral activity against multiple wild-type (WT) and drug-resistant HIV-1 isolates. Bevirimat has a novel mechanism of action, specifically inhibiting cleavage of spacer peptide 1 (SP1) from the C-terminus of capsid which results in defective core condensation.Oral administration of bevirimat to HIV-1-infected SCID-hu Thy/Liv mice reduced viral RNA by >2 log(10) and protected immature and mature T cells from virus-mediated depletion. This activity was observed at plasma concentrations that are achievable in humans after oral dosing, and bevirimat was active up to 3 days after inoculation with both WT HIV-1 and an AZT-resistant HIV-1 clinical isolate. Consistent with its mechanism of action, bevirimat caused a dose-dependent inhibition of capsid-SP1 cleavage in HIV-1-infected human thymocytes obtained from these mice. HIV-1 NL4-3 with an alanine-to-valine substitution at the N-terminus of SP1 (SP1/A1V), which is resistant to bevirimat in vitro, was also resistant to bevirimat treatment in the mice, and SP1/AIV had replication and thymocyte kinetics similar to that of WT NL4-3 with no evidence of fitness impairment in in vivo competition assays. Interestingly, protease inhibitor-resistant HIV-1 with impaired capsid-SP1 cleavage was hypersensitive to bevirimat in vitro with a 50% inhibitory concentration 140 times lower than for WT HIV-1.These results support further clinical development of this first-in-class maturation inhibitor and confirm the usefulness of the SCID-hu Thy/Liv model for evaluation of in vivo antiretroviral efficacy, drug resistance, and viral fitness