检索结果-南通市图书馆

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 sciences,beijing 100080,china 2 academy of Mathematics and Systems Science,chinese academy of sciences,beijing 100080,china 3 Graduate University of chinese academy of sciences,beijing 100080,china institute of computing technology Chinese Academy of Sciences Beijing China Graduate University of chinese academy of sciences Beijing China academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing 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.

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

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 sciences, 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

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 sciences, 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

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 sciences, 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

High Throughput SNP Genotyping with Two Mini-sequencing Assays

在线全文

学校读者我要写书评

暂无评论

Acta Biochimica et Biophysica Sinica 2004年第6期36卷 379-384页

作者： Chunqing LUO1,2#, Libin DENG1#, and Changqing ZENG1,2* The institute of Genetic and Developmental Biology, the chinese academy of sciences, beijing 100101, china 2beijing Genomics institute, the chinese academy of sciences, beijing 101300, china The institute of Genetic and Developmental Biology the Chinese Academy of SciencesBeijing 100101 China beijing Genomics institute the Chinese Academy of SciencesBeijing 101300 China

Two mini-sequencing methods, FP-TDI (template-directed dye-terminator incorporation with fluorescence-polarization) and MassArray (matrix assisted laser desorption ionization time of flight detection mass spectrometry), were optimized. A numeric standard was introduced to evaluate the SNP scoring quality of FP-TDI assay, thus made the optimization work easier. At the same time, using multi-PCR technology, 8-plex genotyping of MassArray assay was successfully carried out, some softwares were developed and the data process of MassArray was highly automated. Then these two methods were applied to high throughput SNP genotyping, the accuracy, efficiency and robustness were compared. The result shows FP-TDI is more sensitive to the concentration of SNPprimer and PCR product, as well as extension cycles, the SNPprimer length of FP-TDI should be 24–30 bp long, whereas MassArray assay prefers to be as short as only 16 *** 6440 SNP sites of human chromosome 3 were genotyped in a sample of 90 individuals, 4792 sites by FP-TDI assay and 1648 sites by MassArray assay, the success rates of FP-TDI and MassArray were 67.7% and 93.6% respectively. The throughput of MassArray was higher than FP-TDI, and the cost of MassArray was lower, MassArray was more suitable for high throughput SNP genotyping.

关键词： SNP genotyping FP-TDI MassArray high throughput

The correspondence between the concepts in description logics for contexts and formal concept analysis

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(Information sciences) 2012年第5期55卷 1106-1122页

作者： MA Yue 1,2,SUI YueFei 1 & CAO CunGen 1 1 Key Laboratory of Intelligent Information Processing,institute of computing technology,chinese academy of sciences,beijing 1.01.0,china 2 Graduate University of chinese academy of sciences,beijing,china Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences Beijing China Graduate University of chinese academy of sciences Beijing China

Formal concept analysis (FCA) and description logic (DL) are meant to be formalizations of concepts.A formal concept in the former consists of its intent and extent,where the intent is the set of all the attributes shared by each object in the extent of the concept,and the extent is the set of all the objects sharing each property in the intent of the concept.A concept in the latter formalization is simply a concept name,the interpretation of which is a subset of a *** consider the correspondence between concepts in both formalizations,a multi-valued formal context must be represented both as a knowledge base and as a model of the DL for contexts,where concepts are decomposed into tuple concepts C,interpreted as a set of tuples and value concepts V,interpreted as a set of attribute-value *** show that there is a difference between the interpretation of concepts R.V /R.C and the Galois connection between the extent/intent of formal concepts in *** to the Galois connection,there should be concepts of the form + R.V and + R.C inter-preted in FCA,and hence the logical language L for DL is extended to be L + together with + as a constructor so that + R.V and + R.C are well-defined ***,according to the interpretation in DL there should be pseudo concepts in FCA so that the interpretation of concepts R.V /R.C is the extent/intent of pseudo *** correspondence between formal concepts and concepts in L +,and between pseudo concepts and concepts in L are presented in this paper.

关键词： description logic formal concept analysis concept attribute/role

MODELLING AND NUMERICAL SOLUTIONS OF A GAUGE PERIODIC TIME DEPENDENT GINZBURG-LANDAU MODEL FOR TYPE-Ⅱ SUPERCONDUCTORS

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Journal of Computational Mathematics 1997年第4期15卷 365-384页

作者： Zhi-ming Chen (institute of Mathematics, chinese academy of sciences, beijing, china) 中科院数学所北京

In this paper we seek the solutions of the time dependent Ginzburg-Landau model for type-Ⅱ superconductors such that the associated physical observables are spatially periodic with respect to some lattice whose basic lattice cell is not necessarily rectangular. After appropriately foring the gange, the model can be formulated as a system of nonlinear parabolic partial differential equations with quasi-periodic boundary conditions. We first give some results concerning the existence, uniqueness and regularity of solutions and then we propose a semiimplicit finite element scheme solving the system of nonlinear partial dmerential equations and show the optimal error estimates both in the L2 and energy *** also report on some numerical results at the end of the paper.

关键词： Math QT MODELLING AND NUMERICAL SOLUTIONS OF A GAUGE PERIODIC TIME DEPENDENT GINZBURG-LANDAU MODEL FOR TYPE SUPERCONDUCTORS

A mixed finite element method for the unilateral contact problem in elasticity

在线全文

学校读者我要写书评

暂无评论

Science china Mathematics 2006年第4期49卷 513-524页

作者： HUA Dongying & WANG Lieheng The First Fundamental Department, beijing Information technology institute, beijing 100101, china institute of Computational Mathematics and Scientific/Engineering computing, academy of Mathematics and System sciences, chinese academy of sciences, beijing 100080, china The First Fundamental Department Beijing Information Technology Institute Beijing China institute of Computational Mathematics and Scientific/Engineering computing Academy of Mathematics and System Sciences Chinese Academy of Sciences Beijing China

In this paper, we provide a new mixed finite element approximation of the variational inequality resulting from the unilateral contact problem in elasticity. We use the continuous piecewise P2-P1 finite element to approximate the displacement field and the normal stress component on the contact region. Optimal convergence rates are obtained under the reasonable regularity hypotheses. Numerical example verifies our results.

关键词： unilateral contact problem, mixed finite element method.

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. institute of computing technology, 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 academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing China institute of Software Chinese Academy of Sciences Beijing China institute of computing technology Chinese Academy of Sciences Bejing China Graduate University of chinese academy of sciences Beijing 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.