检索结果-南通市图书馆

Multiparty quantum secret sharing of classical and quantum messages

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 2007年第1期17卷 26-31页

作者： CHEN Pan, DENG Fuguo and LONG Guilu ( Key Laboratory for Quantum information and Measurements, and Department of Physics, tsinghua university, beijing 100084, china Key Laboratory of Beam technology and Material Modification, MOE, institute of Low Energy Nuclear Physics, and Department of Material Science and Engineering, beijing Normal university, beijing 100875, china beijing Radiation Center, beijing 100875, china Key Laboratory for Atomic and Molecular Nano-Sciences, tsinghua university, beijing 100084, china) [a]Key Laboratory for Quantum information and Measurements and Department of Physics Tsinghua University Beijing China [b]Key Laboratory of Beam technology and Material Modification MOE Institute of Low Energy Nuclear Physics and Department of Material Science and Engineering Beijing Normal University Beijing China [c]beijing Radiation Center Beijing China [d]Key Laboratory for Atomic and Molecular Nano-Sciences Tsinghua University Beijing China

A scheme for multiparty quantum secret sharing of classical and quantum messages is proposed by using entanglement swapping. This scheme can distribute not only the classical information but also the quantum informati... 详细信息

关键词： quantum secret sharing classical message quantum message EPR pair.

Gasflow style level posture sensor and angular velocity gyroscope assembled inertial sensor

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 2007年第8期17卷 971-978页

作者： Zhang Fuxue~(**) Mao Xu (research Centre of Sensor technology,beijing information technology institute,beijing 100101,china) [a]research Centre of Sensor technology Beijing Information Technology Institute Beijing China

The compensational loop consisting of a gasflow style angular velocity gyroscope and gasflow level posture sensor is pro- posed to improve the signal of gasflow style *** compensational loop could remove acceleration interfere from the signal of *** assembled gasflow type inertial sensor not only measures static state angular,but also restrains the acceleration which interferes the output signal of level posture sensor in dynamic ***,the precision of outputs signal increases ***,the output sig- nal includes the angle velocity signal.

关键词： gasflow style inertia sensor

Competent predicate abstraction in model checking

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(information Sciences) 2011年第2期54卷 258-267页

作者： LI Li1,2,3, SONG XiaoYu4, GU Ming2,3 & LUO XiangYu2,3 1Department of Computer Science & technology, tsinghua university, beijing 100084, china 2Key Laboratory for information System Security, Ministry of Education of china, beijing 100084, china 3School of Software, tsinghua university, beijing 100084, china 4Department of ECE, Portland State university, Portland, Oregon 97207, USA 1. Department of Computer Science & technology Tsinghua University Beijing 100084 China2. Key Laboratory for Information System Security Ministry of Education of China Beijing 100084 China3. School of Software Tsinghua University Beijing 100084 China4. Department of ECE Portland State University Portland Oregon 97207 USA

The paper presents a new approach to computing the abstract state and a maximum weight heuristic method for finding the shortest counter-example in verification of imperative programs. The strategy is incorporated in a verification system based on the counterexample-guided abstraction refinement method. The proposed method slashes both the size of the abstract state space and the number of invokes of a decision procedure. A number of benchmarks are employed to evaluate the effectiveness of the approach.

关键词： program model checking predicate abstraction weight heuristic

Learning interactions among multi-channel sequences with dynamical influence models

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(information Sciences) 2010年第7期53卷 1336-1344页

作者： ZHANG WeiDong, CHEN Feng & XU WenLi Department of Automation, National Laboratory for information Science and technology, tsinghua university, beijing 100084, china 1. Department of Automation National Laboratory for Information Science and Technology Tsinghua University Beijing 100084 China

Many real applications involve simultaneous recording and analysis of multi-channel information sources. Learning and modeling the interactions among channels is the kernel step to analyze and recognize system characteristics. This paper presents a model that learns the dynamical influence among multi-channel sequences. The model, dynamical influence model, permits functional roles of individual channels to change and models the changing influence strength between channels. By querying the values of influence factors, we can recognize the functional role of each channel qualitatively and learn about to what extent the chains influence each other quantitatively at any time. The experimental results on synthetic data and application of multi-person interaction recognition show that our model is reliable and effective.

关键词： multi-channel processing dynamical interaction influence model activity recognition

Arbitrarily long distance quantum communication using inspection and power insertion

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Chinese Science Bulletin 2009年第1期54卷 158-162页

作者： WANG WanYing1,2,WANG Chuan1,2,ZHANG GuangYu1,3 & LONG GuiLu1,2 1 Department of Physics,tsinghua university,beijing 100084,china 2 tsinghua National Laboratory for information Science and technology,tsinghua university,beijing 100084,china 3 College of Applied Science,Harbin university of Science and technology,Harbin 150080,china Department of Physics Tsinghua University Beijing 100084 China tsinghua National Laboratory for information Science and technology Tsinghua University Beijing 100084 China College of Applied Science Harbin University of Science and Technology Beijing 100084 China

The biggest obstacle for long distance quantum communication is the channel loss and the channel noise on photons. In this paper,a method to solve this problem was analyzed using inspection and power insertion (IPI). It is proved that quantum communication may be established over arbitrarily long distance using this technology. The amount of resources required is a polynomial function of the dis-tance. IPI is proposed as a general technique to prolong quantum secure direct communication where secret messages are transmitted directly over a quantum channel.

关键词：长距离量子通信量子安全通信量子密匙分布噪声

A verifiable low-level concurrent programming model based on colored Petri nets

