检索结果-南通市图书馆

Conjugate adjoining problem in braid groups and new design of braid-based signatures

Science China(information Sciences) 2010年第3期53卷 524-536页

作者： WANG LiCheng1,2, WANG LiHua2, CAO ZhenFu3, YANG YiXian1 & NIU XinXin1 information Security Center, State Key Laboratory of Networking and Switching technology, Beijing University of Posts and Telecommunications, Beijing 100876, China 2national institute of information and communications technology, tokyo 184-8795, japan 3Trusted Digital technology Laboratory, Shanghai Jiao Tong University, Shanghai 200240, China information Security Center State Key Laboratory of Networking and Switching Technology Beijing University of Posts and Telecommunications Beijing China national institute of information and communications technology Tokyo Japan Trusted Digital technology Laboratory Shanghai Jiao Tong University Shanghai China

The development of quantum computation casts serious threats to the securities of most existing public-key cryptosystems. Braid-based cryptography is one of the alternatives that have potential advantages in resisting quantum attacks. In this paper, the state of the art of braid cryptography is surveyed, and then a new cryptographic problem-conjugate adjoining problem related to braid groups is proposed. Based on this problem, we design a new braid-based signature scheme. This scheme is efficient and provably secure in the random oracle model. Further, we present the comparison between braid-based signatures and RSA-based ones. The signing process of the braid-based schemes is more efficient than that of RSA-based ones, while the verifying process of the braid-based ones is observably slow. Hence, braid-based signatures are suitable for scenarios where the signing process has to be as quick as possible but delays are permitted in the verifying process, for example, in off-line e-cash systems. The key sizes in braid-based schemes are considerably large-about 2K bits in the case of secret keys and 12K bits in the case of public keys. However, braid operations are much simpler and more efficient than modular exponential operations. Therefore, braid-based schemes can be embedded into devices with low computational ability and large memory space. The capability of braid cryptosystems to resist currently known quantum attacks is also discussed from the perspective of hidden subgroup problems.

关键词： braid group conjugate adjoining problem digital signature provable security resistance to quantum attack

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Verifying Stacks and Queues Using Symbolic Simulation Techniques

引用

湖南大学学报（自然科学版） 2000年第S2期27卷 119-128页

作者： Yoshifumi MORIHIRO Tomohiro YONEDA Graduate School of information Science and Engineering, Department of Computer Science tokyo institute of technology, 2-12-l Ookayama Meguro-ku tokyo 152, japan

This paper presents a formal verification method based on logic simulation. In our method, using symbolic values even circuits which include data paths can be verified without abstraction of data paths. Our verifier extracts a transition relation from the state graph (given as a specification) which is expressed using symbolic values, and verifies based on simulation using those symbolic values if the circuit behaves correctly with respect to each transition of the specification. If the verifier terminates with "correct", then we can guarantee that for any applicable input vector sequences, the circuit and the specification behaves identically. We have implemented the proposed method on a Unix workstation and verified some FIFO and LIFO circuits by using it.

关键词： Formal Verification Simulation State Graph Data--Path Abstraction

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Joint subcarrier and power allocation in uplink OFDMA systems based on stochastic game

引用

Science China(information Sciences) 2010年第12期53卷 2557-2566页

作者： WU Dan 1,CAI YueMing 1,2 & SHENG YanMing 1 1 institute of communications Engineering,PLA University of Science and technology,Nanjing 210007,China 2 national Mobile communications Research Laboratory,Southeast University,Nanjing 210096,China institute of communications Engineering PLA University of Science and Technology Nanjing China national Mobile communications Research Laboratory Southeast University Nanjing China

In uplink orthogonal frequency division multiplexing access(OFDMA) systems,efficient resource allocation can greatly improve system ***,in this paper,we present a game-theoretical approach to achieve a joint subcarrier and power allocation in a distributed ***,the subcarrier allocation problem is modeled as a multi-player discrete,stochastic and finite strategy game,where each of the subcarriers is viewed as a player to choose the most satisfying *** subcarriers of each user are allocated with equal *** the proposed game model,on the one hand,we exploit the support and programming methods to obtain the Nash equilibriums,and analyze their theoretical *** the other hand,we propose a lowcomplexity algorithm based on the linear reward-inaction(L R-I) algorithm to search for the Nash *** the relationship between the convergence results of this algorithm and the Nash equilibriums is *** simulation results demonstrate the effectiveness of the resource allocation game model and algorithm.

关键词： stochastic game OFDMA subcarrier allocation power allocation learning automata linear reward-inaction

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Estimating fisheye camera parameters from homography

引用

Science China(information Sciences) 2012年第9期55卷 2119-2127页

