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

Asia and South Pacific Design Automation Conference

作者： Zijian He Tao Lv Huawei Li Xiaowei Li Chinese Academy of Sciences Beijing Beijing CN Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Academy and Sciences Beijing China

ISBN: (纸本)9781605588377

Critical path selection plays an important role in testing of small delay defects (SDD). For some timing-balanced circuits, the numbers of candidate critical paths may be very large, and this will make Monte Carlo simulation based statistical timing analysis very inefficient. A fast path selection approach based on graph partition is proposed in this paper. First, a critical path graph (CPG) is generated to implicitly enumerate almost all candidate critical paths, and then the CPG is partitioned into several sub graphs which contain limited numbers of paths using two graph partition approaches. After that, Monte Carlo simulation is applied on each sub graph for path selection. At last, according to the partition topology of the CPG and path sets selected from each sub graph, a path set for the original CPG is generated using Union and Cartesian product operations for testing SDDs. Experimental results show that for circuits containing large numbers of candidate critical paths, the proposed path selection approach can reduce the CPU time significantly and maintain a higher probability of capturing delay failures compared to path selection methods based on general Monte Carlo simulation.

关键词： Timing Circuit testing Delay effects Sampling methods Monte Carlo methods Crosstalk system testing Laboratories Distributed computing Computer architecture

来源：评论

学校读者我要写书评

暂无评论

Real-Time Activity Recognition in Wireless Body Sensor Networks: From Simple Gestures to Complex Activities

Real-Time Activity Recognition in Wireless Body Sensor Netwo...

引用

IEEE International Conference on Embedded and Real-Time computing systems and Applications (RTCSA)

作者： Liang Wang Tao Gu Hanhua Chen Xianping Tao Jian Lu State Key Laboratory of Novel Software Technology Nanjing University China Department of Mathematics and Computer Science University of Southern Denmark Denmark Services Computing Technology and System Laboratory Huazhong University of Science and Technology China

Real-time activity recognition using body sensor networks is an important and challenging task and it has many potential applications. In this paper, we propose a real time, hierarchical model to recognize both simple gestures and complex activities using a wireless body sensor network. In this model, we first use a fast, lightweight template matching algorithm to detect gestures at the sensor node level, and then use a discriminative pattern based real-time algorithm to recognize high-level activities at the portable device level. We evaluate our algorithms over a real-world dataset. The results show that the proposed system not only achieves good performance (an average precision of 94.9%, an average recall of 82.5%, and an average real-time delay of 5.7 seconds), but also significantly reduces the network communication cost by 60.2%.

关键词： Real time systems Body sensor networks Acceleration Wireless communication Algorithm design and analysis Gesture recognition

来源：评论

学校读者我要写书评

暂无评论

Outlier Detection for Learning-Based Optimizing Compiler

Outlier Detection for Learning-Based Optimizing Compiler

引用

Japan-China Joint Workshop on Frontier of Computer Science and technology (FCST)

作者： Shun Long Weiheng Zhu Department of Computer Science Jinan University Guangzhou China Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Academy and Sciences China

Modern compilers use machine learning to find from their prior experience useful heuristics for new programs encountered in order to accelerate the optimization process. However, prior experience might not be applicable for outlier programs with unfamiliar code features. This paper presents a Reverse K-nearest neighbor (RKNN) algorithm based approach for outlier detection. The compiler can therefore launch a search within an optimization space when outlier programs are encountered, or directly apply its experience to non-outliers. Preliminary experimental results demonstrate the effectiveness of the approach.

关键词： Optimization Program processors Training Kernel Benchmark testing Arrays Nearest neighbor searches

来源：评论

学校读者我要写书评

暂无评论

Application of a novel 6-DOF parallel robot with redundant actuation for earthquake simulation

Application of a novel 6-DOF parallel robot with redundant a...

引用

IEEE International Conference on Robotics and Biomimetics

作者： Jianzheng Zhang Hongnian Yu Feng Gao Xianchao Zhao Chunxiang Ma Xu Huang State Key Laboratory of Mechanical System and Vibration Shanghai Jiaotong University Shanghai China Faculty of Computing Engineering and Technology Staffordshire University Stafford UK

In this paper a novel orthogonal 6-DOF (Degree Of Freedom) parallel robot with redundant actuation is studied as an earthquake motion simulator. Taking the practical simulation of earthquake waves into consideration, we firstly analyze the general characteristics of natural earthquakes. Complexity and variety of seismic waves, 3-dimension and multi-DOF movement and strong devastating force are regarded as their three obvious features in this article. Based on the characteristics of this novel orthogonal 6-DOF parallel mechanism with redundant actuation and the features of earthquakes, the feasibility of using this parallel robot as an earthquake motion simulator is analyzed. In order to simulate earthquake motion by using the parallel robot, its unambiguous kinematics and dynamics models are derived in details. The control system of the proposed earthquake simulator is developed based on the PXIbus development platform. A typical three-direction earthquake motion, the El Centro earthquake, is simulated on the end-effector of the parallel robot using its mathematical models and control system. Three main motion parameters of simulated seismic waves, displacements, velocities and accelerations are measured respectively. The experimental results show that this equipment is appropriate for using as an earthquake simulator.

关键词： Earthquakes Parallel robots Mathematical model Seismic waves Kinematics Control systems Equations

来源：评论

学校读者我要写书评

暂无评论

Study of Web services Asynchronous Invocation Mechanism in Information Resource Integration

Study of Web Services Asynchronous Invocation Mechanism in I...

引用

The 2010 International Conference on Computer Application and system Modeling(2010计算机应用与系统建模国际会议 ICCASM 2010)

