Change Impact Analysis based on Formalization of Trace Relations for Requirements

Evolving customer needs is one of the driving factors in software development. There is a need to analyze the impact of requirement changes in order to determine possible conflicts and design alternatives influenced by these changes. The analysis of the impact of requirement changes on related requirements can be based on requirements traceability. In this paper, we propose a requirements metamodel with well defined types of requirements relations. This metamodel represents the common concepts extracted from some prevalent requirements engineering approaches. The requirements relations in the metamodel are used to trace related requirements for change impact analysis. We formalize the relations. Based on this formalization, we define change impact rules for requirements. As a case study, we apply these rules to changes in the requirements specification for Course Management System

Periodic-Orbit Bifurcation and Shell Structure in Reflection-Asymmetric Deformed Cavity

Shell structure of the single-particle spectrum for reflection-asymmetric deformed cavity is investigated. Remarkable shell structure emerges for certain combinations of quadrupole and octupole deformations. Semiclassical periodic-orbit analysis indicates that bifurcation of equatorial orbits plays an important role in the formation of this new shell structure.Comment: 5 pages, latex including 5 postscript figures, submitted to Physics Letters

On the energy momentum dispersion in the lattice regularization

For a free scalar boson field and for U(1) gauge theory finite volume (infrared) and other corrections to the energy-momentum dispersion in the lattice regularization are investigated calculating energy eigenstates from the fall off behavior of two-point correlation functions. For small lattices the squared dispersion energy defined by $E_{\rm dis}^2=E_{\vec{k}}^2-E_0^2-4\sum_{i=1}^{d-1}\sin(k_i/2)^2$ is in both cases negative ($d$ is the Euclidean space-time dimension and $E_{\vec{k}}$ the energy of momentum $\vec{k}$ eigenstates). Observation of $E_{\rm dis}^2=0$ has been an accepted method to demonstrate the existence of a massless photon ($E_0=0$) in 4D lattice gauge theory, which we supplement here by a study of its finite size corrections. A surprise from the lattice regularization of the free field is that infrared corrections do {\it not} eliminate a difference between the groundstate energy $E_0$ and the mass parameter $M$ of the free scalar lattice action. Instead, the relation $E_0=\cosh^{-1} (1+M^2/2)$ is derived independently of the spatial lattice size.Comment: 9 pages, 2 figures. Parts of the paper have been rewritten and expanded to clarify the result

Characterizing CDMA downlink feasibility via effective interference

This paper models and analyses downlink power assignment feasibility in Code Division Multiple Access (CDMA) mobile networks. By discretizing the area into small segments, the power requirements are characterized via a matrix representation that separates user and system characteristics. We obtain a closed-form analytical expression of the so-called Perron-Frobenius eigenvalue of that matrix, which provides a quick assessment of the feasibility of the power assignment for each distribution of calls over the segments. Although the obtained relation is non-linear, it basically provides an effective interference characterisation of downlink feasibility. Our results allow for a fast evaluation of outage and blocking probabilities, and enable a quick evaluation of feasibility that may be used for Call Acceptance Control. \u

Vector boson mass generation without new fields

Previously a model of only vector fields with a local U(2) symmetry was introduced for which one finds a massless U(1) photon and a massive SU(2) vector boson in the lattice regularization. Here it is shown that quantization of its classical continuum action leads to perturbative renormalization difficulties. But, non-perturbative Monte Carlo calculations favor the existence of a quantum continuum limit.Comment: 4 pages, 3 figures, 2 tables. Revised after referee reports. One error eliminate

Traceability-based change management in operational mappings

This paper describes an approach for the analysis of changes in model transformations in the Model Driven Architecture (MDA). Models should be amenable to changes in user requirements and technological platforms. Impact analysis of changes can be based on traceability of model elements. We propose a model for generating trace links between model elements and study scenarios for changes in source models and how to identify the impacted elements in the target model

Theory of the striped superconductor

We define a distinct phase of matter, a "pair density wave" (PDW), in which the superconducting order parameter $\phi$ varies periodically as a function of position such that when averaged over the center of mass position, all components of $\phi$ vanish identically. Specifically, we study the simplest, unidirectional PDW, the "striped superconductor," which we argue may be at the heart of a number of spectacular experimental anomalies that have been observed in the failed high temperature superconductor, La$_{2-x}$ Ba$_x$CuO$_4$. We present a solvable microscopic model with strong electron-electron interactions which supports a PDW groundstate. We also discuss, at the level of Landau theory, the nature of the coupling between the PDW and other order parameters, and the origins and some consequences of the unusual sensitivity of this state to quenched disorder.Comment: 16 pages, 3 figures, 1 table; Journal ref. adde

FFLO oscillations and magnetic domains in the Hubbard model with off-diagonal Coulomb repulsion

We observe the effect of non-zero magnetization m onto the superconducting ground state of the one dimensional repulsive Hubbard model with correlated hopping X. For t/2 < X < 2t/3, the system first manifests Fulde-Ferrell-Larkin-Ovchinnikov (FFLO) oscillations in the pair-pair correlations. For m = m1 a kinetic energy driven macroscopic phase separation into low-density superconducting domains and high-density polarized walls takes place. For m > m2 the domains fully localize, and the system eventually becomes a ferrimagnetic insulator.Comment: IOP RevTeX class, 18 pages, 13 composite *.eps figure

Role of product characteristics for the adoption of fruit and fruit product innovations

The aim of this study was the identification of those product characteristics that are important for the adoption of fruit and fruit product innovations by consumers. Sixteen focus group discussions were held in four European countries (Greece, The Netherlands, Poland, and Spain). Different aspects of six innovative fruit products were discussed, revealing those characteristics that were important for the adoption of each of them. It was observed that the participants did not perceive fruit innovations as a homogenous group, but assigned them to different groups, which led to a number of categories of fruit innovation. Three categories concerned the level of preparation of fruit. These were fresh, prepared, and processed fruit product innovations. Another two categories, radical and evolutionary innovations, related to the level of novelty of the fruit innovation. Characteristics important for the adoption of each of these categories are given.The results will be used for further, more quantitative, research

Entropy-based analysis of the number partitioning problem

In this paper we apply the multicanonical method of statistical physics on the number-partitioning problem (NPP). This problem is a basic NP-hard problem from computer science, and can be formulated as a spin-glass problem. We compute the spectral degeneracy, which gives us information about the number of solutions for a given cost $E$ and cardinality $m$. We also study an extension of this problem for $Q$ partitions. We show that a fundamental difference on the spectral degeneracy of the generalized ($Q>2$) NPP exists, which could explain why it is so difficult to find good solutions for this case. The information obtained with the multicanonical method can be very useful on the construction of new algorithms.Comment: 6 pages, 4 figure