查询词典 theorem of implicit functions

Using the theories of probability, algebra and spectral theory comprehensively, we investigate some related characteristics of logic functions in cryptography: Firstly, we introduce m order generalized s - correlation immunity of Boolean vector functions and prove that the higher order generalized ε- correlation immunity can guarantee the lower order generalized ε- correlation immunity. Then by applying decomposition formula of joint distribution of Boolean random vectors, we give a spectrum criterion of m order generalized e - correlation immunity of Boolean vector functions. Furthermore, we show that the algebraic degree of m order generalized e - correlation immune Boolean vector functions is not restricted by the correlation immune orders.

本文主要运用概率论的思想和方法，并结合代数学和频谱理论的相关知识，对密码学中逻辑函数的有关性质进行了研究，主要包括以下三个方面的内容：首先，对布尔向量函数的相关免疫性进行了拓展，给出了k维布尔向量函数m阶广义ε-相关免疫的概念，证明了布尔向量函数的高阶广义ε-相关免疫性蕴含低阶广义ε-相关免疫性，并根据布尔随机向量联合分布分解式得到了布尔向量函数m阶广义ε-相关免疫的一个谱判别条件，还说明了m阶广义ε-相关免疫布尔向量函数的代数次数不受相关免疫阶数的制约。

According to the hypothesis of continuum, a tube with the corner strengthened is gained to make an equal of the frame-tube. B3-spline functions and parabola functions are applied to simulate the displacement functions of the frame-tube. The system of equations about the undetermined coefficients of displacement functions is deduced by using energy-variational principle, by solving which the displacement of the frame-tube is gained. Then the internal forces in the columns and beams of the former frame-tube are obtained according to the principles of elasticity mechanics.

根据连续化假设将框筒等效为角部加强筒体，将三次样条函数与抛物线函数结合假定框筒的位移函数，运用能量变分原理推导出了关于位移函数待定系数的方程组，解得位移函数待定系数进而解得框筒的位移，再根据弹性力学原理确定原框筒中梁柱的内力。

The identity and difference in the expressional patterns between distribution functions of discrete random variables and distribution functions of continuous random variables are elaborated,and the main expressional patterns of distribution functions of continuous random variables are summarized,and the derivability of distribution functions of continuous random variables is discussed.

0引言在概率论中，连续型随机变量分布函数的表达形式及其可导性是一难点。其一，离散型随机变量的分布函数有较明显的性质和统一的表达形式，而连续型随机变量，由于其概率密度函数一般为分段函数，根据其分段区间的差异，表达形式差异较大，不容易总结其规律，本文主要比较连续型随机

Hollow glass is widely accepted by more and more consumers because of its advantages of irreplaceablely optical functions ,heat functions,sound insulation functions,frostproof functions,saving materials and relatively light weight etc.

它以其不可替代的光学性能、热学性能、隔音性能、防结露性能、节省材料、相对重量轻等优越性能博得广大消费者的青睐。

FTU generally adopts a high-performance single-chip as CPU, with functions of isolated photoelectric switch of input and exchange of sampling; functions of equirements of Distr time setting , mation for Communica fixed value and calling the distance; functions of fault detection and reporting; functions of anti-environment (heat, cold, lightning, rain, dust, etc.).

mation for Communica FTU 一般采用高性能单片机作为 CPU mation for Communica ，具有带光电隔离的开关量输入和交流采样功能，具有对时功能和定值远方下装和召唤功能；具有故障检测和上报功能；具有抗恶劣环境（高温、严寒、防雷、防雨、防尘等）功能。

They are as following: to establish the selection method of the slaving designed quality functions according to the interrelationship among designed quality functions; to construct the measurement functions of the optimality robustness with the hypersurface characteristics around the current iterative point of designed quality functions.

具体地，根据设计性能函数之间相互关系给出了处于支配地位设计性能函数的选择方法；利用设计性能目标函数在当前迭代点附近的超曲面特征，构造设计性能目标函数的最优性健壮度量函数；按照系统有序化设计模型的最优解应同时具有可行性健壮与最优性健壮的要求，通过计算设计性能目标函数与约束函数对设计变量的波动与非设计参数的波动的一阶敏度来确定系统有序化设计模型中的健壮参数；并以此为基础建立了进一步考虑非设计参数波动对设计变量波动有影响的后健壮分析方法。

For some of the other functions, it is not obvious whether they should be member functions of Card , member functions of Deck , or nonmember functions that take Card s and Deck s as parameters.

对於一些其它功能来说，不明显他们成员功能，成员功能的 Deck 或者花费的非会员功能和 Deck 作为参数。

We take the spherical harmonic functions as base functions on the spherical surface and other systems of orthogonal functions as base functions in the direction of radius. However.

据此，我们可以在球面上以球面调和函数为基函数而在半径方向以其它适当的正交函数系为基函数，从而构成一种混合谱方法。

First we give the definition of semicontinuous and subharmonic functions and the propertities of the semicontinuous and subharmonic functions and then introduce the notion of plurisubharmonic functions and the propertities of psh functions, then we give the definition of closed positive currents and the relation between psh functi.

首先总结了半连续函数和次调和函数的定义及其性质，然后在此基础上介绍了多次调和函数的定义及其性质，引入了正闭流的定义，说明了正闭流与多次调和函数之间的联系。

Based on the fundamental works done by professor Fan Ky, who was the founder of this direction, the present paper introduces the definitions of the class of meromorphic univalent operator-valued functions with positive operator coefficients on Hilbert space and the argument of the operator-valued functions, improves and extends some problems in classical geometry theory of complex functions to the case of operator-valued functions, and studies them respectively.

基于该方向的首倡者Fan Ky教授关于该理论的奠基性工作，本文引入了一类星形算子值函数的定义以及解析算子值函数辐角的定义，将经典的复变函数几何理论中的一些问题推广到了解析算子值函数的情况，并分别进行了讨论。

Who? I never heard of him, Paul said, before asking teammate James Posey if he had heard of him.

赛后，科比说，他一直都是一名非常出色的射手，今天他打得很棒。

When I joined the company, I rotated around the different sections.

我加入这个公司时，轮换过几个不同的部门。