Exact propagator beyond and at caustics for isotropic time-dependent coupled and driven oscillators

Through a sequence of transformations we relate the propagator for the system of isotropic time-dependent, coupled and driven oscillators with time-varying mass, with those of free particles. We then derive the wave functions and the propagator beyond and at caustics. Finally we study a particular case which appears in quantum optics. © 1990.

Late Oligocene rapid transformations in the South China Sea

Lithobiostratigraphic data indicate that the double reflectors on the seismic profile through Ocean Drilling Program (ODP) Site 1148 represent two unconformities that coincide, respectively, with the lower/upper Oligocene boundary at ~488 mcd, and Oligocene-Miocene boundary at 460 mcd. Two other unconformities, at ~478 and 472 mcd, respectively, were also identified within the upper Oligocene section. Together they erased a sediment record of about 3 Ma from this locality in a period of very active seafloor spreading. The existence of 32.8 Ma marine sediment at the terminated depth (850 mcd) indicates that the initial breakup of the South China Sea (SCS) was probably during 34-33 Ma, close to the Eocene-Oligocene boundary. High sedimentation rates of 60-115 m/my from the much expanded, N350 m lower Oligocene section resulted from rifting and rapid subsidence between 33 and 29 Ma. The mid-Oligocene unconformity at ~28.5 Ma, which also occurred in many parts of the Indo-West Pacific region, was probably related to a significant uplift of the Himalayan-Tibetan Plateau to the west and the initial collision between Indonesia and Australia in the south. A narrowed Indonesian seaway may have accounted for the late Oligocene warming and chalk deposition in the northern South China Sea including the Site 1148 locality. The unconformities and slumps near the Oligocene-Miocene boundary indicate a very unstable tectonic regime, probably corresponding to changes in the rotation of different land blocks and the seafloor spreading ridge from nearly E-W to NE-SW, as recognized earlier at magnetic Anomaly 7. This 25 Ma event also saw the first New Guinea terrane docking at the northern Australian craton. The low sedimentation rate of ~15 m/my in the early to middle Miocene may correspond to another period of rapid seafloor spreading and rapid widespread subsidence that effectively caused sediment source areas to retreat with a rapidly rising sea level. The isostatic nature of these late Oligocene unconformities and slumps with several major collision-uplift events indicate that the rapid changes in the early evolutionary history of the South China Sea were mainly responding to regional tectonic reconfiguration including the uplift-driven southeast extrusion of the Indochina subcontinent.

Nitrogen cycling driven by organic matter export in the South Pacific oxygen minimum zone

Oxygen minimum zones are expanding globally, and at present account for around 20-40% of oceanic nitrogen loss. Heterotrophic denitrification and anammox-anaerobic ammonium oxidation with nitrite-are responsible for most nitrogen loss in these low-oxygen waters. Anammox is particularly significant in the eastern tropical South Pacific, one of the largest oxygen minimum zones globally. However, the factors that regulate anammox-driven nitrogen loss have remained unclear. Here, we present a comprehensive nitrogen budget for the eastern tropical South Pacific oxygen minimum zone, using measurements of nutrient concentrations, experimentally determined rates of nitrogen transformation and a numerical model of export production. Anammox was the dominant mode of nitrogen loss at the time of sampling. Rates of anammox, and related nitrogen transformations, were greatest in the productive shelf waters, and tailed off with distance from the coast. Within the shelf region, anammox activity peaked in both upper and bottom waters. Overall, rates of nitrogen transformation, including anammox, were strongly correlated with the export of organic matter. We suggest that the sinking of organic matter, and thus the release of ammonium into the water column, together with benthic ammonium release, fuel nitrogen loss from oxygen minimum zones.

Including hardware/software co-design in the ASSERT model driven engineering process.

Abstract. The ASSERT project de?ned new software engineering methods and tools for the development of critical embedded real-time systems in the space domain. The ASSERT model-driven engineering process was one of the achievements of the project and is based on the concept of property- preserving model transformations. The key element of this process is that non-functional properties of the software system must be preserved during model transformations. Properties preservation is carried out through model transformations compliant with the Ravenscar Pro?le and provides a formal basis to the process. In this way, the so-called Ravenscar Computational Model is central to the whole ASSERT process. This paper describes the work done in the HWSWCO study, whose main objective has been to address the integration of the Hardware/Software co-design phase in the ASSERT process. In order to do that, non-functional properties of the software system must also be preserved during hardware synthesis. Keywords : Ada 2005, Ravenscar pro?le, Hardware/Software co-design, real- time systems, high-integrity systems, ORK

