An Exploratory Study of Forces and Frictions affecting Large-Scale Model-Driven Development

In this paper, we investigate model-driven engineering, reporting on an exploratory case-study conducted at a large automotive company. The study consisted of interviews with 20 engineers and managers working in different roles. We found that, in the context of a large organization, contextual forces dominate the cognitive issues of using model-driven technology. The four forces we identified that are likely independent of the particular abstractions chosen as the basis of software development are the need for diffing in software product lines, the needs for problem-specific languages and types, the need for live modeling in exploratory activities, and the need for point-to-point traceability between artifacts. We also identified triggers of accidental complexity, which we refer to as points of friction introduced by languages and tools. Examples of the friction points identified are insufficient support for model diffing, point-to-point traceability, and model changes at runtime.Comment: To appear in proceedings of MODELS 2012, LNCS Springe

Finite temperature theory of the trapped two dimensional Bose gas

We present a Hartree-Fock-Bogoliubov (HFB) theoretical treatment of the two-dimensional trapped Bose gas and indicate how semiclassical approximations to this and other formalisms have lead to confusion. We numerically obtain results for the fully quantum mechanical HFB theory within the Popov approximation and show that the presence of the trap stabilizes the condensate against long wavelength fluctuations. These results are used to show where phase fluctuations lead to the formation of a quasicondensate.Comment: 4 pages, 3 figure

Military training and fire regime impacts on tallgrass prairie vegetation degradation

The relationship between fire and long-term trends in tallgrass prairie vegetation was assessed at Fort Riley and Konza Prairie Biological Station (KPBS) in Kansas. Linear trends of surface greenness were previously estimated using BFAST and MODIS MOD13Q1 NDVI composite images from 2001 to 2010. To explain trends, fire frequency and seasonality (fire regime) was determined and each site was divided into spatial strata using administrative or management units. Generalized linear models (GLM) were used to explain trends by fire regime and/or stratification. Spatialized versions of GLMs were also computed address unexplained spatial components. Non-spatial models for FRK showed fire regime explained only 4% of trends compared to strata (7-26%). At KPBS, fire regime and spatial stratification explained 14% and 39%, respectively. At both sites, improvements in performance were minimal using both fire and strata as explanatory variables. Model spatialization resulted in a 5% improvement at FRK, but with weak spatial structure in the residuals, and was not necessary at KPBS as the existing stratification most of the spatial structure in model residuals. All models at KPBS performed better for each explanatory variable and combination tested. Fire has only a marginal effect on vegetation trends at FRK despite its widespread use as a grassland management tool to improve vegetation health, and explains much more of the trends at KPBS. Analysis of predictors from spatial models with existing stratification yielded an approach with fewer strata but similar performance and may provide insight about additional explanatory variables omitted from this analysis

The Pex3–Inp1 complex tethers yeast peroxisomes to the plasma membrane

A subset of peroxisomes is retained at the mother cell cortex by the Pex3–Inp1 complex. We identify Inp1 as the first known plasma membrane–peroxisome (PM-PER) tether by demonstrating that Inp1 meets the predefined criteria that a contact site tether protein must adhere to. We show that Inp1 is present in the correct subcellular location to interact with both the plasma membrane and peroxisomal membrane and has the structural and functional capacity to be a PM-PER tether. Additionally, expression of artificial PM-PER tethers is sufficient to restore retention in inp1Δ cells. We show that Inp1 mediates peroxisome retention via an N-terminal domain that binds PI(4,5)P2 and a C-terminal Pex3-binding domain, forming a bridge between the peroxisomal membrane and the plasma membrane. We provide the first molecular characterization of the PM-PER tether and show it anchors peroxisomes at the mother cell cortex, suggesting a new model for peroxisome retention

Paper XIV (ii) A Pitting Fatigue Model for Gear Tooth Contacts

A model for the initiation of micro-pit fatigue failure in gear tooth contacts is presented. Micro-pitting is believed to be a surface fatigue mechanism which is highly dependent upon surface roughness and sliding conditions during the tooth contact. The model uses finite element analysis to determine local residual stresses caused by asperity flattening. These are superimposed on gear overrolling stresses and a contact fatigue life model applied. Results show that very large reductions in fatigue life can occur if asperities are plastically deformed during running-in and the contact is sliding during overrolling. Residual stress contours, fatigue life risk maps, and relative life values are given for various asperity sizes and sliding contact conditions. © 1991

