查询词典 existence theorem of implicit function

It is a usual presumption that distribution function can decide characteristic function and characteristic function can also decide the distribution function by the uniqueness theorem.

但通过本文引入的反例，我们可以知道，唯一性定理在有限区间上不成立，不过在无穷限区间上我们仍可以说，分布函数和特征函数是一一对应的。

However parametric function is not as good as impicit function in many aspects, so that the superiority of implicit function is applied to NC programming.

一般的数控编程软件，都是基于参数曲面的，但参数函数表达式在许多方面不如隐函数表达式。

Each member function has an extra, implicit parameter that binds the function to the object on which the function was called.

每个成员函数都有一个额外的、隐含的形参将该成员函数与调用该函数的类对象捆绑在一起。

In this thesis, we firstly introduce several class of discrete-time neural network models and the research progress of the neural networks. By Schauder fixed-point principle we prove the existence of an equilibrium (i.e. a fixed point) of a discrete-time neural network with generalized input-output function and by using the converse theorem of Lyapunov function we study the uniformly asymptotical stability of equilibrium in this discrete-time neural network with variable weight and give some sufficient conditions that guarantee the stability of it.

本文首先介绍了几类离散神经网络模型的由来及其研究概况，利用Schauder不动点原理证明了一类具有广义输入输出函数的离散神经网络模型平衡点的存在性，利用Lyapunov函数逆定理给出了这类离散神经网络模型在时变权值下的一致渐近稳定性的充分条件。

This article intended to analyze and compare its function in English and Chinese social communication from the following aspects: protocol function in personal communication; active function in language speaking; humorous function in making the meaning of words more funny; deceit function in coving up the truth; ironic function in lashing out against the society and human nature.

本文从五个方面分析和比较了委婉语在中英社会交际中的功能，即：人际交流中的礼仪功能，言谈措辞的积极功能，使语言妙趣横生的幽默功能，掩盖事实真相的欺骗功能和鞭挞社会，人性的讽刺功能。

Bring forward a kind of learning algorithm fitting on the base of spline function, because the spline function has good flexibility and quadratic smoothing property, the search problem of network weight functions training can be converted into the resoluting extreme value problem of the plurality function through using spline function to represent network input and link weight functions, thus the PNN can be trained with the help of the existing neural network learning algorithms;④build a kind of learning algorithm base on the alternate of Walsh function, the complexity of network computing can be decreased through using the complete orthogonality of Walsh function corollary.

应用结果表明该算法收敛速度快，稳定性好；③提出了一种基于样条函数拟和的学习算法，由于样条函数具有很好的柔韧性和二次光滑性，将网络输入函数和连接权函数用样条函数的形式表示，可把网络权函数训练的函数寻优问题转换为多元函数求极值的问题，从而可借助于现有的神经网络学习算法训练过程神经元网络；④建立了一种基于Walsh函数变换的学习算法，利用Walsh函数系的完备正交性，可大大降低网络计算的复杂度。

The system can receive data from the STEP-NC interpreter by using the resource model of the function block type database, then translate the receiving data into the data of function block format; the tool path generator can dynamically transfer the function block in the function block type database; it can also use the data of function block management resource to export DSP order; depending on VC to edit function database and Dynamic Linkable Library, we can connect the tool path generator with research platform, use the tool path generated from the tool path generator to drive the tool move.

结果 通过功能块类型库中的资源模型接收STEP-NC解释器解释的数据，并将接收的数据转化成功能块格式的数据；依据工艺规划好的加工工序，刀具路径生成器动态调用功能块类型库中的功能块；利用功能块处理资源提供的数据，输出DSP指令；依靠VC语言编辑函数库和动态链接库，将刀具路径生成器与实验平台建立关联，基于刀具路径生成器生成的刀具轨迹驱动机床刀具运动。

This paper expounds six functions of context that is omissible function, simplification function, definiteness function, explanation function, generative function and restrictive function.

接着，本文简要概述了中外学者研究语境的情况，阐述了语境的六种功能：省略功能、简化功能、确指功能、解释功能、生成功能和制约功能。

Language functions include informative function, interpersonal function, performative function, emotive function, phatic communion, recreational function and metalingual function.

语言功能包括：信息功能，人际功能，施为功能，感情功能，交感性谈话，娱乐性功能和元语言功能。

Language functions inclucle imformative function,interpersonal function,performative function, emotive function,phatic communion,recreational function and metalingual function.

语言功能包括信息功能，人际功能，施为功能，感情功能，交感性功能，娱乐性功能和元语言功能。

Objective To investigate the relationship between ovum fertilization rate and sperm morphology, acrosome reaction in IVF and to explore the influence of parameters of sperm on fertilization rate.

目的 研究体外受精(in vitro fertilization，IVF)中精子形态、顶体反应与卵子受精率之间的关系，分析精子各参数在IVF受精率方面的参考意义。

A: I hear Mr. White wants to run for the Presidency!

我听说怀特先生要参加总统竞选！