在线全文

学校读者我要写书评

暂无评论

Science china(information Sciences) 2011年第10期54卷 2013-2027页

作者： WANG ShengYuan & DONG Yuan Department of Computer Science and technology,tsinghua university,beijing 100084,china 1. Department of Computer Science and technology Tsinghua University Beijing 100084 China

Concurrent programs written in a machine-level language are being used in many areas,but the verification of such programs brings various new challenges to the programming language *** of existing contributions on verifying the safety properties of concurrent programs are for high-level languages,specifications,or calculi in the *** to the lack of abstraction at a low level,additional work is needed to extend these methods to machine-level *** paper describes an approach to integrate Petri nets into low-level concurrent programs to form a new programming model (abstract machine).A program in the programming model is a restricted version of colored Petri net,with transitions colored by assembly codes for machine-level threads,and places colored by shared data consisting of memory locations or *** analysis and verification approaches for usual Petri nets can be applied indirectly for such a low-level concurrent program.

关键词： low-level concurrent programs colored Petri nets abstract machine verification

Suppression of Phase and Amplitude Damping Decoherence in a Three-Level Atom in A-Configuration Using Bang-Bang Controls

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Communications in Theoretical Physics 2007年第7期48卷 71-74页

作者： WANG Yan-Hui LIU Xiao-Shu LONG Gui-Lu1 Key Laboratory for Atomic and Molecular NanoSciences and Department of Physics,tsinghua university,beijing 100084,china2 tsinghua National Laboratory for information Science and technology,tsinghua university,beijing 100084,china Key Laboratory for Atomic and Molecular NanoSciences and Department of Physics Tsinghua University Beijing 100084 China tsinghua National Laboratory for information Science and technology Tsinghua University Beijing 100084 China

In this paper,we present decoupling bang-bang operations for the suppression of general decoherence,bothamplitude and phase damping,in a three-level system in *** give a program to design a sequence ofperiodic twinbor... 详细信息

关键词： bang-bang operation general decoherence three-level system

Anomalous magnetotransport in LaMn_(1-x)Te_xO_3

在线全文

学校读者我要写书评

暂无评论

Science china(Physics,Mechanics & Astronomy) 2009年第7期52卷 987-992页

作者： TAN GuoTai1,2, CHEN ZhengHao3 & ZHANG XiaoZhong4,5 1 Key Laboratory of Beam technology & Materials Modification of the Ministry of Education, institute of Low Energy Nuclear Physics, beijing Normal university, beijing 100875, china 2 beijing Radiation Center, beijing 100875, china 3 Laboratory of Optical Physics, institute of Physics, Chinese Academy of Sciences, beijing 100080, china 4 Key Laboratory of Advanced Materials of the Ministry of Education, Department of Materials Science and Engineering, tsinghua university, beijing 100084, china 5 beijing National Center for Electron Microscopy, tsinghua university, beijing 100084, china 1. Key Laboratory of Beam technology & Materials Modification of the Ministry of Education Institute of Low Energy Nuclear Physics Beijing Normal University Beijing 100875 China 2. beijing Radiation Center Beijing 100875 China 3. Laboratory of Optical Physics Institute of Physics Chinese Academy of Sciences Beijing 100080 China 4. Key Laboratory of Advanced Materials of the Ministry of Education Department of Materials Science and Engineering Tsinghua University Beijing 100084 China 5. beijing National Center for Electron Microscopy Tsinghua University Beijing 100084 China

The LaMn1-xTexO3+δ (x=0.1, 0.2, 0.3) were synthesized using solid-state reaction method for the first time. X-ray photoemission spectrum (XPS) shows that in the samples the Te ions have a valence of Te4+, and Mn3+ ions are partly converted into Mn2+ and Mn4+ due to the excess oxygen and Te doping. The magnetotransport associated with Mn2+, Mn3+ and Mn4+ was investigated. The experimental results show that the samples are insulator at 0 T when the amount of Mn3+ is much larger or less than the sum of Mn2+ and Mn4+; by contrast, the samples display metal to insulator transition with increasing temperature when the amount of Mn3+ is close to the sum of Mn2+ and Mn4+. These anomalous magnetotransport behaviors were analyzed in the frame of the double-exchange (DE) mechanism.

关键词： colossal magnetoresistance La-Te-Mn-O magnetotransport

An N/4 fixed-point duality quantum search algorithm

在线全文

学校读者我要写书评

暂无评论

中国科学：物理学、力学、天文学英文版 2010年第9期53卷 1765-1768页

作者： HAO Liang1,LIU Dan2 & LONG GuiLu1,3 1Key Laboratory for Atomic and Molecular NanoSciences and Department of Physics,tsinghua university,beijing 100084,china 2School of Sciences,Dalian Nationalities university,Dalian 116600,china 3tsinghua National Laboratory for information Science and technology,beijing 100084,china 1. Key Laboratory for Atomic and Molecular NanoSciences and Department of Physics Tsinghua University Beijing 100084 China2. School of Sciences Dalian Nationalities University Dalian 116600 China3. Tsinghua National Laboratory for Information Science and Technology Beijing 100084 China

Here a fixed-point duality quantum search algorithm is *** algorithm uses iteratively non-unitary operations and measurements to search an unsorted *** the marked item is found,the algorithm stops *** algorithm uses a constant non-unitary operator,and requires N/4 steps on average(N is the number of data from the database) to locate the marked *** implementation of this algorithm in a usual quantum computer is also demonstrated.

关键词： fixed-point search algorithm duality quantum computing the N4 duality search algorithm