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

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

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

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

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

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

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

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

Snow model verification using ensemble prediction and operational benchmarks

Hydrologic model evaluations have traditionally focused on measuring how closely the model can simulate various characteristics of historical observations. Although advancing hydrologic forecasting is an often-stated goal of numerous modeling studies, testing in a forecasting mode is seldom undertaken, limiting information derived from these analyses. One can overcome this limitation through generation, and subsequent analysis, of ensemble hindcasts. In this study, long-range ensemble hindcasts are generated for the available period of record for a basin in southwestern Idaho for the purpose of evaluating the Snow-Atmosphere-Soil Transfer (SAST) model against the current operational benchmark, the National Weather Service's (NWS) snow accumulation and ablation model SNOW17. Both snow models were coupled with the NWS operational rainfall runoff model and ensembles of seasonal discharge and weekly snow water equivalent (SWE) were evaluated. Ensemble predictions from both the SAST and SNOW17 models were better than climatology forecasts, for the period studied. In most cases, the accuracy of the SAST-generated predictions was similar to the SNOW17-generated predictions, except during periods of significant melting. Differences in model performance are partially attributed to initial condition errors. After updating the SWE state in the snow models with the observed SWE, the forecasts were improved during the first 2-4 weeks of the forecast window and the skills were essentially equal in both forecasting systems for the study watershed. Climate dominated the forecast uncertainty in the latter part of the forecast window while initial conditions controlled the forecast skill in the first 3-4 weeks of the forecast. The use of hindcasting in the snow model analysis revealed that, given the dominance of the initial conditions on forecast skill, streamflow predictions will be most improved through the use of state updating. © 2008 American Meteorological Society