Including functional usability features in a Model-Driven Development Method

The Software Engineering (SE) community has historically focused on working with models to represent functionality and persistence, pushing interaction modelling into the background, which has been covered by the Human Computer Interaction (HCI) community. Recently, adequately modelling interaction, and specifically usability, is being considered as a key factor for success in user acceptance, making the integration of the SE and HCI communities more necessary. If we focus on the Model-Driven Development (MDD) paradigm, we notice that there is a lack of proposals to deal with usability features from the very first steps of software development process. In general, usability features are manually implemented once the code has been generated from models. This contradicts the MDD paradigm, which claims that all the analysts? effort must be focused on building models, and the code generation is relegated to model to code transformations. Moreover, usability features related to functionality may involve important changes in the system architecture if they are not considered from the early steps. We state that these usability features related to functionality can be represented abstractly in a conceptual model, and their implementation can be carried out automatically.

Towards a model-driven engineering approach of data mining

Nowadays, data mining is based on low-level specications of the employed techniques typically bounded to a specic analysis platform. Therefore, data mining lacks a modelling architecture that allows analysts to consider it as a truly software-engineering process. Here, we propose a model-driven approach based on (i) a conceptual modelling framework for data mining, and (ii) a set of model transformations to automatically generate both the data under analysis (via data-warehousing technology) and the analysis models for data mining (tailored to a specic platform). Thus, analysts can concentrate on the analysis problem via conceptual data-mining models instead of low-level programming tasks related to the underlying-platform technical details. These tasks are now entrusted to the model-transformations scaffolding.

Integrating the development of data mining and data warehouses via model-driven engineering

Data mining is one of the most important analysis techniques to automatically extract knowledge from large amount of data. Nowadays, data mining is based on low-level specifications of the employed techniques typically bounded to a specific analysis platform. Therefore, data mining lacks a modelling architecture that allows analysts to consider it as a truly software-engineering process. Bearing in mind this situation, we propose a model-driven approach which is based on (i) a conceptual modelling framework for data mining, and (ii) a set of model transformations to automatically generate both the data under analysis (that is deployed via data-warehousing technology) and the analysis models for data mining (tailored to a specific platform). Thus, analysts can concentrate on understanding the analysis problem via conceptual data-mining models instead of wasting efforts on low-level programming tasks related to the underlying-platform technical details. These time consuming tasks are now entrusted to the model-transformations scaffolding. The feasibility of our approach is shown by means of a hypothetical data-mining scenario where a time series analysis is required.

Incremental model transformation for the evolution of model-driven systems

Model transformations are an integral part of model-driven development. Incremental updates are a key execution scenario for transformations in model-based systems, and are especially important for the evolution of such systems. This paper presents a strategy for the incremental maintenance of declarative, rule-based transformation executions. The strategy involves recording dependencies of the transformation execution on information from source models and from the transformation definition. Changes to the source models or the transformation itself can then be directly mapped to their effects on transformation execution, allowing changes to target models to be computed efficiently. This particular approach has many benefits. It supports changes to both source models and transformation definitions, it can be applied to incomplete transformation executions, and a priori knowledge of volatility can be used to further increase the efficiency of change propagation.

Verifying metamodel coverage of model transformations

Since the object management group (OMG) commenced its model driven architecture (MDA) initiative, there has been considerable activity proposing and building automatic model transformation systems to help implement the MDA concept. Much less attention has been given to the need to ensure that model transformations generate the intended results. This paper explores one aspect of validation and verification for MDA: coverage of the source and/or target metamodels by a set of model transformations. The paper defines the property of metamodel coverage and some corresponding algorithms. This property helps the user assess which parts of a source (or target) metamodel are referenced by a given model transformation set. Some results are presented from a prototype implementation that is built on the eclipse modeling framework (EMF).

Combining data driven programming with component based software development:with applications in geovisualisation and dynamic data driven application systems

