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

Dawning Nebulae:A PetaFLOPS Supercomputer with a Heterogeneous Structure

Journal of Computer Science & technology 2011年第3期26卷 352-362页

作者：孙凝辉邢晶霍志刚谭光明熊劲李波马灿 Key Laboratory of Computer System and Architecture Chinese Academy of Sciences Institute of Computing Technology Chinese Academy of Sciences Graduate University of Chinese Academy of Sciences

Dawning Nebulae is a heterogeneous system composed of 9280 multi-core x86 CPUs and 4640 NVIDIA Fermi GPUs. With a Linpack performance of 1.271 petaFLOPS, it was ranked the second in the TOP500 List released in June 2010. In this paper, key issues in the system design of Dawning Nebulae are introduced. system tuning methodologies aiming at petaFLOPS Linpack result are presented, including algorithmic optimization and communication improvement. The design of its file I/O subsystem, including HVFS and the underlying DCFS3, is also described. Performance evaluations show that the Linpack efficiency of each node reaches 69.89%, and 1024-node aggregate read and write bandwidths exceed 100 GB/s and 70 GB/s respectively. The success of Dawning Nebulae has demonstrated the viability of CPU/GPU heterogeneous structure for future designs of supercomputers.

关键词： supercomputer heterogeneous systems performance evaluation

来源：评论

学校读者我要写书评

暂无评论

Improved synthetic aperture radar image spectral clustering algorithm

引用

Guangxue Xuebao/Acta Optica Sinica 2012年第SUPPL.1期32卷

作者： Meng, Qingxia Wen, Xianbin Xu, Haixia Liu, Lili Tianjin Key Laboratory of Intelligence Computing and Novel Software Technology Tianjin University of Technology Tianjin 300384 China Key Laboratory of Computer Vision and System Ministry of Education Tianjin University of Technology Tianjin 300384 China

Synthetic aperture radar (SAR) image segmentation is the basis of the image understanding. Combined with the Nyström sampling technique and the graph spectral theory, a new improved algorithm with fast and effective spectral clustering is proposed for the SAR image. Based on the matrix perturbation analysis theory, the automatic determining class number criterion suitable for the SAR image segmentation is constructed. Based on analysis of influence of proportion parameters on the spectral clustering algorithm, according to the global construction characteristics of the SAR image, auto-adaptive neighborhood estimate method of scale parameter is proposed. According to the gray value and the spatial location of each pixel in the SAR image, the affinity function better describing the essence structure of the SAR image is constructed, and then the improved spectral clustering algorithm is researched. The proposed algorithm is applied to the simulation experiment and in the actual SAR image segmentation, and also it is compared with the traditional spectral clustering method.

关键词： Clustering algorithms

来源：评论

学校读者我要写书评

暂无评论

Automatic Web services composition algorithm based on optimal matching

引用

Journal of Central South University 2011年第4期18卷 1169-1177页

作者：王俊丽丁志军侯玉兵 Engineering Research Center for Enterprise Digital Technology Ministry of EducationTongji University Key Laboratory of Embedded System and Service Computing Ministry of EducationTongji University Shanghai Branch China Information Technology Designing and Consulting Institute

A novel layered method was proposed to solve the problem of Web services *** this method,services composition problem was formally transformed into the optimal matching problem of every layer,then optimal matching problem was modeled based on the hypergraph theory,and solved by computing the minimal transversals of the ***,two optimization algorithms were designed to discard some useless states at the intermediary steps of the composition *** effectiveness of the composition method was tested by a set of experiments,in addition,an example regarding the travel services composition was also *** experimental results show that this method not only can automatically generate composition tree whose leaf nodes correspond to services composition solutions,but also has better performance on execution time and solution quality by adopting two proposed optimization algorithms.

关键词： Web services services composition optimal matching hypergraph theory

来源：评论

学校读者我要写书评

暂无评论

Research on fractional order controller based on best rational approximation approach

引用

Journal of Convergence Information technology 2012年第4期7卷 50-58页

