Process diagnostics using trace alignment: Opportunities, issues, and challenges

Business processes leave trails in a variety of data sources (e.g., audit trails, databases, and transaction logs). Hence, every process instance can be described by a trace, i.e., a sequence of events. Process mining techniques are able to extract knowledge from such traces and provide a welcome extension to the repertoire of business process analysis techniques. Recently, process mining techniques have been adopted in various commercial BPM systems (e.g., BPM|one, Futura Reflect, ARIS PPM, Fujitsu Interstage, Businesscape, Iontas PDF, and QPR PA). Unfortunately, traditional process discovery algorithms have problems dealing with less structured processes. The resulting models are difficult to comprehend or even misleading. Therefore, we propose a new approach based on trace alignment. The goal is to align traces in such a way that event logs can be explored easily. Trace alignment can be used to explore the process in the early stages of analysis and to answer specific questions in later stages of analysis. Hence, it complements existing process mining techniques focusing on discovery and conformance checking. The proposed techniques have been implemented as plugins in the ProM framework. We report the results of trace alignment on one synthetic and two real-life event logs, and show that trace alignment has significant promise in process diagnostic efforts.     

Synthesis of Nanocrystalline Lanthanum Strontium Manganite Powder by the Urea–Formaldehyde Polymer Gel Combustion Route

Nanocrystalline lanthanum strontium manganite (LSM) powder has been synthesized by combustion of a transparent gel obtained by the polymerization of methylol urea and urea in a solution containing La³⁺, Sr²⁺, and Mn²⁺ (LSM ions). Chemistry of the transparent urea–formaldehyde (UF) polymer gel formation and structure of the gel have been proposed such that the LSM ions act in between the growing UF polymer chains by interacting through NH, OH, and CO groups by co-ordination and prevent polymer self-assembly through inter-chain hydrogen bonding as evidenced from infrared spectrum. Thermally stable structures formed by the decomposition of UF polymer below 300°C undergo combustion in the presence of nitrate oxidant in a temperature range from 350°–450°C. A perovskite LSM phase has been formed by self-sustained combustion of the dried gel initiated with little kerosene. The powder obtained after deagglomeration and calcination at 600°C for 2 h has a D ₅₀ value of 0.19 μm, and the particles are aggregates of crystallites 10–25 nm in size.     

Choroidal neovascular membrane in Best's vitelliform macular dystrophy

The right eye of a 9-year-old white boy with Best's vitelliform macular dystrophy had an intact egg-yolk lesion and a retinal pigment epithelial defect superiorly, suggesting an early pseudohypopyon stage. The disruptive phase of the left eye showed subretinal hemorrhages, a "signet ring," and a subretinal neovascular membrane.     

Effect of fiber orientation on the structural behavior of FRP wrapped concrete cylinders

In this study, 27 concrete cylinders with a diameter of 152.4 and a height of 304.8 mm were prepared. Among them, 18 cylinders were wrapped using two layers of fiber reinforced polymer (FRP) with six fiber orientations; six cylinders were wrapped using four layers of FRP with fibers in axial or hoop direction only; the remaining three cylinders were used as control. The FRP used was E-glass fiber reinforced ultraviolet (UV) curing vinyl ester. Fifteen coupon specimens were prepared to experimentally determine the tensile strength of the FRP with fibers oriented at 0°, 45°, and 90° from the loading direction. Co-axial compression tests were conducted on the wrapped cylinders and control cylinders. The test results were compared with existing confinement models. It is found that the strength, ductility, and failure mode of FRP wrapped concrete cylinders depend on the fiber orientation and wall thickness. Fibers oriented at a certain angle in between the hoop direction and axial direction may result in strength lower than fibers along hoop or axial direction. A larger database is desired in order to refine the existing design-oriented confinement models.     

Interpretation of Temperature-Dependent Resistivity of La–Pb–MnO3: Role of Electron–Phonon Interaction

The present paper deals with the theoretical investigation of temperature-dependent resistivity of the perovskite manganites La_0.78Pb_0.22MnO_3-δ within the framework of the classical electron–phonon model of resistivity, i.e., the Bloch–Gruneisen model. Due to inherent acoustic (low-frequency) phonons (ω_ac) as well as high-frequency optical phonons (ω_op), the contributions to the electron–phonon resistivity have first been estimated. At low temperatures the acoustic phonons of the oxygen-breathing mode yield a relatively larger contribution to the resistivity as compared to the contribution of optical phonons. Furthermore, the nature of phonons changes around T = 215 K exhibiting a crossover from an acoustic to optical phonon regime with elevated temperature. The contribution to resistivity estimated by considering both phonons, i.e., ω_ac and ω_op, when subtracted from experimental data, infers a T^4.5 temperature dependence over most of the temperature range. Deduced T^4.5 temperature dependence of ρ_diff = [ρ_exp − {ρ₀ + ρ_e-ph( = ρ_ac + ρ_op)}] is justified in terms of electron–magnon scattering within the double exchange (DE) process. Within the proposed scheme, the present numerical analysis of temperature dependent resistivity shows similar results as those revealed by experiments     

