换句话说,就是通过引入相应的谓词,将二元关系的性质用逻辑公式来表示。
In other words properties of binary relation are expressed by logic formulae through introduce corresponding predicate.
用特定系数法、换元法、配方法探求二元二次函数的极值公式。
The extremal formula of binary quadratic functions is studied by using method of undetermined coefficients, substitution method and method of completing the square.
本文用分式递推数列处理二元线性递推数列,得到两个性质,进而求得其通项公式。
In this paper two properties and the general term of binary recurrence sequence are obtained by using the linear fraction recurrence.
本文基于标量衍射理论,建立了简明的对准误差与二元光学器件衍射效率的分析模型,得到了适用于一般位相分布器件的衍射效率的简便实用的计算公式。
Based on the theory of scalar diffraction, an error model is established to investigate the effect of alignment error on the efficiency of binary optics elements.
利用多元函数极值的定义和偏导数的定义公式证明二元函数与一元函数在某点取得极值的关系。
This article use the diverse function extremum and the local derivative's definition formula to prove the relation between extremum obtained by the two function and the dollar function at some point.
这种逻辑公式的结构是有序二元对,第一元是断言;第二元是对应于这个断言的可定义集或不可定义域集的近似集。
The logical formulas are an ordered binary pair, the first element is an assertion and the second is a definable domain or approximations of undefinable domain corresponding to the assertion.
介绍了膜分离的原理及各参数对分离过程的影响,并给出在理想情况下二元混合物所能得到的易透过组分在渗透物中的浓度计算公式。
The principles of the membrane separation and the influence of the parameters on the separation process are introduced. Some equations obtained in ideal conditions are showed.
第四章主要讨论了二元向量有理插值的迭加算法及二元向量切触有理插值的表现公式。
The chapter 4, we mainly discuss the overlay algorithm of two-variable vector-valued rational interpolation and show formula of two-variable vector-valued contact interpolation.
利用一元二次方程的求根公式构造二元二次方程组的迭代算法,通过图解二元二次方程组的解来说明迭代算法在实践中的应用。
In this paper, the author gives the formula of roots of a quadric equation over a field of 2 k elements and presents the problem.
利用一元二次方程的求根公式构造二元二次方程组的迭代算法,通过图解二元二次方程组的解来说明迭代算法在实践中的应用。
In this paper, the author gives the formula of roots of a quadric equation over a field of 2 k elements and presents the problem.
应用推荐