作者： Zhao, Huimin Nie, Bing Li, Wen Deng, Wu Software Institute Dalian Jiaotong University Dalian 116028 China Key Laboratory of Numerical Simulation in the Sichuan Provincial College Neijiang Normal University Neijiang 641112 China Artificial Intelligence Key Laboratory of Sichuan Province Sichuan University of Science and Engineering Zigong 643000 China State Key Laboratory of Power Transmission Equipment and System Security and New Technology College of Electrical Engineering Chongqing University Chongqing 400044 China Key Laboratory of advanced Design and Intelligent Computing Dalian University Ministry of Education Dalian 116622 China

Introduce the basic concept of best rational approximation and constructing procedure of the best rational approximation function in Laplace domain. By an illustrative example the design method of FOC based on best rational approximation is discussed. The performance comparison of transfer functions between the FOC obtained by best rational approximation method and conventional PID shows that it is effective to apply the method in design of FOC, which can guarantee maximum absolute error of amplitude frequency characteristic of approximation function in a given error tolerance.

关键词： Rational functions

来源：评论

学校读者我要写书评

暂无评论

Editorial

引用

International Journal on Artificial Intelligence Tools 2012年第3期21卷

作者： Cui, Zhihua Shi, Zhongzhi Alex, Rajan Complex System and Computational Intelligence Laboratory School of Computer Science and Technology Taiyuan University of Science and Technology Shanxi 030024 China Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences No. 6 Kexueyuan South Road Zhongguancun Haidian District Beijing 100190 China Department of Engineering and Computer Science West Texas AandM University Canyon TX 79015 United States

Swarm intelligence is an umbrella for amount optimization algorithms. This discipline deals with natural and artificial systems composed of many individuals that coordinate their activities using decentralized control and self-organization. In general, multi-agent systems that use some swarm intelligence are said to be swarm intelligent systems. They are mostly used as search engines and optimization tools. The goal of this special issue has been to offer a wide spectrum of sample works throughout the world about innovative methodologies of swarm intelligence. The issue should be useful both for beginners and experienced researchers in the field of computational intelligence. © 2012 World Scientific Publishing Company.

关键词： Swarm intelligence

来源：评论

学校读者我要写书评

暂无评论

Model checking cooperative multi-agent systems in BDI logic

引用

Journal of Information and Computational Science 2012年第5期9卷 1185-1194页

作者： Chen, Qingliang Su, Kaile Wu, Lijun Xu, Zhaocheng School of Electronics Engineering and Computer Science Peking University Beijing 100871 China Department of Computer Science Jinan University Guangzhou 510632 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai China Institute for Integrated and Intelligent Systems Griffith University Brisbane Australia School of Computer Science and Engineering University of Electronic Science and Technology of China Chengdu China

Traditional temporal logics such as LTL (Linear Temporal Logic) and CTL (Computation Tree Logic) have shown tremendous success in specifying and verifying hardware and software systems. However, this kind of logic can only model the dynamic behaviors for a single system, and fall short in capturing the joint and concurrent aspects in the composition of systems, such as the interactions and coordinations of agents in Multi-agent systems. Although ATL (Alternating-time Temporal Logic) can solve the problem to a certain extent, by preceding the temporal operators with a selective path quantifier, to specify that the interactions between entities inside the system can make sure that there is a strategy to reach a certain state, it can not formalize the rational mental attitudes of the agents such as the Belief, Desire and Intention (BDI) which plays an essential role in decision making during cooperation with other agents. This paper will investigate this problem by proposing a logic of ATLBDI (Alternating-time Temporal Logic of Belief Desire and Intention) and discuss the algorithmic issues such as model checking algorithms and the computational complexity, along with examples to show its effectiveness. We conclude that model checking for ATLBDI is completely tractable and is in PTIME-Complete, which is quite an optimistic and promising result for further applications. © 2012 by Binary Information Press.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

Stochastic multisymplectic integrator for stochastic KdV equation

引用

AIP Conference Proceedings 2012年第1期1479卷 1757-1760页

