Ensemble mating selection in evolutionary many-objective search

Traditional multi-objective evolutionary algorithms have encountered difficulties when handling many-objective problems. This is due to the loss of selection pressure incurred by the growing size of objective space. A variety of environmental selection operators have been proposed to address the issue, each has its distinct benefits and drawbacks. We develop a novel ensemble framework to enhance the effectiveness and robustness of many-objective optimization. The framework incorporates multiple environmental selection operators to guide the search, which are then viewed as voters to construct a mating pool. We design an ensemble mating selection strategy that makes decisions based on the preference information provided by the voters: individuals elected by more voters will be assigned larger possibilities to enter the mating pool. By doing so, high quality offspring can be reproduced from the elected promising candidates. To accommodate the multiple selection operators for voting, the framework maintains multiple parallel populations, where each population is updated by one of the selection operators. An instantiation of the framework with three popular operators is presented as a prime example. Extensive experiments have been conducted on a number of many-objective problems to examine the effectiveness of the proposed approach. Experimental results show that the mating selection strategy is capable of improving the quality of the obtained solution set.     

A dynamic integration algorithm to model surfaces from multiple range views

This paper presents a dynamic integration algorithm to triangulate a surface from multiple range views. This integration technique is based on the reparameterization of the canonic subsets of the Venn diagram of the set of range views. We compute a model based onN views from a model based onN–1 views by processing only the surface segments visible in theN ^th view. An experimental result shows that the proposed integration algorithm can process complex multipart objects containing holes.     

eulerForce: Force-directed layout for Euler diagrams

Euler diagrams use closed curves to represent sets and their relationships. They facilitate set analysis, as humans tend to perceive distinct regions when closed curves are drawn on a plane. However, current automatic methods often produce diagrams with irregular, non-smooth curves that are not easily distinguishable. Other methods restrict the shape of the curve to for instance a circle, but such methods cannot draw an Euler diagram with exactly the required curve intersections for any set relations. In this paper, we present eulerForce, as the first method to adopt a force-directed approach to improve the layout and the curves of Euler diagrams generated by current methods. The layouts are improved in quick time. Our evaluation of eulerForce indicates the benefits of a force-directed approach to generate comprehensible Euler diagrams for any set relations in relatively fast time.     

加热方式对大蒜挥发性物质的影响

为探究加热方式对大蒜在色差、气味维度上的变化,实验采用色差仪、电子鼻、气质联用仪分析未加热大蒜(A)、炒制大蒜(B)和蒸制大蒜(C),结合主成分、维恩图等方法分析其差异.色差仪分析表明样品B颜色深,饱和度高,样品A、C颜色浅,饱和度低.电子鼻主成分分析显示样品B、C在风味轮廓上更为相似,与样品A差异大.GC-MS分析显...     

Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference

In this paper we will present a graph-transformation based method for the verification of heterogeneous first order logic (FOL) and Euler/Venn proofs. In previous work, it has been shown that a special collection of directed acyclic graphs (DAGs) can be used interchangeably with Euler/Venn diagrams in reasoning processes. Thus, proofs which include Euler/Venn diagrams can be thought of as proofs with DAGs where steps involving only Euler/Venn diagrams can be treated as particular DAG transformations. Here we will show how the characterization of these manipulations can be used to verify Euler/Venn proofs. Also, a method for verifying the use of heterogeneous Euler/Venn and FOL reasoning rules will be presented that is also based upon DAG transformations .     

一种可扩展访问控制标记语言的策略优化算法

可扩展访问控制标记语言XACML得到了广泛应用。为提高XACML策略的评估效率,提出一种基于韦恩图法的XACML策略优化算法。将XACML策略规则的组成结构用集合论中的韦恩图表示,在设定合并算法优先级的基础上,借助集合间的交并关系,检测和消除策略规则间的冲突与冗余,提高策略评估效率。实验测试表明,该算法在各主流引擎下将 请求评估时间平均缩短10%～20%,同时能减少占用的存储空间,达到策略优化的目的。     

Set space diagrams

This paper introduces set space diagrams and defines their formal syntax and semantics. Conventional region based diagrams, like Euler circles and Venn diagrams, represent sets and their intersections by means of overlapping regions. By contrast, set space diagrams provide a certain layout that avoids overlapping geometrical entities. This enables the representation of a good deal of sets without getting diagrams which are cluttered due to overlapping regions. In particular, these diagrams can be employed for illustration purposes, e.g., for showing the laws of Boolean algebras. Additionally, cardinalities are represented and can be easily compared; inferences can be drawn to derive unknown cardinalities from a given knowledge base. The soundness of set space diagrams is shown with respect to their set-theoretic interpretation.     

Visualizing set concordance with permutation matrices and fan diagrams

Scientific problem solving often involves concordance (or discordance) analysis among the result sets from different approaches. For example, different scientific analysis methods with the same samples often lead to different or even conflicting conclusions. To reach a more judicious conclusion, it is crucial to consider different perspectives by checking concordance among those result sets by different methods. In this paper, we present an interactive visualization tool called ConSet, where users can effectively examine relationships among multiple sets at once. ConSet provides an overview using an improved permutation matrix to enable users to easily identify relationships among sets with a large number of elements. Not only do we use a standard Venn diagram, we also introduce a new diagram called Fan diagram that allows users to compare two or three sets without any inconsistencies that may exist in Venn diagrams. A qualitative user study was conducted to evaluate how our tool works in comparison with a traditional set visualization tool based on a Venn diagram. We observed that ConSet enabled users to complete more tasks with fewer errors than the traditional interface did and most users preferred ConSet.     

高校ClassBook群区交流平台的设计分析

从当前主流的网络社交平台中取精弃粕,设计开发了适合高校应用的ClassBook 群区文化交流一站式平台,对 平台的主要功能进行了分析提炼,并提出了一套设计技术解决方案。