检索结果-南通市图书馆

Two schemes of perfect teleportation one-particle state by a three-particle general W state

在线全文

学校读者我要写书评

暂无评论

The Journal of China Universities of Posts and Telecommunications 2008年第4期15卷 60-62页

作者： zha.xin-wei Department of Applied Mathematics and Applied Physics Xi'an Institute of Posts and Telecommunications Xi'an 710061 China

In teleportation, it can be seen that the probability of success is determined by Alice＇s measurement and quantum channel, ff the Alice＇s measurement is appropriate, the teleportation can be successfully realized with the maximal probability. In accordance with transformation operator, two schemes are proposed for teleportation of an unknown one-particle state via a general W state, through which the successful probability and the fidelity of both schemes reach 1. Furthermore, two optimal matches of orthogonal complete measurement bases are given for teleporting an unknown one-particle state.

关键词： orthogonal complete measurement bases quantum information perfect teleportation general W state

Modular Verification of SPARCv8 Code

在线全文

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 2020年第6期35卷 1382-1405页

作者： Jun-Peng zha.xin-Yu Feng Lei Qiao Department of Computer Science and Technology Nanjing UniversityNanjing 210023China State Key Laboratory for Novel Software Technology Nanjing UniversityNanjing 210023China Beijing Institute of Control Engineering Beijing 100080China

Inline assembly code is common in system software to interact with the underlying hardware platforms. The safety and correctness of the assembly code is crucial to guarantee the safety of the whole system. In this paper, we propose a practical Hoare-style program logic for verifying SPARC (Scalable Processor Architecture) assembly code. The logic supports modular reasoning about the main features of SPARCv8 ISA (instruction set architecture), including delayed control transfers, delayed writes to special registers, and register windows. It also supports relational reasoning for refinement verification. We have applied it to verify that there is a contextual refinement between a context switch routine in SPARCv8 and a switch primitive. The program logic and its soundness proof have been mechanized in Coq.

关键词： Scalable Processor Architecture Version 8(SPARCv8) assembly code verification context switch Coq refinement verification

Optimizing scheme for probabilistic remote preparation of a two-qubit state

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

The Journal of China Universities of Posts and Telecommunications 2013年第6期20卷 109-116页

作者： XIA Jia-fan zha.xin-wei School of Science Xi'an University of Posts and Telecommunications

Remote state preparation is increasingly becoming attractive in recent years, people have already started theoretical and experimental research, and have made valuable research results. Recently, a scheme for probabilistic remote preparation of a general two-qubit state was proposed （Wang Z Y in Quantum Inf Process. 11：1585, 2012））. In this paper, we present a modified scheme for probabilistic remote preparation of a general two-qubit state. To complete the scheme, the new and feasible complete orthogonal basis vectors have been introduced. Compared with the previous schemes, the advantage of our schemes is that the total success probability of remote state preparation will be greatly improved. The probability of success regarding this scheme is calculated in both general and particular cases. The results show that the success probability of remote state preparation can be improved a little. However, in certain special cases, the success probability of preparation can be greatly improved. In special cases, the success probability of preparation can be improved to 1. The security analysis of the scheme is provided in details.

关键词： remote state preparation w-type state orthogonal basis vector success probability of preparation

Classification of Four-Qubit States by Means of a Stochastic Local Operation and the Classical Communication Invariant

在线全文

学校读者我要写书评

暂无评论

Chinese Physics Letters 2011年第2期28卷 24-27页

作者： zha.xin-Wei MA Gang-Long School of Science Xi’an University of Posts and TelecommunicationsXi’an 710121

It is a recent observation that entanglement classification for qubits is closely related to stochastic local operations and classical communication(SLOCC)*** et al.[***.A 65(2002)052112]showed that for pure states of four qubits there are nine different degenerate SLOCC entanglement *** et al.[***.A 76(2007)052311]showed that there are at least 28 distinct true SLOCC entanglement classes for four qubits by means of the SLOCC invariant and *** give 16 different entanglement classes for four qubits by means of basic SLOCC invariants.

关键词： invariants invariant operations

Two schemes of multiparty quantum direct secret sharing via a six-particle GHZ state

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Communications in Theoretical Physics 2020年第2期72卷 38-45页

作者： xin-Wei zha.Ruo-Xu Jiang Min-Rui Wang School of Science Xi’an University of Posts and TelecommunicationsXi’an710121China

In this paper,two new efficient multiparty quantum direct secret sharing schemes are proposed via a six-particle GHZ state and Bell *** the first scheme,based on the theory of security cryptanalysis,the secret message of the sender is directly encoded into the transmitted particles,and all the agents can obtain their information by performing bell measurement on the received particles,and then cooperate to recover the information of the *** the second scheme,we define a new secret shared coding method by performing local unitary operations on the transmitted particles,then agents perform Bell measurements on their own particles respectively,and feedback the measurement to the *** the agent’s results are matched with the previous coding method,the protocol will work *** addition,the proposed two schemes have the following common advantages:the sender can send all prepared particles to the receiver,and can send an arbitrary key to the receiver,rather than a random secret key;the proposed schemes do not need to insert any detection sets to detect eavesdropping and can resist both existing attacks and spoofing attacks by dishonest *** sender need not to retain any photons,so the sender’s quantum memory could be omitted here.

关键词： quantum direct secret sharing Bell measurement security cryptanalysis local unitary operation

Relations between tangle and I concurrence for even n-qubit states

在线全文

学校读者我要写书评

暂无评论

Chinese Physics B 2019年第12期28卷 88-91页

作者： xin-Wei zha.Ning Miao Ke Li Xi'an University of Posts and Telecommunications Xi'an 710121China

