Earliness–tardiness minimization on scheduling a batch processing machine with non-identical job sizes

This paper considers the scheduling problem of minimizing earliness–tardiness (E/T) on a single batch processing machine with a common due date. The problem is extended to the environment of non-identical job sizes. First, a mathematical model is formulated, which is tested effectively under IBM ILOG CPLEX using the constraint programming solver. Then several optimal properties are given to schedule batches effectively, and by introducing the concept of ARB (Attribute Ratio of Batch), it is proven that the ARB of each batch should be made as small as possible in order to minimize the objective, designed as the heuristic information for assigning jobs into batches. Based on these properties, a heuristic algorithm MARB (Minimum Attribute Ratio of Batch) for batch forming is proposed, and a hybrid genetic algorithm is developed for the problem under study by combining GA (genetic algorithm) with MARB. Experimental results demonstrate that the proposed algorithm outperforms other algorithms in the literature, both for small and large problem instances.     

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.     

采用信息增益率的混合入侵检测模型设计

针对现有混合入侵检测模型仅定性选取特征而导致检测精度较低的问题，同时为了充分结合误用检测模型和异常检测模型的优势，提出一种采用信息增益率的混合入侵检测模型.首先，利用信息增益率定量地选择特征子集，最大程度地保留样本信息；其次，采用余弦时变粒子群算法确定支持向量机参数构建误用检测模型，使其更好地平衡粒子在全局和局部的搜索能力，然后，选取灰狼算法确定单类支持向量机参数构建异常检测模型，以此来提高对最优参数的搜索效率和精细程度，综合提高混合入侵检测模型对攻击的检测效果；最后，通过两种数据集进行仿真实验，验证了所提混合入侵检测模型具有较好的检测性能.     

变频调速技术在定量包装机中的应用

介绍一种基于变频调速控制的全自动定量包装机，结构简单，组态灵活，性价比高，可广泛应用于食品饲料等行业，现场运行实践证明其通用性好，准确度和可靠性高、速度快、稳定性好。并论述变频器控制系统的设计及使用中的注意问题。     

冷媒充填机的PLC控制

介绍了冷媒充填机控制系统的组成和工作原理，着重叙述了西门子S7－200可编程控制器与触摸屏结合的控制方式，使系统的性能得到较大的提高。     

合成氨中置锅炉的修复

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

钻机柴油机的动向和190系列柴油机的发展

本文概括介绍了国内外钻机柴油机发展的水平及动向,比较了国内钻机柴油机与国外钻机柴油机在发展上的差距。重点介绍了作为国产钻机主要动力的190系列柴油机的发展状况及最新技术在该机型上的应用。     

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.     

直流电动机参数测定

根据直流电机的可逆原理并利用常规的实验仪表，可以简便、准确地测出直流电动机的主要参数－电磁转矩、输出转矩和效率．     

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

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