Model repair — aligning process models to reality

Process mining techniques relate observed behavior (i.e., event logs) to modeled behavior (e.g., a BPMN model or a Petri net). Process models can be discovered from event logs and conformance checking techniques can be used to detect and diagnose differences between observed and modeled behavior. Existing process mining techniques can only uncover these differences, but the actual repair of the model is left to the user and is not supported. In this paper we investigate the problem of repairing a process model w.r.t. a log such that the resulting model can replay the log (i.e., conforms to it) and is as similar as possible to the original model. To solve the problem, we use an existing conformance checker that aligns the runs of the given process model to the traces in the log. Based on this information, we decompose the log into several sublogs of non-fitting subtraces. For each sublog, either a loop is discovered that can replay the sublog or a subprocess is derived that is then added to the original model at the appropriate location. The approach is implemented in the process mining toolkit ProM and has been validated on logs and models from several Dutch municipalities.     

基于TMS320VC5410的最小系统设计

TMS320VC5410是TI公司生产的一款定点数字信号处理(DSP)芯片。基于DSP的最小系统是以其简洁的硬件结构来实现DSP的一般功能,广泛应用于工业生产、教学、科研、电子设计等领域。主要介绍了基于TMS320VC5410的最小系统硬件电路设计方案,阐述了重要电路部分的抗干扰设计和软件调试过程中应注意的若干问题。最后提出了简单易行的软件调试方法以及部分程序代码。     

带参数的一阶脉冲微分方程边值问题

利用上下解和单调迭代法。讨论了带参数的一阶脉冲微分方程。获得了单边Lipschitz条件下这类方程边值问题的解的存在性。     

合成氨中置锅炉的修复

本文在分析中置锅炉失效原因的基础上，提出了详细的修复措施，为类似情况的设备修复提供了借鉴。     

Bite and unconfirmed failures

Electronic BITE is poor at identifying hardware failure and in present design approaches tends to create the reviled ‘unconfirmed failure’. A different approach to BITE and unconfirmed failure could improve both operational performance and the cost of maintenance.     

The TDCPR Management Mode of Engineering Equipment

The Three Gorges Project is a very large project,and its structure is very complex.Interna-tional advanced engineering equipment is broadly used.The state of equipment running directly influ-ences project building qualities and limited time.According to the factud conditions of the Three Gor-ges Project,the characteristics of engineering equipment are analyzed.At the same time ,some theories about equipment management are induced ,and the TDCPR management mode of engineering equip-ment of the Three Gorges Project is put forwared in order to gain the aim of managing and using equip-ment well and speeding up the project construction.     

柳海矿运输大巷返修工程深部软岩支护设计研究

通过现场调查、室内试验以及理论分析,柳海矿运输大巷支护现状进行分析研究,总结破坏原因。根据现场工程地质条件、岩石特性和破坏特点,确定软岩变形力学机制为高应力膨胀性软岩,并提出采用预留刚隙柔层支护技术进行支护。     

链条锅炉的节能改造

本文针对株洲硬质合金厂SHL20—13—AII型20t蒸汽链条锅炉存在的问题，进行了节能改造，取得了显著的成效。     

Residual Stress Evolution in Repair Welds

Abstract: The aim of this paper is to study the influence of the repair procedure on the evolution of residual stress distribution in butt welds. C-Mn steel coupon plates of 11 mm thickness were prepared, subjected to stress relief heat treatment and welded with two beads, using the gas metal arc welding process. After the deposition of two weld beads, two successive repair welds were made on the middle length of the second bead. Longitudinal and transverse residual stresses were measured in the vicinity of the weld, after deposition of the two weld beads and after each repair weld. Residual stress evaluation was conducted using an X-ray diffraction method. The repair welds caused a decrease in magnitude of the initial longitudinal residual welding stresses, and an increase of the transverse residual stress magnitude, in tension at points within the repair length, and in compression at points outside the repair length.     

Experience with Applying Formal Methods to Protocol Specification and System Architecture

In the last three years or so we at Enterprise Platforms Group at Intel Corporation have been applying formal methods to various problems that arose during the process of defining platform architectures for Intel's processor families. In this paper we give an overview of some of the problems we have worked on, the results we have obtained, and the lessons we have learned. The last topic is addressed mainly from the perspective of platform architects.