检索结果-内蒙古大学图书馆

Journal of Software 2010年第11期5卷 1179-1186页

作者： Gao, Shang Zhang, Zaiyue Cao, Cungen School of Computer Science and Technology Jiangsu University of Science and Technology Zhenjiang 212003 China Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences Beijing 100080 China

By use of the properties of ant colony algorithm and genetic algorithm, a novel ant colony genetic hybrid algorithm, whose framework of hybrid algorithm is genetic algorithm, is proposed to solve the traveling salesman problems. The selection operator is an artificial version of natural selection, and chromosomes with better length of tour have higher probabilities of being selected in the next generation. Based on the properties of pheromone in ant colony algorithm the ant colony crossover operation is given. Four mutation strategies are put forward using the characteristic of traveling salesman problems. The hybrid algorithm with 2-opt local search can effectively find better minimum beyond premature convergence. Ants choose several tours based on trail, and these tours will replace the worse solution. Compare with the simulated annealing algorithm, the standard genetic algorithm and the standard ant colony algorithm, all the 4 hybrid algorithms are proved effective. Especially the hybrid algorithm with strategy D is a simple and effective better algorithm than others. © 2010 ACADEMY PUBLISHER.

关键词： Genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

Flexible, plug-and-play network middleware against network instability with R2-OSGi

Flexible, plug-and-play network middleware against network i...

引用

International Conference on Pervasive computing and Applications (ICPCA)

作者： Jinzhao Liu Yongqiang Lv Lei Zhang Naizheng Wang Qiang Fu Dan Wang Yu Chen Department of Computing Beijing University of Technology China Research Institute of Information Technology Key Laboratory of Pervasive Computing Ministry of Education Tsinghua University China Department of Computer Science & Technology Tsinghua University China

As an emerging portable service platform, OSGi (Open Service Gateway Initiative) is taking a more and more important role in modern Service Oriented architectures (SOA). In order to improve the capability of using distributed services in network-based OSGi applications, R-OSGi (Remote OSGi) is invented. However, network-based SOA applications are prone to the big impact on Quality of Service (QoS) caused by network instability problem, which implies that developers have to deal with the potential R-OSGi networking exceptions at application layer. In this paper, we present an improved middleware based on the original OSGi, the Robust R-OSGi (R 2 -OSGi in abbreviation), which can deal with networking exceptions transparently to developers beneath the application layer. The middleware can automatically detect the various failures which might occur in current network and then select the pre-defined exception-handling strategies to proceed.

关键词： Quality of service Heart beat Availability Servers Service oriented architecture Detectors

来源：评论

学校读者我要写书评

暂无评论

P2CLRAF: An Pre-and Post-silicon Cooperated Circuit Lifetime Reliability Analysis Framework

P2CLRAF: An Pre-and Post-silicon Cooperated Circuit Lifetime...

引用

2010 19th IEEE Asian Test Symposium(第19届IEEE亚洲测试技术学术会议 ATS 2010)

作者： Song Jin Yinhe Han Huawei Li Xiaowei Li Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Academy of Sciences Beijing P.R. China Graduate University of Chinese Academy of Sciences Beijing P.R. China

Statistical static timing analysis (SSTA) considering process variation and aging effects is usually used to analyze circuit lifetime reliability at design phase. A key challenge for statistical lifetime reliability analysis is that an accurate statistical timing model is needed to carefully model practical variation distribution as well as delay correlation. In this work, P2CLRAF, a circuit lifetime reliability analysis framework is proposed. It calibrates presilicon SSTA result by learning the collected data from path delay testing at post-silicon timing validation phase. A neural network inside P2CLRAF is trained to learn variation distribution and delay correlation based on the statistic of path delay testing. The learned information is then fed back to SSTA to further improve the accuracy of circuit lifetime reliability analysis. Experimental results demonstrate the effectiveness of the proposed analysis framework.

关键词： Lifetime Reliability Process Variation NBTI

来源：评论

学校读者我要写书评

暂无评论

Translating separation logic into a fragment of the first-order logic

Translating separation logic into a fragment of the first-or...

引用

6th International Conference on Semantics, Knowledge and Grid, SKG 2010

作者： Sui, Yuefei Shen, Yuming Cao, Cungen Wang, Ju Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China Graduate University of Chinese Academy of Sciences Chinese Academy of Sciences Beijing 100039 China School of Computer Science and Information Engineering Guangxi Normal University Guilin 541004 China

