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

Process Calculus with Data Structure and its Model Checking Algorithm

Physics Procedia 2012年 33卷 782-789页

作者： Qing Zheng Zi-Ning Cao Department of Computer Science and Technology Nanjing University of Aero. & Astro. Nanjing 210016 P.R. China Provincial Key Laboratory for Computer Information Processing Technology Soochow University Suzhou 215006 P.R. China National Key Laboratory of Science and Technology on Avionics System Integration Shanghai 200233 P.R. China

Model checking is one of the most important technology for automatically verification. So this paper generally proposed a method of combining CCS and Z language, to perform model checking. It combines the advantage of current CCS and Z systems, where CCS is good at describing concurrent systems, also Z is a good tool for data structure. As a result, form the new system CCS-Z. Then we give the syntax and semantics of it, at last give the model checking *** advantage of this paper is combined data stucture on the famous system CCS, and increase the capacity of system description.

关键词： Model Checking CTL Z Language CCS

来源：评论

学校读者我要写书评

暂无评论

A complexity adaptive channel estimator for low power 12

A complexity adaptive channel estimator for low power

引用

Design, Automation and Test in Europe Conference and Exhibition

作者： Zhibin Yu C. H. van Berkel Hong Li Department of Mathematics & Computer Science Eindhoven University of Technology Eindhoven Netherlands Department of Modem & Signal Processing NXP Semiconductors Netherlands B. V. Eindhoven Netherlands

ISBN: (纸本)9783981080186

This paper presents a complexity adaptive channel estimator for low power. Channel estimation (CE) is one of the most computation intensive tasks in a software-defined radio (SDR) based OFDM demodulator. Complementary to the conventional low-power design methodology on processor architectures or circuits, we propose to reduce power also at the algorithm level. The idea is to dynamically scale the processing load of the channel estimator according to the run-time estimated channel quality. In this work, with a case study on China Mobile Multimedia Broadcasting (CMMB) standard, three practical CE algorithms are adopted to form a complexity scalable algorithm set, and signal noise ratio (SNR) is chosen to be the channel quality parameter for CE algorithm switching. In order to accurately estimate the SNR in the run-time, we also propose a noise variance estimation algorithm which is robust against fast-fading channels and introduces small computation overheads. Simulation shows that, under a pre-defined scenario for our targeting SDR demodulator, more than 50% run-time load reduction can be achieved compared with a fixed worst case channel estimator, while still fulfilling the mean square error requirement, resulting in about 25% of power reduction for the total demodulator. In addition, complexity adaption enables dynamical voltage and frequency scaling (DVFS) in a SDR demodulator which can lead to furthermore power reduction.

关键词： Channel estimation Signal to noise ratio OFDM Complexity theory Algorithm design and analysis Signal processing algorithms

来源：评论

学校读者我要写书评

暂无评论

Emotion identification for evaluation of synthesized emotional speech

引用

6th International Conference on Speech Prosody 2012, SP 2012

作者： Steidl, Stefan Polzehl, Tim Timothy Bunnell, H. Dou, Ying Muthukumar, Prasanna Kumar Perry, Daniel Prahallad, Kishore Vaughn, Callie Black, Alan W. Metze, Florian Computer Science Department 5 University Erlangen-Nuremberg Germany Deutsche Telekom Laboratories/Technische Universität Berlin Germany Nemours Biomedical Research Wilmington United States Center for Speech and Language Processing Johns Hopkins University Baltimore United States Language Technologies Institute Carnegie Mellon University Pittsburgh United States University of California Los Angeles United States International Institute of Information Technology Hyderabad India Computer Science Department Oberlin College Oberlin United States

ISBN: (纸本)9787560848693

In this paper, we propose to evaluate the quality of emotional speech synthesis by means of an automatic emotion identification system. We test this approach using five different parametric speech synthesis systems, ranging from plain non-emotional synthesis to full re-synthesis of pre-recorded speech. We compare the results achieved with the automatic system to those of human perception tests. While preliminary, our results indicate that automatic emotion identification can be used to assess the quality of emotional speech synthesis, potentially replacing time consuming and expensive human perception tests.

关键词： Speech synthesis

来源：评论

学校读者我要写书评

暂无评论

Speeding up the MATLAB complex networks package using graphic processors

