Transformation As Search

In model-driven engineering, model transformations are con- sidered a key element to generate and maintain consistency between re- lated models. Rule-based approaches have become a mature technology and are widely used in different application domains. However, in var- ious scenarios, these solutions still suffer from a number of limitations that stem from their injective and deterministic nature. This article pro- poses an original approach, based on non-deterministic constraint-based search engines, to define and execute bidirectional model transforma- tions and synchronizations from single specifications. Since these solely rely on basic existing modeling concepts, it does not require the intro- duction of a dedicated language. We first describe and formally define this model operation, called transformation as search, then describe a proof-of-concept implementation and discuss experiments on a reference use case in software engineering

Current-carrying states in superconductor/insulator and superconductor/semiconductor superlattices in the mesoscopic regime

We discuss some of the basic theoretical aspects of current-carrying states in superconducting superlattices with tunnel barriers in the mesoscopic regime, when the superconducting layer thickness is small compared to the BCS coherence length but large compared to the atomic scale. We establish the necessary conditions for the observation of the classical Josephson effect (with sinusoidal current-phase dependence) and derive self-consistent analytical expressions for the critical Josephson current. These expressions are proportional to an additional small factor and have unusual temperature dependence as compared with the single-junction case. For certain parameter values, the superconducting gap exhibits an exponential decrease due to pair-breaking effect of the supercurrent. The supercurrent can completely destroy the superconductivity of the system above a certain characteristic temperature (lower than the transition temperature of individual layers). In this paper, we also study the effect of intrabarrier exchange interactions. We show that this effect is strongly enhanced compared with the single- junction case and can manifest itself in an exponential decrease of the critical temperature.Comment: 13 pages, ReVTeX, no figure

Fractal Structures and Scaling Laws in the Universe: Statistical Mechanics of the Self-Gravitating Gas