ISBN: (纸本)9780769541891

Separation logic is an extension of Hoare logic for reasoning about mutable heap structure. To represent separation logic in the first-order logic, there are several choices to determine what are constants, what are predicates and quantifiers, and whether the commands are taken as atomic or composite. This paper shall give a translation of separation logic into a guarded fragment of the first-order logic, such that the translation is faithful, that is, the translation translates a consistent statement (boolean expression, assertion or specification) of separation logic into a consistent formula in the fragment of the first-order logic. By the decidability of the satisfiability problem of the guarded first-order logic, if the commands are taken as atomic in the first-order logic then the guarded first-order logic translated from separation logic is decidable, if the commands are taken as atomic/composite in the first-order logic then the first-order logic translated from separation logic is undecidable. © 2010 IEEE.

关键词： Computability and decidability

来源：评论

学校读者我要写书评

暂无评论

A HSC-based sample selection method for Support Vector Machine

A HSC-based sample selection method for Support Vector Machi...

引用

International Conference on Machine Learning and Cybernetics

作者： He, Qing Li, Ning Shi, Zhong-Zhi Key Laboratory of Intelligent Information Processing Institute of Computing Technology Hebei University Baoding 071002 Hebei China Graduate University of Chinese Academy of Sciences Hebei University Baoding 071002 Hebei China Key Lab. of Machine Learning and Computational Intelligence College of Mathematics and Computer Science Hebei University Baoding 071002 Hebei China

ISBN: (纸本)9781424465262

Support Vector Machine (SVM) is a classification technique of machine learning based on statistical learning theory. A quadratic optimization problem needs to be solved in the algorithm, and with the increase of the samples, the time complexity will also increase. So it is necessary to shrink training sets to reduce the time complexity. A sample selection method for SVM is proposed in this paper. It is inspired from the Hyper surface classification (HSC), which is a universal classification method based on Jordan Curve Theorem, and there is no need for mapping from lower-dimensional space to higher-dimensional space. The experiments show that the algorithm shrinks training sets keeping the accuracy for unseen vectors high. © 2010 IEEE.

关键词： Support vector machines

来源：评论

学校读者我要写书评

暂无评论

Boosted Sigma Set for Pedestrian Detection

Boosted Sigma Set for Pedestrian Detection

引用

International Conference on Pattern Recognition

作者： Xiaopeng Hong Hong Chang Xilin Chen Wen Gao School of Computer Science and Technology Harbin Institute of Technology China Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy and Sciences China Institute of Digital Media Peking University China

ISBN: (纸本)9781424475421

This paper presents a new method to detect pedestrian in still image using Sigma sets as image region descriptors in the boosting framework. Sigma set encodes second order statistics of an image region implicitly in the form of a point set. Compared with the covariance matrix, the traditional second order statistics based region descriptor, which requires computationally demanding operations based on Riemannian manifold, Sigma set preserves similar robustness and discriminative power more efficiently because the classification on Sigma sets can be directly performed in vector space. Experimental results on the INRIA and the Daimler Chrysler pedestrian datasets show the effectiveness and efficiency of the proposed method.

关键词： Classification algorithms Manifolds Detectors Feature extraction Training Covariance matrix Support vector machine classification

来源：评论

学校读者我要写书评

暂无评论

DCMTs: Supporting Dynamically Created Migratory Threads

DCMTs: Supporting Dynamically Created Migratory Threads

引用

IEEE International Conference on Computational Science and Engineering, CSE

作者： Yueting Zhu Wu Zhang Hai Jiang Yu Lei Junjie Peng Department of Computer Science and Engineering Shanghai University Shanghai China Department of Computer Science and Engineering University of Technology Arlington TX USA Department of Computer Science Arkansas State University Jonesboro AR USA Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Academy and Sciences China

Thread migration is an effective technique for fault resilience and load balancing in high performance computing. However, flexible thread migration is not easy to achieve. In this paper, we present an approach to creating migratory threads dynamically at application level. The targets must be executable source files. Compared to the static ones, the number of threads created during migration with the new scheme is independent from the context. Various thread cases are considered for migration. Thread state is handled at application level. Variables are saved in structures in C language for speedy state construction. In order to solve the inability of traditional methods in tracking the created threads, a tree of active function calls is used to record the callback. The preprocessor of the proposed one is written in YACC for accuracy and programmability. The migration enabling process is transparent to programmers with the help of the preprocess. The experimental results have demonstrated the effectiveness of this approach.