引用

Chinese Physics B 2011年第9期20卷 460-467页

作者：张百达唐玉华吴俊杰李鑫 National laboratory for Parallel and Distributed Processing School of ComputerNational University of Defense Technology Department of Computer Science and Technology School of ComputerNational University of Defense Technology

The availability of computers and communication networks allows us to gather and analyse data on a far larger scale than previously. At present, it is believed that statistics is a suitable method to analyse networks with millions, or more, of vertices. The MATLAB language, with its mass of statistical functions, is a good choice to rapidly realize an algorithm prototype of complex networks. The performance of the MATLAB codes can be further improved by using graphic processor units （GPU）. This paper presents the strategies and performance of the GPU implementation of a complex networks package, and the Jacket toolbox of MATLAB is used. Compared with some commercially available CPU implementations, GPU can achieve a speedup of, on average, 11.3x. The experimental result proves that the GPU platform combined with the MATLAB language is a good combination for complex network research.

关键词： complex networks graphic processors unit MATLAB Jacket Toolbox

来源：评论

学校读者我要写书评

暂无评论

Investigation of the improved performance in a graphene/polycrystalline BiFeO3/Pt photovoltaic heterojunction: Experiment, modeling, and application

Investigation of the improved performance in a graphene/poly...

引用

作者： Zang, Yongyuan Xie, Dan Chen, Yu Wu, Xiao Ren, Tianling Zhu, Hongwei Cao, Jiang-Li Plant, David Electrical and Computer Engineering McGill University Montreal QC H3A 2T8 Canada Institute of Microelectronics Tsinghua University Beijing 100084 China Key Laboratory for Advanced Manufacturing by Material Processing Technology Department of Mechanical Engineering Tsinghua University Beijing 100084 China Tsinghua University Beijing 100084 China Institute for Advanced Materials and Technology University of Science and Technology Beijing Beijing 100083 China

We report on the enhancement of photovoltaic performance in a graphene/polycrystalline BiFeO3 (BFO)/Pt heterojunction for the first time. The unique properties of the graphene electrode lead to a short circuit current density of 61 μA/cm2 and an open circuit voltage of 0.52 V in the heterojunction. These values are much higher than the results reported in polycrystalline BFO with indium tin oxide as the top electrode. A theoretical band diagram model and an equivalent electrical model considering the ferroelectric polarization, interface states, and energy band bending effect are constructed to depict the carrier transport behavior. Important photovoltaic parameters, such as conversion efficiency, illumination intensity response, ON/OFF characteristics, minority carrier lifetime, and external quantum efficiency, are investigated experimentally and theoretically. To improve the photovoltaic performance of the graphene/polycrystalline BFO/Pt heterojunction, HNO3 treatment, and CdSe quantum dots (QDs) filling/sensitizing, as two independent chemical and physical routines, were processed and compared. It can be seen that the photocurrent density exhibits a significant improvement from 61 μA/cm2 to 8.67 mA/cm2 (∼150 fold) after HNO3 treatment, while a considerable enhancement of ∼5 fold is seen with QDs filling/sensitizing. We also present and investigate an optical application of our graphene/polycrystalline BFO/Pt heterojunction as a photosensitive detector. © 2012 American Institute of Physics.

关键词： Heterojunctions

来源：评论

学校读者我要写书评

暂无评论

Multi-instance local exemplar comparisons for pedestrian detection

Multi-instance local exemplar comparisons for pedestrian det...

引用

IEEE International Conference on Signal processing, Communications and Computing (ICSPCC)

作者： Chensheng Sun Sanyuan Zhao Jiwei Hu Kin-Man Lam Center for Signal Processing Department of Electronic and Information Engineering Hong Kong Polytechnic University Hung Hom Hong Kong China School of Computer Science and Technology Beijing Institute of Technology Beijing China

We propose to use the partial similarity between a sample and a number of exemplars as the image features for visual object detection. Define a part of the object as a sub-window inside the object bounding box, for each part of the object, a codebook of local appearance templates is learned. By using multiple templates for each part, and allowing the template to be compared with a bag of part instances in the neighborhood of the canonical location, the deformable and multi-aspect properties can be captured. A linear classifier is learned with feature selection, selecting a subset of the templates. To improve the efficiency of the detector, a rejection cascade is built by calibrating the linear classifier; the rejection cascade makes decisions using partial scores. Experimental results show that our method substantially improves the performance for human detection.

