说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 正交子句
1)  orthogonal clause
正交子句
1.
Then,the algorithm utilizes the character of orthogonal clauses to eliminate the overlap information between clauses,and adopts effective simplification techniques to transform the SAT problem into an orthogonal clause group.
该算法首先定义了子句之间的正交关系;然后从消除子句之间的交叠信息出发,利用正交子句的特性,结合有效的简化技术,逐渐将问题简化为一组与原问题完全等价的正交子句组;最后,根据正交子句组对整个赋值空间的覆盖情况来判断SAT是否满足。
2)  positive clause
正向子句
3)  correct a sentence
订正句子
4)  correct sentences
正确的句子
5)  a grammatical sentence
语法正确的句子
6)  The BaBy is talking sentences now.
婴儿正说着句子
补充资料:Fourier级数(关于正交多项式的)


Fourier级数(关于正交多项式的)
rthogonal polynomials) Fourier series (in

F血的er级数(关于正交多项式的)【I饭的er sedes(加川如卿.1州ylm血‘);。”晓p,八(no opTOroHa‘-眼M,。oro呱。aM)] 形式为 艺。。p。(l) 月之0的级数,其中{尸。}是在区间(a,b)上关于权函数h正交的多项式系(见正交多项式(ort加即间即妙-no而alS)),系数{。。}由公式 b a。一J儿(*)f(*)尸。〔二)、(2)给出.这里,f属于函数类L:=L之f(a,b),h],即它的平方在正交性区间(a,b)上关于权函数h可和(玫比g比可积). 对任意正交级数,(l)的部分和{s。(x,f)}是f的依L:度量的最佳逼近,且a,满足条件 浊a。=0·(3)在证明级数(l)在一个点x或在(a,b)中的某个集合上收敛时,通常利用等式f(x)一s。(戈,f)=拜。汇a。(甲二)只十;一a。+:(价二)只(x)l,其中{a。(叭)}是辅助函数毋二的Founer系数,对于固定的x, 川门=力匕2二丛兰上.。。(。.bl. X一汇而拼。是由Cll南.川回{抽均.以公式(Ch由toffel一Dar·boux fonn“巨)给出的系数.如果正交性区间[a,b]有限,毋乒几且序列笼只圣在给定的点x有界,则级数(l)收敛到值f(x). 对于f6L一L:l(a,b),h」,即在区间(a,b)上关于权函数h可和的函数类,也可定义系数(2).对有限区间!a,b],如果f“L,【(a,b),hl且序列{凡}在整个区间[a,b]上一致有界,则条件(3)成立.在这些条件下,在点x可a,bJ处如果叭〔L,I(a,b),h],则级数(l)收敛到值f(x). 设A是区间(a,b)中的某个集合,序列王尸。}在A上一致有界,设B=[a,b〕\A,记L,(A)‘L,【A,川是在A上关于权函数h的p次可和的函数类.如果对固定的x已Al,有叭任L,(A)及叭。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条