Software development methodologies are becoming increasingly abstract, progressing from low level assembly and implementation languages such as C and Ada, to component based approaches that can be used to assemble applications using technologies such as JavaBeans and the .NET framework. Meanwhile, model driven approaches emphasise the role of higher level models and notations, and embody a process of automatically deriving lower level representations and concrete software implementations. The relationship between data and software is also evolving. Modern data formats are becoming increasingly standardised, open and empowered in order to support a growing need to share data in both academia and industry. Many contemporary data formats, most notably those based on XML, are self-describing, able to specify valid data structure and content, and can also describe data manipulations and transformations. Furthermore, while applications of the past have made extensive use of data, the runtime behaviour of future applications may be driven by data, as demonstrated by the field of dynamic data driven application systems. The combination of empowered data formats and high level software development methodologies forms the basis of modern game development technologies, which drive software capabilities and runtime behaviour using empowered data formats describing game content. While low level libraries provide optimised runtime execution, content data is used to drive a wide variety of interactive and immersive experiences. This thesis describes the Fluid project, which combines component based software development and game development technologies in order to define novel component technologies for the description of data driven component based applications. The thesis makes explicit contributions to the fields of component based software development and visualisation of spatiotemporal scenes, and also describes potential implications for game development technologies. The thesis also proposes a number of developments in dynamic data driven application systems in order to further empower the role of data in this field.

3D considerations for motion perception and visuomotor transformations

Moving through a stable, three-dimensional world is a hallmark of our motor and perceptual experience. This stability is constantly being challenged by movements of the eyes and head, inducing retinal blur and retino-spatial misalignments for which the brain must compensate. To do so, the brain must account for eye and head kinematics to transform two-dimensional retinal input into the reference frame necessary for movement or perception. The four studies in this thesis used both computational and psychophysical approaches to investigate several aspects of this reference frame transformation. In the first study, we examined the neural mechanism underlying the visuomotor transformation for smooth pursuit using a feedforward neural network model. After training, the model performed the general, three-dimensional transformation using gain modulation. This gave mechanistic significance to gain modulation observed in cortical pursuit areas while also providing several testable hypotheses for future electrophysiological work. In the second study, we asked how anticipatory pursuit, which is driven by memorized signals, accounts for eye and head geometry using a novel head-roll updating paradigm. We showed that the velocity memory driving anticipatory smooth pursuit relies on retinal signals, but is updated for the current head orientation. In the third study, we asked how forcing retinal motion to undergo a reference frame transformation influences perceptual decision making. We found that simply rolling one's head impairs perceptual decision making in a way captured by stochastic reference frame transformations. In the final study, we asked how torsional shifts of the retinal projection occurring with almost every eye movement influence orientation perception across saccades. We found a pre-saccadic, predictive remapping consistent with maintaining a purely retinal (but spatially inaccurate) orientation perception throughout the movement. Together these studies suggest that, despite their spatial inaccuracy, retinal signals play a surprisingly large role in our seamless visual experience. This work therefore represents a significant advance in our understanding of how the brain performs one of its most fundamental functions.

Exploring redox-driven self-assembly of mixed metal polyoxometalates

