我们称一组线性表达式的布尔组合(Boolean combination)为一个线性公式(linear formula).给定一个混成自动机H满足下列条件,我们称其为线性混成自动机(linear hybrid automata):
基于124个网页-相关网页
Based on the structure and property of linear formulas, we present a algorithm which reduce a formula F to a linear formula F~(lin) in polynomial time of |F| . F is satisfiable if and only if F~(lin) is satisfiable .
本文基于线性公式的结构与特点，提出了线性化算法，使用该算法可以在|F|多项式时间内把任一公式F转化为线性公式F~(lin)，且两者有相同的可满足性。
参考来源 - 线性公式可满足性判定问题的复杂性·2,447,543篇论文数据，部分数据来源于NoteExpress
所生成的线性模型将被表示为与被转换值相关的线性公式。
The resulting linear model would be expressed as a linear formula relating the transformed values.
它们意味着我们可以，用一些相近的线性公式来替代原函数。
They mean that we replace the function, actually, by some closest linear formula that will be nearby.
介绍了水平扫描线性公式并用CAD来设计反射极；
The horizontal scanning linearity and the design principle of the reflector with CAD were discussed.
应用推荐