基于内容分组与能力匹配的邻居选择算法

邻居选择算法是影响P2P文件共享系统的整体吞吐量和带宽利用率的关键技术之一.目前BT类P2P文件共享系统中的一些常用邻居选择算法一般存在着邻居节点间的内容可交换性差和带宽利用率低等问题.提出一种新的邻居选择算法,将节点按内容分组,由节点上报的上传、下载的字节数计算出带宽能力,让能力匹配的节点成为邻居.计算机仿真实验表明,新算法显著地提高文件共享系统的整体吞吐量,减少用户的平均下载时间,从而有效地改善P2P文件共享系统的整体性能.     

A comprehensive decision making structure for partitioning of make-to-order, make-to-stock and hybrid products

Manufacturing systems produce their products by making use of three main strategies: make-to-order, make-to-stock and hybrid (combination of MTO and MTS strategies) systems. Hence, several products must be considered and partitioned in terms of many different conflicting criteria, leading to a large set of subjective or ambiguous data. Thus, an effective evaluation approach is essential to improve decision quality. In this paper a comprehensive decision, making structure is proposed to choose the proper strategy for producing the products. It consists of a novel hybrid methodology, which combines analytical hierarchy process (AHP) and technique for order performance by similarity to ideal solution (TOPSIS) for partitioning of products. In this study, the rating of each alternative regarding different criteria (throughout the TOPSIS technique) is described by means of linguistic variables. Furthermore, fuzzy AHP methodology is applied to determine the weights of evaluation criteria. At the end, the effectiveness of the proposed model is demonstrated through a case study.     

Using formal methods to increase confidence in a home network system implementation: a case study

A home network system consists of multiple networked appliances, intended to provide more convenient and comfortable living for home users. Before being deployed, one has to guarantee the correctness, the safety, and the security of the system. Here, we present the approach chosen to validate the Java implementation of a home network system. We rely on the Java Modelling Language to formally specify and validate an abstraction of the system. This is a substantially revised version of our paper that appeared in the proceedings of the Workshop On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), Poitiers-Futuroscope, France, December 2007.     

白云鄂博铁矿东矿边坡稳定性研究

针对白云鄂博铁矿东矿C区边坡产生的3处不稳定滑体,结合现场工程地质勘察和岩石力学试验,采用理正岩土分析软件5.5版及加拿大岩质边坡稳定性分析计算软件SLIDE5.0对削坡、锚索加固、注浆的二次加固措施进行了分析计算,通过计算得到的安全系数来综合判断该二次加固措施的有效性。分析计算结果表明,通过削坡、锚索加固、注浆的加固措施,可以使白云鄂博铁矿东矿C区边坡最危险滑面的安全系数达到1.186,符合设计边坡稳定安全系数要求。文章最后提出了实施这些措施时的注意事项。     

基于中心距序降维的聚类算法

为提高金融业务数据集上的聚类质量和聚类效率,提出簇的直径、簇间的相似度这2个概念。利用距离尺度降维的中心距序降维法,将多维数据降至一维,在一维上利用自适应排序聚类算法ASC聚类。该算法和传统的Cobweb算法、K-means算法做对比,实验表明该方法能提高簇间相似度,最大提高200%。     

A search space “cartography” for guiding graph coloring heuristics

We present a search space analysis and its application in improving local search algorithms for the graph coloring problem. Using a classical distance measure between colorings, we introduce the following clustering hypothesis: the high quality solutions are not randomly scattered in the search space, but rather grouped in clusters within spheres of specific diameter. We first provide intuitive evidence for this hypothesis by presenting a projection of a large set of local minima in the 3D space. An experimental confirmation is also presented: we introduce two algorithms that exploit the hypothesis by guiding an underlying Tabu Search (TS) process. The first algorithm (TS-Div) uses a learning process to guide the basic TS process toward as-yet-unvisited spheres. The second algorithm (TS-Int) makes deep investigations within a bounded region by organizing it as a tree-like structure of connected spheres. We experimentally demonstrate that if such a region contains a global optimum, TS-Int does not fail in eventually finding it. This pair of algorithms significantly outperforms the underlying basic TS algorithm; it can even improve some of the best-known solutions ever reported in the literature (e.g. for dsjc1000.9).     

Novel e-nose for the discrimination of volatile organic biomarkers with an array of carbon nanotubes (CNT) conductive polymer nanocomposites (CPC) sensors

We report the original design of a new type of electronic nose (e-nose) consisting of only five sensors made of hierarchically structured conductive polymer nanocomposites (CPC). Each sensor benefits from both the exceptional electrical properties of carbon nanotubes (CNT) used to build the conductive architecture and the spray layer by layer (sLbL) assembly technique, which provides the transducers with a highly specific 3D surface structure. Excellent sensitivity and selectivity were obtained by optimizing the amount of CNT with five different polymer matrices: poly(caprolactone) (PCL), poly(lactic acid) (PLA), poly(carbonate) (PC), poly(methyl methacrylate) (PMMA) and a biobased polyester (BPR). The ability of the resulting e-nose to detect nine organic solvent vapours (isopropanol, tetrahydrofuran, dichloromethane, n-heptane, cyclohexane, methanol, ethanol, water and toluene), as well as biomarkers for lung cancer detection in breath analysis, has been demonstrated. Principal component analysis (PCA) proved to be an excellent pattern recognition tool to separate vapour clusters.     

基于S7-300／400PLC的冗余控制系统在变压吸附（PSA）制氢装置中的应用

本文介绍了分别基于西门子S7—300PLC和S7—400PLC的两种冗余控制系统在荆门石化和鞍钢变压吸附制氢装置中的应用。概述了工艺过程和工艺对控制系统的要求,着重对上述两套系统的硬件配置和软件编程组态实施方案进行了描述。运行结果表明,上述系统稳定可靠,控制效果良好,能满足工艺要求。     

200MW乏气送粉机组主蒸汽温度控制优化方案

本文在常规火电厂主蒸汽温度自动控制方案的基础上,对200MW乏气送粉机组的特性进行了分析,结合锅炉主要参数与主蒸汽温度自动控制的相互关系,以及相关的工艺要求,提出了一种新的优化方案。     

音乐数据库的基于内容检索及一种基于ICA算法的按调查询系统的提出

目前音频数据库的研究相对于图象处于滞后,文中侧重音乐角度,结合MPEG标准和基于内容检索的应用,综述了音频检索的研究现状,分析了音频方面研究的特殊性和相关应用中的问题;并提出基于独立分量分析（ICA）的按调查询（QBH）的系统,较好地解决了特征提取中的鸡尾酒会效应问题。系统的查询结果置于三维声效环境中加速了查询。