How can we control the experimental conditions towards the isolation of specific structures? Why do particular architectures form? These are some challenging questions that synthetic chemists try to answer, specifically within polyoxometalate (POM) chemistry, where there is still much unknown regarding the synthesis of novel molecular structures in a controlled and predictive manner. This work covers a wide range of POM chemistry, exploring the redox self-assembly of polyoxometalate clusters, using both “one-pot”, flow and hydrothermal conditions. For this purpose, different vanadium, molybdenum and tungsten reagents, heteroatoms, inorganic salts and reducing agents have been used. The template effect of lone-pair containing pyramidal heteroatoms has been investigated. Efforts to synthesize new POM clusters displaying pyramidal heteroanions (XO32-, where X= S, Se, Te, P) are reported. The reaction of molybdenum with vanadium in the presence of XO32- heteroatoms is explored, showing how via the cation and experimental control it is possible to direct the self-assembly process and to isolate isostructural compounds. A series of four isostructural (two new, namely {Mo11V7P} and {Mo11V7Te} and two already known, namely {Mo11V7Se} and {Mo11V7S} disordered egg-shaped Polyoxometalates have been reported. The compounds were characterized by X-ray structural analysis, TGA, UV-Vis, FT-IR, Elemental and Flame Atomic Absorption Spectroscopy (FAAS) analysis and Inductively Coupled Plasma Optical Emission Spectroscopy (ICP-OES). Cyclic Voltammetry measurements have been carried out in all four compounds showing the effect of the ionic density of the heteroatom on the potential. High-Resolution ESI-MS studies have revealed that the structures retain their integrity in solution. Efforts to synthesize new mixed-metal compounds led to isolation, structural, and electronic characterization of the theoretically predicted, but experimentally elusive δ-isomer of the Keggin polyoxometalate cluster anion, {H2W4V9O33(C6H13NO3)}, by the reaction of tungstate(VI) and vanadium(V) with triethanolammonium ions (TEAH), acting as a tripodal ligand grafted to the surface of the cluster. Control experiments (in the absence of the organic compound) have proven that the tripodal ligand plays crucial role on the formation of the isomer. The six vanadium metal centres, which consist the upper part of the cluster, are bonded to the “capping” TEA tripodal ligand. This metal-ligand bonding directs and stabilises the formation of the final product. The δ-Keggin species was characterized by single-crystal X-ray diffraction, FT-IR, UV-vis, NMR and ESI-MS spectrometry. Electronic structure and structure-stability correlations were evaluated by means of DFT calculations. The compounds exhibited photochromic properties by undergoing single-crystal-to-single-crystal (SC-SC) transformations and changing colour under light. Non-conventional synthetic approaches are also used for the synthesis of the POM clusters comparing the classical “one-pot” reaction conditions and exploring the synthetic parameters of the synthesis of POM compounds. Reactions under hydrothermal and flow conditions, where single crystals that depend on the solubility of the minerals under hot water and high pressure can be synthesized, resulted in the isolation of two isostructural compounds, namely, {Mo12V3Te5}. The compound isolated from a continuous processing method, crystallizes in a hexagonal crystal system, forming a 2D porous plane net, while the compound isolated using hard experimental conditions (high temperature and pressure) crystallizes in monoclinic system, resulting in a different packing configuration. Utilizing these alternative synthetic approaches, the most kinetically and thermodynamically compounds would possibly be isolated. These compounds were characterised by single-crystal X-ray diffraction, FT-IR and UV-vis spectroscopy. Finally, the redox-controlled driven oscillatory template exchange between phosphate (P) and vanadate (V) anions enclosed in an {M18O54(XO4)2} cluster is further investigated using UV-vis spectroscopy as a function of reaction time, showed that more than six complete oscillations interconverting the capsule species present in solution from {P2M18} to {V2M18} were possible, provided that a sufficient concentration of the TEA reducing agent was present in solution. In an effort to investigate the periodicity of the exchange of the phosphate and vanadate anions, time dependent Uv-vis measurements were performed for a period at a range of 170-550 hours. Different experimental conditions were also applied in order to investigate the role of the reducing agent, as well as the effect of other experimental variables on the oscillatory system.

Modernizing Secure OLAP Applications with a Model-Driven Approach

The majority of the organizations store their historical business information in data warehouses which are queried to make strategic decisions by using online analytical processing (OLAP) tools. This information has to be correctly assured against unauthorized accesses, but nevertheless there are a great amount of legacy OLAP applications that have been developed without considering security aspects or these have been incorporated once the system was implemented. This work defines a reverse engineering process that allows us to obtain the conceptual model corresponding to a legacy OLAP application, and also analyses and represents the security aspects that could have established. This process has been aligned with a model-driven architecture for developing secure OLAP applications by defining the transformations needed to automatically apply it. Once the conceptual model has been extracted, it can be easily modified and improved with security, and automatically transformed to generate the new implementation.

Towards Distributed Model Transformations with LinTra

Performance and scalability of model transformations are becoming prominent topics in Model-Driven Engineering. In previous works we introduced LinTra, a platform for executing model transformations in parallel. LinTra is based on the Linda model of a coordination language and is intended to be used as a middleware where high-level model transformation languages are compiled. In this paper we present the initial results of our analyses on the scalability of out-place model-to-model transformation executions in LinTra when the models and the processing elements are distributed over a set of machines.

Extreme Harmonic Generation In Electrically Driven Spin Resonance.

We report the observation of multiple harmonic generation in electric dipole spin resonance in an InAs nanowire double quantum dot. The harmonics display a remarkable detuning dependence: near the interdot charge transition as many as eight harmonics are observed, while at large detunings we only observe the fundamental spin resonance condition. The detuning dependence indicates that the observed harmonics may be due to Landau-Zener transition dynamics at anticrossings in the energy level spectrum.