经过推导可以证明，此时导频序列的设计与求解一个约束不等式方程组是等效的。

It can be shown that such a design issue is equivalent to solving a system of linear inequalities.

youdao

我们在本文中给出了布尔方程(包括一元及多元布尔方程蛆和布尔不等式方程组)的一种通用解法。

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.

youdao

我们只证明这个不等式方程，而没有证明标准数据流方程(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.

youdao