A Conceptual Formalization of Crosscutting in AOSD

We propose a formalization of crosscutting based on a conceptual framework for AOSD. Crosscutting is clearly distinguished from the related concepts scattering and tangling. The definitions of these concepts are formalized and visualized with matrices and matrix operations. This allows more precise reasoning about crosscutting

Simulation of wave propagation through aberrating layers of biological media

Two iterative methods for the calculation of acoustic reflection and transmission at a rough interface between two media are compared. The methods are based on a continuous version of the conjugate gradient technique. One method is based on plane-wave expansions while the other method is based on boundary integral equations and Green's functions. The methods are compared with regard to computational efficiency, rate of convergence, and residual erro

Ultrasound wave propagation through rough interfaces: Iterative methods

Two iterative methods for the calculation of acoustic transmission through a rough interface\ud between two media are compared. The methods employ a continuous version of the conjugate\ud gradient technique. One method is based on plane-wave expansions and the other on boundary\ud integral equations and Green’s functions. A preconditioner is presented which improves the\ud convergence for spectra that include evanescent modes. The methods are compared with regard to\ud computational efficiency, rate of convergence, and residual error. The sound field differences are\ud determined for a focused ultrasound beam distorted by surfaces having a Gaussian roughness\ud spectrum. The differences are evaluated from the root-mean-square differences on the rough surface\ud and in the focal plane

Iterative calculation of reflected and transmitted acoustic waves at a rough interface

A rigorous iterative technique is described for calculating the acoustic wave reflection and transmission at an irregular interface between two different media. The method is based upon a plane-wave expansion technique in which the acoustic field equations and the radiation condition are satisfied analytically, while the boundary conditions at the interface are satisfied numerically. The latter is accomplished by an iterative minimization of the integrated squared error in the boundary conditions by a conjugate gradient technique, leading to a converging and relatively simple scheme. The plane interface result can be used as starting value. Although in principle the method is rigorous, numerical examples show that in practice there is a lower bound on the error in the boundary conditions which can be achieve

AOSD Ontology 1.0 - Public Ontology of Aspect-Orientation

This report presents a Common Foundation for Aspect-Oriented Software Development. A Common Foundation is required to enable effective communication and to enable integration of activities within the Network of Excellence. This Common Foundation is realized by developing an ontology, i.e. the shared meaning of terms and concepts in the domain of AOSD. In the first part of this report, we describe the definitions of an initial set of common AOSD terms. There is general agreement on these definitions. In the second part, we describe the Common Foundation task in detail

Crosscutting, what is and what is not? A Formal definition based on a Crosscutting Pattern

Crosscutting is usually described in terms of scattering and tangling. However, the distinction between these concepts is vague, which could lead to ambiguous statements. Sometimes, precise definitions are required, e.g. for the formal identification of crosscutting concerns. We propose a conceptual framework for formalizing these concepts based on a crosscutting pattern that shows the mapping between elements at two levels, e.g. concerns and representations of concerns. The definitions of the concepts are formalized in terms of linear algebra, and visualized with matrices and matrix operations. In this way, crosscutting can be clearly distinguished from scattering and tangling. Using linear algebra, we demonstrate that our definition generalizes other definitions of crosscutting as described by Masuhara & Kiczales [21] and Tonella and Ceccato [28]. The framework can be applied across several refinement levels assuring traceability of crosscutting concerns. Usability of the framework is illustrated by means of applying it to several areas such as change impact analysis, identification of crosscutting at early phases of software development and in the area of model driven software development

Dynamic Duopoly with Intertemporal Capacity Constraints

We analyze strategic firm behavior in settings where the production stage is followed by several periods during which only sales take place. We analyze the dynamics of the market structure, the development of prices and sales over time, and the implications for profits and consumer surplus. Two specific settings are analyzed. In the first, a firm can commit up-front to a sales strategy that does not depend on the actual sales of its competitor. In this case there is a unique Nash equilibrium and price increases over time. In the second setting,there is no commitment and firms can adjust their sales in response to observed supply of their competitor in the previous period. It is shown that in this case a subgame perfect Nash equilibrium does not always exist. Equilibria can have surprising features. For some parameter constellations, price may decrease over time. It is also possible that the firm increases its pro�t by destroying some of its production. When firms have equal size, the equilibrium outcome is the same in both the commitment and the non-commitment setting. In general, the setting without commitment is bene�cial to the larger firm, whereas the setting with commitment leads to higher pro�ts for the smaller firm.mathematical economics;

Phase diagram of Regge quantum gravity coupled to SU(2) gauge theory

We analyze Regge quantum gravity coupled to SU(2) gauge theory on $4^3\times 2$, $6^{3}\times 4$ and $8^{3}\times 4$ simplicial lattices. It turns out that the window of the well-defined phase of the gravity sector where geometrical expectation values are stable extends to negative gravitational couplings as well as to gauge couplings across the deconfinement phase transition. We study the string tension from Polyakov loops, compare with the $\beta$-function of pure gauge theory and conclude that a physical limit through scaling is possible.Comment: RevTeX, 14 pages, 5 figures (2 eps, 3 tex), 2 table

Disentangling Crosscutting in AOSD: A Conceptual Framework

Crosscutting is usually described in terms of scattering and tangling. However, the distinction between these three concepts is vague, sometimes leading to ambiguous statements and confusion. We propose a conceptual framework for crosscutting. Crosscutting is clearly distinguished from scattering and tangling. The definitions of these concepts are formalized and visualized with matrices and matrix operations. We discuss the relation between the concepts crosscutting, decomposition and coupling