This is an optimization: it would be possible to use a straightforward evaluate call and then convert the result to a Boolean, as described in the specification.
In this paper, the writer proposes a method known as linear Pseudo-Boolean inequality system programming for solving the optimization of coefficient words length of IIR digital filters.
本文首次提出将“解线性伪布尔不等式系统”的算法应用于IIR数字滤波器系数字长的优化问题。
3
Based on the fault information matrix obtained from the bipartite graph model and the Boolean algebra system, a MINLP model orienting sensors optimization is proposed.