检索结果-南通市图书馆

A New Process and Framework for Direct Anonymous Attestation Based on Symmetric Bilinear Maps

Wuhan University Journal of Natural sciences 2011年第5期16卷 369-375页

作者： TAN Liang1,2. ZHOU Mingtian3 1. College of Computer/Key Lab of Visualization in Scientific computing and Virtual Reality of Sichuan, Sichuan Normal University, Chengdu 610066, Sichuan, china {2., chinese academy of sciences, beijing 100190, china 3. School of Computer Science and Engineering, University of Electronic Science and technology of china, Chengdu 610054, Sichuan, china College of Computer/Key Lab of Visualization in Scientific computing and Virtual Reality of Sichuan Sichuan Normal University Chengdu Sichuan China institute of computing {2. Chinese Academy of Sciences Beijing China School of Computer Science and Engineering University of Electronic Science and Technology of China Chengdu Sichuan China

For the problem of the original direct anonymous attestation （DAA） scheme＇s complexity and great time consumption, a new DAA scheme based on symmetric bilinear pairings is presented, which gives a practical solution to ECC-based TPM in protecting the privacy of the TPM. The scheme still includes five procedures or algorithms： Setup, Join, Sign, Verify and Rogue tagging, but gets rid of zero-knowledge proof and takes on a new process and framework, of which the main operations are addition, scalar multiplication and bilinear maps on supersingular elliptic curve systems. Moreover, the scheme adequately utilizes the properties of bilinear maps as well as the signature and verification of the ecliptic curve system itself. Compared with other schemes, the new DAA scheme not only satis- fies the same properties, and shows better simplicity and high effi- ciency. This paper gives not only a detailed security proof of the proposed scheme, but also a careful performance analysis by comparing with the existing DAA schemes.

关键词： direct anonymous attestation bilinear map privacy authentication trusted computing platform trusted platform module

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

The correspondence between the concepts in description logics for contexts and formal concept analysis

引用

Science china(Information sciences) 2012年第5期55卷 1106-1122页

作者： MA Yue 1,2.SUI YueFei 1 & CAO CunGen 1 1 Key Laboratory of Intelligent Information Processing,institute of computing {2.,chinese academy of sciences,beijing 100190,china 2.Graduate University of chinese academy of sciences,beijing,china 1. Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China2. Graduate University of Chinese Academy of Sciences Beijing 100049 China

Formal concept analysis (FCA) and description logic (DL) are meant to be formalizations of concepts.A formal concept in the former consists of its intent and extent,where the intent is the set of all the attributes shared by each object in the extent of the concept,and the extent is the set of all the objects sharing each property in the intent of the concept.A concept in the latter formalization is simply a concept name,the interpretation of which is a subset of a *** consider the correspondence between concepts in both formalizations,a multi-valued formal context must be represented both as a knowledge base and as a model of the DL for contexts,where concepts are decomposed into tuple concepts C,interpreted as a set of tuples and value concepts V,interpreted as a set of attribute-value *** show that there is a difference between the interpretation of concepts R.V /R.C and the Galois connection between the extent/intent of formal concepts in *** to the Galois connection,there should be concepts of the form + R.V and + R.C inter-preted in FCA,and hence the logical language L for DL is extended to be L + together with + as a constructor so that + R.V and + R.C are well-defined ***,according to the interpretation in DL there should be pseudo concepts in FCA so that the interpretation of concepts R.V /R.C is the extent/intent of pseudo *** correspondence between formal concepts and concepts in L +,and between pseudo concepts and concepts in L are presented in this paper.

关键词： description logic formal concept analysis concept attribute/role

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Simulation of aerodynamic performance affected by vortex generators on blunt trailing-edge airfoils

引用

Science china(Technological sciences) 2010年第1期53卷 1-7页

作者： YANG Ke1,2.ZHANG Lei1,3 & XU JianZhong1,2.1 institute of Engineering Thermophysics,chinese {2. of sciences,beijing 100190,china 2.Key Laboratory of Wind Energy Utilization,chinese {2. of sciences,beijing 100190,china 3 Graduate School of chinese academy of sciences,beijing 100190,china 1. institute of Engineering Thermophysics Chinese Academy of Sciences Beijing 100190 China2. Key Laboratory of Wind Energy Utilization Chinese Academy of Sciences Beijing 100190 China3. Graduate School of Chinese Academy of Sciences Beijing 100190 China

An investigation was carried out by numerical simulation on a wind turbine airfoil and a blunt trailing-edge airfoil with and without vortex generators (VGs), and the performance of the airfoils was analyzed. By the simulation of airfoil DU 91-W2.2.0 it was verified that the numerical method and model were credible. Based on this airfoil, a new one with a blunt trailing edge of 6% chord was blended by symmetrically adding thickness, and its characteristics curves were obtained through computing at key angles of attack. Additionally, the pressure distribution on blended airfoil was analyzed by comparing to the airfoil without blend. The interaction of streamwise vortices induced by VGs with trailing vortex or separation vortex was considered, followed by the uncovery of how VGs can suppress the boundary layer separation.

关键词： vortex generators airfoil blunt trailing-edge

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Scan chain design for shift power reduction in scan-based testing

引用

Science china(Information sciences) 2011年第4期54卷 767-777页

作者： LI Jia 1,HU Yu 2.& LI XiaoWei 2.1 The School of Software,Tsinghua University,beijing 100084,china 2.The {2. of computing technology,chinese academy of sciences,beijing 100190,china 1. The School of Software Tsinghua University Beijing 100084 China2. The Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China

Test power of VLSI systems has become a challenging issue *** scan shift power dominates the average test power and restricts clock frequency of the shift phase,leading to excessive thermal accumulation and long test *** paper proposes a scan chain design technique to solve the above *** on weighted transition metric (WTM),the proposed extended WTM (EWTM) that is utilized to guide the scan chain design algorithm can estimate the scan shift power in both the shift-in and shift-out ***,the wire length overhead of the proposed scan chain design can also be reduced by the proposed distance of EWTM (DEWTM) *** results confirm that the proposed approach can significantly reduce scan shift power with low wire length overhead.

关键词： low power DfT scan-based testing test power reduction scan chain design

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

MULTIVARIATE FOURIER SERIES OVER A CLASS OF NON TENSOR-PRODUCT PARTITION DOMAINS

引用

Journal of Computational Mathematics 2003年第1期21卷 53-62页

作者： Jiachang Sun(Parallel computing Division, institute of Software,{2., beijing 100080, china) Parallel computing Division Institute of Software Chinese Academy of Sciences 北京 100080

This paper finds a way to extend the well-known Fourier methods, to so-called n+1 directions partition domains in n-dimension. In particular, in 2.D and 3-D cases, we study Fourier methods over 3-direction parallel hexagon partitions and 4-direction parallel parallelogram dodecahedron partitions, respectively. It has pointed that, the most concepts and results of Fourier methods on tensor-product case, such as periodicity,orthogonality of Fourier basis system, partial sum of Fourier series and its approximation behavior, can be moved on the new non tensor-product partition case.

关键词： Multivariate Fourier methods Non tensor-product partitions Multivariate Fourier series

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Exploration of combined adjustment laws about IGV,stator and rotational speed in off-design conditions in an axial compressor

引用

中国科学：技术科学英文版 2010年第4期53卷 969-975页

作者： HU YanMing1,2.& NIE ChaoQun1 1 Key Laboratory of Advanced Energy and Power technology,institute of Engineeting Thermophysics,{2. academy of Science,beijing 100190,china 2.Graduate School of chinese academy of sciences,beijing 100190,china 1. Key Laboratory of Advanced Energy and Power technology Institute of Engineeting Thermophysics Chinese Academy of Science Beijing 100190 China2. Graduate School of Chinese Academy of Sciences Beijing 100190 China

Experimental investigations are performed in a three-stage low-speed axial compressor with variable inlet guide vanes(IGV) and adjustable *** characteristics of the compressor,especially the efficiency and stall margin,are analyzed in design and off-design operation conditions by adjusting stagger angles of IGV and stators as well as changing the rotational *** experimental results show that the off-design performance of the multistage axial compressor is improved by restaggering of IGV and stators related to rotational *** the background of engineering applications,digital signal processing(DSP) technique is used to realize online adjustment of stagger angles according to the corresponding relations between incidence angles of rotor and rotational speed.

关键词： axial compressor IGV surge DSP techniques off-design

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

A direct product decomposition of QMV algebras

引用

Science china Mathematics 2012年第4期55卷 841-850页

作者： LU Xian 1 ,SHANG Yun 1,& LU RuQian 1,2.1 institute of Mathematics,academy of Mathematics and Systems Science,{2. 100190,china 2.Key Laboratory of Intelligent Information Processing,institute of computing technology,chinese academy of sciences,{2. 100190,china 1. institute of Mathematics Academy of Mathematics and Systems Science Beijing 100190 China2. Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China

We study the direct product decomposition of quantum many-valued algebras (QMV algebras) which generalizes the decomposition theorem of ortholattices (orthomodular lattices).In detail,for an idempo- tent element of a given QMV algebra,if it commutes with every element of the QMV algebra,it can induce a direct product decomposition of the QMV *** the same time,we introduce the commutant C(S) of a set S in a QMV algebra,and prove that when S consists of idempotent elements,C(S) is a subalgebra of the QMV *** also generalizes the cases of orthomodular lattices.

关键词： QMV algebra commutativity idempotent decomposition theorem

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

On the contact width in generalized plain strain JKR model for isotropic solids

引用

Acta Mechanica Sinica 2009年第4期25卷 491-497页

作者： Cong Yan Shaohua Chen LNM, institute of Mechanics, chinese academy of sciences,{2. beijing. china LNM Institute of Mechanics Chinese Academy of Sciences 100190 Beijing China

Adhesive contact model between an elastic cylinder and an elastic half space is studied in the present paper, in which an external pulling force is acted on the above cylinder with an arbitrary direction and the contact width is assumed to be asymmetric with respect to the structure. Solutions to the asymmetric model are obtained and the effect of the asymmetric contact width on the whole pulling process is mainly discussed. It is found that the smaller the absolute value of Dundurs＇ parameter 13 or the larger the pulling angle O, the more reasonable the symmetric model would be to approximate the asymmetric one.

关键词： Contact mechanics Generalized JKRmodel Asymmetric contact width Oscillatory solution Non-oscillatory solution

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Strict constraints on 2. primitive pairs for engineering symbol recognition:Theory and application

引用

Science china(Information sciences) 2012年第5期55卷 1032-1041页

作者： LI Ting 1,2.QIU XianJie 1,HUANG He 1 & WANG ZhaoQi 1 1 Virtual Reality Laboratory,institute of computing {2. chinese academy of sciences,beijing 100190,china 2.Graduate University of chinese academy of sciences,beijing 100049,china 1. Virtual Reality Laboratory Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China2. Graduate University of Chinese Academy of Sciences Beijing 100049 China

Geometric constraints on the line-line pair,line-arc pair and arcarc pair are *** con-straints are able to encode the geometric relations between lines,arcs and circles.A geometric proof is presented to demonstrate that the constraints are stable under translation,rotation,uniform scaling or reflection of the primitive *** on the constraints,an algorithm for recognizing symbols in drawings is ***-perimental results show that,compared with three other methods,our method can distinguish more primitive pairs and has higher accuracy in engineering symbol recognition.

关键词： coordinated multi-point transmission multicell cooperation capacity analysis MIMO-OFDM power allocation frequency selective MIMO channel

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

A novel operation mode for spaceborne polarimetric SAR

引用

Science china(Information sciences) 2011年第4期54卷 884-897页

作者： QI WeiKong 1,2.& YU WeiDong 1 1 institute of Electronics,chinese {2. of sciences,beijing 100190,china 2.Graduate School of chinese academy of sciences,beijing 100039,china 1. institute of Electronics Chinese Academy of Sciences Beijing 100190 China2. Graduate School of Chinese Academy of Sciences Beijing 100039 China

A novel operation mode for spaceborne polarimetric SAR,named polarization space-division adding polarization code-division (PSD-PCD) operation mode,is proposed in this paper through combining polarimetric SAR with elevation digital beam-forming (DBF) on *** a pulse repetition interval the up-chirp LFM sub-pulse is transmitted with horizontal polarization antenna,and with some delay the down-chip LFM subpulse is transmitted with vertical polarization antenna to realize code *** every sub-aperture receives returns from ground,SAR system uses range DBF to separate echoes relative to different sub-pulses in order to realize space *** system PRF is equal to that of single-polarization SAR,and elevation DBF help reduce range ambiguity ***,the main system parameters,including PRF,delay between two sub-pulses,radar equation and ambiguity are analyzed and compared with those of single-polarization *** results demonstrate the feasibility and validity of PSD-PCD operation mode.

关键词： spaceborne synthetic aperture radar (SAR) polarimetry digital beamforming (DBF) operation mode ambiguity ratio polarization space-division polarization code-division

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：