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.     

Global optimization for power dispatch problems based on theory of moments

Non-convex of an optimal power dispatch problem makes it difficult to guarantee the global optimum. This paper presents a convex relaxation approach, called the Moment Semidefinite Programming (MSDP) method, to facilitate the search for deterministic global optimal solutions. The method employs a sequence of moments, which can linearize polynomial functions and construct positive semidefinite moment matrices, to form an SDP convex relaxation for power dispatch problems. In particular, the rank of the moment matrix is used as a sufficient condition to ensure the global optimality. The same condition can also be leveraged to estimate the number of global optimal solution(s). This method is effectively applied to {0,1}-economic dispatch (ED) problems and optimal power flow (OPF) problems. Simulation results showed that the MSDP method is capable of solving {0,1}-ED problems with integer values directly, and is able to identify if more than one global optimal solutions exist. In additional, the method can obtain rank-1 moment matrices for OPF’s counterexamples of existing SDP method, this ensures the global solution and overcomes the problem that existing SDP method cannot meet the rank-1 condition sometimes.     

测量二次电子空间分布特征矩阵法的有效性分析

为了准确测量不同材料在实际环境中的二次电子空间分布，设计了一种新型的二次电子发射空间分布测量结构，给出了实验测量原理，用求解特征矩阵的方法对实验结果进行处理，得到了所需的二次电子空间分布。通过模拟计算对该测量方法进行了校验，模拟结果与假设二次电子空间分布函数相吻合，表明该测量方法可靠、测量精度高，为后续样机研制奠定了理论基础。     

陈四楼煤矿“123456双重预防体系”的建设与应用

针对煤矿“双重预防体系”如何落地生根问题，结合陈四楼煤矿在风险分级管控和隐患排查治理方面的实用方法和“双重预防体系”的建设经验，深入研究了“双重预防体系”的相关标准、风险隐患事故之间的关系及其各自的产生和发展机理、安全风险的有关辨识评估方法、事故隐患的排查和治理方法，分析了传统安全管理模式与“双重预防体系”的新型安全管理模式的差别，总结出了“123456双重预防体系”这个囊括了事前安全风险辨识、事中隐患排查治理、事后安全现状评估的创新成果，实现了“事前、事中、事后”的全过程控制，对夯实煤矿安全管理根基、促进矿井平稳有序发展发挥着越来越重要的作用，为煤炭行业“双重预防体系”的落地生根提供了借鉴和参考。     

Entry into force of the UN Watercourses Convention: why should it matter?

The United Nations Watercourses Convention entered into force on 17 August 2014, following a long and complex journey that dates back to 1970 when the UN referred the matter to its legal arm, the International Law Commission. This article follows the Convention through that long and turbulent road, examines its main provisions and analyses the reasons for the delay of its entry into force. It concludes by answering the question of why entry into force of the Convention should indeed matter.     

青年医学工作者科普能力培养新模式

为了培养青年医师运用医学科普语言传播医学知识的能力，向社会提供更优质、可及的健康知识，改善医患关系，促进社会和谐；同时出于向社区、媒体推送一批优秀青年医学科普人才的考虑，本文在总结北京协和医院培养青年医务人员医学科普能力经验的基础上，尝试构建一套适合大型公立医院（尤其是教学医院）培养青年医务人员医学科普能力的新模式——“科普训练营”。本文旨在系统介绍该模式的产生背景、实践经验及初期效果，阐释实施后的重要意义，及实施过程中的挑战与应对策略。     

新型低GWP高温热泵工质HFO-1234ze(Z)的研究进展

高温热泵可以有效回收工业余热，达到节能减排和保护环境的目的。目前，有关高温热泵技术的研究热点在于寻找一种全球变暖潜能值(GWP)低、使用性能良好的工质，以替代现有CFC-114、HFC-245fa工质。对新型环境友好型工质HFO-1234ze(Z)进行了综述，其GWP＜1，临界温度高于423 K，是一种潜在的高温热泵替代工质。总结了近年来国内外学者对HFO-1234ze(Z)的合成技术、热力学性质、输运性质、传热性能等方面的研究，并分析了HFO-1234ze(Z)在高温热泵系统中应用的可行性，认为HFO-1234ze(Z)在高温热泵中具有较好的工作性能和发展前景。     

无失效数据机载多余度EWIS可靠性研究

针对高可靠度机载多余度EWIS各组成部分寿命服从指数分布但参数未知的情况，提出采用无失效数据可靠度分析方法评估EWIS的可靠度水平。通过Monte-Carlo仿真方法对连接形式为“先并联、后串联”EWIS各组成部分寿命进行抽样，利用“最小最大值”方法获得系统寿命的抽样值，用概率纸检验法初步判断EWIS寿命是否服从威布尔分布，再用Pearson拟合优度检验法判断EWIS寿命是否服从威布尔分布。结合无故障飞行时间的样本值与EWIS寿命服从威布尔分布的假设，采用无失效数据分析方法评估EWIS的可靠度水平。研究方法对机载多余度EWIS无失效数据可靠度分析有一定的贡献。