逻辑变元为大写字母。
本文研究线性周期系统关于部分变元的稳定性。
In this paper, we study the stability for linear periodic systems with respect to partial variables.
是子句数与变元数的差等于1的极小不可满足公式类。
Mu (1) is a class of minimal unsatisfiable formulas with the deficiency of the number of clauses and.
是子句数与变元数的差等于1的极小不可满足公式类。
Mu (1) is a class of minimal unsatisfiable formulas with the deficiency of the number of clauses and variables to be one.
本文给出了有限域上单变元多项式分解的一种概率算法。
A probabilistic algorithm for factoring univariate polynomials over finite fields is presented.
建立了具泛函变元的拟线性偏微分系统解振动的充分条件。
Sufficient conditions are established for the oscillation of systems of second order partial differential equations with functional arguments.
本文建立了一类带偏差变元的偏微分方程边值问题解的振动准则。
In this paper some oscillation criteria are established for solutions of boundary value problems of a class of partial differential equations with deviating arguments.
一个谓词名，后跟以括在圆括号中的一个变元表，称为原子公式。
A predicate name, followed by an argument list in parentheses, is called an atomic formula.
本文建立了一类带偏差变元的偏微分方程边值问题解的振动准则。
In this paper a new oscillation criterion for second order nonlinear differential equations was established.
本文研究了一类时变系统部分变元稳定性以及在混沌同步中的应用。
This thesis is devoted to the investigation of stability with respect to partial variables of a class of time-varying systems and its applications in chaos synchronization.
目的研究一类具有连续偏差变元的双曲偏泛函微分方程边值问题解的振动性。
Aim To study a class of boundary value problem of hyperbolic partial functional differential equations with continuous deviating arguments.
例如，许多人援引表达式“例外证明规则”作为方式应付不适合变元的情况。
For example, many people cite the expression "the exception proves the rule" as a way of dealing with facts that do not fit an argument.
某些命题对于变元后的任何一种真值状况，它均为真，这样的命题称为重言式。
Some propositions are true for any truth value of their variables. Such propositions are called tautology.
当指定Z为复数变元时，就有了形式幂级数的“变换”函数，即闭合形式的问题。
When Z is assigned the meaning of a complex variable, problem of "closed form" of formal power series emerges.
获得了一类带有连续和分段常数变元的中立型微分方程所有解振动的新的充分条件。
The new sufficient conditions for the oscillation of all solutions of the neutral differential equation with continuous and piecewise constant arguments are obtained.
本文给出了一个关于部分变元渐近稳定性的判定定理，推广了有关文献中的有关结果。
This paper gives one determining theorem for asymptotic stability of partial variables and develops the results recorded in the related papers.
线性回归模型的建立，一个很重要的过程就是自变元的选择，它直接决定着模型的优劣。
Independent variable of selection decides directly the advantage and disadvantage of the model which is the very important process of the establishment of the linear regression model.
必须情景参与者在相应谓词的词典释文或元语言释文中对应的变元叫做谓词的语义配价。
The variables to which the obligatory participants in the scene correspond in the dictionary definitions or in the metalanguage definitions is called the semantic valence of the predicate.
该文获得了一类具有连续偏差变元的二阶非线性偏泛函微分方程的振动性的充分性条件。
In this paper, we study a class of boundary value problems of even order nonlinear neutral partial functional differential equations with continuous distribution delay.
在将被调用的对象和SOAP信封中的变元的基础上(如清单1所示)，您可以生成这样一个密钥。
Based on the object to be called and the arguments found in the SOAP envelope, as seen in Listing 1, you can generate such a key.
本文把绿洲与绿洲节约用水作为复杂的系统处理，提出了绿洲节水系统的组元、变元及结构图示。
The oasis and hydro-control of oasis were treated as a complex system and the components, variables and the structural figure for the system were developed.
通过构造差分方程的周期数列解，研究了一类具有分段常数变元的脉冲微分方程周期解的存在性。
The existence of periodic solutions for a class of impulsive differential equations with piecewise constant argument is studied by constructing periodic sequence solutions of difference equation.
如果详细说明，一般情况下文件名都是变元表里的第一个内容提要，说明这个内容是一个变量名。
The filename, if specified, is always the first argument in the argument list, provided that this argument is a variable name.
文章将建立了具有分段常数滞后变元微分方程组振动的一个充分条件，并讨论其非振动解的渐近性。
The present paper is devoted to the oscillations and nonoscillations of a kind of impulsive delay differential equations with piecewise constant argument.
请注意这个高速缓存提供程序假定变元有唯一的字符串表示，但不是每一个调用都有唯一的字符串表示。
Note that this caching provider assumes that the arguments have string representations that are unique, but not unique per call.
这是一个递归构造的方法，利用该方法，对任意的奇数，都可以构造相同变元数量的代数免疫最优布尔函数。
It's a recursive construction. Given any odd number, we can construct Boolean function with optimum algebraic immunity in the same number of variables.
同现存的极小化方法相比，SWT算法简单，极小化程度高，并可适用于十五个以上输入变元的较复杂问题。
Compared with the existing minimization methods, SWT is the simplest, optimal method and applicable to complicated problems with more than 15 input variables.
在矩阵元素的高次多项式中，任一变元的幂次不得高于9次，矩阵元素最大的字符串长度一般在2500左右。
Any of the high order polynomials of the matrix elements should not be higher than 9 degrees, and, in general, the maximum string length of matrix elements is about 2500.
研究一类具有连续分布偏差变元的高阶非线性中立型时滞偏微分方程，获得了方程解振动的一些新的判定准则。
The oscillations for a class of nonlinear neutral delay partial differential equations with continuous distributed deviating arguments is discussed.
研究一类具有连续分布偏差变元的高阶非线性中立型时滞偏微分方程，获得了方程解振动的一些新的判定准则。
We obtain sufficient conditions for the oscillation of all solutions of the nonlinear high order neutral functional differential equation with continuous deviating arguments.
应用推荐