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

Intelligent and cooperative manufacturing planning

International Journal of Manufacturing Research 2010年第1期5卷 39-57页

作者： Li, Wei Dong Gao, Liang Faculty of Engineering and Computing Coventry University Coventry United Kingdom State Key Laboratory of Digital Manufacturing Equipment and Technology School of Mechanical Science and Engineering Huazhong University of Science and Technology Wuhan Hubei China Department of Industrial and Manufacturing System Engineering Huazhong University of Science and Technology China

In this research, several intelligent strategies have been developed to build up cooperative Process Planning and Scheduling (CPPS). Three game theory-based strategies have been introduced to analyse the cooperative integration of the two processes in a systematic way. To address the multiple constraints in the CPPS problem, a fuzzy logic-based Analytical Hierarchical Process (AHP) technique has been applied. In the meantime, modern heuristic algorithms have been developed and applied to the CPPS problem to identify optimal or near-optimal solutions from the vast search space efficiently. Experiments have been conducted and results show the objectives of the research have been achieved. Copyright © 2010 Inderscience Enterprises Ltd.

关键词： Heuristic algorithms

来源：评论

学校读者我要写书评

暂无评论

A modified wind vector retrieval algorithm for polarimetric scatterometer

A modified wind vector retrieval algorithm for polarimetric ...

引用

IEEE International Symposium on Geoscience and Remote Sensing (IGARSS)

作者： Xuetong Xie Mingsen Lin Zhou Huang Juhong Zou Dongxuan Tian Lixia Liu Xiaoning Wang Shiwei Dong ATR State Key Laboratory National University of Defense Technology Changsha China National Satellite Ocean Application Service Beijing China Institute of Remote Sensing and Geographic Information System Peking University Beijing China Institute of Space Radio Technology National Key Laboratory of Space Microwave Technology Xi'an China

Experiments and theoretical analysis demonstrate that the polarimetric scatterometer has the potential in enhancing the accuracy of the wind vector retrieval. However, currently, there is no special wind vector retrieval algorithm for the polarimetric scatterometer. Based on the distribution characteristic of the objective function, a modified wind vector retrieval algorithm was designed for the conically scanning polarimetric scatterometer in this paper. Simulation experiments indicated that this algorithm could further improve the retrieval precision of the polarimetric scatterometer in comparison with the traditional algorithm, especially in the nadir- and outer-swath. By extending the wind direction range for the first and second ambiguity in the nadir- and outer-swath, the algorithm can effectively reduce the uncertainty of the wind direction solutions with error magnitude of 0° to 15°. Up to 2° improvement in wind direction retrieval can be achieved in the nadir track.

关键词： Radar measurements Spaceborne radar Wind speed Algorithm design and analysis Oceans Filtering algorithms Accuracy

来源：评论

学校读者我要写书评

暂无评论

High performance comparison-based sorting algorithm on many-core GPUs

High performance comparison-based sorting algorithm on many-...

引用

International Symposium on Parallel and Distributed Processing (IPDPS)

作者： Xiaochun Ye Dongrui Fan Wei Lin Nan Yuan Paolo Ienne Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Academy and Sciences Beijing China School of Computer and Communication Sciences Ecole Polytechnique Fédérale de Lausanne Lausanne Switzerland

Sorting is a kernel algorithm for a wide range of applications. In this paper, we present a new algorithm, GPU-Warpsort, to perform comparison-based parallel sort on Graphics Processing Units (GPUs). It mainly consists of a bitonic sort followed by a merge sort. Our algorithm achieves high performance by efficiently mapping the sorting tasks to GPU architectures. Firstly, we take advantage of the synchronous execution of threads in a warp to eliminate the barriers in bitonic sorting network. We also provide sufficient homogeneous parallel operations for all the threads within a warp to avoid branch divergence. Furthermore, we implement the merge sort efficiently by assigning each warp independent pairs of sequences to be merged and by exploiting totally coalesced global memory accesses to eliminate the bandwidth bottleneck. Our experimental results indicate that GPU-Warpsort works well on different kinds of input distributions, and it achieves up to 30% higher performance than previous optimized comparison-based GPU sorting algorithm on input sequences with millions of elements.

关键词： Sorting High performance computing Bandwidth Parallel architectures Computer architecture Kernel Application software Multicore processing Graphics processing unit

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Convergence analysis for combinatorial optimization problems based on Ito process

引用

Journal of Computational Information systems 2010年第10期6卷 3147-3154页

作者： Yu, Ruiguo Dong, Wenyong Lei, Ming School of Computer Science and Technology Tianjin University Tianjin 300072 China Computer School Wuhan University Wuhan 430079 China Institute of Automation Chinese Acad. of Sci. Beijing 100086 China Tianjin Key Laboratory of Intelligence Computing and Novel Software Technology Tianjin University of Technology Tianjin 300191 China Key Laboratory of Computer Vision and System Ministry of Education Tianjin 300191 China