Fractal structures are observed in the universe in two very different ways. Firstly, in the gas forming the cold interstellar medium in scales from 10^{-4} pc till 100 pc. Secondly, the galaxy distribution has been observed to be fractal in scales up to hundreds of Mpc. We give here a short review of the statistical mechanical (and field theoretical) approach developed by us. We consider a non-relativistic self-gravitating gas in thermal equilibrium at temperature T inside a volume V. The statistical mechanics of such system has special features and, as is known, the thermodynamical limit does not exist in its customary form. Moreover, the treatments through microcanonical, canonical and grand canonical ensembles yield different results.We present here for the first time the equation of state for the self-gravitating gas in the canonical ensemble. We find that it has the form p = [N T/ V] f(eta), where p is the pressure, N is the number of particles and \eta \equiv {G m^2 N \over V^{1/3} T}. The N \to\infty and V \to\infty limit exists keeping \eta fixed. We compute the function f(\eta) using Monte Carlo simulations and for small eta analytically. We compute the thermodynamic quantities of the system as free energy, entropy, chemical potential, specific heat, compressibility and speed of sound. We reproduce the well-known gravitational phase transition associated to the Jeans' instability. Namely, a gaseous phase for eta < eta_c and a condensed phase for eta > eta_c. Moreover, we derive the precise behaviour of the physical quantities near the transition. In particular, the pressure vanishes as p \sim(eta_c-eta)^B with B \sim 0.2 and eta_c \sim 1.6 and the energy fluctuations diverge as \sim(eta_c-eta)^{B-1}. The speed of sound decreases monotonically and approaches the value sqrt{T/6} at the transition.Comment: Invited paper to the special issue of the `Journal of Chaos, Solitons and Fractals': `Superstrings, M, F, S...theory', M. S El Naschie and C. Castro, Editors. Latex file, 16 pages plus three .ps figure

Long-term effects of automated mechanical peripheral stimulation on gait patterns of patients with Parkinson's disease

New treatments based on peripheral stimulation of the sensory–motor system have been inspiring new rehabilitation approaches in Parkinson’s disease (PD), especially to reduce gait impairment, levodopa washout effects, and the incidence of falls. The aim of this study was to evaluate the change in gait and the clinical status of PD patients after six sessions of a treatment based on automated mechanical peripheral stimulation (AMPS). Eighteen patients with PD and 15 age-matched healthy individuals (control group) participated in this study. A dedicated medical device delivered the AMPS. PD patients were treated with AMPS six times once every 4 days. All PD patients were treated in the off-levodopa phase and were evaluated with gait analysis before and after the first intervention (acute phase), after the sixth intervention, 48 h after the sixth intervention, and 10 days after the end of the treatment. To compare the differences among the AMPS interventions (pre, 6 AMPS, and 10 days) in terms of clinical scales, a t-test was used (α≤0.05). In addition, to compare the differences among the AMPS interventions (pre, post, 6 AMPS, 48 h and 10 days), the gait spatiotemporal parameters were analyzed using the Friedman test and the Bonferroni post-hoc test (α≤0.05). Also, for comparisons between the PD group and the control group, the gait spatiotemporal parameters were analyzed using the Mann–Whitney test and the Bonferroni post-hoc test (α≤0.05). The results of the study indicate that the AMPS treatment has a positive effect on bradykinesia because it improves walking velocity, has a positive effect on the step and stride length, and has a positive effect on walking stability, measured by the increase in stride length. These results are consistent with the improvements measured with clinical scales. These findings indicate that AMPS treatment seems to generate a more stable walking pattern in PD patients, reducing the well-known gait impairment that is typical of PD; regular repetition every 4 days of AMPS treatment appears to be able to improve gait parameters, to restore rhythmicity, and to reduce the risk of falls, with benefits maintained up to 10 days after the last treatment. The trial was registered online at ClinicalTrials.gov (number identifier: NCT0181528)

Josephson junctions with negative second harmonic in the current-phase relation: properties of novel varphi-junctions

Several recent experiments revealed a change of the sign of the first harmonic in the current-phase relation of Josephson junctions (JJ) based on novel superconductors, e.g., d-wave based or JJ with ferromagnetic barrier. In this situation the role of the second harmonic becomes dominant and it determines the scenario of a 0-pi transition. We discuss different mechanisms of the second harmonic generation and its sign. If the second harmonic is negative the 0-pi transition becomes continuous and the realization of the so-called varphi junction is possible. We study the unusual properties of such a novel JJ and analyze the possible experimental techniques for their observation.Comment: submitted to PR

Infinite dimensional non-positively curved symmetric spaces of finite rank

This paper concerns a study of three families of non-compact type symmetric spaces of infinite dimension. Although they have infinite dimension they have finite rank. More precisely, we show they have finite telescopic dimension. We also show the existence of Furstenberg maps for some group actions on these spaces. Such maps appear as a first step toward superrigidity results.Comment: Some references have been adde

Localization of superconductivity in superconductor-electromagnet hybrids

We investigate the nucleation of superconductivity in a superconducting Al strip under the influence of the magnetic field generated by a current-carrying Nb wire, perpendicularly oriented and located underneath the strip. The inhomogeneous magnetic field, induced by the Nb wire, produces a spatial modulation of the critical temperature T_c, leading to a controllable localization of the superconducting order parameter (OP) wave function. We demonstrate that close to the phase boundary T_c(B_ext) the localized OP solution can be displaced reversibly by either applying an external perpendicular magnetic field B_ext or by changing the amplitude of the inhomogeneous field.Comment: 10 pages, 6 figure

Mesoscopic cross-film cryotrons: Vortex trapping and dc-Josephson-like oscillations of the critical current

We investigate theoretically and experimentally the transport properties of a plain Al superconducting strip in the presence of a single straight current-carrying wire, oriented perpendicular to the superconducting strip. It is well known that the critical current of the superconducting strip, Ic, in such cryotron--like system can be tuned by changing the current in the control wire, Iw. We demonstrated that the discrete change in the number of the pinned vortices/antivortices inside the narrow and long strip nearby the current-carrying wire results in a peculiar oscillatory dependence of Ic on Iw.Comment: 8 pages, 8 figure

Effects of diagonal disorder on Charge Density Wave and Superconductivity in local pair systems

We analyse the influence of diagonal disorder (random site energy) on Charge Density Wave (CDW) and Superconductivity (SS) in local pair systems which are described by the model of hard core charged bosons on a lattice. This problem was previously studied within the mean field approximation for the case of half filled band (n = 1). Here we extend that investigation to the case of arbitrary particle concentration (0 < n < 2) and examine the phase diagrams of the model and the behaviour of superfluid density as a function of n and the increasing disorder. Depending on the strength of random on-site energies, the intersite density-density repulsion and the concentration the model can exhibit several various phases, including homogeneous phases: CDW, SS and Bose-glass (NO) as well as the phase separated states: CDW-SS, CDW-NO and particle droplets. The obtained results for SS phase are in qualitative agreement with the available Monte Carlo calculations for two dimensional lattice. Also, in a definite range of parameters the system exhibits the phenomena which we call a disorder induced superconductivity and a disorder induced charge ordering.Comment: 21 pages, 8 figure

Constraints on the ICM velocity power spectrum from the X-ray lines width and shift

Future X-ray observations of galaxy clusters by high spectral resolution missions will provide spatially resolved measurements of the energy and width for the brightest emission lines in the intracluster medium (ICM) spectrum. In this paper we discuss various ways of using these high resolution data to constrain velocity power spectrum in galaxy clusters. We argue that variations of these quantities with the projected distance R in cool core clusters contain important information on the velocity field length scales in the ICM. The effective length $l_{\rm eff}$ along the line of sight, which provides dominant contribution to the line flux, increases with R, allowing one to probe the amplitude of the velocity variations at different spatial scales. In particular, we show that the width of the line as a function of R is closely linked to the structure function of the 3D velocity field. Yet another easily obtainable proxy of the velocity field length scales is the ratio of the amplitude of the projected velocity field (line energy) variations to the dispersion of the velocity along the line of sight (line width). Finally the projected velocity field can be easily converted into 3D velocity field, especially for clusters like Coma with an extended flat core in the surface brightness. Under assumption of a homogeneous isotropic Gaussian 3D velocity field we derived simple expressions relating the power spectrum of the 3D velocity field (or structure function) and the observables. The uncertainties in the observables, caused by stochastic nature of the velocity field, are estimated by making multiple realizations of the random Gaussian velocity field and evaluating the scatter in observables. If large scale motions are present in the ICM these uncertainties may dominate the statistical errors of line width and shift measurements.Comment: 15 pages, 10 figures, accepted to MNRA