经过推导可以证明，此时导频序列的设计与求解一个约束不等式方程组是等效的。
It can be shown that such a design issue is equivalent to solving a system of linear inequalities.
我们在本文中给出了布尔方程(包括一元及多元布尔方程蛆和布尔不等式方程组)的一种通用解法。
This article presents a general method to solve Boolean equations (or inequality) or system of simultaneous equations of an unknown or any number of unknowns.
我们只证明这个不等式方程，而没有证明标准数据流方程(8)，原因是我们所感兴趣的只是解的正确性而不是解的最优性。
We only prove an inequation rather than the standard dataflow equation (8) because we are interested only in the correctness of the solution, not in its optimality.
利用时滞脉冲积分不等式，给出了一类非线性的脉冲时滞微分方程的解有界性的充分条件。
Sufficient conditions for boundedness of solutions of nonlinear delay differential equations with impulses are established by using impulsive integral inequalities with a deviation.
所用的方法也适用于时超微分不等式及方程。
This method could also be applied in super-differential inequalities and equations.
通过建立泛函微分不等式，研究了一类高阶中立型偏泛函微分方程解的振动性。
By establishing a functional differential inequality, some sufficient conditions are obtained for the oscillation of solutions of certain partial functional differential equations.
同时，所用的方法也适用于时超微分不等式及方程。
At the same time, this method could also be used in advance differential inequalities and equations.
从变分不等式出发，结合有限元，建立了按增量求解薄板弹塑性弯曲问题的线性互补方程。
Finite Elemnent-Linear Complementary Equation is established for analysis of elastoplastic thin plate-bending problems based on variational inequality principle.
首先列出了描述生长变形体能量平衡的微分方程以及熵不等式；
Firstly, the differential equations for describing the energy equilibrium of growing deformable body and the entropy inequality were discussed briefly.
然后，在公差数学定义理论的基础，基于要素的自由度分析，采用不等式约束方程的形式建立各公差带的数学模型。
Then in the foundation of tolerance mathematical definition theory, each tolerance zone's mathematical model was established by inequality based on degrees of feature.
在优化问题中，一种表示若干变量相互关系的方程(式)或不等式。
An equation or inequality relating the variables in an optimization problem.
第五章给出了求解超定线性丢番图方程组和不等式组的修正abs算法。
Chapter five presents the modified ABS algorithms for solving linear overdetermined linear Diophantine equations and inequations.
本文研究了和素数有关的方程组和不等式组。通过更细致的指数和估计，我们改进了以前的结果。
In this paper we study systems of Diophantine inequalities and equations with prime Numbers. We improve previous results by more delicate estimates of exponential sums.
本文研究高阶复合方程基于能量不等式和生成算子的稠密性。
The proof is based on an energy inequality and the density of the range of the operator generated by the studied problem.
在一般可行集下，结合非光滑方程组解法及投影映射的性质，讨论了法方程求解变分不等式问题的算法构成。
Under general feasible set, in consideration of the algorithms for nonsmooth equations and the properties of projection map, the algorithms using the normal equation to solve are discussed.
利用齐次线性方程组解的理论讨论矩阵的秩，给出几个关于矩阵秩的著名不等式的证明，并证明了两个命题。
The article discusses rank of a matrix by the solution theorem of system of homogeneous linear equations, and proves several famous inequalities and two propositions on rank of a matrix.
本文主要讨论求解非线性方程组问题与变分不等式问题的迭代算法。全文共分三章。
This thesis includes three chapters, which mainly discusses the iterative algorithms for solving nonlinear equations problems and nonlinear variational inequality problems.
代数的比重则会增加，考生要在线性方程、不等式、二元方程等方面做好准备。
Algebra is stepping up: Prepare for linear equations and inequalities, and systems of equations in two variables.
由它们可以自然地和同时推导出热静力学的所有平衡方程和熵不等式及热动力学所有均衡方程和熵率不等式。
From these new fundamental laws all equilibrium equations of thermostatic and all balance equations of thermodynamics as well as the entropy inequality and the entropy rate are naturally derived.
在常微分方程论中，微分不等式是研究方程解的各种属性的有用工具。
Among ordinary differential equation equations, differential inequality is a useful tool which helps research on properties of equation-solving.
借助一个重要的不等式研究一类带有强迫项的时滞差分方程的振动性，并推广至高阶的情形。
An important inequality is used to establish some criteria for the oscillation of forced difference equation and it is generalized to higher order.
在每步迭代计算中，新方法提出了易于计算的子问题，该子问题由强单调的线性变分不等式和良态的非线性方程系统构成。
At each iteration, the proposed subproblem consists of a strongly monotonic linear variational inequality and a well-conditioned system of nonlinear equations, which is easily to be solved.
采用引进具有二阶连续可微的辅助函数，将非线性不等式组转化为非线性方程组，然后利用牛顿迭代法对非线性方程组进行求解。
In is established the equivalence between the nonlinear inequalities with nonlinear equations by using auxiliary function, a descended Newton algorithm is proposed.
本文以两个自变量的拟线性双曲型方程的古尔沙问题为例，应用反函数和积分不等式证明了等价积分方程组解的存在唯一性，同时给出了解的存在区域和已知参量的依赖关系。
In this paper, we show the domain of the existence of the solution on Goursat problem for quasi—linear hyperbolic equation and obtain the Theorem of the existence and uniqueness in above domain.
带不等式约束的非线性规划，其KKT条件可以通过NCP函数转化为一个非光滑的方程组，然后用熵光滑化函数光滑化，得到一个带参数的方程组。
The KKT conditions of a nonlinear programming with linear inequality constrains can be transformed into a system of equations by NCP function. Then it is smoothed by Entropy smoothing function.
利用齐次线性方程组解的理论讨论矩阵的秩，给出几个关于矩阵秩的著名不等式的证明，并证明了两个命题。
The judgment theorems for locating correctness were concluded by skillfully combining the solutions of homogenous linear equations with locating schemes.
利用齐次线性方程组解的理论讨论矩阵的秩，给出几个关于矩阵秩的著名不等式的证明，并证明了两个命题。
The judgment theorems for locating correctness were concluded by skillfully combining the solutions of homogenous linear equations with locating schemes.
应用推荐