我们称一组线性表达式的布尔组合(Boolean combination)为一个线性公式(linear formula).给定一个混成自动机H满足下列条件,我们称其为线性混成自动机(linear hybrid automata):
基于130个网页-相关网页
...铁 二水合草酸亚铁Iron(II) oxalate dihydrate二水合草酸亚铁 AR别 名：乙二酸亚铁；草酸亚铁；草酸低铁分子式（Linear Formula）：..
基于12个网页-相关网页
non linear formula 非线性公式
Linear-quadratic formula 特别是线性二次方程 ; 性二次方程 ; 是线性二次方程 ; 线性二次方程
linear fitting formula 线性拟合公式
Linear multistep formula 线性多步法公式
Multiparameter Linear Regression 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.
它们意味着我们可以，用一些相近的线性公式来替代原函数。
There was linear relationship between the diameter and height, which could deduce linear formula.
滴落血迹的大小（直径）与滴落高度之间有较好的线性关系，可得出回归方程。
应用推荐