Searching for points-to analysis

The points-to analysis problem is to find the pointer relationships that could arise during program execution. Many points-to analysis algorithms exist, each making a particular trade off between cost of the analysis and precision of the results. In this paper, we show how points-to analysis algorithms can be defined as transformed versions of an exact algorithm. We present a set of program transformations over a general program model and use them to define some existing points-to analysis algorithms. Doing so makes explicit the approximations involved in these algorithms. We also show how the transformations can be used to define new points-to analysis algorithms. Our transformations are generic and may be useful in the design of other program analysis algorithms.     

Influence of Liquid Phase Additives on Structural and Sintering Behaviour of Samarium Modified Lead Titanate Ceramics

The combination of metal oxides Bi₂O₃:Li₂O in a ratio 89:11 gives a eutectic with a melting point of ～680°C. Such a low melting point oxide combination creates a working liquid phase at a highly favorable temperature for use as a densification aid. A liquid—phase sintering aid incorporating Bi₂O₃ and Li₂O is presented which demonstrates not only a reduction in the required sintering temperature but also shows relatively higher ‘c/a’ ratio (tetragonality) of PbTiO₃ ceramics with no fragility of the samples. Detailed dilatometric investigations have been performed in order to study the dominant shrinkage mechanism in the present system. Besides acting as a liquid phase fluxing agent, Bi₂O₃/Li₂O also behave as Curie shifter, which decreases Curie temperature in lead titanate system. The Curie temperature has also been verified from the thermal expansion behavior of sintered specimens. The value of dielectric constant increases after poling which may be due to the dominance of 180° domain wall over 90°.     

Robust Algorithms for Object Localization

Model-based localization, the task of estimating an object's pose from sensed and corresponding model features, is a fundamental task in machine vision. Exact constant time localization algorithms have been developed for the case where the sensed features and the model features are the same type. Still, it is not uncommon for the sensed features and the model features to be of different types, i.e., sensed data points may correspond to model faces or edges. Previous localization approaches have handled different model and sensed features of different types via sampling and synthesizing virtual features to reduce the problem of matching features of dissimilar types to the problem of matching features of similar types. Unfortunately, these approaches may be suboptimal because they introduce artificial errors. Other localization approaches have reformulated object localization as a nonlinear least squares problem where the error is between the sensed data and model features in image coordinates (the Euclidean image error metric). Unfortunately, all of the previous approaches which minimized the Euclidean image error metric relied on gradient descent methods to find the global minima, and gradient descent methods may suffer from problems of local minima. In this paper, we describe an exact, efficient solution to the nonlinear least squares minimization problem based upon resultants, linear algebra, and numerical techniques. On a SPARC 20, our localization algorithm runs in a few microseconds for rectilinear polygonal models, a few milliseconds for generic polygonal models, and one second for generalized polygonal models (models composed of linear edges and circular arcs).     

Modeling Compression Behavior of Structured Geomaterials

The influence of the natural (or artificially induced) structure of a geomaterial on its compression behavior is investigated. An approach for modeling this influence for various structured geomaterials is proposed by using the disturbed state concept. An isotropic compression model is formulated on three basic assumptions. A special version of the proposed model is also described for situations where the compression is one-dimensional. The proposed compression model is used to simulate the behavior of a variety of structured geomaterials such as clays, sands, calcareous soils, clay-shale, soft rock, unsaturated soils, and soils artificially treated by adding chemical agents or mechanical reinforcement, and the model is evaluated on the basis of these simulations. A general discussion on the influence of the structure of geomaterials on their mechanical properties is also presented.     

Systems Development Strategy: A Component Based Approach, The Architecture

An architecture for building laboratory automation systems was developed using the component-based framework. The requirements to build a flexible and adaptable automation system were exemplified through the architectural design process. Existing tools and technologies facilitated the development of this scalable architecture. Several design patterns were used to model this architecture. The influence of these patterns on systems design and the impact of Unified Modeling Language on component and interface design was explored. Integration of the system components with the peripheral components to build an automated system is discussed with emphasis on run-time configuration and component reuse.