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

A multi-features fusion support vector machine method (MF-SVM) for classification of mangrove remote sensing image

Journal of Computational Information Systems 2012年第1期8卷 323-334页

作者： Luo, Yanmin Liao, Minghong Yan, Jing Zhang, Caiyun Cognitive Science Department Fujian Key Laboratory of the Brain-like Intelligent Systems Xiamen University Xiamen 361005 China College of Computer Science and Technology Huaqiao University Xiamen 361005 China Software School of Xiamen University Xiamen 361005 China College of Oceanography and Environmental Science Xiamen University Xiamen 361005 China

Remote sensing technology has been the major monitoring and analysing technologies of the mangrove ecosystem. Because of the similar spectral features between mangroves and other types of land cover such as agricultural land and forests, serious confusion in mangrove classification using conventional methods can develop. As one of the popular and advanced statistical learning algorithms, Support Vector Machine (SVM) has been the important study area of pattern recognition and machine learning in recent years. SVM is the useful technique for data classification which based on structural risk minimization (SRM) principle. SVM has such advantages as suitableness to high dimensional data, requirement of few samples and robustness to uncertainty, so it can be used to remote sensing image classification effectively. In order to improve the accuracy of mangrove remote sensing images classification, this paper discusses the SVM models including kernel functions and multi-class methods, and proposes a Multi-features fusion support vector machine classification method (MF-SVM) for classification of mangrove remote sensing image using multi-temporal Landsat TM data, ancillary GIS data and image information. The SVM with the RBF kernel function and one against one multiclass method is used in the MF-SVM. Experiments are performed on the remote sensing image of Zhangjiangkou Mangrove Forestry National Nature Reserve which is located in Yunxiao, Fujian, China. The result shows that the proposed method can improve the extraction accuracy of mangroves. © 2012 Binary Information Press January 2012.

关键词： Classification (of information)

来源：评论

学校读者我要写书评

暂无评论

A partially reconfigurable architecture supporting hardware threads

A partially reconfigurable architecture supporting hardware ...

引用

IEEE International Conference on Field-Programmable technology (FPT)

作者： Ying Wang Jian Yan Xuegong Zhou Lingli Wang Wayne Luk Chenglian Peng Jiarong Tong State Key Laboratory of ASIC and System Fudan University Shanghai China Department of Computing Imperial College London London United Kingdom School of Computer Science and Technology Fudan University Shanghai China

As a promising computing platform for stream processing, partially reconfigurable systems have shown their hardware efficiency and reconfiguration flexibility. This paper presents a partially reconfigurable architecture supporting hardware threads. It gives a unified software/hardware thread interface and high throughput point-to-point streaming structure. Dynamic computing resource allocation and streaming-based multi-threaded management are also provided at operating system level. It is easy for programmers to exploit the inherent thread, data and pipeline parallelism in a unified view of threads, enhancing hardware efficiency while improving productivity. The experimental results on a cryptography application demonstrate the feasibility and superior performance. Moreover, the parallelized AES, DES and 3DES hardware threads on field-programmable gate arrays show 1.61-4.59 times higher power efficiency than their implementations on state-of-the-art graphics processing units.

关键词： Hardware Instruction sets computer architecture Runtime Kernel

来源：评论

学校读者我要写书评

暂无评论

Path-oriented bounded reachability analysis of composed linear hybrid systems

引用

International Journal on software Tools for technology Transfer 2011年第4期13卷 307-317页

作者： Bu, Lei Li, Xuandong State Key Laboratory of Novel Software Technology Nanjing University Nanjing Jiangsu 210093 China Department of Computer Science and Technology Nanjing University Nanjing Jiangsu 210093 China

The existing techniques for reachability analysis of linear hybrid systems do not scale well to the problem size of practical interest. The performance of existing techniques is even worse for reachability analysis of a composition of several linear hybrid automata. In this paper, we present an efficient path-oriented approach to bounded reachability analysis of composed systems modeled by linear hybrid automata with synchronization events. It is suitable for analyzing systems with many components by selecting critical paths, while this task was quite insurmountable before because of the state explosion problem. This group of paths will be transformed to a group of linear constraints, which can be solved by a linear programming solver efficiently. This approach of symbolic execution of paths allows design engineers to check important paths, and accordingly increase the faith in the correctness of the system. This approach is implemented into a prototype tool Bounded reAchability CHecker (BACH). The experimental data show that both the path length and the number of participant automata in a system checked using BACH can scale up greatly to satisfy practical requirements. © 2010 Springer-Verlag.

关键词： Linear programming

来源：评论

学校读者我要写书评

暂无评论

Breakdown voltage enhancement for power AlGaN/GaN HEMTs with Air-bridge Field Plate

