查询词典 radon nikodym theorem

The commutative theorem characterized by an associative ring, presented in document 1 noted by Guo Huaguang is extended to the formation of the left near ring with partition law.

把郭华光在文献［1］中关于结合环的交换性定理推广到分配生成左拟环上。

Secondly, we propose a stop criterion for an approximate solution of the inner problem.Finally,we establish the convergence theorem of the nonlinear rescaling method when this criterion is used.

然后提出了求解子问题时的终止准则，证明了在使用该准则作为子问题终止条件时非线性重新尺度化算法的收敛速度。

This paper put forward two methods of constructing randomizer in the Fractal applications:(1) The randomizer satisfing the Gauss normal distribution N(0,1) is constructed basing on central limit theorem of the probability theory;(2) The random sequence is created basing on the Chaos principle. There is not only randomness inside the random sequence but also in random sequence itself.

提出分形理论应用中构建随机数发生器的两种方法：根据概率论的中心极值定理，产生服从高斯正态分布N(0，1)的随机数；基于混沌学原理产生随机数，不仅随机数序列内部有随机性，而且随机数序列本身也具有随机性。

In the following, we quantize the supersymmetric anyon system according to the rule of path integral quantization for constrained Hamiltonian system in Faddeev-Senjanovic scheme. We calculate the quantal conserved angular momentum based on the quantal canonical Noether theorem, and present the fractional spin property at the quantum level.

根据约束系统的Faddeev-Senjanovic路径积分量子化方法，我们对超对称任意子系统进行了量子化；根据经典Noether定理，得到了系统的守恒角动量；用量子正则Noether定理讨论了量子守恒角动量，我们发现了系统具有分数自旋性质。

Moreover, the more deep research has been given, such as introduction to working mechanism and design principle, kinematics analysis of planet gear transmission system by the method of theorem of finite distance.

运用点的复合运动和刚体空间运动的有限位移定理对行星轮传动系统进行了运动学分析，并进一步探讨了搅拌螺杆的工作机理与设计原则。

It presents a new method for designing automated theorem provers for Pointer Logic.

提出了一种为指针逻辑设计自动定理证明器的新方法。

Despite these theoretical limits, practical theorem provers can solve many hard problems in these logics.

尽管取得了这些理论的限制，实际定理provers可以解决许多困难问题，在这些逻辑。

Interactive theorem provers require a human user to give hints to the system.

互动定理provers需要人类给予提示用户的系统。

Completely automated theorem provers, such as model checkers, operate on an abstraction of the problem.

象模型检查程序这种完全自动化的定理证明程序是在问题的一个抽象上操作。

Model checkers and theorem provers are all used to verify specifications of protocols. However, they are different. The former verify specifications in finite space, while the later prove some conclusions in infinite space.

模型检查和定理证明都是对协议的规格说明进行验证，不同的是，前者是在有限的空间中进行检查，而后者是在无限的空间证明结论。

Listen,point and check your answers.

听，指出并且检查你的答案。

Warming needle is one of effective treatment methods for knee arthralgia aggravated by cold,and it is simple,safety,so it should be developed in clinical acupuncture and moxibustion extensively.

但以本院科针灸门诊在2005年1月—2006年6月期间共收治膝痛患者100余例，经过临床的诊断后，其中施以温针治疗的48例，疗效显著，报道如下。1临床资料本组病例48