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

International Conference on Networks Security, Wireless Communications and Trusted Computing, NSWCTC

作者： Niu Jun Guosun Zeng Embedded System and Service Computing Key Laboratory Ministry of Education Shanghai China College of Information Engineering Zhejiang Business and Technology Institute Ningbo China Department of Computer Science and Technology University of Tongji Shanghai China

ISBN: (纸本)9781424465972;9780769540115

Partial order reduction techniques have been used to combat the state explosion problem in model checking procedures for concurrent systems with probabilistic behaviors. There are some results that give criteria on applying partial order reduction for verifying quantitative time properties and reward-based properties on actions. However, there are many situations that reward-based properties are expressed on states rather than on actions because actions are triggered in no time and the quantities can not be obtained easily. This paper presents reduction criteria for a probabilistic temporal logic that allows specification of restrictions on quantitative measures given by spatial resources function for the states of the considered system and provides the proof of the correctness.

关键词： Explosions computer networks Concurrent computing embedded computing Educational technology Probabilistic logic Communication system security computer security Information security Wireless communication

来源：评论

学校读者我要写书评

暂无评论

A Generalized Model with Spatial Resources Labels

A Generalized Model with Spatial Resources Labels

引用

International Conference on Biomedical Engineering and computer Science (ICBECS)

This paper proposes a generalized model by extending Markov chain with spatial resources labels, which can describe the functional and performance properties and some basic characteristics such as nondeterminacy and randomicity. The syntax and semantics of the new model are shown based on the existing temporal logics such as CSRL and pathCSRL. The model checking procedure is discussed and thus the practicability of the new model is intuitive. Based on the existing models, the proposed model includes spatial resources labels only by adding the spatial information to the existing labels of states, so the treatment of the state explosion problem is similar to that in the existing models.

关键词： Educational technology Paper technology Logic Labeling Educational institutions embedded system embedded computing computer science education systems engineering education computer science

来源：评论

学校读者我要写书评

暂无评论

Feature Selection Technique for Hyperspectral Imagery Classification with Noise Reduction Preprocessing

Feature Selection Technique for Hyperspectral Imagery Classi...

引用

Chinese Conference on Pattern Recognition (CCPR)

作者： Sen Jia Zhen Ji Zexuan Zhu Yuntao Qian Shenzhen City Key Laboratory of Embedded System Design College of Computer Science and Software Engineering Shenzhen University Shenzhen China College of Computer Science University of Zhejiang Hangzhou China

The rich information available in hyperspectral imagery has posed significant opportunities for material classification and identification. The main problem encountered with the classification process is the high dimensionality of hyperspectral data and the low-sized training dataset. Hence, dimensionality reduction is often adopted to avoid the "curse of dimensionality" phenomenon. However, noise generated by various sources (primarily the sensor and the atmosphere) inevitably decrease the precision of the classifier. In this paper, two wavelet-based methods, wavelet shrinkage and discrete wavelet transform, are applied to preprocess the hyperspectral imagery in sequence, denoising the spatial images and spectral signatures, respectively. After that, affinity propagation, which is a recently proposed feature selection approach, is used to choose representative features from the noise-reduced data. Experimental results demonstrate that the features acquired by the new scheme make the classification results more accurate than those without noise reduction preprocessing.

关键词： Hyperspectral imaging Discrete wavelet transforms Noise reduction Noise Accuracy

来源：评论

学校读者我要写书评

暂无评论

Hierarchical alternating least squares algorithm with Sparsity Constraint for hyperspectral unmixing

Hierarchical alternating least squares algorithm with Sparsi...

引用

IEEE International Conference on Image Processing

作者： Sen Jia Yuntao Qian Jiming Li Yan Li Zhong Ming Shenzhen City Key Laboratory of Embedded System Design College of Computer Science and Software Engineering Shenzhen University Shenzhen China College of Computer Science University of Zhejiang Hangzhou China

In this paper, we not only extend the temporal hierarchical alternating least squares (HALS) to spatial domain, but also incorporate two necessary characteristics of material abundances, full additivity and sparsity, to unmix hyperspectral data. The new algorithm is abbreviated as HALSSC (HALS with Sparsity Constraint). Different from the other endmember extraction approaches, the proposed algorithm does not need the existence assumption of pure pixel of each endmember in the scene. Experimental results on highly mixed synthetic data and real hyperspectral data from Washington DC mall confirm the accuracy of the developed algorithm.

关键词： Hyperspectral imaging Pixel Signal processing algorithms Data mining Reflectivity Materials

来源：评论

学校读者我要写书评

暂无评论

Precisely Locating Multi-QR Code Based on Straight Line Fitting

Precisely Locating Multi-QR Code Based on Straight Line Fitt...

引用

Chinese Conference on Pattern Recognition (CCPR)