Gilad Gour and Nolan R Wallach [J. Math. Phys. 51 112201(2010)] have proposed the 4-tangle and the square of the I concurrence. They also gave the relationship between the 4-tangle and the square of the I concurrence. In this paper, we give the expression of the square of the I concurrence and the n-tangle for six-qubit and eight-qubit by some local unitary transformation invariant. We prove that in six-qubit and eight-qubit states there exist strict monogamy laws for quantum correlations. We elucidate the relations between the square of the I concurrence and the n-tangle for six-qubit and eight-qubits. Especially, using this conclusion, we can show that 4-uniform states do not exist for eight-qubit states.

关键词： quantum correlations entangled relations n-tangle six-qubit and eight-qubit

CirroData: Yet Another SQL-on-Hadoop Data Analytics Engine with High Performance

在线全文

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 2020年第1期35卷 194-208页

作者： Zheng-Hao Jin Haiyang Shi Ying-xin Hu Li zha.Xiaoyi Lu Business-Intelligence of Oriental Nations Corporation Ltd. Beijing 100102China Department of Computer Science and Engineering The Ohio State UniversityOhio 43210U.S.A Institute of Computing Technology Chinese Academy of SciencesBeijing 100190China University of Chinese Academy of Sciences Beijing 101408China

This paper presents CirroData,a high-performance SQL-on-Hadoop system designed for Big Data analytics *** a home-grown enterprise-level online analytical processing(OLAP)system with more than seven-year research and development(R&D)experiences,we share our design details to the community about how to achieve high performance in *** optimization techniques have been discussed in the *** effectiveness and the efficiency of all these techniques have been proved by our customers'daily ***-level studies,as well as several real application case studies of CirroData,have been presented in this *** evaluations show that CirroData can outperform various types of counterpart database systems in the community,such as"Spark+Hive","Spark+HBase",Impala,DB-X/Y,Greenplum,HAWQ,and *** can achieve up to 4.99x speedup compared with Greenplum,HAWQ,and Spark in the standard TPC-H ***-level evaluations demonstrate that CirroData outperforms"Spark+Hive"and"Spark+HBase"by up to 8.4x and 38.8x,*** the meantime,CirroData achieves the performance speedups for some application workloads by up to 20x,100x,182.5x,92.6x,and 55.5x as compared with Greenplum,DB-X,Impala,DB-Y,and HAWQ,respectively.

关键词： CirroData high performance SQL-on-Hadoop online analytical processing(OLAP) Big Data

Field experiment of rainfall infiltration on a soil slope and simulations based on a water-air two-phase flow model

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Mountain Science 2021年第8期18卷 2159-2167页

作者： LIU Gang zha.xin-yuan GUAN Jin-kun TONG Fu-guo Hubei Key Laboratory of Construction and Management in Hydropower Engineering China Three Gorges UniversityYichang443000China College of Hydraulic&Environment Engineering China Three Gorges UniversityYichang443000China

Rainfall infiltration on a soil slope is usually an unsaturated seepage process that can be described by a water-air two-phase flow *** effect of pore air pressure on rainfall infiltration has been widely recognized and validated by means of numerical simulations and laboratory ***,whether a slope can actually seal pore air continues to be debated by *** this study,a water-air two-phase flow model is used to simulate the rainfall infiltration process on a soil slope,and a field experiment is conducted to realistically test the sealing conditions of a *** to the numerical simulation,the areas of water and air flow in and out on the slope surface are relatively stable and can be classified as the“inhalation zone”and“overflow zone”,*** rainfall on the soil slope has an amplifying effect on pore air pressure because rainfall intensity is usually at the millimeter level,and it causes pore air pressure to reach the cm level.A field experiment was performed to determine whether a slope can realistically seal pore air and subsequently verify the regularity of rainfall *** pressure sensors were buried in the slope to monitor the pore air pressures during the rainfall *** monitoring results show that the pore air pressure in the slope changed,which indicates that the slope can seal ***,the amplification effects of intermittent rainfall on pore air pressure were observed for natural rainfall,which agrees well with the numerical simulation results.

关键词： Rainfall infiltration Runoff regularity Field experiment Water-air two-phase flow

An accelerated nonlocal means algorithm for synthetic aperture radar ocean image despeckling

在线全文

学校读者我要写书评

暂无评论

Acta Oceanologica Sinica 2019年第11期38卷 140-148页

作者： Guozhen zha.Dewei Xu Yanming Yang xin’gai Song Fuhuang Zhong Third Institute of Oceanography Ministry of Natural ResourcesXiamen 361005China National Satellite Ocean Application Service Beijing 100081China

Synthetic aperture radar(SAR)images play an increasingly important role in ocean environmental monitoring and ***,SAR images are inherently corrupted by speckle *** ocean images have some unique *** signatures of ocean phenomena in SAR images mainly exhibit as stripe or plaque shaped *** features typically have a high degree of self-similarity or *** nonlocal means(NLM)method can measure the structural similarity between different image patches and take advantage of redundant information in *** that the NLM algorithm is computationally intensive and timeconsuming,an accelerated NLM algorithm for SAR ocean image despeckling is proposed in this paper.A method is used to discriminate between texture and flat pixels in SAR *** similarity and search windows are used on texture pixels,whereas small similarity and search windows are used on flat ***,the improved NLM algorithm is accelerated by a graphic processing unit(GPU)based on the compute unified device architecture(CUDA)parallel computation *** computational efficiency is improved by approximately 200 times.

关键词： synthetic aperture radar speckle noise ocean nonlocal means method compute unified device architecture