关键词： Feature extraction Support vector machines Detectors Training Kernel Object detection Visualization

来源：评论

学校读者我要写书评

暂无评论

Infant cry analysis and detection

Infant cry analysis and detection

引用

IEEE Convention of the Electrical and ELectronic Engineers in Israel

作者： Rami Cohen Yizhar Lavner Signal and Image Processing Laboratory (SIPL) Department of Electrical Engineering Technion-Israel Institute of Technology Haifa Israel Department of Computer Science Tel-Hai Academic College Upper Galilee Israel

In this paper we propose an algorithm for automatic detection of an infant cry. A particular application of this algorithm is the identification of a physical danger to babies, such as situations in which parents leave their children in vehicles. The proposed algorithm is based on two main stages. The first stage involves feature extraction, in which pitch related parameters, MFC (mel-frequency cepstrum) coefficients and short-time energy parameters are extracted from the signal. In the second stage, the signal is classified using the k-NN algorithm and is later verified as a cry signal, based on the pitch and harmonics information. In order to evaluate the performance of the algorithm in real world scenarios, we checked the robustness of the algorithm in the presence of several types of noise, and especially noises such as car horns and car engines that are likely to be present in vehicles. In addition, we addressed real time and low complexity demands during the development of the algorithm. In particular, we used a voice activity detector, which disabled the operation of the algorithm when voice activity was not present. A database of baby cry signals was used for performance evaluation. The results showed good performance of the proposed algorithm, even at low SNR.

关键词： Pediatrics Harmonic analysis Noise Feature extraction Mel frequency cepstral coefficient Detection algorithms Cepstrum

来源：评论

学校读者我要写书评

暂无评论

Sentence alignment for web page text based on vector space model

Sentence alignment for web page text based on vector space m...

引用

International Conference on computer science and Information processing (CSIP)

作者： GuanHong Zhang Odbal Department of Computer science and technology Key Laboratory of Network and Intelligent Information Processing Hefei University Hefei Anhui China Hefei Institutes of Physical Science Chinese Academy of Sciences Hefei Anhui China

There exist noisy, unparallel sentences in parallel web pages. Web page structure is subjected to some limitation for sentences alignment task for web page text. The most straightforward way of aligning sentences is using a translation lexicon. However, a major obstacle to this approach is the lack of dictionary for training. This paper presents a method for automatically align Mongolian-Chinese parallel text on the Web via vector space model. Vector space model is an algebraic model for representing any object as vectors of identifiers, such as index terms. In the statistically based vector-space model, a sentence is conceptually represented by a vector of keywords extracted from the text. Extracted keywords are composed by content words, known as terms and the weight of a term in a sentence vector can be determined tf-idf method. CHI is used to compute the association between bilingual words. Once the term weights are determined, the similarity between sentence vectors is computed via cosine measure. The experimental results indicate that the method is accurate and efficient enough to apply without human intervention.

关键词： Manganese HTML

来源：评论

学校读者我要写书评

暂无评论

Left-to-Right Tree-to-String Decoding with Prediction 12

Left-to-Right Tree-to-String Decoding with Prediction

引用

Conference on Empirical Methods in Natural Language processing

作者： Yang Feng Yang Liu Qun Liu Trevor Cohn Department of Computer Science The University of Sheffield Sheffield UK State Key Laboratory on Intelligent Technology and Systems Tsinghua National Laboratory for Information Science and Technology Department of Computer Sci. and Tech. Tsinghua University Beijing China Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences Beijing China

ISBN: (纸本)9781622765034

Decoding algorithms for syntax based machine translation suffer from high computational complexity, a consequence of intersecting a language model with a context free grammar. Left-to-right decoding, which generates the target string in order, can improve decoding efficiency by simplifying the language model evaluation. This paper presents a novel left to right decoding algorithm for tree-to-string translation, using a bottom-up parsing strategy and dynamic future cost estimation for each partial translation. Our method outperforms previously published tree-to-string decoders, including a competing left-to-right method.

关键词： modelling languages DECODING decoding algorithm machine translation syntax context-free grammars

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：