查询词典 computable function

But we can prove that the corresponding Eulur\'s function is bounded from below in a proper set S of W_0~(1,p)× W_0~(1,q), and then a minimizer of Eulur\'s function in S gives rise to a solution of the problem.

但是，我们可以证明欧拉泛函在合适的集合S中有下界，因此在该集合中利用变分方法寻找泛函的极小就可以得到原问题的解。

The composite nonsmooth optimization problem is defined as follows:〓where h is a convex function defined on〓and is bounded from below,and〓〓is a mapping from〓to〓and〓are twicecontinuously differentiable function on〓.

复合NDO问题被定义如下：〓这里h是一个定义在〓上的凸函数，并且有下界，〓，〓是一个从〓到〓上的映照。

The relation between general one-way function and bounded one way function is given by authors previously.

该文的作者在以前的文章中，对有界单向函数与一般单向函数的关系进行了探讨，从而得到一般单向函数的一个刻画。

It shows that all properties of fuzzy number and fuzzy-valued function which relating to distance can be obtained by this family of standard bounded monotone function.

进而，模糊数空间和模糊值函数空间上的与距离相关的所有性质都可以在一类单调函数类上得到。

Bounded one-way function gives a new insight in the one-way function.

有界单向函数的研究对一般单向函数存在性的研究提供了一个新的途径。

These theorems shows that there always exists a mathematical relation (that is, a bounded real function)between the premises and the conclusion for fuzzy reasoning, and in fact various algorithms of fuzzy reasoning are specific forms of this function.

结果表明在各种模糊推理模式中，前提与结论之间存在一个数学关系，模糊推理的各种算法都是这一函数的不同构造形式。

Firstly, we get the necessary and sufficient conditions for Toeplitz operators that commutes with another such operator whose symbol is a monomial, meanwhile, we completely characterize when the mellin transform of the bounded function on the interval 0,1 is a rational function.

首先得到了以有界函数为符号的Toeplitz算子和以单项式函数为符号的Toeplitz算子可交换的充要条件，同时给出了0，1区间上的有界函数的Mellin变换为有理函数的充要条件。

From [1], Every transition function is a positive strongly continuous semigroup of contractions on l\, but it isnt a strongly continuous semigroup on l_∞- In fact, the sufficient and necessary condition for a transition function to be a strongly continuous semigroup on l_∞ is that the q—matrix Q is an uniformly bounded q—matrix on l_∞- This is the trivial case.

由Anderson[1]知道转移函数P是l_1空间上正的强连续压缩半群，但P一般来说不是l_∞空间上的强连续半群，而P是l_∞上强连续半群的充要条件是q—矩阵Q是l_∞。

A modefied egg function has been proposed and used in a bounding surface model. This model has potential value of applicaton since it reflects better actual situation of soil mass under loading. That is: when a stress point is still within the yield surface, the unrccovered plastic deformation would occur as stresses change, and using closed smooth function makes stress modification in the FEM much easier.

文中提出了一个改进蛋形函数，并采用这个函数建立了边界面模型，该模型由于机理上更好地反映了土体受荷时的实际情况，即当应力点在屈服面内时，随着应力状态的改变，仍然可以产生不可恢复的塑性变形，而在计算功能上由于使用了封闭光滑的边界面，不存在角点问题使有限元程序计算显得很方便，从这两个方面看，该模型具有潜在的应用价值。

Anticipate in the color and the noodles up, spread trend according to this year, chose to return protactinium to return true green to be fond of colourful noodles to anticipate;Design in the style up, use to turn province, ground plait, curve to highlight the female's beautiful curve, pass to put together to connect, the dissymmetry, bowknot, satin bring exceedingly fascinating and charming of expressing the modern youth young girl, can then strengthen the function of the clothing by the function of transformation length.

在色彩和面料上，是根据今年流行趋势，选择了返镤归真的绿色迷彩面料；在款式设计上，用转省、碎褶，弧线来凸显女性的曲线美，通过拼接、不对称、蝴蝶结、缎带来表现现代青春少女的风情万种，可以变换长短的功能性则增强了服装的实用性。

Pachomius manual labour was organized as an essential part of the monastic life; and since it is a principle of the monks as distinguished from the mendicants, that the body shall be self-supporting, external work of one sort or another has been an inevitable part of the life ever since.

根据圣pachomius体力劳动组织作为一个重要组成部分寺院生活；以来，这是一个原则的和尚，作为有别于乞丐，该机构应自支撑，对外工作的这种或那种已一个必然的一部分，生活至今。

In order to study the effects of parametrical rolling on the ship movement and tilts, in allusion to ship's navigating in regular following waves, the equation of ship rolling motion is transformed into normal Mathieu equation by proper variable replacement when strong parametrical excitation in restoring moment varied according to sine or cosine wave.

为研究参数横摇对船舶运动和倾覆的影响，通过对船在规则波上随浪航行时，恢复力矩中出现的1个以正余弦规律变化的强参数激励项进行适当的变量置换，将船舶的横摇运动方程转换成标准形式的Mathieu方程。