检索结果-南通市图书馆

CONVERGENCE AND SUPERCONVERGENCE OF HERMITE BICUBIC ELEMENT FOR EIGENVALUE PROBLEM OF THE BIHARMONIC EQUATION

在线全文

学校读者我要写书评

暂无评论

Journal of Computational mathematics 2001年第2期19卷 139-142页

作者： Dong-sheng Wu (Institute of systems science, {2. of mathematics and systems sciences, chinese academy of sciences, Beijing 100080, China ) 中科院系统科学所北京 100080

Provides information on a study which discussed the convergence and superconvergence for eigenvalue problem of the biharmonic equation using the Hermite bicubic element. Discussion on eigenvalue problem for biharmonic equation; Background on asymptotic error expansions and interpolation postprocessing; Superconvergence approximations to the eigenvalue and eigenfunction.

关键词： Hermite bicubic element biharmonic equation interpolation postprocessing eigenvalue problem

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 {2. {4., {4., Beijing 100080, China 2. Institute of Computing Technology, {4., Beijing 100080, China 3. Institute of Software, {4., Beijing 100080, China 4. Graduate University of {4., Beijing 10004., China 1. academy of mathematics and {2. 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.

BOUNDARY FEEDBACK STABILIZATION OF NONUNIFORM TIMOSHENKO BEAM WITH A TIPLOAD

在线全文

学校读者我要写书评

暂无评论

chinese Annals of mathematics,Series B 2001年第4期22卷 485-494页

作者： YAN QINGXU, FENG DEXING Institute of systems science, {2. of mathematics and systems science, chinese academy of sciences, Beijing 100080, China. Institute of systems science, {2. of mathematics and systems science, chinese academy of sciences, Be Institute of systems science Academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing 100080 China

The boundary stabilization problem of a Timoshenko beam attached with a mass at one end is studied. First, with linear boundary force feedback and moment control simultaneously at the end attached with the load, the energy corresponding to the closed loop system is proven to be exponentially convergent to zero as time t →∞. Then, some counterexamples are given to show that, in other casest the corresponding closed loop system is, in general, not stable asymtotically, let alone exponentially.

关键词： Timoshenko beam Boundary feedback control C0 semigroups Exponential stability Multiplier method

A CLASS OF NEW PARALLEL HYBRID ALGEBRAIC MULTILEVEL ITERATIONS

在线全文

学校读者我要写书评

暂无评论

Journal of Computational mathematics 2001年第6期19卷 651-672页

作者： Zhong-zhi Bai (LSEC ICMSEC, academy of mathematics and {2. sciences, {4., Beijing 100080, China) 中科院计算数学与科学工程计算所北京 100080

Presents preconditioning matrices having parallel computing function for the coefficient matrix and a class of parallel hybrid algebraic multilevel iteration methods for solving linear equations. Solution to elliptic ... 详细信息

关键词： elliptic boundary value problem system of linear equations symmetric positive definite matrix multilevel iteration parallel method

CONVERGENCE OF NONLINEAR CONJUGATE GRADIENT METHODS

在线全文

学校读者我要写书评

暂无评论

Journal of Computational mathematics 2001年第5期19卷 539-548页

作者： Yu-hong Dai (LSEC, ICMSEC, academy of mathematics and {2. sciences, {4.,Beijing 100080, China) 中科院计算数学与科学工程计算所北京 100080

Presents a study on methods for unconstrained optimization. Assumptions of the study; Main results; Convergence properties of the methods under simplified Armijo-type line search.

关键词： unconstrained optimization conjugate gradient (generalized) line search global convergence

A quasi-local mass for 2.spheres with negative Gauss curvature

在线全文

学校读者我要写书评

暂无评论

science China mathematics 2008年第9期51卷 1644-1650页

作者： ZHANG Xiao Institute of mathematics, academy of mathematics and systems {4., chinese academy of sciences, Beijing 100080, China 1. Institute of mathematics Academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing 100080 China

We extend our previous definition of quasi-local mass to 2.spheres whose Gauss curvature is negative, and prove its positivity.

关键词： general relativity quasi-local mass positivity 53C2. 53C50 83C60

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

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

CONSTRUCTION OF A PRECONDITIONER FOR DOMAIN DECOMPOSITION METHODS WITH POLYNOMIAL LAGRANGIAN MULTIPLIERS

在线全文

学校读者我要写书评

暂无评论

Journal of Computational mathematics 2001年第2期19卷 213-224页

作者： Qi-ya Hu (Institute of Computational mathematics, academy of mathematics and systems {4., chinese academy of sciences, Beijing 100080, China) Guo-ping Liang Jin-zhao Liu (Institute of mathematics, academy of mathematics and systems {4., {12. 中科院计算数学与工程计算数学所北京 100080 中科院数学所北京 100080

In this paper we consider domain decomposition methods with polynomial Lagrangian multipliers to two-dimentional elliptic problems, and construct a kind of simple preconditioners for the corresponding interface equation. It will be shown that condition number of the resulting preconditioned interface matrix is almost optimal (namelys it has only logarithmic growth with dimension of the local interface space).

关键词： Domain Decomposition Non-matching grids Lagrangian multipliers Preconditioner Condition number.

Relations between Lipschitz functions and convex functions

在线全文

学校读者我要写书评

暂无评论

science China mathematics 2005年第5期48卷 703-710页

作者： RUAN Yingbin Department of mathematics, Fujian Normal University, Fuzhou 350007, China academy of mathematics and systems {4., chinese academy of sciences, Beijing 100080, China 1. Department of mathematics Fujian Normal University 350007 Fuzhou China 2. academy of mathematics and {2. {4. Chinese Academy of Sciences 100080 Beijing China

We discuss the relationship between Lipschitz functions and convex functions. By these relations, we give a sufficient condition for the set of points where Lipschitz functions on a Hilbert space is Frechet differenti... 详细信息

关键词： Lipschitz functions convex functions the Frechet differentiability.