The paper provided some theoretical results about the convergence of ITO algorithm for combinatorial optimization problems. The transform probability of wave operator and move operator studied in detail. The almost sure convergence to the global optimum is obtained by transforming the search process of ITO algorithm to the discrete sub-martingale. Furthermore, the expected time of one particle in ITO algorithm is analyzed. © 2010 Binary Information Press October, 2010.

关键词： Combinatorial optimization

来源：评论

学校读者我要写书评

暂无评论

Design and implementation of a kind of EUPS for mobile service

引用

Journal of Information and Computational Science 2010年第11期7卷 2248-2257页

作者： Zhang, Xiaodan Zhang, Degan Qiao, Xiaodong Liang, Bing Peng, Hongtao Institute of Scientific and Technical Information of China Beijing 100038 China Tianjin Key Lab. of Intelligent Computing and Novel software Technology Tianjin University of Technology Tianjin 300191 China Key Laboratory of Computer Vision and System Ministry of Education Tianjin University of Technology Tianjin 300191 China Beijing Petroleum Managers Training Institute Beijing 100096 China

In order to support mobile service of long-distance monitoring and controlling UPS based on Web, a kind of design and implementation solution of embedded UPS (EUPS) system is brought forward in this paper. The design and implementation of system is based on ATmega161 and RTL8019AS with TCP/IP protocol suite for communication. In the EUPS system, an embedded file system is designed and implemented which can store the data and index information on a serial EEPROM chip in structured way and communicate with MCU through I2C bus. By embedding the file system into UPS system or other information appliances, users can browse and manipulate local data on the web client side. Based on our experimental tests, the performance of EUPS can meet the requirements of Web-based mobile services. © 2010 Binary Information Press.

关键词： Websites

来源：评论

学校读者我要写书评

暂无评论

Hybrid uniform distribution of particle swarm optimizer

引用

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences 2010年第10期E93-A卷 1782-1791页

作者： Zhang, Junqi Tan, Ying Ni, Lina Xie, Chen Tang, Zheng Department of Computer Science and Technology Key Laboratory of Embedded System and Service Computing Ministry of Education Qingdao China Tongji University Shanghai 200092 China Key Laboratory of Machine Perception Ministry of Education Qingdao China Department of Machine Intelligence School of Electronics Engineering and Computer Science Peking University Beijing 100871 China College of Info Sci and Engi Shandong University of Science and Technology Qingdao China Department of Intellectual Information Systems Engineering University of Toyama Toyama-shi 930-8555 Japan

Particle swarm optimizer (PSO) is a stochastic global optimization technique based on a social interaction metaphor. Because of the complexity, dynamics and randomness involved in PSO, it is hard to theoretically analyze the mechanism on which PSO depends. Statistical results have shown that the probability distribution of PSO is a truncated triangle, with uniform probability across the middle that decreases on the sides. The "truncated triangle" is also called the "Maya pyramid" by Kennedy. However, very little is known regarding the sampling distribution of PSO in itself. In this paper, we theoretically analyze the "Maya pyramid" without any assumption and derive its computational formula, which is actually a hybrid uniform distribution that looks like a trapezoid and conforms with the statistical results. Based on the derived density function of the hybrid uniform distribution, the search strategy of PSO is defined and quantified to characterize the mechanism of the search strategy in PSO. In order to show the significance of these definitions based, on the derived hybrid uniform distribution, the comparison between the defined search strategies of the classical, linear decreasing weight based PSO and the canonical constricted PSO suggested by Clerc is illustrated and elaborated. Copyright © 2010 The Institute of Electronics, Information and Communication Engineers.

关键词： Probability distributions

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Information system security function validating using model checking

Information system security function validating using model ...

引用

International Conference on Computer Engineering and technology, ICCET

作者： Jianli Ma Guoai Xu Yixian Yang Yong Ji Key Laboratory of Network and Information Attack & Defense Technology of MOE Beijing University of Posts and Telecommunications Beijing China Beijing University of Posts and Telecommunications Beijing Beijing CN China Electronics System Engineering Computing Station Beijing China

ISBN: (纸本)9781424463473

Information systems will be encountered more and more security threats due to the development of computer attack method and technology. Generally, different security policies are used to protect the sensitive information in these systems. There has been a lot of study on security policy conformance and completeness verification and validation. However, there have few researches to validate whether the system behaviors satisfy the security policies. A model checking based information system security function validation method is proposed to validate the conformance between the system security solutions and the security policies in this paper. The system behaviors and the security policies are modeled separately, and the consistency between them is validated using the model checker SPIN.

关键词： Information systems Information security Computer security Computer networks Telecommunication computing Laboratories Protection Management information systems Logic systems engineering and theory

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：