PPDM中面向k-匿名的MI Loss评估模型

隐私保护数据挖掘（PPDM）利用匿名化等方法使数据所有者在不泄露隐私信息的前提下,安全发布在数据挖掘中有效可用的数据集。k-匿名算法作为PPDM研究使用最广泛的算法之一,具有计算开销低、数据形变小、能抵御链接攻击等优点,但是在一些k-匿名算法研究中使用的数据可用性评估模型的权重设置不合理,导致算法选择的最优匿名数据集在后续的分类问题中分类准确率较低。提出一种使用互信息计算权重的互信息损失（MI Loss）评估模型。互信息反映变量间的关联关系,MI Loss评估模型根据准标识符和标签之间的互信息计算权重,并通过Loss公式得到各个准标识符的信息损失,将加权后的准标识符信息损失的和作为数据集的信息损失,以弥补评估模型的缺陷。实验结果证明,运用MI Loss评估模型指导k-匿名算法能够明显降低匿名数据集在后续分类中的可用性丢失,相较于Loss模型和Entropy Loss模型,该模型分类准确率提升了0.73%~3.00%。     

结合特征扰动与分配策略的集成辅助多目标优化算法

代理模型利用近似预测代替算法对多目标优化问题的真实评价,大幅减少了算法寻优所需的真实适应度评估次数。为提高代理模型在求解高维问题时的准确性并降低计算开销,提出一种基于特征扰动与分配策略的集成辅助多目标优化算法。将径向基函数网络代理模型与支持向量机回归代理模型作为集成过程中的基模型,降低算法在高维问题上的计算开销。结合特征扰动与基于记忆的影响因子分配策略构建集成代理模型,提高集成准确性。使用集成预测值与不确定信息加权辅助管理集成代理模型,平衡全局搜索与局部探索,增强算法在目标空间中的寻优能力。实验结果表明,该算法在ZDT1~ZDT3和ZDT6测试问题上所得解集的分布性与收敛性相比经典算法更好,并且当决策变量维数增加时,使用集成代理模型相比于Kriging代理模型约减少了90%的适应度评估次数,同时可获得更准确的预测结果。     

机械结构相似度评价及可靠性预计研究

在用传统的相似产品法进行可靠性预计时,所选取的相似产品与评价对象之间差异较大,会造成预计结果的偏差较大。为解决这一问题,提出了一种基于"功能—运动—动作"结构化分解的可靠性预计新方法。通过明确产品的各大运动功能建立功能层,分析完成各功能的机械部件运动建立运动层,确定实现各机械部件运动的元动作运动单元建立元动作层,建立了可靠性预计的"功能—运动—元动作运动单元"层次模型。引入区间层次分析法,确定了"功能—运动—元动作运动单元"层次模型中各子代运动单元对父代运动单元的可靠性影响权重,并构建了由子代运动单元预计父代运动单元可靠性的数学模型。确定影响评价机械结构相似度的因素,构建了区间数综合评判云模型并选取与元动作运动单元相似的参考结构,以区间数综合评价云模型得出的相似度值修正参考结构的可靠性数据来预计元动作运动单元的可靠性。将元动作运动单元的可靠性预计值代入数学模型,层层预计父代运动单元的可靠性,从而得出整个产品的可靠性水平。最后以数控转台为例进行了分析,得出了可靠性预计值,并将该方法与传统方法进行了比较。结果表明,新的可靠性预计方法具有较好的可行性和较高的准确性。     

CATIA V5环境下基于产品数模的三坐标测量机测点自动采样

为了实现CAD与CAIP(计算机辅助测量规划)的集成,提出了一种基于产品三维模型的CMM(三坐标测量机)测量点采样方法。该方法从产品的IGES文件中有效识别型面形状与边界定义,采用均匀采样与依曲率变化二次采样相结合的策略,针对各个型面类型制定专门的信息处理机制,实现测量点的自动采样,并通过转换在参数平面中判断采样点与裁剪区域的隶属关系,以有效剔除无效采样点;通过典型飞机部件外形曲面的采样点生成结果表明,该方法能有效应用于飞机的测量规划中。     

Efficient conditional probability theorem and importance sampling-based methods for global reliability sensitivity analysis

Global reliability sensitivity (GRS) analysis can measure the effect of random inputs on failure probability (FP). To efficiently solve GRS, two conditional probability theorem (CPT)-based methods are proposed by combining adaptive Kriging (AK) with importance sampling (IS) (CPT-AK-IS) and combining AK with Meta-IS (CPT-AK-Meta-IS) respectively. Firstly, differentiation approximation and CPT are used to convert the estimation of conditional probability density function (PDF), which is required by the existing Bayes theorem-based methods, into that of a series of probabilities. Secondly, GRS can be directly estimated by the failure samples of IS, while the existing Bayes theorem methods based on IS need to transform the failure samples of IS into those of original PDF. Both the first and second strategies can reduce the computational complexity of solving GRS. Thirdly, by selecting a suitable differentiation interval with a proposed adaptive strategy, the estimation of a series of probabilities can be accurately completed as a byproduct of one IS based simulation for solving FP without additional computational cost. Finally, by introducing AK into IS and Meta-IS, it can reduce the number of evaluating performance function and the size of candidate sample pool simultaneously. These novelties are sufficiently verified by the presented examples.     

Direct numerical simulations for assessment of gas-solid drag models in two-dimensional random arrays of particles

The momentum exchange between the phases plays a vital role in modelling of gas–solid flows and it is mathematically described by drag models. However, no consensus exists on which drag model gives the most accurate prediction of the drag force, and, despite the increase in available computing power, the same drag models are used in two-dimensional and three-dimensional simulations. In this study, direct numerical simulations of gas flow through multiple random configurations of static monodisperse particles are performed. The variations of solid volume fraction and particle Reynolds number are in the ranges of 0.05–0.4 and 13.7–136.9, respectively. The drag force exerted on particles is calculated and properly averaged. Based on the simulation results, thirteen drag models are compared and correction factors are introduced using the stochastic gradient descent algorithm. The correction factors provide a simple adjustment for the models to be used in 2D modelling.     

Common Knowledge and Update in Finite Environments

Logics of knowledge have been shown to provide a useful approach to the high level specification and analysis of distributed systems. It has been proposed that such systems can be developed using knowledge- based protocols, in which agents' actions have preconditions that test their state of knowledge. Both computer-assisted analysis of the knowledge properties of systems and automated compilation of knowledge-based protocols require the development of algorithms for the computation of states of knowledge. This paper studies one of the computational problems of interest, the model checking problem for knowledge formulae in the S5_nKripke structures generated by finite state environments in which states determine an observation for each agent. Agents are assumed to have perfect recall and may operate synchronously or asynchronously. It is shown that, in this setting, model checking of common knowledge formulae is intractable, but efficient incremental algorithms are developed for formulae containing only knowledge operators. Connections to knowledge updates and compilation of knowledge-based protocols are discussed.     

开采沉陷信息处理软件系统模块划分方法的探讨

对开采沉陷信息处理软件系统各个模块间的关系及设计原则进行了探讨．利用文中讨论的设计划分方法开发的“地表移动与三下采煤数据管理及处理”软件收到了良好的运行效果