算子证明,Operator proof,音标,读音,翻译,英文例句,英语词典

您的位置：首页 -> 词典 -> 算子证明

1) Operator proof 点击朗读

算子证明

例句>>

2) algorithm proof 点击朗读

算法证明

3) computer proof 点击朗读

计算机证明

例句>>

4) proof of algorithm 点击朗读

算法的证明

5) computer aided proof 点击朗读

计算机辅助证明

Using the software we designed the Heilbronn problem computer aided proof system, we get a new result:when n=9, 2 4<λ 9≤2 569237.

研究Heilbronn问题的最大最小距离之比A”，利用所设计的计算机辅助证明系统，得到n＝9时，2。

更多例句>>

6) proving analysis calculus 点击朗读

证明分析演算

This paper gives a brief introduction of Lakatos methodology, introduces a proving analysis calculus based on restricted second order Tableau calculus for realizing the formalization of Lakatos methodology, and gives its discovery example by using the machine discovery technique, thus resulting in a useful machine discovery technique.

本文介绍了Ｌａｋａｔｏｓ方法论的基本思想，并通过二阶受限Ｔａｂｌｅａｕ来实现Ｌａｋａｔｏｓ方法论的形式化系统———证明分析演算。

补充资料：凹算子与凸算子

凹算子与凸算子
concave and convex operators

凹算子与凸算子「阴~皿d阴vex.耳阳.勿韶;.留叮.肠疽“‘.小啊j阅雌口叹甲司半序空间中的非线性算子，类似于一个实变量的凹函数与凸函数. 一个Banach空间中的在某个锥K上是正的非线性算子A，称为凹的(concave)(更确切地，在K上u。凹的)，如果 l)对任何的非零元x任K，下面的不等式成立: a(x)u。(Ax续斑x)u。，这里u。是K的某个固定的非零元，以x)与口(x)是正的纯量函数; 2)对每个使得 at(x)u。续x《月1(x)u。，al，月l>0，成立的x‘K，下面的关系成立二 A(tx))(l+，(x，t))tA(x)，00. 类似地，一个算子A称为今单(~ex)(更确切地，在K上“。凸的)，如果条件l)与2)满足，但不等式(*)用反向不等号代替，并且函数粉(x，t)<0. 一个典型的例子是yP‘KOH积分算子通rx‘t、1二f天(t.:，x(s))山， G它的凹性与凸性分别由纯量函数介(t，s，。)关于变量u的凹性与凸性所确定.一个算子的凹性意味着它仅仅包含“弱”的非线性—随着锥中的元素的范数增加，算子的值“慢慢地”增加.一般说来，一个算子的凸性意味着，它包含“强”的非线性.由于这个理由，包含凹算子的方程在许多方面不同于包含凸算子的方程;前者的性质类似于相应的纯量方程，而不同于后者，后者关于正解的唯一性定理是不成立的.

说明：补充资料仅用于学习参考，请勿用于其它任何用途。

参考词条

例示用例子来说明或证明;例证证明明证

精算师证明书证明检查算法量子零知识证明计算机严格辅助证明

说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
	您的位置：首页 -> 词典 -> 算子证明 1) Operator proof 算子证明例句>> 2) algorithm proof 算法证明 3) computer proof 计算机证明例句>> 4) proof of algorithm 算法的证明 5) computer aided proof 计算机辅助证明 1. Using the software we designed the Heilbronn problem computer aided proof system, we get a new result:when n=9, 2 4<λ 9≤2 569237. 研究Heilbronn问题的最大最小距离之比A”，利用所设计的计算机辅助证明系统，得到n＝9时，2。更多例句>> 6) proving analysis calculus 证明分析演算 1. This paper gives a brief introduction of Lakatos methodology, introduces a proving analysis calculus based on restricted second order Tableau calculus for realizing the formalization of Lakatos methodology, and gives its discovery example by using the machine discovery technique, thus resulting in a useful machine discovery technique. 本文介绍了Ｌａｋａｔｏｓ方法论的基本思想，并通过二阶受限Ｔａｂｌｅａｕ来实现Ｌａｋａｔｏｓ方法论的形式化系统———证明分析演算。补充资料：凹算子与凸算子凹算子与凸算子 concave and convex operators 凹算子与凸算子「阴~皿d阴vex.耳阳.勿韶;.留叮.肠疽“‘.小啊j阅雌口叹甲司半序空间中的非线性算子，类似于一个实变量的凹函数与凸函数. 一个Banach空间中的在某个锥K上是正的非线性算子A，称为凹的(concave)(更确切地，在K上u。凹的)，如果 l)对任何的非零元x任K，下面的不等式成立: a(x)u。(Ax续斑x)u。，这里u。是K的某个固定的非零元，以x)与口(x)是正的纯量函数; 2)对每个使得 at(x)u。续x《月1(x)u。，al，月l>0，成立的x‘K，下面的关系成立二 A(tx))(l+，(x，t))tA(x)，00. 类似地，一个算子A称为今单(~ex)(更确切地，在K上“。凸的)，如果条件l)与2)满足，但不等式()用反向不等号代替，并且函数粉(x，t)<0. 一个典型的例子是yP‘KOH积分算子通rx‘t、1二f天(t.:，x(s))山， G它的凹性与凸性分别由纯量函数介(t，s，。)关于变量u的凹性与凸性所确定.一个算子的凹性意味着它仅仅包含“弱”的非线性—随着锥中的元素的范数增加，算子的值“慢慢地”增加.一般说来，一个算子的凸性意味着，它包含“强”的非线性.由于这个理由，包含凹算子的方程在许多方面不同于包含凸算子的方程;前者的性质类似于相应的纯量方程，而不同于后者，后者关于正解的唯一性定理是不成立的. 说明：*补充资料仅用于学习参考，请勿用于其它任何用途。参考词条例示用例子来说明或证明;例证证明明证

©2011 dictall.com