Improving detection of surface discontinuities in visual-force control systms

In this paper, a new approach to detect surface discontinuities in a visual–force control task is described. A task which consists in tracking a surface using visual–force information is shown. In this task, in order to reposition the robot tool with respect to the surface it is necessary to determine the surface discontinuities. This paper describes a new method to detect surface discontinuities employing sensorial information obtained from a force sensor, a camera and structured light. This method has proved to be more robust than previous systems even in situations where high frictions occur

Patterns in rational base number systems

Number systems with a rational number $a/b > 1$ as base have gained interest in recent years. In particular, relations to Mahler's 3/2-problem as well as the Josephus problem have been established. In the present paper we show that the patterns of digits in the representations of positive integers in such a number system are uniformly distributed. We study the sum-of-digits function of number systems with rational base $a/b$ and use representations w.r.t. this base to construct normal numbers in base $a$ in the spirit of Champernowne. The main challenge in our proofs comes from the fact that the language of the representations of integers in these number systems is not context-free. The intricacy of this language makes it impossible to prove our results along classical lines. In particular, we use self-affine tiles that are defined in certain subrings of the ad\'ele ring $\mathbb{A}_\mathbb{Q}$ and Fourier analysis in $\mathbb{A}_\mathbb{Q}$. With help of these tools we are able to reformulate our results as estimation problems for character sums

Thermodynamics of an interacting trapped Bose-Einstein gas in the classical field approximation

We present a convenient technique describing the condensate in dynamical equilibrium with the thermal cloud, at temperatures close to the critical one. We show that the whole isolated system may be viewed as a single classical field undergoing nonlinear dynamics leading to a steady state. In our procedure it is the observation process and the finite detection time that allow for splitting the system into the condensate and the thermal cloud.Comment: 4 pages, 4 eps figures, final versio

Self-similar sets: projections, sections and percolation

We survey some recent results on the dimension of orthogonal projections of self-similar sets and of random subsets obtained by percolation on self-similar sets. In particular we highlight conditions when the dimension of the projections takes the generic value for all, or very nearly all, projections. We then describe a method for deriving dimensional properties of sections of deterministic self-similar sets by utilising projection properties of random percolation subsets.Postprin

Using isotopic dilution to assess chemical extraction of labile Ni, Cu, Zn, Cd and Pb in soils

Chemical extractants used to measure labile soil metal must ideally select for and solubilise the labile fraction, with minimal solubilisation of non-labile metal. We assessed four extractants (0.43 M HNO3, 0.43 M CH3COOH, 0.05 M Na2H2EDTA and 1 M CaCl2) against these requirements. For soils contaminated by contrasting sources, we compared isotopically exchangeable Ni, Cu, Zn, Cd and Pb (EValue, mg kg-1), with the concentrations of metal solubilised by the chemical extractants (MExt, mg kg-1). Crucially, we also determined isotopically exchangeable metal in the soil–extractant systems (EExt, mg kg-1). Thus ‘EExt - EValue’ quantifies the concentration of mobilised non-labile metal, while ‘EExt - MExt’ represents adsorbed labile metal in the presence of the extractant. Extraction with CaCl2 consistently underestimated EValue for Ni, Cu, Zn and Pb, while providing a reasonable estimate of EValue for Cd. In contrast, extraction with HNO3 both consistently mobilised non-labile metal and overestimated the EValue. Extraction with CH3COOH appeared to provide a good estimate of EValue for Cd; however, this was the net outcome of incomplete solubilisation of labile metal, and concurrent mobilisation of non-labile metal by the extractant (MExt EValue). The Na2H2EDTA extractant mobilised some non-labile metal in three of the four soils, but consistently solubilised the entire labile fraction for all soil-metal combinations (MExt ≈ EExt). Comparison of EValue, MExt and EExt provides a rigorous means of assessing the underlying action of soil chemical extraction methods and could be used to refine long-standing soil extraction methodologies