检索结果-南通市图书馆

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

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 systems 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

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, academy of mathematics and systems science, chinese academy of sciences, beijing 100080, China. Institute of systems science, academy 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

CONVERGENCE OF NONLINEAR CONJUGATE GRADIENT METHODS

在线全文

学校读者我要写书评

暂无评论

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

作者： Yu-hong Dai (LSEC, ICMSEC, academy of mathematics and systems 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 53C27 53C50 83C60

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

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

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., chinese 中科院计算数学与工程计算数学所北京 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.

Fiducial inference in the pivotal family of distributions

在线全文

学校读者我要写书评

暂无评论

science China mathematics 2006年第3期49卷 410-432页

作者： XU Xingzhong & LI Guoying Department of mathematics, beijing Institute of Technology, beijing 100081, China academy of mathematics and systems science, chinese academy of sciences, beijing 100080, China 1. Department of mathematics Beijing Institute of Technology Beijing 100081 China 2. academy of mathematics and systems science Chinese Academy of Sciences Beijing 100080 China

In this paper a family, called the pivotal family, of distributions is considered.A pivotal family is determined by a generalized pivotal model. Analytical results show that a great many parametric families of distributions are pivotal. In a pivotal family of distributions a general method of deriving fiducial distributions of parameters is proposed. In the method a fiducial model plays an important role. A fiducial model is a function of a random variable with a known distribution, called the pivotal random element, when the observation of a statistic is *** method of this paper includes some other methods of deriving fiducial distributions. Specially the first fiducial distribution given by Fisher can be derived by the method. For the monotone likelihood ratio family of distributions, which is a pivotal family, the fiducial distributions have a frequentist property in the Neyman-Pearson view. Fiducial distributions of regular parametric functions also have the above frequentist property. Some advantages of the fiducial inference are exhibited in four applications of the fiducial distribution. Many examples are given, in which the fiducial distributions cannot be derived by the existing methods.

关键词： confidence bounds, fiducial distributions, fiducial model, frequentist prop-erty, generalized pivotal model, pivotal family of distributions, testing hypotheses.