作者： Shanshan Jiang Lijin Wang Jialin Hong College of Science Beijing University of Chemical Technology Beijing 100029 China School of Mathematical Sciences University of Chinese Academy of Sciences Beijing 100049 China State Key Laboratory of Scientific and Engineering Computing Institute of Computational Mathematics and Scientific/Engineering Computing Academy of Mathematics and System Science Chinese Academy of Sciences P.O. Box 2719 Beijing 100190 China

In this paper we investigate the stochastic multisymplectic methods to solve the stochastic partial differential equation. The stochastic KdV equations are considered. Besides conserving the multi-symplectic structure of original equation, the stochastic multi-symplectic methods are also investigated for the conservation of various conservation laws. We deduce the transit laws of the specific formal conservation laws. Numerical experiments are illustrated to verify the good behaviors of stochastic multisymplectic methods.

关键词：

来源：评论

学校读者我要写书评

暂无评论

On iterative liveness-enforcement for a class of generalized Petri nets

On iterative liveness-enforcement for a class of generalized...

引用

IEEE International Conference on Automation Science and Engineering (CASE)

作者： YiFan Hou Ding Liu MengChu Zhou School of Electro-Mechanical Engineering Xidian University Xian China Key Laboratory of Embedded System and Service Computer Ministry of Education Tongji University Shanghai China Department of Electrical and Computer Engineering New Jersey Institute of Technology Newark NJ USA

This work presents an iterative liveness-enforcing method for a class of generalized Petri nets, which can model flexible manufacturing systems. The proposed method checks the liveness of net models using mixed integer programming and controls the token allocations of resource places instead of siphons using a liveness and resource usage ratio-enforcing supervisor. The enumeration of a kind of special structures, which is required in the previous work, is avoided and the number of iterations is bounded by the number of shared resource places in the net model. All strict minimal siphons in the controlled systems are minimally controlled. Several explanatory examples are used to illustrate this method.

关键词： Monitoring Petri nets Iterative methods system recovery Educational institutions Resource management Vectors

来源：评论

学校读者我要写书评

暂无评论

Image quality assessment using sparse representation in ICA domain

Image quality assessment using sparse representation in ICA ...

引用

Asia-Pacific Signal and Information Processing Association Annual Summit and Conference 2011, APSIPA ASC 2011

作者： Cheng, Cheng Wang, Hanli Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 200092 China

A novel metric for full-reference image quality assessment (IQA) is proposed in this paper. Based on the sparse representation in independent component analysis (ICA) domain, the image basis is generated from natural images adaptively, which coincides with the characteristics of human vision system (HVS). In order to extract the feature vector, a hybrid norm optimization strategy is introduced for achieving more stable computational performances. The proposed IQA metric is calculated as a correlation coefficient between the two feature vectors from reference and distorted images, respectively. Experimental results on the LIVE Database Release 2 demonstrate that the proposed metric can achieve competitive performances as compared to the well-known structural similarity (SSIM) metric.

关键词： Independent component analysis

来源：评论

学校读者我要写书评

暂无评论

Adaptively selecting working frequency to reduce disturbances in high frequency radar

Adaptively selecting working frequency to reduce disturbance...

引用

作者： Gui, R.Z. Key Laboratory of Embedded System and Service Computing Tongji University Ministry of Education Shanghai 200092 China

In high frequency radar, we should avoid noise disturbances in the radar's working-frequency segment. Moreover, the sidelobes of strong targets interfere with the detection of weak targets. A new method based on an adaptive selecting working-frequency is proposed. Frequency spectrum monitor is designed for selecting quiet frequency segment for the radar. Frequency spectrum monitor and the receiver of the radar are arranged to work according to special time periods respectively. So the radar can work in the frequency segments with lower noise disturbances. Moreover, there is no correlation between the noise and the useful echo signal, though the correlation between noises over very short time periods is strong, the noise data produced by frequency spectrum monitor can be exploited effectively Adjusting system parameters in real-time by adaptive methods can be utilized to reduce noise disturbances. Algorithm based on the properties of crosscorrelation between noise and target is exploited for suppressing sidelobe disturbances of strong targets. Lastly, the feasibility of the methods is verified by processing actual radar data.

关键词： Data handling

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：