1) quasiconjunction
拟合取式
2) quasi-conjunctive equality matrix
拟合取等值母式
3) Joining Parameters
拟合取值
4) CNF
合取范式
1.
When the constraint expression of a query is not a CNF (Conjunctive Normal Form),it is generally transformed into an equivalent DNF (disjunctive normal form)an union of CNFs .
当数据立方查询条件不是合取范式时，一般是将它转化成为若干合取范式的并的形式(析取范式)。
5) conjunction normal form
合取范式
1.
The satisfiability of conjunction normal form(abbreviate SAT problem) is a typical NP-complete problem.
合取范式可满足性问题(简称SAT问题)是典型的NP完全问题,本文引入了一个饱和子句集的新概念,利用饱和子句集的特性,研究了SAT问题的复杂性,证明了SAT问题复杂性为多项式的一个充分条件,并揭示了二元可满足性问题与三元可满足性问题的本质差别。
2.
The satisfiability problem of conjunction normal form (abbreviate SAT problem) is an NP_complete problem.
合取范式可满足性问题(简称SAT问题)是一个NP完全问题。
3.
Let F be the conjunction normal form(CNF formula),Ci be the clause of F in classical propositional logic system.
用F表示经典命题逻辑的合取范式(CNF)公式,Ci为F中的子句。
6) conjunctive normal form
合取范式
1.
Proceeding with both-branch proposition,the paper provides the characteristics of both-branch fuzzy logic and both-branch fuzzy logic expressions,Disjunctive Normal Form and Conjunctive Normal Form of both-branch fuzzy logic expressions.
从双枝模糊命题入手,给出双枝模糊逻辑的性质和双枝模糊逻辑公式,以及双枝模糊逻辑的析取范式与合取范式。
2.
A simplified method is given in practice: on the one side, it extracts the differential elements to construct conjunctive normal form from the information table.
实际应用中给出一种简化算法:一边从信息表中提取差别元素构成合取范式,一边用分配律、吸收律作逻辑公式的等价变换,直接得到最小析取范式。
3.
Since the computational complexity in converting conjunctive normal form into disjunctive normal form is exponentially graded,therefore,in order to simplify the computational complexity,a surface-based DNA algorithm for the conversion of normal form transforming into disjunctive normal form is put forth.
合取范式化为析取范式的计算复杂度是指数级别的,为了降低它的计算复杂度,提出了合取范式化为析取范式的DNA表面计算。
补充资料：非线性最小二乘拟合
分子式：
CAS号：
性质：用最小二乘法拟合非线性方程。有些变量之间的非线性模型，通过变量变换可以化为线性模型，此称为外在线性。而有些变量之间的非线性模型，通过变量变换不能化为线性模型，通称为内在非线性。对于非线性模型y=f(ξ,θ)+ε，其残差平方和。S(θ)是θ的函数，当模型关于θ是非线性的，正规方程关于θ也是非线性的。基于使残差平方和s(θ)达到极小的原理求出θ的估计值，拟合非线性回归方程。
CAS号：
性质：用最小二乘法拟合非线性方程。有些变量之间的非线性模型，通过变量变换可以化为线性模型，此称为外在线性。而有些变量之间的非线性模型，通过变量变换不能化为线性模型，通称为内在非线性。对于非线性模型y=f(ξ,θ)+ε，其残差平方和。S(θ)是θ的函数，当模型关于θ是非线性的，正规方程关于θ也是非线性的。基于使残差平方和s(θ)达到极小的原理求出θ的估计值，拟合非线性回归方程。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条