查询词典 theorem

harmonic function ; Liouville theorem ; Dirichlet integral ; relative compact domain

并得到 次调和函数的Liouville定理和具有有限的 Dirichlet积分的次调和函数的性质。

The theoretical solution of a concentrated force acting on the free surface of coating materials with two same thickness layers has been deduced by introducing mirror point method and Dirichlet uniqueness theorem.

利用镜像点法和Dirichlet等值性原理，本文推导了等厚双层薄膜涂层材料受表面集中力作用的平面问题理论解。

ChinaWang Yonghuidirected by Zhang ~Venpeng The main purpose of thesis is using the mean value theorem of the Dirichlet Lunctions to study the asymptotic property of the Dedekind sums and Hardy sums, and give two sharper asymptotic formulas.

关于Dedekind和的推广型均值公式及Hardy和的推广型均值公式本论文利用Dirichlet L-函数的均值定理研究了Dedekind和及Hardy和的一类均值估计问题，并给出了较为精确的渐近公式。

The intermediate value theorem for discontinuous function is studied,the problem of discontinuous points when the left and right limit exists is considered by ZHU Le-min.

研究了非连续函数的介值定理，受朱乐敏等考虑的具有左、右极限存在的跳跃间断点的非连续函数的介值性定理的启发，利用上、下极限把介值定理推广到具有一般间断点的非连续函数的情况。

In this paper,we generalize the intermediate value theorem from continuous to discontinuous .

本文将连续函数的介值定理推广到间断的情况，文中的思想方法在其他领域如数论中也是有用的。

The mechanism of the least squares approximation that MFNN with finite nodes carried out on a given discrete point set is made, which, for the first time, results in an important theorem.

分析了有限规模多层前向网络用于离散点集上的最小二乘逼近的机理，首次给出了一个有关的定理。

In 1976 Jorgensen established a fundamental theorem of Mobiusgroup in plane---criterion of discreteness.

Jorfensen在1976年建立了Mobius群的基本定理——离散性准则。

A new complete disjunctive normal form, which is in the sense of equivalence, to an extension system of medium logical proposition calculus MP is defined and the theorem of its existence and uniqueness is established and proved.

讨论中介逻辑命题演算扩张系统MP＊中在等值意义下的完全析取范式的存在性和唯一性。引入MP＊中等值全析范式的概念，并用分步构造法证明这种范式在等值意义下是存在的，且是唯一的。

The introduction of displacement operator, derivation operator, integral operator and the operator, such as differential calculus operator and the definition of the form of computing, will be applied to similar derivation formula gives Newton a Kete Si formula and Bernstein theorem Law said the operator, and form is derived; linear differential equations is the operator solution.

有没有高手可以帮我翻译下这段话啊？？？引入位移算子、求导算子、积分算子和差分算子等微积分算子的定义及其形式运算，将其应用于近似求导公式；给出牛顿一柯特斯公式和伯恩斯坦定理的算子法表示，并进行形式推导；给出线性常微分方程的算子解法。

Like most university graduates in mechanical engineering, I do not have the sufficient mathematical knowledge to judge major mathematical problems, i.e. Fermat's Last Theorem, Riemann's Hypothesis, Jiang Chun-xuan's proof of FLT, Wiles's in question proof of FLT, or Jiang Chun-xuan's disproof RH, etc.

像大部分机械工程大学毕业生那样，我没有足够的数学知识判断重大数学问题，如费马大定理〔FLT〕、黎曼假设〔RH〕等，以及蒋春暄对于FLT的证明、怀尔斯〔Wiles〕对FLT有问题的证明、蒋春暄对于RH的否定。

Article 144 The Government of the Hong Kong Special Administrative Region shall maintain the policy previously practised in Hong Kong in respect of subventions for non-governmental organizations in fields such as education, medicine and health, culture, art, recreation, sports, social welfare and social

第一百四十四条香港特别行政区政府保持原在香港实行的对教育、医疗卫生、文化、艺术、康乐、体育、社会福利、社会工作等方面的民间团体机构的资助政策。原在香港各资助机构任职的人员均可根据原有制度继续受聘。

Small wonder, then, that the Chinese spend more in the shop than any other group of foreign visitors do .

这样的小惊喜，使中国顾客比任何国家的人消费得更多。