So far, all experimental tests of Bell inequalities which must be satisfied by all local realistic hidden-variable theories and are violated by quantum mechanical predictions have left at least one loophole open. We p...So far, all experimental tests of Bell inequalities which must be satisfied by all local realistic hidden-variable theories and are violated by quantum mechanical predictions have left at least one loophole open. We propose a feasible setup allowing for a loophole-free test of the Bell inequalities. Two electron spin qubits of donors31P in a nanoscale silicon host in different cavities 300 m apart are entangled through a bright coherent light and postselections using homodyne measurements. The electron spins are then read out randomly and independently by Alice and Bob, respectively, with unity efficiency in less than 0.7 μs by using optically induced spin to charge transduction detected by radio-frequency single electron transistor. A violation of Bell inequality larger than 37% and 18% is achievable provided that the detection accuracy is 0.99 and 0.95, respectively.展开更多
The steady flow field of a canard missile on different angles of attack and Mach numbers were studied. Based on analysis, a method was proposed to reduce the calculation for the rolling characteristics of the canard m...The steady flow field of a canard missile on different angles of attack and Mach numbers were studied. Based on analysis, a method was proposed to reduce the calculation for the rolling characteristics of the canard missile with free-spinning tails, and was tested to obtain the relations between rolling moment coefficient, Mach number, and angle of attack. All the computed rolling moment coefficients obtained from the proposed method greatly agreed with the experimental results of FD-06 wind tunnel in CAAA, which proved that the method can not only reduce the calculation cost but also keep precision in calculating the rolling characteristics of canard missiles.展开更多
Model checking techniques have been widely used in verifying web service compositions to ensure the trustworthi- ness. However, little research has focused on testing web services. Based on the research of model check...Model checking techniques have been widely used in verifying web service compositions to ensure the trustworthi- ness. However, little research has focused on testing web services. Based on the research of model checking techniques~ we propose a model checking based approach for testing web service composition which is described by using the web services choreography description language （WS-CDL）. According to worldwide web consortium （W3C） candidate recommendation, the WS-CDL specification provides a language for characterizing interactions between distinct web services using XML. Since the behaviors of web service composition are asynchronous, distributed, low-coupled and platform independent, we employ the guarded automata （GA） model for specifying the composition described in WS-CDL and using the simple promela interpreter （SPIN） model checker for detecting the collaborations of web services. Test cases can be transformed from counterexamples generated by SPIN using adequacy criteria. In this paper we apply the transition coverage criterion for generating counterex- amples. To illustrate our approach, we set ＂E-commerce service system＂ as an example for demonstrating how test cases can be generated using SPIN for compositions specified in WS-CDL.展开更多
文摘So far, all experimental tests of Bell inequalities which must be satisfied by all local realistic hidden-variable theories and are violated by quantum mechanical predictions have left at least one loophole open. We propose a feasible setup allowing for a loophole-free test of the Bell inequalities. Two electron spin qubits of donors31P in a nanoscale silicon host in different cavities 300 m apart are entangled through a bright coherent light and postselections using homodyne measurements. The electron spins are then read out randomly and independently by Alice and Bob, respectively, with unity efficiency in less than 0.7 μs by using optically induced spin to charge transduction detected by radio-frequency single electron transistor. A violation of Bell inequality larger than 37% and 18% is achievable provided that the detection accuracy is 0.99 and 0.95, respectively.
基金Sponsored by the Fundamental Research Funds for the Central Universities(Grant No.HEUCFG201815)
文摘The steady flow field of a canard missile on different angles of attack and Mach numbers were studied. Based on analysis, a method was proposed to reduce the calculation for the rolling characteristics of the canard missile with free-spinning tails, and was tested to obtain the relations between rolling moment coefficient, Mach number, and angle of attack. All the computed rolling moment coefficients obtained from the proposed method greatly agreed with the experimental results of FD-06 wind tunnel in CAAA, which proved that the method can not only reduce the calculation cost but also keep precision in calculating the rolling characteristics of canard missiles.
基金Project supported by the Open Foundation of State Key Laboratory of Software Engineering(Grant No.SKLSE20080712)the National Natural Science Foundation of China(Grant No.60970007)+2 种基金the National Basic Research Program of China(Grant No.2007CB310800)the Shanghai Leading Academic Discipline Project(Grant No.J50103)the Science and Technology Commission of Shanghai Municipality(Grant No.09DZ2272600)
文摘Model checking techniques have been widely used in verifying web service compositions to ensure the trustworthi- ness. However, little research has focused on testing web services. Based on the research of model checking techniques~ we propose a model checking based approach for testing web service composition which is described by using the web services choreography description language （WS-CDL）. According to worldwide web consortium （W3C） candidate recommendation, the WS-CDL specification provides a language for characterizing interactions between distinct web services using XML. Since the behaviors of web service composition are asynchronous, distributed, low-coupled and platform independent, we employ the guarded automata （GA） model for specifying the composition described in WS-CDL and using the simple promela interpreter （SPIN） model checker for detecting the collaborations of web services. Test cases can be transformed from counterexamples generated by SPIN using adequacy criteria. In this paper we apply the transition coverage criterion for generating counterex- amples. To illustrate our approach, we set ＂E-commerce service system＂ as an example for demonstrating how test cases can be generated using SPIN for compositions specified in WS-CDL.
