查询词典 functions

After analyzing the structure of sentences,Tarski found that, it was impossible to define the truth of the calculus of classes directly,but making use of the structure character of sentential functions could give us the approach to escape the dilemma:Firstly,we could defined the concept of satisfaction in sentential functions by means of recursive method;Then,we could regard sentences as a peculiar form of sentential functions;Finally,with the help of the concept of satisfaction,we could defined successfully the truth of the calculus of classes.

通过分析语句的结构，塔斯基发现很难直接定义出类演算语言的真概念，而语句函项所具有的可递归形成的结构性质可以使我们得到脱离困境的办法：先采用递归方法针对语句函项定义出满足概念，然后把语句作为语句函项的特殊形式，借助于满足概念最终可以得到类演算语言的真概念定义。

The V-system is a new class of complete orthogonal functions system in L2[0,1], which is composed of piecewise kth-order polynomials. There are continuous functions as well as discontinuous functions in V-system.

V-系统是一类由分片多项式构成的正交函数系，函数系中既有连续函数又有间断函数。

According to these two joint density functions, various joint probability density functions between the ambiguity solution and the position parameter solution are obtained, and various conditional probability density functions of baseline position parameter vectors are also obtained.

根据这两个联合概率密度公式得到了各种类型的模糊度和基线位置参数向量的联合概率密度函数，还得到了各种类型基线位置参数向量的条件概率密度函数。

This article uses the implicit function theorem and the properties of analytic functions,with less limitations for the uniqueness,continuity,continuous differentiability of the implicit functions,and gets the sufficient and necessary conditions of the existence of implicit functions by simplifying them.

从常用隐函数存在性定理出发，放宽对隐函数唯一、连续、连续可微等性质的限制，利用解析函数的性质将其展拓，得到广义隐函数存在的充分必要条件和广义隐函数的分布特征。

Properties of measurable functions; approximation by simple functions and by continuous functions; convergence in measure; Egoroff's theorem; Lusin's theorem; Jensen's inequality.

可测函数。可测函数的性质；简单和连续函数逼近；测度收敛；叶果洛夫定理；鲁津定理；詹森不等式

For radians, these functions are found in boost/units/cmath.hpp These behave as one expects, with trigonometric functions taking an angular quantity and returning a dimensionless quantity, while the inverse trigonometric functions take a dimensionless quantity and return an angular quantity

对于弧度，这些函数定义在 boost/units/cmath.hpp 。这些函数就像你想的那样，三角函数以弧度数量为参数返回一个无量纲数量，反三角函数以无量纲数量为参数返回一个弧度数量

System is divided into five subsystems : party management subsystems : major achievement for the party members and activists dynamic change process; Party official system : achieving document handling, information dissemination, e-mail management functions; Public information system : the achievement of notice information processing, integration, and other functions, the party's theoretical study and explore information processing; party analysis systems integrated operations management system for statistical computing, statements editing, modification, and export management functions; party management subsystems : the main party organizations to achieve integrated data management, and the party's domestic and foreign party overall control and management decision-making aids.

系统分为五个子系统：党员管理分系统：主要实现预备党员、积极分子动态变动过程；党务公文系统：实现文件的收发、信息发布、电子邮件管理功能；公用信息系统：实现对公告信息处理、整合等功能，党组织对党的理论研究和探讨的信息处理；党务管理分析系统综合业务系统实现统计计算、报表的编辑、修改及输出等功能管理；党务管理分系统：主要是实现党组织的综合数据管理，以及党的对内对外的党务全程控制和辅助决策管理。

In particular, for recurrent event data, we proposed a novel nonparametric estimator of the survival function and obtained an efficient estimator of the expected total number of events for counting processes. Also we established asymptotic properties of these estimators and investigated nonparametric estimation of survival functions, density functions and hazard functions under various types of incomplete data.

在重复事件发生的情况下，创新地提出了一种生存函数的非参数估计，获得了计数过程中预期事件总数的估计以及这些估计的大样本性质，并在其他各种不完全数据下对生存函数，概率密度和失效率函数等非参数估计进行了深刻研究。

We can not apply Galerkin methods with radial basis functions to the first boundary value problem (the Dirichlet boundary value problem) of the second-order elliptic equation, because it requires that the approximate functions should fit the essential boundary condition, while the spaces spanned by the radial basis functions fails to satisfy this kind of boundary condition, and it is the same for the higher-order elliptic equation.

我们不能直接应用这样的无网格算法求解二阶椭圆型方程的第一类边值问题(Dirichlet边值问题)，因为第一类边界条件是本质边界条件(对二阶椭圆型方程为Dirichlet边界条件)，而径向基函数的支集通常是全空间，由它们所生成的近似函数空间一般不满足这样的条件。

Interval slope method is proposed for a class of unconstrained min-max-min problems, in which the objective functions are factorable functions. An interval algorithm is given by interval slope discard tests and interval extension of objective functions. Numerical results are also presented.

讨论目标函数为因子函数的离散无约束min-max-min问题，利用区间斜率，构造目标函数的区间扩张和区问斜率删除原则，建立了求解离散无约束min-max-min问题的区间斜率算法，并给出了数值算例。

They weren't aggressive, but I yelled and threw a rock in their direction to get them off the trail and away from me, just in case.

他们没有侵略性，但我大喊，并在他们的方向扔石头让他们过的线索，远离我，以防万一。

In slot 2 in your bag put wrapping paper, quantity does not matter in this case.

在你的书包里槽2把包装纸、数量无关紧要。