作者： ZHU HaiJiang 1,YANG Ping 2 & LI ShiGang 3 1 School of information Science and technology,Beijing University of Chemical technology,Beijing,100029,China 2 national institute of Metrology,100013,Beijing,China 3 Department of Electrical and Electronic Engineering,Tottori University,680-8552,Koyama,Tottori,japan School of information Science and technology Beijing University of Chemical Technology Beijing China national institute of Metrology Beijing China Department of Electrical and Electronic Engineering Tottori University Koyama Tottori Japan

This paper presents a method to linearly estimate fisheye camera model parameters from the homography induced by the space plane between two fisheye *** homography is firstly calculated by using four feature points,instead of three points on the same line,in the fisheye *** the constraint on the model parameters of fisheye camera can be derived from the homography under the assumption that fisheye camera model is a polynomial *** the model parameters for different order polynomials are *** proposed technique requires only multiple fisheye images to include a planar scene and need not a priori knowledge of 3D coordinate of the planar *** results with synthetic data and real fisheye images demonstrate the validity of our *** method can also be extended to fisheye image of other planar scene excluding the planar calibration object.

关键词： homography parameter estimation fisheye camera

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

FINITE ELEMENT APPROXIMATION OF EIGENVALUE PROBLEM FOR A COUPLED VIBRATION BETWEEN ACOUSTIC FIELD AND PLATE

引用

Journal of Computational Mathematics 1997年第3期15卷 265-278页

作者： L. Deng T. Kako(Department of Computer Science and information Mathematics, The University of Electro-communications, japan) The University of Electro-communications 日本

We formulate a coupled vibration between plate and acoustic field in mathematically rigorous fashion. It leads to a non-standard eigenvalue problem. A finite element approximation is considered in an abstract way, and the approximate eigenvalue problem is written in an operator form by means of some Ritz projections. The order of convergence is proved based on the result of Babugka and Osborn. Some numerical example is shown for the problem for which the exact analytical solutions are calculated. The results shows that the convergence order is consistent with the one by the numerical analysis.

关键词： FINITE ELEMENT APPROXIMATION OF EIGENVALUE PROBLEM FOR A COUPLED VIBRATION BETWEEN ACOUSTIC FIELD AND PLATE

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Micro-Raman Spectroscopy for Stress Evaluation of 3C-SiC Epitaxially Grown on Si Substrate by Hot Wall CVD

引用

材料热处理学报 2004年第5B期25卷 803-806页

作者： ZHUWen-liang ZHUJi-liang PEZZOTTIGiuseppe CeramicPhysicsLaboratory＆ResearchinstituteforNanoscience RINKyotoInstituteofTechnologySakyo-kuMatsugasaki606-8585KyotoJapan DepartmentofElectronicsandinformationScience KyotoInstituteofTechnologySakyo-kuMatsugasaki606-8585KyotoJapan

A series of cubic SiC single crystals were heteroepitaxially grown by the hot-wall chemical vapor deposition (CVD) using a HMDS-C3H8-H2 system on 2 inch silicon substrates with the orientations of (100), (111), (110) and (211), respectively. Even though an initial carbonization was carried out to reduce the large lattice mismatch, residual stress could not be completely relieved, partly also due to the difference of their thermal expansion coefficients. Raman scattering studies for the specimens were performed to estimate the internal stress in the SiC epilayer and the substrate. Raman spectra were mapped out on the sample surface as well as on the cross section using an automated x-y stage with a spatial resolution capable of 100 nm. For all the samples, two Raman peaks corresponding to the transverse optical (TO) and longitudinal optical (LO) phonon modes were observed, even though the intensity varied with the polarization configurations. In the SiC epilayers, tensile stresses decrease away from the interface, while compressive stresses exist in the substrate, with the magnitudes dependent on the growth orientation. The lattice strains were discussed in terms of the elastic deformation theory for the comparison.

关键词：显微喇曼光谱学应力测定 3C-SiC 热壁CVD 外延生长

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Remote Control for Robotic Systems Using CORBA as Communication Architecture

引用

仪器仪表学报 2002年第S2期23卷 968-974+979页

作者： Songmin Jia Yoshiro Hada Gang Ye Kunikatsu Takase (Graduate School of information Systems ,University of Electro-communications ,Chofu-City, tokyo 182-8585, japan) Graduate School of information Systems University of Electro-communications Cho fu-City Tokyo 182-8585 Japan

This paper proposes a novel method to implement network connections among a client and remote robotic systems using CORBA for developing telecare system to aid the aged or disabled. The proposed method makes system have low cost and wide availability, high scaling and inter-operating ability to allow the clients and server objects, written in different languages, run in different operating system, and connected in different network to inter-operate. It also makes system easy to be extended and integrated with the other technologies and applications distributed over the Internet. Using CORBA as a communication architecture, we developed hardware base, task-level robot arm control server, live image feedback server and mobile robot control server, which can provide some basic care services to aid the aged and disabled.