关键词： Instruction sets Switches computer science Electronic mail Data preprocessing Flexible printed circuits

来源：评论

学校读者我要写书评

暂无评论

SimK:A Large-Scale Parallel Simulation Engine

引用

Journal of computer Science & technology 2009年第6期24卷 1048-1060页

作者：许建卫陈明宇郑规曹政吕慧伟孙凝晖 Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Academy of Sciences Graduate University of Chinese Academy of Sciences Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China

Simulation is an important method to evaluate future computer systems. Currently microprocessor architecture has switched to parallel, but almost all simulators remained at sequential stage, and the advantages brought by multi-core or many-core processors cannot be utilized. This paper presents a parallel simulator engine （SimK） towards the prevalent SMP/CMP platform, aiming at large-scale fine-grained computer system simulation. In this paper, highly efficient synchronization, communication and buffer management policies used in SimK are introduced, and a novel lock-free scheduling mechanism that avoids using any atomic instructions is presented. To deal with the load fluctuation at light load case, a cooperated dynamic task migration scheme is proposed. Based on SimK, we have developed large-scale parallel simulators HppSim and HppNetSim, which simulate a full supercomputer system and its interconnection network respectively. Results show that HppSim and HppNetSim both gain sound speedup with multiple processors, and the best normalized speedup reaches 14.95X on a two-way quad-core server.

关键词： large scale system simulation fine-grained synchronization simulation framework lock-free synchronization

来源：评论

学校读者我要写书评

暂无评论

VMGuard: An Integrity Monitoring System for Management Virtual Machines

VMGuard: An Integrity Monitoring System for Management Virtu...

引用

International Conference on Parallel and Distributed Systems (ICPADS)

作者： Haifeng Fang Yiqiang Zhao Hongyong Zang H. Howie Huang Ying Song Yuzhong Sun Zhiyong Liu University of the Chinese Academy of Sciences Beijing Beijing CN Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Academy and Sciences China George Washington University Washington D.C. DC USA

A cloud computing provider can dynamically allocate virtual machines (VM) based on the needs of the customers, while maintaining the privileged access to the Management Virtual Machine that directly manages the hardware and supports the guest VMs. The customers must trust the cloud providers to protect the confidentiality and integrity of their applications and data. However, as the VMs from different customers are running on the same host, an attack to the management virtual machine will easily lead to the compromise of the guest VMs. Therefore, it is critical for a cloud computing system to ensure the trustworthiness of management VMs. To this end, we propose VMGuard, an integrity monitoring and detecting system for management virtual machines in a distributed environment. VMGuard utilizes a special VM, Guard Domain, which runs on each physical node to monitor the co-resident management VMs. The integrity measurements collected by the Guard Domains are sent to the VMGuard server for safe store and independent analysis. The experimental evaluation of a Xen-based prototype shows that VMGuard can quickly detect the root kit attacks while the performance overhead is low.

关键词： Driver circuits Kernel Servers Monitoring Engines Virtual machining Area measurement

来源：评论

学校读者我要写书评

暂无评论

A Sample Pre-mapping Method Enhancing Boosting for Object Detection

A Sample Pre-mapping Method Enhancing Boosting for Object De...

引用

International Conference on Pattern Recognition

作者： Haoyu Ren Xiaopeng Hong Cher-Keng Heng Luhong Liang Xilin Chen Institute of Computing Technology Key Laboratory of Intelligent Information Processing Chinese Academy and Sciences China School of Computer Science and Technology Harbin Institute of Technology China Panasonic Singapore Laboratories Private Limited Singapore

ISBN: (纸本)9781424475421

We propose a novel method to improve the training efficiency and accuracy of boosted classifiers for object detection. The key step of the proposed method is a sample pre-mapping on original space by referring to the selected `reference sample' before feeding into weak classifiers. The reference sample corresponds to an approximation of the optimal separating hyper-plane in an implicit high dimensional space, so that the resulting classifier could achieve the performance similar to kernel method, while spending the computation cost of linear classifier in both training and detection. We employ two different non-linear mappings to verify the proposed method under boosting framework. Experimental results show that the proposed approach achieves performance comparable with the common used methods on public datasets in both pedestrian detection and car detection.

关键词： Classification algorithms Training Boosting Kernel Support vector machine classification Accuracy Object detection

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：