我们称一组线性表达式的布尔组合(Boolean combination)为一个线性公式(linear formula).给定一个混成自动机H满足下列条件,我们称其为线性混成自动机(linear hybrid automata):
基于130个网页-相关网页
non linear formula 非线性公式
Linear-quadratic formula 特别是线性二次方程 ; 线性二次方程
linear fitting formula 线性拟合公式
Linear multistep formula 线性多步法公式
linear calculating formula 线性计算公式
linear CNF formula 线性CNF公式
linear recursive formula 线性递推公式
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.
它们意味着我们可以，用一些相近的线性公式来替代原函数。
Phrase structural rules: The combinational pattern in a linear formula may be called a phrase structural rule or rewrite rule.
用线性式对这种组合模式进行重写并把它称作短语结构规则或重写规则。
应用推荐