Type-safe two-level data transformation

A two-level data transformation consists of a type-level transformation of a data format coupled with value-level transformations of data instances corresponding to that format. Examples of two-level data transformations include XML schema evolution coupled with document migration, and data mappings used for interoperability and persistence. We provide a formal treatment of two-level data transformations that is type-safe in the sense that the well-formedness of the value-level transformations with respect to the type-level transformation is guarded by a strong type system. We rely on various techniques for generic functional programming to implement the formalization in Haskell. The formalization addresses various two-level transformation scenarios, covering fully automated as well as user-driven transformations, and allowing transformations that are information-preserving or not. In each case, two-level transformations are disciplined by one-step transformation rules and type-level transformations induce value-level transformations. We demonstrate an example hierarchical-relational mapping and subsequent migration of relational data induced by hierarchical format evolution.Fundação para a Ciência e a Tecnologia (FCT

NEUTRON-FLUX MEASUREMENTS IN A FLAT PLATE FUEL ELEMENT

The equipment and experiments performed to measure the thermal-neutron- flux distribution in a fuel assembly of an experimental loop mock-up of a gas:cooled reactor at the Battelle Research Reactor (BRR) are described. The loop was located adjacent to the core of the BRR and contained one fuel assermbly composed of seven flat fuel plates each containing approximately 29.5 g of U/sup 235/. The plates consisted of a core 0.050 in. thick of UO/sub 2/ dispersed in Type 347 stainless steel and clad on each side with 0.005 in. of Type 347 stainless steel. The measurements showed that with the present design of the loop system an average thermal-neutron flux of 4.09 x 1O/sup 12/ neutrons/(cm/sup 2/)(sec) or a power generation of 45 kw in the assembly can be conveniently obtained. The ratio of the peak thermal-neutron flux to average thermal flux in the entire element was found to be 1.87. At any horizontal cross section, thermal-flux depression from the edge of the element to the center of less than a factor of two was observed for the final loopcore arrangement. (auth

Type-safe evolution of spreadsheets

Lecture Notes in Computer Science Volume 6603, 2011Spreadsheets are notoriously error-prone. To help avoid the introduction of errors when changing spreadsheets, models that capture the structure and interdependencies of spreadsheets at a conceptual level have been proposed. Thus, spreadsheet evolution can be made safe within the confines of a model. As in any other model/instance setting, evolution may not only require changes at the instance level but also at the model level. When model changes are required, the safety of instance evolution can not be guarded by the model alone. We have designed an appropriate representation of spreadsheet models, including the fundamental notions of formulæand references. For these models and their instances, we have designed coupled transformation rules that cover specific spreadsheet evolution steps, such as the insertion of columns in all occurrences of a repeated block of cells. Each model-level transformation rule is coupled with instance level migration rules from the source to the target model and vice versa. These coupled rules can be composed to create compound transformations at the model level inducing compound transformations at the instance level. This approach guarantees safe evolution of spreadsheets even when models change.Supported by Fundac ao para a Ciencia e a Tecnologia, grant no. SFRH/BD/30231/2006. Supported by Fundac ao para a Ciencia e a Tecnologia, grant no. SFRH/BD/30215/2006. Work supported by the SSaaPP project, FCT contract no. PTDC/EIA-CCO/108613/200

Rapid assembly and rejuvenation of a large silicic magmatic system : insights from mineral diffusive profiles in the Kidnappers and Rocky Hill deposits, New Zealand.

The timescales over which magmas in large silicic systems are reactivated, assembled and stored remains a fundamental question in volcanology. To address this question, we study timescales from Fe–Mg interdiffusion in orthopyroxenes and Ti diffusion in quartz from the caldera-forming 1200 km3 Kidnappers and 200 km3 Rocky Hill eruptions from the Mangakino volcanic centre (Taupo Volcanic Zone, New Zealand). The two eruptions came from the same source area, have indistinguishable 40Ar/39Ar ages (∼1.0 Ma) and zircon U–Pb age spectra, but their respective deposits are separated by a short period of erosion. Compositions of pumice, glass and mineral species in the collective eruption deposits define multiple melt dominant bodies but indicate that these shared a common magmatic mush zone. Diffusion timescales from both eruptions are used to build on chemical and textural crystal signatures and interpret both the crystal growth histories and the timing of magma accumulation. Fe–Mg interdiffusion profiles in orthopyroxenes imply that the three melt-dominant bodies, established through extraction of melt and crystals from the common source, were generated within 600 years and with peak accumulation rates within 100 years of each eruption. In addition, a less-evolved melt interacted with the Kidnappers magma, beginning ∼30 years prior to and peaking within 3 years of the eruption. This interaction did not directly trigger the eruption, but may have primed the magmatic system. Orthopyroxene crystals with the same zoning patterns from the Kidnappers and Rocky Hill pumices yield consistently different diffusion timescales, suggesting a time break between the eruptions of ∼20 years (from core–rim zones) to ∼10 years (outer rim zones). Diffusion of Ti in quartz reveals similarly short timescales and magmatic residence times of <30 years, suggesting quartz is only recording the last period of crystallization within the final eruptible melt. Accumulation of the eruptible magma for these two, closely successive eruptions was accomplished over centuries to decades, in contrast to the gestation time of the magmatic system of ∼200 kyr, as indicated by zircon age patterns. The magmatic system was able to recover after the Kidnappers eruption in only ∼10–20 years to accumulate enough eruptible melt and crystals for a second ∼200 km3 eruption. Our data support concepts of large silicic systems being stored as long-lived crystal mushes, with eruptible melts generated over extraordinarily short timescales prior to eruption

Damping signatures in future neutrino oscillation experiments

We discuss the phenomenology of damping signatures in the neutrino oscillation probabilities, where either the oscillating terms or the probabilities can be damped. This approach is a possibility for tests of non-oscillation effects in future neutrino oscillation experiments, where we mainly focus on reactor and long-baseline experiments. We extensively motivate different damping signatures due to small corrections by neutrino decoherence, neutrino decay, oscillations into sterile neutrinos, or other mechanisms, and classify these signatures according to their energy (spectral) dependencies. We demonstrate, at the example of short baseline reactor experiments, that damping can severely alter the interpretation of results, e.g., it could fake a value of $\sin(2\theta_{13})$ smaller than the one provided by Nature. In addition, we demonstrate how a neutrino factory could constrain different damping models with emphasis on how these different models could be distinguished, i.e., how easily the actual non-oscillation effects could be identified. We find that the damping models cluster in different categories, which can be much better distinguished from each other than models within the same cluster.Comment: 33 pages, 5 figures, LaTeX. Final version published in JHE

Transforming data by calculation

Thispaperaddressesthefoundationsofdata-modeltransformation.A catalog of data mappings is presented which includes abstraction and representa- tion relations and associated constraints. These are justified in an algebraic style via the pointfree-transform, a technique whereby predicates are lifted to binary relation terms (of the algebra of programming) in a two-level style encompassing both data and operations. This approach to data calculation, which also includes transformation of recursive data models into “flat” database schemes, is offered as alternative to standard database design from abstract models. The calculus is also used to establish a link between the proposed transformational style and bidi- rectional lenses developed in the context of the classical view-update problem.Fundação para a Ciência e a Tecnologia (FCT

Generic point-free lenses

Lenses are one the most popular approaches to define bidirectional transformations between data models. A bidirectional transformation with view-update, denoted a lens, encompasses the definition of a forward transformation projecting concrete models into abstract views, together with a backward transformation instructing how to translate an abstract view to an update over concrete models. In this paper we show that most of the standard point-free combinators can be lifted to lenses with suitable backward semantics, allowing us to use the point-free style to define powerful bidirectional transformations by composition. We also demonstrate how to define generic lenses over arbitrary inductive data types by lifting standard recursion patterns, like folds or unfolds. To exemplify the power of this approach, we “lensify” some standard functions over naturals and lists, which are tricky to define directly “by-hand” using explicit recursion

Pointfree factorization of operation refinement

The standard operation refinement ordering is a kind of “meet of op- posites”: non-determinism reduction suggests “smaller” behaviour while increase of definition suggests “larger” behaviour. Groves’ factorization of this ordering into two simpler relations, one per refinement concern, makes it more mathe- matically tractable but is far from fully exploited in the literature. We present a pointfree theory for this factorization which is more agile and calculational than the standard set-theoretic approach. In particular, we show that factorization leads to a simple proof of structural refinement for arbitrary parametric types and ex- ploit factor instantiation across different subclasses of (relational) operation. The prospect of generalizing the factorization to coalgebraic refinement is discussedFundação para a Ciência e a Tecnologia (FCT) - PURE Project (Program Understanding and Re-engineering: Calculi and Applications), contract POSI/ICHS/44304/2002

Pre-M Phase-promoting Factor Associates with Annulate Lamellae in Xenopus Oocytes and Egg Extracts

We have used complementary biochemical and in vivo approaches to study the compartmentalization of M phase-promoting factor (MPF) in prophase Xenopus eggs and oocytes. We first examined the distribution of MPF (Cdc2/CyclinB2) and membranous organelles in high-speed extracts of Xenopus eggs made during mitotic prophase. These extracts were found to lack mitochondria, Golgi membranes, and most endoplasmic reticulum (ER) but to contain the bulk of the pre-MPF pool. This pre-MPF could be pelleted by further centrifugation along with components necessary to activate it. On activation, Cdc2/CyclinB2 moved into the soluble fraction. Electron microscopy and Western blot analysis showed that the pre-MPF pellet contained a specific ER subdomain comprising "annulate lamellae" (AL): stacked ER membranes highly enriched in nuclear pores. Colocalization of pre-MPF with AL was demonstrated by anti-CyclinB2 immunofluorescence in prophase oocytes, in which AL are positioned close to the vegetal surface. Green fluorescent protein-CyclinB2 expressed in oocytes also localized at AL. These data suggest that inactive MPF associates with nuclear envelope components just before activation. This association may explain why nuclei and centrosomes stimulate MPF activation and provide a mechanism for targeting of MPF to some of its key substrates