关键词： Control Robotic system Internet architecture iGPS CORBA

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Neural correlates of “feeling-of-not-knowing”:Evidence from functional MRI

引用

Science Bulletin 2003年第2期48卷 144-147页

作者： MRI LUO Jing1, Niki Kazuhisa2 & LUO Yuejia1,3 1. Laboratory of Mental Health, institute of Psychology, Chinese Acad-emy of Sciences, Beijing 100101, China 2. Neuroscience Research institute, national institute of Advanced In-dustrial Science and technology (AIST), japan 3. Lab Visual information Processing, Chinese Academy of Sciences, Beijing 100101, China Correspondence should be addressed to Luo Yuejia (e-mail:luoyj@***) Laboratory of Mental Health Institute of Psychology Chinese Academy of Sciences Beijing China Neuroscience Research institute National Institute of Advanced Industrial Science and Technology (AIST) Japan Lab Visual information Processing Chinese Academy of Sciences Beijing China

The neural correlates of 揻eeling-of-not-knowing?(揊OnK? i.e. the feeling-of-knowing judgmentsthat accurately predicted 搉ot knowing?or 搈isses?in the criterion test) were investigated by the event-related fMRImethod through an RJR (recall-judgment-recognition) pro-cedure that adopted unrelated word pairs as materials. Re-sults revealed that, relative to the inaccurate 揊OnK?pre-dictions, the accurate ones were associated with activities in right ventral prefrontal cortex (PFC) and insula, the areas that were known to subserve cue specification in which the retrieval cues were converted into descriptors that couldbe used for direct memory search. This result implied that the accurate FOnK?predictions relayed more on cue specification?process than the inaccurate ones and was inconsistent with the cue familiarity heuristic hypothesis offeeling-of-knowing.

关键词： event-related fMRI feeling-of-knowing cue specifica-tion.

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Low-complexity distributed differential spacetime coding scheme for amplify-and-forward cooperative networks

引用

Science in China(Series F) 2009年第8期52卷 1418-1427页

作者： YU XiangBin1,2, BI GuangGuo3 & XU WeiYe4 1 College of information Science and technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China 2 Department of Electronic Engineering, City University of Hong Kong, Hong Kong, China 3 national Mobile communications Research Laboratory, Southeast University, Nanjing 210096, China 4 Department of Communication Engineering, Nanjing institute of technology, Nanjing 211167, China College of information Science and technology Nanjing University of Aeronautics and Astronautics Nanjing China Department of Electronic Engineering City University of Hong Kong Hong Kong China national Mobile communications Research Laboratory Southeast University Nanjing China Department of Communication Engineering Nanjing Institute of Technology Nanjing China

By introducing a space-time coding scheme based on amicable orthogonality, we develop a distributed differential space-time coding scheme with the amplify-and-forward （AF） method for wireless cooperative networks. The scheme requires no knowledge of the channel state information at both transmitters and receivers, and effectively decreases the realization complexity due to no channel estimation. Moreover, it has lower decoding complexity and higher coding advantage than the existing scheme, thus avoiding the shortcoming of exponential decoding complexity of some existing schemes. According to the pairwise error probability （PEP） analysis of the system, the power allocations of source and relay terminals are jointly optimized, and as a result, the PEP is minimized, which will provide a helpful guideline for system design. Numerical calculation and simulation results show that the developed scheme is superior to the existing scheme. Moreover, the scheme with optimal power allocation yields obvious performance improvement over that with equal power allocation.

关键词： differential space-time coding cooperative communication amplify-and-forward method power allocation

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Analysis of Characteristic of Aurora Substorm Observed at Antarctic Zhongshan Station

引用

Wuhan University Journal of Natural Sciences 2000年第3期5卷 312-316页

作者： Ai Yong1, Wang Jing-fang1, Liu Rut-yuan2, Yang Hut-gen 2, Sato Natsuo3 1. College of Electronic information, Wuhan University, Wuhan 4 30072, China 2. Polar Research institute of China, Shanghai 200129, China 3. national institute of Polar Research, tokyo, japan 173 Wuhan University College of Electronic Information Wuhan China (GRID:grid.49470.3e) (ISNI:***) Polar Research institute of China Shanghai China (GRID:grid.418683.0) (ISNI:***) national institute of Polar Research Tokyo Japan (GRID:grid.410816.a) (ISNI:***)

The characteristics of a strong aurora substorm observed at Antarctic Zhongshan station (magnetic latitude=74.5°) on 8 April, 1999, were discussed and analyzed. The developing steps of the aurora substorm that happened in dusk time were almost the same with that of midnight aurora substorm. The averaged moving speed of the aurora arc toward pole area during the substorm expansion phase was about 3.0 km/s, westward-traveling surge speed was about 2.0 km/s. The extension from south to north in the substorm can cover 1100 km in distance.

关键词： aurora substorm observation

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：