Breakdown voltage enhancement for power AlGaN/GaN HEMTs with...

引用

International Symposium on Power Semiconductor Devices and Ics (ISPSD)

作者： G. Xie E. Xu J. Lee N. Hashemi W. T. Ng B. Zhang F. Y. Fu State Key Laboratory of Electronic Thin Films and Integrated Devices University of Electronic Science and Technology Chengdu Sichuan China The Edward S. Rogers Sr. Department of Electrical and Computer Engineering University of Toronto Toronto ONT Canada Crosslight software Inc. Burnaby BC Canada

An AlGaN/GaN high-electron mobility transistor (HEMT) with a novel source-connected Air-bridge Field Plate (AFP) is simulated, optimized and experimentally verified. The device features a metal field plate that jumps from the source over the gate region and lands between gate and drain. The fabrication process is based on a commercially available RF GaN on SiC technology. Device characteristics for this work were optimized via layout changes only. An extensive analysis on the surface electrical field distribution was used to study the effect of varying AFP dimension. Simulation results indicated a breakdown voltage of 425 V for the AFP device can be achieved at V GS = -5 V. The gate to drain distance is 6 μm and the gate length is 0.8 μm. The fabricated results for AFP device are in relatively good agreement with the simulation results and exhibit improvement in forward blocking voltage of 375 V at V GS = -5 V. This is a factor of 3× improvement when compared to the best device that can be fabricated using conventional field plate (FP) for this particular process. The measured specific on-resistance for the device with the proposed AFP is 0.58 mΩ·cm 2 at V GS = 0 V, which compares favorably with 0.79 mΩ·cm 2 for the device with a conventional FP.

关键词： HEMTs MODFETs Gallium nitride Aluminum gallium nitride Logic gates Electric fields Electric breakdown

来源：评论

学校读者我要写书评

暂无评论

Bootstrapping object coreferencing on the semantic web

Bootstrapping object coreferencing on the semantic web

引用

作者： Hu, Wei Qu, Yu-Zhong Sun, Xing-Zhi State Key Laboratory for Novel Software Technology Department of Computer Science and Technology Nanjing University Beijing 100193 China

An object on the Semantic Web is likely to be denoted with several URIs by different parties. Object core-ferencing is a process to identify \equivalent" URIs of objects for achieving a better Data Web. In this paper, we propose a bootstrapping approach for object coreferencing on the Semantic Web. For an object URI, we firstly establish a kernel that consists of semantically equivalent URIs from the same-as, (inverse) functional properties and (max-)cardinalities, and then extend the kernel with respect to the textual descriptions (e.g., labels and local names) of URIs. We also propose a trustworthiness-based method to rank the coreferent URIs in the kernel as well as a similarity-based method for ranking the URIs in the extension of the kernel. We implement the proposed approach, called ObjectCoref, on a large-scale dataset that contains 76 million URIs collected by the Falcons search engine until 2008. The evaluation on precision, relative recall and response time demonstrates the feasibility of our approach. Additionally, we apply the proposed approach to investigate the popularity of the URI alias phenomenon on the current Semantic Web. © 2011 Springer science+Business Media, LLC & science Press, China.

关键词： Data fusion

来源：评论

学校读者我要写书评

暂无评论

Word alignment combination over multiple word segmentation

Word alignment combination over multiple word segmentation

引用

49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies, ACL HLT 2011

作者： Xi, Ning Tang, Guangchao Li, Boyuan Zhao, Yinggong State Key Laboratory for Novel Software Technology Department of Computer Science and Technology Nanjing University Nanjing 210093 China

ISBN: (纸本)9781932432893

In this paper, we present a new word alignment combination approach on language pairs where one language has no explicit word boundaries. Instead of combining word alignments of different models (Xiang et al., 2010), we try to combine word alignments over multiple monolingually motivated word segmentation. Our approach is based on link confidence score defined over multiple segmentations, thus the combined alignment is more robust to inappropriate word segmentation. Our combination algorithm is simple, efficient, and easy to implement. In the Chinese-English experiment, our approach effectively improved word alignment quality as well as translation performance on all segmentations simultaneously, which showed that word alignment can benefit from complementary knowledge due to the diversity of multiple and monolingually motivated segmentations. © 2011 Association for Computational Linguistics.

关键词： Alignment

来源：评论

学校读者我要写书评

暂无评论

Feedback-directed test case generation based on UML activity diagrams

Feedback-directed test case generation based on UML activity...

引用

2011 5th International Conference on Secure software Integration and Reliability Improvement - Companion, SSIRI-C 2011

