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.     

An overview on fault diagnosis and nature-inspired optimal control of industrial process applications

Fault detection, isolation and optimal control have long been applied to industry. These techniques have proven various successful theoretical results and industrial applications. Fault diagnosis is considered as the merge of fault detection (that indicates if there is a fault) and fault isolation (that determines where the fault is), and it has important effects on the operation of complex dynamical systems specific to modern industry applications such as industrial electronics, business management systems, energy, and public sectors. Since the resources are always limited in real-world industrial applications, the solutions to optimally use them under various constraints are of high actuality. In this context, the optimal tuning of linear and nonlinear controllers is a systematic way to meet the performance specifications expressed as optimization problems that target the minimization of integral- or sum-type objective functions, where the tuning parameters of the controllers are the vector variables of the objective functions. The nature-inspired optimization algorithms give efficient solutions to such optimization problems. This paper presents an overview on recent developments in machine learning, data mining and evolving soft computing techniques for fault diagnosis and on nature-inspired optimal control. The generic theory is discussed along with illustrative industrial process applications that include a real liquid level control application, wind turbines and a nonlinear servo system. New research challenges with strong industrial impact are highlighted.     

A novel approach to adaptive relational association rule mining

The paper focuses on the adaptive relational association rule mining problem. Relational association rules represent a particular type of association rules which describe frequent relations that occur between the features characterizing the instances within a data set. We aim at re-mining an object set, previously mined, when the feature set characterizing the objects increases. An adaptive relational association rule method, based on the discovery of interesting relational association rules, is proposed. This method, called ARARM (Adaptive Relational Association Rule Mining) adapts the set of rules that was established by mining the data before the feature set changed, preserving the completeness. We aim to reach the result more efficiently than running the mining algorithm again from scratch on the feature-extended object set. Experiments testing the method's performance on several case studies are also reported. The obtained results highlight the efficiency of the ARARM method and confirm the potential of our proposal.     

Geothermal energy utilization trends from a technological paradigm perspective

The use of geothermal energy and its associated technologies has been increasing worldwide. However, there has been little paradigmatic research conducted in this area. This paper proposes a systematic methodology to research the development trends for the sustainable development of geothermal energy. A novel data analysis system was created to research the geothermal energy utilization trends, and a technological paradigm theory was adopted to explain the technological changes. A diffusion velocity model was used to simulate and forecast the geothermal power generation development in the diffusion phase. Simulation results showed that the development of installed capacity for geothermal generation had a strong inertia force along with the S-curve. Power generation from geothermal power sources reached a peak in 2008 and is estimated to be saturated by 2030. Geothermal energy technologies in hybrid power systems based on other renewable energy sources look to be more promising in the future.     

乐滩灌区输水隧洞穿合山煤矿采空区处理设计

分析了乐滩灌区工程北干渠溯河隧洞段长约1.06 km穿合山煤矿采空区的地质情况.借鉴高速公路煤矿采空区的成功处理经验,通过科学分析,对采空区变形和区域内覆岩的稳定性做了评价,论述了输水线路穿采空区段采取全充填压力注浆法的工程处理方法.     

浅析高校新校区选址主要影响因素

从政策、城市与区域规划、环境、文化及其传承因素、基础设施等方面探析了高校新校区选址有关的主要影响因素，以满足高等学校大规模的扩建要求，促进高等教育的发展。     

面积坐标法构造含转角自由度的四结点膜元

以四边形面积坐标作为工具,构造了两个含转角自由度的广义协调四边形单元AQ4和lAQ4。它们通过强式分片检验,与同类单元相比,具有很高的计算精度,能消除梯形闭锁现象,有很强的抗网格畸变的能力。     

Chemische Zusammensetzung und Mikrostruktur polymerabgeleiteter Gläser und Keramiken im System Si–C–O. Teil 2: Charakterisierung der Gefügeausbildung mittels hochauflösender Durchstrahlungselektronenmikroskopie und Feinbereichsbeugung

Chemical Composition and Microstructure of Polymer‐Derived Glasses and Ceramics in the Si–C–O System. Part 2: Characterization of microstructure formation by means of high‐resolution transmission electron microscopy and selected area diffraction Liquid or solid silicone resins represent the economically most interesting class of organic precursors for the pyrolytic production of glass and ceramics materials on silicon basis. As dense, dimensionally stable components can be cost‐effectively achieved by admixing reactive filler powders, chemical composition and microstructure development of the polymer‐derived residues must be exactly known during thermal decomposition. Thus, in the present work, glasses and ceramics produced by pyrolysis of the model precursor polymethylsiloxane at temperatures from 525 to 1550 °C are investigated. In part 1, by means of analytical electron microscopy, the bonding state of silicon was determined on a nanometre scale and the phase separation of the metastable Si–C–O matrix into SiO₂, C and SiC was proved. The in‐situ crystallization could be considerably accelerated by adding fine‐grained powder of inert fillers, such as Al₂O₃ or SiC, which permits effective process control. In part 2, the microstructure is characterized by high‐resolution transmission electron microscopy and selected area diffraction. Turbostratic carbon and cubic β‐SiC precipitate as crystallization products. Theses phases are embedded in an amorphous matrix. Inert fillers reduce the crystallization temperature by several hundred °C. In this case, the polymer‐derived Si–C–O material acts as a binding agent between the powder particles. Reaction layer formation does not occur. On the investigated pyrolysis conditions, no crystallization of SiO₂ was observed.     

USERS' TWO-DIMENSIONAL INTEREST AND ITS STORAGE METHOD

The users' interest can be mined from the web cache and can be used widely. The interest can be specialized by the two-tuple (term, weight) in the simple interest model, in which the association relations are not mined, and then the interest cannot be associated in expressing the users' interest. Based on analyzing the WWW cache model, this letter brings forward a two-dimensional interest model and gives the interrelated methods on how to store the two-dimensional interest model effectively.     

利用TM资料测量毛乌素沙地面积的方法和结果

利用1:25万陆地卫星TM资料和地形图，在GIS支持下，建立毛乌素沙地图形数据库，对毛乌素沙地目前流沙分布的范围进行了调查研究。重.资、介绍了利用陆地卫星TM资料对毛乌素沙地的面积进行测童计算的技术和方法，给出了最新测贡得到的毛乌素沙地全区总面积和分布于各旗县的沙地面积数据。