28,209 research outputs found

    Recursion Aware Modeling and Discovery For Hierarchical Software Event Log Analysis (Extended)

    Get PDF
    This extended paper presents 1) a novel hierarchy and recursion extension to the process tree model; and 2) the first, recursion aware process model discovery technique that leverages hierarchical information in event logs, typically available for software systems. This technique allows us to analyze the operational processes of software systems under real-life conditions at multiple levels of granularity. The work can be positioned in-between reverse engineering and process mining. An implementation of the proposed approach is available as a ProM plugin. Experimental results based on real-life (software) event logs demonstrate the feasibility and usefulness of the approach and show the huge potential to speed up discovery by exploiting the available hierarchy.Comment: Extended version (14 pages total) of the paper Recursion Aware Modeling and Discovery For Hierarchical Software Event Log Analysis. This Technical Report version includes the guarantee proofs for the proposed discovery algorithm

    Trace element geochemistry of peridotites from the Izu-Bonin-Mariana Forearc, Leg 125

    No full text
    Trace element analyses (first-series transition elements, Ti, Rb, Sr, Zr, Y, Nb, and REE) were carried out on whole rocks and minerals from 10 peridotite samples from both Conical Seamount in the Mariana forearc and Torishima Forearc Seamount in the Izu-Bonin forearc using a combination of XRF, ID-MS, ICP-MS, and ion microprobe. The concentrations of incompatible trace elements are generally low, reflecting the highly residual nature of the peridotites and their low clinopyroxene content (n ratios in the range of 0.05-0.25; several samples show possible small positive Eu anomalies. LREE enrichment is common to both seamounts, although the peridotites from Conical Seamount have higher (La/Ce)n ratios on extended chondrite-normalized plots, in which both REEs and other trace elements are organized according to their incompatibility with respect to a harzburgitic mantle. Comparison with abyssal peridotite patterns suggests that the LREEs, Rb, Nb, Sr, Sm, and Eu are all enriched in the Leg 125 peridotites, but Ti and the HREEs exhibit no obvious enrichment. The peridotites also give positive anomalies for Zr and Sr relative to their neighboring REEs. Covariation diagrams based on clinopyroxene data show that Ti and the HREEs plot on an extension of an abyssal peridotite trend to more residual compositions. However, the LREEs, Rb, Sr, Sm, and Eu are displaced off this trend toward higher values, suggesting that these elements were introduced during an enrichment event. The axis of dispersion on these plots further suggests that enrichment took place during or after melting and thus was not a characteristic of the lithosphere before subduction. Compared with boninites sampled from the Izu-Bonin-Mariana forearc, the peridotites are significantly more enriched in LREEs. Modeling of the melting process indicates that if they represent the most depleted residues of the melting events that generated forearc boninites they must have experienced subsolidus enrichment in these elements, as well as in Rb, Sr, Zr, Nb, Sm, and Eu. The lack of any correlation with the degree of serpentinization suggests that low-temperature fluids were not the prime cause of enrichment. The enrichment in the high-field-strength elements also suggests that at least some of this enrichment may have involved melts rather than aqueous fluids. Moreover, the presence of the hydrous minerals magnesio-hornblende and tremolite and the common resorption of orthopyroxene indicate that this high-temperature peridotite-fluid interaction may have taken place in a water-rich environment in the forearc following the melting event that produced the boninites. The peridotites from Leg 125 may therefore contain a record of an important flux of elements into the mantle wedge during the initial formation of forearc lithosphere. Ophiolitic peridotites with these characteristics have not yet been reported, perhaps because the precise equivalents to the serpentinite seamounts have not been analyzed

    The Magellanic Bridge: The Nearest Purely Tidal Stellar Population

    Get PDF
    We report on observations of the stellar populations in twelve fields spanning the region between the Magellanic Clouds, made with the Mosaic-II camera on the 4-meter telescope at the Cerro-Tololo Inter-American Observatory. The two main goals of the observations are to characterize the young stellar population (which presumably formed in situ in the Bridge and therefore represents the nearest stellar population formed from tidal debris), and to search for an older stellar component (which would have been stripped from either Cloud as stars, by the same tidal forces which formed the gaseous Bridge). We determine the star-formation history of the young inter-Cloud population, which provides a constraint on the timing of the gravitational interaction which formed the Bridge. We do not detect an older stellar population belonging to the Bridge in any of our fields, implying that the material that was stripped from the Clouds to form the Magellanic Bridge was very nearly a pure gas.Comment: 19 pages, 9 figures. Accepted to Ap

    Petri nets for systems and synthetic biology

    Get PDF
    We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which uni¯es the qualita- tive, stochastic and continuous paradigms. Each perspective adds its con- tribution to the understanding of the system, thus the three approaches do not compete, but complement each other. We illustrate our approach by applying it to an extended model of the three stage cascade, which forms the core of the ERK signal transduction pathway. Consequently our focus is on transient behaviour analysis. We demonstrate how quali- tative descriptions are abstractions over stochastic or continuous descrip- tions, and show that the stochastic and continuous models approximate each other. Although our framework is based on Petri nets, it can be applied more widely to other formalisms which are used to model and analyse biochemical networks

    A Holistic Approach in Embedded System Development

    Full text link
    We present pState, a tool for developing "complex" embedded systems by integrating validation into the design process. The goal is to reduce validation time. To this end, qualitative and quantitative properties are specified in system models expressed as pCharts, an extended version of hierarchical state machines. These properties are specified in an intuitive way such that they can be written by engineers who are domain experts, without needing to be familiar with temporal logic. From the system model, executable code that preserves the verified properties is generated. The design is documented on the model and the documentation is passed as comments into the generated code. On the series of examples we illustrate how models and properties are specified using pState.Comment: In Proceedings F-IDE 2015, arXiv:1508.0338

    An Approach to Assess Solder Interconnect Degradation Using Digital Signal

    Get PDF
    Department of Human and Systems EngineeringDigital signals used in electronic systems require reliable data communication. It is necessary to monitor the system health continuously to prevent system failure in advance. Solder joints in electronic assemblies are one of the major failure sites under thermal, mechanical and chemical stress conditions during their operation. Solder joint degradation usually starts from the surface where high speed signals are concentrated due to the phenomenon referred to as the skin effect. Due to the skin effect, high speed signals are sensitive when detecting the early stages of solder joint degradation. The objective of the thesis is to assess solder joint degradation in a non-destructive way based on digital signal characterization. For accelerated life testing the stress conditions were designed in order to generate gradual degradation of solder joints. The signal generated by a digital signal transceiver was travelling through the solder joints to continuously monitor the signal integrity under the stress conditions. The signal properities were obtained by eye parameters and jitter, which represented the characteristics of the digital signal in terms of noise and timing error. The eye parameters and jitter exhibited significant increase after the exposure of the solder joints to the stress conditions. The test results indicated the deterioration of the signal integrity resulted from the solder joint degradation, and proved that high speed digital signals could serve as a non-destructive tool for sensing physical degradation. Since this approach is based on the digital signals used in electronic systems, it can be implemented without requiring additional sensing devices. Furthermore, this approach can serve as a proactive prognostic tool, which provides real-time health monitoring of electronic systems and triggers early warning for impending failure.ope

    Shoshonitic enclaves in the high Sr/Y Nyemo pluton, southern Tibet: Implications for Oligocene magma mixing and the onset of extension of the southern Lhasa terrane

    Get PDF
    Post-collisional potassic and high Sr/Y magmatism in the Lhasa terrane provides critical constraints on the timing and mechanism of subduction of Indian lithosphere and its role in the uplift of the Tibetan Plateau. Here, we report whole-rock geochemistry, mineral geochemistry, zircon U Pb ages, and in situ zircon Hf isotope ratios for the Nyemo pluton, a representative example of such magmatism. The Nyemo pluton is composed of high Sr/Y host rocks and coeval shoshonitic mafic microgranular enclaves (MMEs). Whole-rock compositions of the host rocks and MMEs form linear trends in Harker diagrams, consistent with modification of both end-members by magma mixing. Although the main high Sr/Y phase of the pluton formed by partial melting of the lower crust of the thickened Lhasa terrane, the MMEs display abnormally enriched light rare earth elements, low whole-rock ε_(Nd)(t) and low zircon ε_(Hf)(t) that suggest derivation from low degree melting of hydrous and enriched mantle. Based on the occurrence of shoshonitic magma and high La/Yb and high Sr/Y with adakitic affinity host rocks around 30 Ma, the Nyemo pluton is best explained as a record of onset of extension that resulted from convective removal of the mantle lithosphere beneath Tibet in the Oligocene
    corecore