作者： Fayu Wang Guangping Xu Dongsheng Chen Tianjin Key Laboratory of Intelligence Computing and Novel Software Technology Tianjin University of Technology Tianjin PR China300191 Key Laboratory of Computer Vision and System Ministry of Education Tianjin University of Technology Tianjin PR China300191

ISBN: (纸本)9781424472352

With the development of educational information, the major concerns of the university are how to manage the current dispersed information unitedly and how to realize seamless share between information systems. This paper studies using web services to implement service-oriented architecture, puts forward data share model frame based on web service and XML technology, introduces the achievements of information systems share through combining the bidirectional options for the graduation designing, presents particularly the effectuation of asynchronous web service invoke based on event-driven, analyzing efficiency accordingly. The system share model resolves the problems on integrated confirmation of heterogeneous systems in campus network, fully considers the security and extension of the systems, providing excellent reference model for information contribution of the campus network.

关键词： web services asynchronous invoke information share event-driven

来源：评论

学校读者我要写书评

暂无评论

DCMTs: Supporting dynamically created migratory threads

DCMTs: Supporting dynamically created migratory threads

引用

International Conference on Computational Science and Engineering

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

ISBN: (纸本)9780769543239

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. © 2010 IEEE.

关键词： Fault tolerance

来源：评论

学校读者我要写书评

暂无评论

Description and verification of dynamic software architectures for distributed systems

Journal of Software

引用

Journal of Software 2010年第7期5卷 721-728页

作者： Xu, Hongzhen Zeng, Guosun Chen, Bo Department of computer Science and Technology Tongji University Shanghai 201804 China Department of Computer Science and Technology East China Institute of Technology Fuzhou Jiangxi Province 344000 China Embedded System and Service Computing Key Lab of Ministry of Education Shanghai 201804 China

Continuing growth and increasing complexity of distributed software systems make them be more flexible, adaptive and easily extensible. Dynamic evolution or reconfiguration of distributed software systems is one possible solution to meet these demands. However, there are some challenges for building dynamically evolving distributed software systems at runtime, where dynamic software architectures for them is one of the most crucial problems. In this paper, we proposed a formal method of describing and verifying dynamic software architectures for distributed systems using hypergraph grammars. We firstly gave out reconfiguration production rules and operations for software architectures based on hypergraph grammars, and then described dynamic reconfiguration of software architectures for distributed systems according to those rules. At last we verified the invariant property of dynamic software architectures for those systems using model checking, and gave out corresponding verification algorithms. © 2010 ACADEMY PUBLISHER.

关键词： Dynamic models

来源：评论

学校读者我要写书评

暂无评论

Threshold Signature Scheme Based on Non-internative Diffie-Hellman Signature

Threshold Signature Scheme Based on Non-internative Diffie-H...

引用

International Conference on Networking and Distributed computing (ICNDC)

作者： Xiuqun Wang Lican Huang Key Laboratory of Information System Security Ministry of Education Tsinghua University Beijing China Institute of Network and Distributed Computing Zhejiang Science and Technology University Hangzhou China

We present a threshold signature based on non-internative Diffie-Hellman signature. It works in asynchronous communication system and can tolerate Byzantine faults with optimal resilience n ≥ = 3t + 1, where n is the number of the participants and t is the number of the fault participants. The security of this scheme bases on discrete logarithm intractability assumption. We give the security analysis of our proposed threshold signature scheme.

关键词： Polynomials Protocols Public key Interpolation Robustness

来源：评论

学校读者我要写书评

暂无评论

nGFSIM : A GPU-based fault simulator for 1-to-n detection and its applications

nGFSIM : A GPU-based fault simulator for 1-to-n detection an...

引用

IEEE International Test Conference

作者： Huawei Li Dawen Xu Yinhe Han Kwang-Ting Cheng Xiaowei Li Department of Electrical and Computer Engineering University of California Santa Barbara USA Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Academy and Sciences China

We present nGFSIM, a GPU-based fault simulator for stuck-at faults which can report the fault coverage of one-to n-detection for any specified integer n using only a single run of fault simulation. nGFSIM, which explores the massive parallelism in the GPU architecture and optimizes the memory access and usage, enables accelerated fault simulation without the need of fault dropping. We show that nGFSIM offers a 25X speedup in comparison with a commercial tool and enables new applications in test selection.

关键词： Circuit faults Graphics processing unit Integrated circuit modeling Instruction sets Logic gates Computational modeling Kernel

来源：评论

学校读者我要写书评

暂无评论

An efficient region matching method for content-based image retrieval

International Journal of Digital Content Technology and its ...

引用

International Journal of Digital Content technology and its Applications 2010年第7期4卷 210-214页

作者： Xiao, Yingyuan Yang, Guang Zhang, Hua Lü, Kevin Key Laboratory of Computer Vision and System Ministry of Education Tianjin University of Technology Tianjin China Tianjin Key Laboratory of Intelligence Computing and Novel Software Technology Tianjin University of Technology Tianjin China Brunel University Postal Code UB8 3PH 10 52 80 Kingston Lane Uxbridge United Kingdom

Content-based image retrieval, which provides convenient ways to retrieve images from large image databases, has been studied actively. However, many previous image retrieval techniques do not look at regions in an image. In this paper, we present a novel region matching method for content-based image retrieval. In this method, the region dependences in each image are first computed in order to select the most interesting region from each image. Further, the distance of regions between different images is defined. Finally, the similar-ity measurement formulation is proposed. Experimental results show that the proposed method can improve the precision rate and the recall rate of image retrieval.

关键词： Image enhancement

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：