检索结果-南通市图书馆

Kalman filtering for time-delayed linear systems

在线全文

学校读者我要写书评

暂无评论

Science in china(Series F) 2006年第4期49卷 461-470页

作者： LU Xiao1,2.& WANG Wei1 1. Research Center of information and Control, Dalian University of Technology, Dalian 11602., china 2. Shenzhen Graduate {2., Harbin Institute of Technology, Shenzhen 518055, china 1. Research Center of information and Control Dalian University of Technology Dalian 116024 China 2. Shenzhen Graduate school Harbin Institute of Technology Shenzhen 518055 China

This paper is to study the linear minimum variance estimation for discretetime systems. A simple approach to the problem is presented by developing re-organized innovation analysis for the systems with instantaneous and double time-delayed measurements. It is shown that the derived estimator involves solving three different standard Kalman filtering with the same dimension as the original system. The obtained results form the basis for solving some complicated problems such as H, fixed-lag smoothing, preview control, H, filtering and control with time delays.

关键词： discrete-time systems delayed measurements innovation analysis Riccati equations.

Group sparse representation for image categorization and semantic video retrieval

在线全文

学校读者我要写书评

暂无评论

Science china(information Sciences) 2011年第10期54卷 2051-2063页

作者： LIU YaNan 1,2.,WU Fei 2.& ZHUANG YueTing 2.1 school of information,Zhejiang University of Finance & Economics,Hangzhou,310018,{2. 2.College of Computer Science and Technology,Zhejiang University,Hangzhou,310012.{2. 1. school of information Zhejiang University of Finance & Economics Hangzhou 310018 China2. College of Computer Science and Technology Zhejiang University Hangzhou 310012 China

Multimedia content analysis and management are a promising and challenging *** this paper we develop a novel approach to image representation,which we call group sparse representation (GSR),for image classification and video *** basic idea is to represent a test image as a weighted combination of all the training *** particular,we introduce two sets of weight coefficients,one for each training image and the other for each ***,we formulate our concern as a group nonnegative garrote *** resulting representations are sparse,and they are appropriate for discriminant *** on Caltech101 and PASCAL VOC2.08 image dataset and TRECVID2.05 video corpus testify that our proposed approach is efficient and effective.

关键词： compressive sensing group sparse representation bag-of-SIFT-words nonnegative garrote l1-minimization apcluster

Practical security against linear cryptanalysis for SMS4-like ciphers with SP round function

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(information Sciences) 2012年第9期55卷 2161-2170页

作者： ZHANG Bin 1,2.& JIN ChenHui 2.1 P.O.Box 1936,Beijing 100193,china 2.electronic Technology Institute,{2. Engineering University,Zhengzhou 450004,china 1. P.O.Box 1936 Beijing 100193 China2. Electronic Technology Institute Information Engineering University Zhengzhou 450004 China

SMS4,a block cipher whose global structure adopts a special unbalanced Feistel scheme with SP round function,is accepted as the Chinese National Standard for securing Wireless *** this paper,in order to evaluate the security against linear cryptanalysis,we examine the upper bound of the maximum linear characteristic probability of SMS4-like ciphers with SP round *** the same way as for SPN ciphers,it is sufficient to consider the lower bound of the number of linear active *** propose a formula to compute the lower bound of the number of linear active s-boxes with regard to the number of *** security threshold of SMS4-like ciphers can be estimated easily with our ***,if the number of input words in each round of SMS4-like cipher is m,we find that it is unnecessary for designers to make the linear branch number of P greater than 2.m with respect to linear cryptanalysis.

关键词： block cipher SMS4-like cipher practical security linear cryptanalysis

Formal Verification under Unknown Constraints

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Wuhan University Journal of Natural Sciences 2005年第1期10卷 43-46页

作者： LI Guang-hui 1,2.3 , LI Xiao-wei 2.31. school of information Engineering, Zhejiang Forestry College, Hangzhou 311300, Zhejiang, {2. 2. Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100080, {2. 3. Graduate school of the Chinese Academy of Sciences, Beijing 100039, {2. school of information Engineering Zhejiang Forestry College Hangzhou 311300 Zhejiang China

We present a formal method of verifying designs with unknown constraints (e.g., black boxes) using Boolean satisfiability (SAT). This method is based on a new encoding scheme of unknown constraints, and solves the corresponding conjunctive normal form (CNF) ***,this method can avoid the potential memory explosion, which the binary decision diagram (BDD) based techniques maybe suffer from, thus it has the capacity of verifying large designs. Experimental results demonstrate the efficiency and feasibility of the proposed method.

关键词： formal verification unknown constraints black box Boolean satisfiability Boolean comparison

Theoretical analysis and experiment of micromechanics and mechanics-optics coupling of distributed optic-fiber crack sensing

在线全文

学校读者我要写书评

暂无评论

中国科学：技术科学英文版 2011年第S1期54卷 185-191页

作者： LIU HaoWu 1,2.CHEN Jiang 2.SUN Man 3 & DING Rui 2.1 State Key Laboratory of Hydraulics and Mountain River Engineering,Sichuan University,Chengdu 610065,china 2.school of Water Resource Hydropower,Sichuan University,Chengdu 610065,china 3 school Electrical Engineering and information,Sichuan University,Chengdu 610065,china Sichuan Univ State Key Lab Hydraul & Mt River Engn Chengdu 610065 Peoples R China Sichuan Univ Sch Water Resource Hydropower Chengdu 610065 Peoples R China Sichuan Univ Sch Elect Engn & Informat Chengdu 610065 Peoples R China

The micromechanical behaviors and mechanics-optics coupling effects of optic-fiber-concrete complex in the distributed optic-fiber sensing concrete-crack technology,which was used in health monitoring of Wu Gorge Bridge on Yangtze River and a large dam successfully,have been investigated.A micromechanical theoretical analysis method and micromechanical frictional contact bi-interface model,as well as a modified optical theoretical analysis method of the mechanics-optics coupling effects are presented.A series of verification experiments,including mechanical experiments and mechanics-optics coupling experiments,have been *** results of micromechanical theoretical analysis and the analysis of the modified theory of mechanics-optics coupling along with mechanical and optical experimental data are shown to be in close *** the micromechanical theory and the modified theory of mechanics-optics coupling with their analysis methods can not only enhance credibility of this novel distributed sensing technology but also provide a way to understand its sensing mechanism and optimize its technical details and system.

关键词： optic-fiber sensing mechanics-optics coupling micromechanics health monitoring concrete structure crack detection

Interaction of cellular-localized signature modules in response to prostate cancer

在线全文

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 2007年第11期17卷 1368-1375页

作者： Zhu Jing1, Guo Zheng1,2. Zhang Min2. Yang Da2. Wang Jing2.and Wang Chenguang2.1. school of Life Science and Bioinformatics Centre, University of electronic Science and Technology of {2., Chengdu 610054, {2. 2. Department of Bioinformatics, Bio-Pharmaceutical Key Laboratory of Heilongjiang Province, Harbin Medical University, Harbin 150081, {2.) school of Life Science and Bioinformatics Centre University of Electronic Science and Technology of China Chengdu 610054 China Department of Bioinformatics Bio-Pharmaceutical Key Laboratory of Heilongjiang Province， Harbin Medical University， Harbin 150081 China

Rapid progress in high-throughput biotechnologies (e.g. microarrays) and exponential accumulation of gene functional knowledge makes it promising for systematic understanding of complex human diseases at the functional modules level. Current modular categorizations can be defined and selected more specifically and precisely in terms of both biological processes and cellular locations, aiming at uncovering the modular molecular networks highly relevant to cancers. Based on Gene Ontology, we identifed the functional modules enriched with differentially expressed genes and characterized by biological processes and specific cellular locations. Then, according to the ranking of the disease discriminating abilities of the pre-selected functional modules, we further defined and filtered signature modules which have higher relevance to the cancer under study. Applications of the proposed method to the analysis of a prostate cancer dataset revealed insightful biological modules.

关键词： microarray analysis Gene Ontology classification analysis cellular location functional module

Modulation on the collective response behavior by the system size in two-dimensional coupled cell systems

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(Physics,Mechanics & Astronomy) 2006年第3期49卷 304-312页

作者： ZHANG Jiqian1, SHEN Chuansheng1,2.& CUI Zhifeng1 1. College of Physics and electronic information, Anhui Normal University, Wuhu 2.1000, {2. 2. Department of Educational Technology, Anqing Teachers College, Anqing 2.6011, {2. College of Physics electronic information Anhui Normal University Wuhu 241000 China Department of Educational Technology Anqing Teachers College Anqing 246011 China

By the intracellular calcium ionic minimal model proposed by Berridge, we investigated the collective response of two-dimensional (N×N) coupled cell systems to the external stimulation using numerical simulation methods. With a coupled intensity fixed and an appropriate coupled cell number chosen, the kinetic system size resonance was discovered. At the same time, it was found that the system size responding to the external stimulation for different coupled intensities transferred too, especially when the coupled intensity increased, the range of the corresponding system size extended. These phe- nomena illustrate that the coupled cell number and the coupled intensity can play con- structive roles in noisy coupled systems, by which the biology system would probably improve its capability to respond to the external stimulation.

关键词： cell coupling,collective response,system size resonance

A New (t, n) Threshold Signature Scheme Withstanding the Conspiracy Attack

在线全文

学校读者我要写书评

暂无评论

Wuhan University Journal of Natural Sciences 2005年第1期10卷 107-110页

作者： XIE Qi 1,2. YU Xiu-yuan 3 1.Department of Mathematics, Zhejiang University, Hangzhou 31002., Zhejiang,china 2.school of {2. and Engineering, Hangzhou Teachers College, Hangzhou 310012. Zhejiang, china 3.Hangzhou Teachers College, Hangzhou 310012. Zhejiang, china Zhejiang University Department of Mathematics Hangzhou China (GRID:grid.13402.34) (ISNI:***) Hungzhou Teachers College School of Information and Engincering Hangzhou China (GRID:grid.13402.34) Hangzhou Teachers College Hangzhou China (GRID:grid.13402.34)

A ccmspiracy attack is proposed to show that Wang-Li's scheme is instcure,because any t or more group members can impersonate other t member to sign any message withoutholding the responsibility. To avoid the conspiracy attack, this paper prestentsa new (t,n)threshold signature scheme with traceablt signers. A (t. n) threshold signature scheme allows t ormore group members of the group lo generate a signature on behalf of the group, Any less than tmembers cannot generate a valid signature, andany set of the group cannot impersonate another set ofmembers to sign any message without holding the responsibility. In case of disputes., the thresholdsignature can be opened, so that the original signers ean be traced without repealing the secretkeys.

关键词： cryptography threshold signature conspiracy attack identifier tracing

Fast parallel algorithms for discrete Gabor expansion and transform based on multirate filtering

在线全文

学校读者我要写书评

暂无评论

Science china(information Sciences) 2012年第2期55卷 293-300页

作者： TAO Liang1 & GU JuanJuan2.1school of Computer Science and Technology,Anhui University,Hefei 2.0039,china 2.epartment of {2. information and Electrical Engineering,Hefei University,Hefei 2.002.,china 1. school of Computer Science and Technology Anhui University Hefei 230039 China2. Department of Electronic Information and Electrical Engineering Hefei University Hefei 230022 China

The Gabor transform has long been recognized as a very useful tool for the joint time and frequency analysis in signal *** real time applications,however,were limited due to the high computational complexity of the Gabor transform *** this paper,some novel and fast parallel algorithms for the finite discrete Gabor expansion and transform are presented based on multirate *** analysis filter bank is designed for the finite discrete Gabor transform(DGT)and a synthesis filter bank is designed for the finite discrete Gabor expansion(DGE).Each of the parallel channels in the two filter banks has a unified structure and can apply the FFT and the IFFT to reduce its computational *** computational complexity of each parallel channel does not change as the oversampling rate *** fact,it is very low and depends only on the length of the input discrete signal and the number of the Gabor frequency sampling *** computational complexity of the proposed parallel algorithms is analyzed and compared with that of the major existing parallel algorithms for the finite DGT and *** results indicate that the proposed parallel algorithms for the finite DGT and DGE based on multirate filtering are very attractive for real time signal processing.

关键词： discrete Gabor expansion discrete Gabor transform critical sampling and oversampling multirate filtering analysis and synthesis filter banks