一种特征转移和域自适应的异质缺陷预测方法

软件缺陷预测是软件工程领域中的一个研究热点.跨项目缺陷预测(Cross-Project Defect Prediction, CPDP)采用源项目的缺陷数据来预测目标项目的缺陷倾向性.然而,源项目和目标项目的特征可能会有所不同.因此,研究人员提出了异质缺陷预测(Heterogeneous Defect Prediction, HDP).为了提高HDP模型的性能,本文提出了一种基于特征迁移和域自适应的异质缺陷预测(Feature Transfer and Domain Adaptation, FTDA)方法.首先,FTDA使用基于相关性的特征选择算法从源项目的特征集中选择最优的特征子集.随后,使用欧氏距离进行匹配特征,并为每个目标项目选择最合适的源项目.再次,使用TCA算法解决不同项目之间的分布差异问题.最后,使用SMOTETomek算法处理类不平衡问题.为了验证FTDA方法的有效性,本文对AEEEM,PROMISE,NASA和Relink数据集中的24个项目进行了实证研究.实证研究表明,FTDA显著提高了异质缺陷预测的性能.     

Forced consensus in networks of double integrator systems with delayed input

This communique presents forced second-order consensus protocols with communication time-delays for the network of agents with double integrator dynamics and gives a measure of the robustness of the protocols to the communication time-delays. By employing a frequency domain method, it is proven that the forced consensus is achieved asymptotically for appropriate time-delay if the network is connected. Particularly, the maximum fixed time-delay that can be tolerated by the network is found. The forced consensus protocols are distributed in the sense that each agent only needs information from its neighboring agents, which reduces the complexity of connections between agents significantly. Numerical simulation results are provided to demonstrate the effectiveness and the sharpness of the theoretical results.     

A new vertical‐alignment LC mode with high‐transmittance and fast‐response‐time features

Abstract— A novel pixel design for vertical‐alignment LCDs with superior transmittance has been developed. The new liquid‐crystal mode, refered to as the hole‐induced vertical‐alignment mode (Hi‐VA), uses a via hole of an organic layer on a TFT substrate to achieve multi‐domain alignment. Compared to the conventional design, the Hi‐VA mode has a transmittance of up to 135% with a contrast ratio of 2000:1. Moreover, the new structure is free from ITO patterning or protrusion on the color‐filter side, which makes the fabrication process simple and low cost.     

Numerical simulation of detonation using an adaptive Cartesian cut-cell method combined with a cell-merging technique

A second-order accurate scheme for the Cartesian cut-cell method developed previously by the authors [Ji H, Lien F-S, Yee E. Comput. Methods Appl. Mech. Eng. 198 (2008), 432] is generalized for application to both two- and three-dimensional inviscid compressible flow problems. A cell-merging approach is used to address the so-called “small cell” problem that has plagued Cartesian cut-cell methods. In the present cell-merging approach, the conservative variables are stored at the cut-cell centroid (including the non-merged and merged cut-cells) rather than at the Cartesian cell center. Although this approach results in a more complicated search algorithm for the determination of the neighbor cells (required for the computation of the spatial gradients of the conservative variables), this approach enables the straightforward formulation of a higher than first-order accurate discretization scheme in the vicinity of the (complex and irregular) internal boundaries of the flow domain. Six test cases (including detonation problems) are used to demonstrate the accuracy and capability of the adaptive cut-cell method, for which both mesh refinement and derefinement techniques are employed in the case of an unsteady shock diffraction problem.     

基于Ontology的产业集群信息检索模型探析

该文从安徽汽车产业集群信息服务平台检索需求出发,通过对平台现有检索技术进行分析,指出建立基于本体技术的智能检索系统的必要性,在此基础上构建了基于本体的产业集群信息检索模型,阐述了领域本体构建的重要性,最后指出产业集群信息检索的实现可以大大提高平台信息检索性能。     

基于流形的概念空间形式化研究

概念是人们对事物本质的认识、逻辑思维的最基本单元和形式,是人类思维的基础,是反映事物本质属性的思维产物。Grdenfors教授于2000年发表的著作中提出的,简单来说Grdenfors教授建立的概念空间是基于域以及其上的几何特性的属性来建立和计算概念、属性、相似性的模型。基于流形的LLE算法的主要思想是在嵌套空间每个采样点可以用它的近邻点线性表示,在低维空间中保持每个邻域中的权值不变,重构原数据点,使重构误差最小。它可以学习任意维数的低维流形,每个点的近邻权值在平移,旋转,伸缩变换下是保持不变的。该文文通过把概念空间中的各个域当成一个流形,把各域中的维看成是流形的n维数据,实验中先后通过没有使用流形和通过基于流形的LLE算法进行降维后的进行比较,得出的实验结果是使用流形的方法对于某些不能细分的域能起到很好的作用,体现了该算法对于概念空间研究的准确性和优越性。     

基于完备抽象解释的模型检验CTL公式研究

在模型检验中,抽象是解决状态空间爆炸问题的重要方法之一.给定具体Kripke结构和时序描述语言CTL,基于抽象解释框架以及完备抽象解释和性质强保留之间的关系,抽象模型最小精化使得CTL性质强保留,可转换为抽象解释中抽象域的最小完备精化,并且总是存在抽象域的最小完备精化.根据状态标签函数确定初始抽象域,然后通过不动点求解,获得对CTL标准算子完备的最小抽象域,并依据此抽象域求得CTL性质强保留的最优抽象状态划分,最后构造出CTL性质强保留且最优的抽象状态转换系统.并指出了抽象域对CTL标准算子是完备的当且仅当抽象域对补集和标准前向转换是完备的.     

Ambient演算的一种分层语义

网络计算系统中涉及的操作复杂,很难直接给出一种的语义描述框架.作为一种网络计算模型,Ambient演算主要刻画了计算的分布性和移动性.目前关于Ambient的语义研究很多,但均是基于规约规则的语义形式.这种描述方式尽管简洁,一方面却具有不确定性,不利于实际的网络计算系统的设计和直接实现;另一方面,这种语义描述方式均在一个层次上描述Ambient演算系统中的各种行为语义,使得Ambient演算中各种计算行为纠缠在一起,复杂而难以理解.根据Ambient演算的结构特点,给出了Ambient演算的一种分层语义描述形式,系统以ambient为单元,分成3层进行描述,分别给出不同层上行为的语法定义、语义定义、语义方程以及不同层间的转换函数的定义,从而给出Ambient演算系统的指称语义描述形式.这种描述方式从层次化的角度分析了Ambient演算的计算行为,有助于对Ambient演算中行为的理解和实际应用系统的实现.     

卫星通信系统QOS管理的策略提炼

针对基于策略的DVB—RCS卫星通信系统服务质量管理,提出一种策略提炼模型,结合实例给出目标提炼过程。该模型以线性时态逻辑为基础,在提炼模式的辅助下从高层目标中提取出低层策略,可以有效保证策略提炼过程的正确性、合理性及一致性。在系统设计阶段,该模型用于指导系统功能规划与设计,在系统运行阶段,该模型为网络管理人员提供高层策略向系统设备行为的映射方法。