作者： Chen, Xin Ye, Nan Jiang, Peng Bu, Lei Li, Xuandong Department of Computer Science and Technology State Key Laboratory for Novel Software Technology Nanjing University Nanjing Jiangsu 210093 China

ISBN: (纸本)9780769544540

As UML models are widely used as design blueprints, model-based techniques can be used in test case generation. However, test cases obtained from these techniques are usually abstract test cases, represented as sequences of actions in abstract models, and heavy human efforts are needed to translate them into concrete test cases accepted by programs for execution. To reduce this effort, we present an approach to automatically generating executable test cases based on activity diagrams. It relates methods of classes in JAVA programs with activity nodes in their design models and instruments codes into JAVA programs to collect traces in execution. Regarding traces collected in execution as feedbacks, data classifiers that can predict test inputs' impact on decision nodes in activity diagrams are constructed. Those data classifiers are used to guide the creation of new test inputs that can cover untouched paths in design models. Experiments show that the approach can greatly relieve testers' burden in preparing test cases. © 2011 IEEE.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Automatic regression test selection based on activity diagrams

Automatic regression test selection based on activity diagra...

引用

International Conference on Secure software Integration and Reliability Improvement Companion

作者： Ye, Nan Chen, Xin Jiang, Peng Ding, Wenxu Li, Xuandong Department of Computer Science and Technology State Key Laboratory for Novel Software Technology Nanjing University Nanjing Jiangsu 210093 China

ISBN: (纸本)9780769544540

Regression testing is the most common method for ensuring the quality of changed software. As UML models are widely used as design blueprints, model-based test case generation techniques can be used in regression test cases generation. However, test cases obtained from these techniques are usually represented as sequences of actions in abstract models, and heavy human efforts are needed to transform them into test cases accepted by software for execution. To reduce this effort, we present an approach to automatically generate executable test cases for regression testing based on activity diagrams. It combines a technique of activity diagrams based regression test cases classification to pick up retestable test cases, and a technique of feedback-directed test cases generation to generate test cases for new behaviors in changed software. We implement the tool MDRTGen to show the performance of the approach. The experiments show the good performance of the approach in improving the efficiency of test cases generation and decreasing the cost in regression testing. © 2011 IEEE.

关键词： Blueprints

来源：评论

学校读者我要写书评

暂无评论

A heuristic approach for scalability of multi-tiers web application in clouds

A heuristic approach for scalability of multi-tiers web appl...

引用

2011 5th International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, IMIS 2011

作者： Chi, Ruiqing Qian, Zhuzhong Lu, Sanglu State Key Laboratory for Novel Software Technology Department of Computer Science and Technology Nanjing University Nanjing 210093 Jiangsu China

ISBN: (纸本)9780769543727

High availability, reliability and scalability are basic prerequisites for cloud applications. Due to dynamically varying workloads, it's necessary to provide resource guarantees to cloud applications for meeting QoS requirements. However, it's not trivial to generate a precise scalability policy for multi-tiers cloud applications to adapt to dynamically varying workload and satisfy QoS requirements simultaneously with minimal resource consumption. In this paper, we present an on-line scalability controller of multi-tiers applications to handle with unpredictable changing workloads. The solution is based on the use of layered queuing network model combined with our dynamic resource allocation techniques. Our performance model relates application performance to their resource requirements and dynamically varying workloads. Then we evaluate our approach via experiments with real-world workloads in different scenarios. Our results indicate that our performance model faithfully captures the behaviors of multi-tiers applications over a various range of workloads and configuration schemes. Moreover, it also shows that our techniques can judiciously obtain the optimized configuration scheme effectively with modest computation. © 2011 IEEE.

关键词： Scalability

来源：评论

学校读者我要写书评

暂无评论

An instrumentation tool for program dynamic analysis in java

An instrumentation tool for program dynamic analysis in java

引用

International Conference on Secure software Integration and Reliability Improvement Companion (SSIRI-C)

作者： Chen, Huajie Zhang, Tian Bu, Lei Li, Xuandong Department of Computer Science and Technology State Key Laboratory for Novel Software Technology Nanjing University Nanjing Jiangsu 210093 China

ISBN: (纸本)9780769544540

Dynamic analysis has been widely used in program analysis. Instrumentation is a general technology used to trace dynamic behavior of software. This paper presents a java source code instrumentation tool, which supports making instrumentation manually and automatically according to rules based on AST analysis. On one hand, users can instrument source code manually. It supports to manage those instrumentation points. On the other hand, code snippets can be instrumented automatically in compliance with criteria defined by users. This tool defines some inside criteria and makes instrumentation automatically for them. What's more, these inside criteria can be expanded. By instrumentation, a dynamic execution report about the java source code can be obtained. © 2011 IEEE.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：