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.     

Detection of Multiple Blockages in Parallelized Microreactors

In a plant consisting of parallelized microreactors (MRs), the product quality is lowered because of a lack of flow uniformity among them when blockage occurs. It is not practical to install sensors in every MR from the viewpoint of cost when detecting the blocked MRs. In the previous study, the multiple blockage detection (MBD) method using a small number of sensors was proposed, but its performance became low when the number of sensors decreased. Here, the conventional algorithm for MBD is improved by considering the process behavior on blockage occurrence, and the effectiveness of the improved algorithm is demonstrated through a numerical case study. The effects of flow distributor types and sensor types on the MBD performance are numerically investigated.     

Stream-Based Data Sampling Mechanism for Process Object

Process object is the instance of process. Vertexes and edges are in the graph of process object. There are different types of the object itself and the associations between object. For the large-scale data, there are many changes reflected. Recently, how to find appropriate real-time data for process object becomes a hot research topic. Data sampling is a kind of finding c hanges o f p rocess o bjects. There i s r equirements f or s ampling to be adaptive to underlying distribution of data stream. In this paper, we have proposed a adaptive data sampling mechanism to find a ppropriate d ata t o m odeling. F irst o f all, we use concept drift to make the partition of the life cycle of process object. Then, entity community detection is proposed to find changes. Finally, we propose stream-based real-time optimization of data sampling. Contributions of this paper are concept drift, community detection, and stream-based real-time computing. Experiments show the effectiveness and feasibility of our proposed adaptive data sampling mechanism for process object.     

Deep Learning Based Process Analytics Model for Predicting Type 2 Diabetes Mellitus

Process analytics is one of the popular research domains that advanced in the recent years. Process analytics encompasses identification, monitoring, and improvement of the processes through knowledge extraction from historical data. The evolution of Artificial Intelligence (AI)-enabled Electronic Health Records (EHRs) revolutionized the medical practice. Type 2 Diabetes Mellitus (T2DM) is a syndrome characterized by the lack of insulin secretion. If not diagnosed and managed at early stages, it may produce severe outcomes and at times, death too. Chronic Kidney Disease (CKD) and Coronary Heart Disease (CHD) are the most common, long-term and life-threatening diseases caused by T2DM. Therefore, it becomes inevitable to predict the risks of CKD and CHD in T2DM patients. The current research article presents automated Deep Learning (DL)-based Deep Neural Network (DNN) with Adagrad Optimization Algorithm i.e., DNN-AGOA model to predict CKD and CHD risks in T2DM patients. The paper proposes a risk prediction model for T2DM patients who may develop CKD or CHD. This model helps in alarming both T2DM patients and clinicians in advance. At first, the proposed DNN-AGOA model performs data preprocessing to improve the quality of data and make it compatible for further processing. Besides, a Deep Neural Network (DNN) is employed for feature extraction, after which sigmoid function is used for classification. Further, Adagrad optimizer is applied to improve the performance of DNN model. For experimental validation, benchmark medical datasets were used and the results were validated under several dimensions. The proposed model achieved a maximum precision of 93.99%, recall of 94.63%, specificity of 73.34%, accuracy of 92.58%, and F-score of 94.22%. The results attained through experimentation established that the proposed DNN-AGOA model has good prediction capability over other methods.     

Transport Map sampling with PGD model reduction for fast dynamical Bayesian data assimilation

The motivation of this work is to address real-time sequential inference of parameters with a full Bayesian formulation. First, the proper generalized decomposition (PGD) is used to reduce the computational evaluation of the posterior density in the online phase. Second, Transport Map sampling is used to build a deterministic coupling between a reference measure and the posterior measure. The determination of the transport maps involves the solution of a minimization problem. As the PGD model is quasi-analytical and under a variable separation form, the use of gradient and Hessian information speeds up the minimization algorithm. Eventually, uncertainty quantification on outputs of interest of the model can be easily performed due to the global feature of the PGD solution over all coordinate domains. Numerical examples highlight the performance of the method.     

Supply chain planning and scheduling integration using Lagrangian decomposition in a knowledge management environment

The integration of planning and scheduling decisions in rigorous mathematical models usually results in large scale problems. In order to tackle the problem complexity, decomposition techniques based on duality and information flows between a master and a set of subproblems are widely applied. In this sense, ontologies improve information sharing and communication in enterprises and can even represent holistic mathematical models facilitating the use of analytic tools and providing higher flexibility for model building. In this work, we exploit this ontologies’ capability to address the optimal integration of planning and scheduling using a Lagrangian decomposition approach. Scheduling/planning sub-problems are created for each facility/supply chain entity and their dual solution information is shared by means of the ontological framework. Two case studies based on a STN representation of supply chain planning and scheduling models are presented to emphasize the advantages and limitations of the proposed approach.     

Precipitating spinel into precursor glass and its assistance in crystallization

The crystallization phenomena of spinel in CaO-MgO-Al₂O₃-SiO₂-Fe₂O₃ glass have received much attention due to the particular role in preparation of glass-ceramic materials, which represent an effective option to manage hazardous waste. In this study, both preliminary spinel and secondary spinel were precipitated in the precursor glass. The formation of these spinel was meticulously assessed by a combination of X-ray diffractometry and scanning electron microscopy. The structure of the microenvironment in the precursor glass was characterized by Raman spectrums. These advanced techniques highlight the potential for one-step crystallization of the glass. The investigation, which focused on one-step crystallization, demonstrated the growth of pyroxene on spinel accompanying a migration of chromium. The results also show the microstructure of the obtained glass-ceramic was very dependent on the heat-treat temperature. This study not only unambiguously reveals the precipitation mechanisms of spinel but also provides more documentation for one-step crystallization in the glass-ceramics field.     

Chloride migration in concrete with superabsorbent polymers

Superabsorbent polymers (SAP) can be used as a means for internal curing of concrete. In the present study, the development of transport properties of concrete with SAP is investigated. The chloride migration coefficient according to NT BUILD 492 is used as a measure of this. Twenty concrete mixtures are tested 7, 14, and 28 days after casting. The development of degree of hydration is followed for 20 corresponding paste mixtures.Both when SAP is added with extra water to compensate the SAP water absorption in fresh concrete and without extra water, the internal curing water held by SAP may contribute to increase the degree of hydration. No matter if SAP is added with or without extra water, it appears that the so-called gel space ratio can be used as a key parameter to link age and mixture proportions (water-to-cement ratio and SAP dosage) to the resulting chloride migration coefficient; the higher the volume of gel solid relative to the space available for it, the lower the chloride migration coefficient, because the pore system becomes more tortuous and the porosity becomes less.     

卤水井测试工艺研究

卤水井测试的最大技术难题是井筒结晶堵塞问题。为解决这个问题,以四川邛崃平落坝构造高浓度卤水井测试为例,从卤水组分、温度、流速及管材等方面,分析卤水井开采测试中结晶产生的影响因素;从卤水的化学性质出发,探讨工具防腐技术;结合现场应用效果,进一步优化管柱结构。