检索结果-南通市图书馆

Review on the study of entanglement in quantum computation speedup

在线全文

学校读者我要写书评

暂无评论

chinese Science Bulletin 2007年第16期52卷 2161-2166页

作者： DING ShengChao1,3.& JIN Zhi1,2,1 institute of computing technology,chinese academy of{3.,beijing 100080,China 2 academy of Mathematics and Systems Science,chinese academy of{3.,beijing 100080,China 3.Graduate University of chinese academy of sciences,beijing 100080,China institute of computing technology Chinese Academy of Sciences Beijing 100080 China

The role the quantum entanglement plays in quantum computation speedup has been widely disputed. Some believe that quantum computation's speedup over classical computation is impossible if entan-glement is absent,while others claim that the presence of entanglement is not a necessary condition for some quantum algorithms. This paper discusses this problem systematically. Simulating quantum computation with classical resources is analyzed and entanglement in known algorithms is reviewed. It is concluded that the presence of entanglement is a necessary but not sufficient condition in the pure state or pseudo-pure state quantum computation speedup. The case with the mixed state remains open. Further work on quantum computation will benefit from the presented results.

关键词：量子论量子纠缠量子计算加速模拟

Modeling and verifying Web services driven by requirements:An ontology-based approach

在线全文

学校读者我要写书评

暂无评论

Science in China(Series F) 2006年第6期49卷 792-820页

作者： HOU Lishan1,3.JIN ZHi1,2 & WU Budan1,4 1. academy of Mathematics and Systems Science, chinese academy of sciences, beijing 100080, China 2.{3., chinese academy of sciences, beijing 100080, China 3. institute of Software, chinese academy of sciences, beijing 100080, China 4. Graduate University of chinese academy of sciences, beijing 100049, China 1. academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing 100080 China 3. institute of Software Chinese Academy of Sciences Beijing 100080 China 2. institute of computing technology Chinese Academy of Sciences Bejing 100080 China 4. Graduate University of chinese academy of sciences Beijing 100049 China

Automatic discovery and composition of Web services is an important research area in Web service technology, in which the specification of Web services is a key issue. This paper presents a Web service capability description framework based on the environment ontology. This framework depicts Web services capability in two aspects： the operable environment and the environment changes resulting from behaviors of the Web service. On the basis of the framework, a requirement-driven Web service composition model has been constructed. This paper brings forward the formalization of Web service interactions with π calculus. And an automatic mechanism converting conceptual capability description to the formal process expression has been built. This kind of formal specification assists in verifying whether the composite Web service model matches the requirement.

关键词： Web service environment ontology automatic composition π calculus formal verification.

FOURIER-LEGENDRE PSEUDOSPECTRAL METHOD FOR THE NAVIER-STOKES EQUATIONS

在线全文

学校读者我要写书评

暂无评论

Journal of Computational Mathematics 2000年第3期18卷 225-238页

作者： Jian Li (LSEC, institute of Computational Mathematics and Scientific/Engineering computing, academy of Mathematics and System{3., chinese academy of sciences, beijing, 100080, China) 中科院计算数学与科学工程计算所科学与工程计算国家重点实验室北京 100080

Constructs a Fourier-Legendre pseudospectral scheme for Navier-Stokes equations with semi-periodic boundary condition. Equation of the scheme; Estimation of errors; Numerical results.

关键词： Navier-Stokes equations Fourier-Legendre pseudospectral method error estimation

ON THE CENTRAL RELAXING SCHEMES I:SINGLE CONSERVATION LAWS

在线全文

学校读者我要写书评

暂无评论

Journal of Computational Mathematics 2000年第3期18卷 313-324页

作者： Hua-zhong Tang (LSEC, institute of Computational Mathematics and Scientific /Engineering computing, academy of Mathematics and System{3., chinese academy of sciences, beijing, 100080, China) 中科院计算数学与科学工程计算所科学与工程计算国家重点实验室北京 100080

Presents a central relaxing scheme for scalar conservation laws. Details on the preliminary equations; Properties of the relaxed schemes; Conclusions.

关键词： hyperbolic conservation laws the relaxing scheme TVD cell entropy inequality

THE L^2-NORM ERROR ESTIMATE OF NONCONFORMING FINITE ELEMENT METHOD FOR THE 2ND ORDER ELLIPTIC PROBLEM WITH THE LOWEST REGULARITY

在线全文

学校读者我要写书评

暂无评论

Journal of Computational Mathematics 2000年第3期18卷 277-282页

作者： Lie-heng Wang (LSEC, institute of Computational Mathematics and Scientific/Engineering computing, academy of Mathematics and System{3., chinese academy of sciences, beijing, 100080, China) 中科院计算数学与科学工程计算所科学与工程计算国家重点实验室北京 100080

Presents the abstract L...-norm error estimate of nonconforming finite element method. Use of the Aubin Nitsche Lemma in estimating nonconforming finite element methods; Details on the equations.

关键词： L-2-norm error estimate nonconforming f.e.m. lowest regularity

SYNTHESIS AND CHARACTERIZATION OF NEW STABILIZERS WITH OPTIMAL MOLECULAR WEIGHT

在线全文

学校读者我要写书评

暂无评论

chinese Journal of Polymer Science 2001年第4期19卷 341-350页

作者： Jiang-qing Pan institute of Chemistry chinese academy of sciences, beijing 100080 China chinese Acad Sci Inst Chem Beijing 100080 Peoples R China

Over 2 x 10(8) tons of polymers are produced every year, and a large portion of polymers faces the degradation problem. There are many effective methods to protect polymers against degradation and the addition of stabilizers to polymer remains the most convenient and effective way of enhancing polymer life and performance. In this article, a series of effective stabilizers with optimal molecular weight (MW), including common, monomeric and polymeric stabilizers (antioxidant and light stabilizer) were synthesized using isocyanation, controlled isocyanation, hydrosilylation, epoxide addition, macroreaction of stabilizing functional compounds and polymerization of monomeric stabilizers. The structure and performance of these new stabilizers were characterized by using IR, NMR, MS, UV-spectra, XPS and elemental analysis. The current development of stabilizer synthesis was also reviewed.

关键词： preparation of stabilizer antioxidant hindered amine light stabilizer isocyanation hydrosilylation

NUMERICAL SOLUTION OF THE UNSTEADYINCOMPRESSIBLE NAVIER-STOKES EQUATIONS ON THECURVILINEAR HALF-STAGGERED MESHNUMERICAL SOLUTION OF THE UNSTEADYINCOMPRESSIBLE NAVIER-STOKES EQUATIONS ON THECURVILINEAR HALF-STAGGERED MESH

在线全文

学校读者我要写书评

暂无评论

Journal of Computational Mathematics 2000年第5期18卷 521-540页

作者： Lan-chieh Huang (institute of Computational Mathematics and Scientific/Engineering computing, chinese academy of sciences,{3., China) 中科院计算数学与科学工程计算所北京 100080

In this paper, the Crank-Nicholson + component-consistent pressure correction method for the numerical solution of the unsteady incompressible Navier-Stokes equation of [1] on the rectangular half-Staggered mesh has been extended to the curvilinear half-Staggered mesh. The discrete projection, both for the projection step in the solution procedure and for the related differential-algebraic equations, has been carefully studied and verified. It is proved that the proposed method is also unconditionally (in t) nonlinearly stable on the curvilinear mesh, provided the mesh is not too skewed. It is seen that for problems with an outflow boundary, the half-Staggered mesh is especially advantageous. Results of preliminary numerical experiments support these claims.

关键词： Unsteady incompressible Navier-Stokes equations Curvilinear half- staggered mesh Discrete projection.

ORTHOGONAL PIECE-WISE POLYNOMIALS BASIS ON AN ARBITRARY TRIANGULAR DOMAIN AND ITS APPLICATIONS

在线全文

学校读者我要写书评

暂无评论

Journal of Computational Mathematics 2001年第1期19卷 55-66页

作者： Jia-chang Sun. (Parallel computing Division, institute of Software, chinese academy of sciences,{3., China) 中科院软件所北京 00080

Presents a way to construct orthogonal piece-wise polynomials on an arbitrary triangular domain via barycentric coordinates. Solution of a boundary value problem for Laplace equation; Methodology; Results and discussion.

关键词： orthogonal piece-wise polynomials triangular domain eigen-decomposition

A NEW STABILIZED FINITE ELEMENT METHOD FOR SOLVING THE ADVECTION-DIFFUSION EQUATIONS

在线全文

学校读者我要写书评

暂无评论

Journal of Computational Mathematics 2002年第1期20卷 57-64页

作者： Huo-yuan Duan (institute of Mathematics, academy of Mathematics and System sciences,{3., beijing 100080, China) institute of Mathematics Academy of Mathematics and System Sciences Chinese Academy of Sciences 北京 100080

Focuses on a study on the development of a stabilized finite element method for solving the advection-diffusion equations with a zero Dirichlet boundary condition. Problem formulation; Error analysis.

关键词： advection-diffusion equation stabilized finite element method