作者： Qiang Huang Ming Li Zhen Ji Shenzhen City Key Laboratory of Embedded System Design College of Computer Science and Software Engineering Shenzhen University China College of Computer Science and Software Engineering Shenzhen University China

QR code as a code which can be recognized quickly and in all directions, has been widely used in every walk of life. This paper proposed an approach to exactly locate the QR code, which based on the frame points of the QR code finder pattern to fit line in order to get the four frame lines of the QR code. Compared with commonly used HOUGH transform, our approach reduces a lot of memory and time consumption. Experiment validates that the proposed method can precisely locate multi-QR codes in complicate background.

关键词： Electronic mail Software engineering Educational institutions computer science Laboratories Cities and towns embedded systems

来源：评论

学校读者我要写书评

暂无评论

Feature extraction and selection hybrid algorithm for hyperspectral imagery classification

Feature extraction and selection hybrid algorithm for hypers...

引用

IEEE International Symposium on Geoscience and Remote Sensing (IGARSS)

作者： Sen Jia Yuntao Qian Jiming Li Weixiang Liu Zhen Ji Shenzhen City Key Laboratory of Embedded System Design College of Computer Science and Software Engineering Shenzhen University Shenzhen China College of Computer Science University of Zhejiang Hangzhou China

Due to the enormous amounts of data contained in hyperspectral imagery, the main challenge for hyperspectral image classification is to improve the accuracy with less computation complexity. Hence, dimensionality reduction (DR) is often adopted, which includes two different kinds of methods, feature extraction and feature selection. In this paper, discrete wavelet transform (DWT) and affinity propagation (AP), which belong to feature extraction and feature selection respectively, are combined together to accomplish the DR task. Firstly, DWT-based features are extracted from the original hyperspectral data; secondly, AP is applied to select representative features from the obtained ones. Experimental results demonstrate that, compared with some other DR methods which only make use of feature extraction or feature selection, the features acquired by the hybrid technique make the classification results more accurate.

关键词： Feature extraction Hyperspectral imaging Discrete wavelet transforms Accuracy Approximation methods Noise

来源：评论

学校读者我要写书评

暂无评论

Object rigidity and reflectivity identification based on motion analysis

Object rigidity and reflectivity identification based on mot...

引用

IEEE International Conference on Image Processing

作者： Di Zang Paul R. Schrater Katja Doerschner Department of Computer Science and Engineering University of Minnesota USA Key Laboratory of Embedded System and Service Computing Ministry of Education University of Tongji China National Research Center of Magnetic Resonance and Department of Psychology Bilkent University Turkey

Rigidity and reflectivity are important properties of objects, identifying these properties is a fundamental problem for many computer vision applications like motion and tracking. In this paper, we extend our previous work to propose a motion analysis based approach for detecting the object's rigidity and reflectivity. This approach consists of two steps. The first step aims to identify object rigidity based on motion estimation and optic flow matching. The second step is to classify specular rigid and diffuse rigid objects using structure from motion and Procrustes analysis. We show how rigid bodies can be detected without knowing any prior motion information by using a mutual information based matching method. In addition, we use a statistic way to set thresholds for rigidity classification. Presented results demonstrate that our approach can efficiently classify the rigidity and reflectivity of an object.

关键词： Optical imaging Adaptive optics Mutual information Shape computer vision Integrated optics Object recognition

来源：评论

学校读者我要写书评

暂无评论

Precisely locating multi-QR code based on straight line fitting

Precisely locating multi-QR code based on straight line fitt...

引用

Chinese Conference on Pattern Recognition

作者： Huang, Qiang Li, Ming Ji, Zhen Shenzhen City Key Laboratory of Embedded System Design College of Computer Science and Software Engineering Shenzhen University 518060 China College of Computer Science and Software Engineering Shenzhen University 518060 China

ISBN: (纸本)9781424472109

关键词： Hough transforms

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Coding Gabor Features for Multi-Modal Biometrics

Coding Gabor Features for Multi-Modal Biometrics

引用

Chinese Conference on Pattern Recognition (CCPR)

作者： Linlin Shen Zhen Ji Yuwen Li Li Bai Shenzhen Key Laboratory of Embedded System Design School of Computer Science & Software Engineering Shenzhen University China Shenzhen Institute of Information Technology Shenzhen China School of Computer Science University of Nottingham UK

Although biometrics technology has progressed substantially, its performance is still to be improved for real applications. This paper aims to improve the accuracy of personal identification, when only single sample is registered as template, by integrating multiple hand-based biometrics. To make fusion much easier, the same feature, so called fusion code, and decision level fusion strategy are used. Two fusion cases, face & palmprint and FKP & palmprint were taken as examples to verify the effectiveness. Experimental results show that much better performance than single modal biometrics has been achieved.

关键词： Face Biometrics Feature extraction Databases Testing Biomedical imaging Accuracy

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：