1) test theorem and algorithm
检验定理与算法
2) check algorithm
检验算法
1.
Using the check algorithms of the short cycles to find the combinations of shifting operators by which the parity check matrix desires has no girth- four and no gir.
首先设计3个不同的子矩阵,每个子矩阵通过对单位矩阵进行不同的移位运算后组合生成,然后将这3个子矩阵组合生成所需要的低密度校验矩阵,最后利用文中提到的短环检验算法搜索出使得生成的校验矩阵四环数、六环数均为零的移位算子。
3) test algonrithm
算法检验
4) test algorithm
检验算法
1.
According to the geometry of measuring face and the theory of tolerance zone,the test algorithm named tolerance circle was put forward to enhance the abil.
针对齿轮曲面倒角加工设备调整参数计算算法所存在的问题,分别从算法的精确性、集成性和实用性三个方面对其进行了改进:对曲面倒角数学模型的建模机理进行了分析研究,从而推导出模型的修正方程以降低求解难度,提高计算效率和精度;根据倒角检测剖面的空间几何关系及公差带的相关理论,提出了公差圆检验算法,改善了算法的集成性;在对加工设备各种信息定义的基础上,根据计算图形学理论,提出设备调整实现的具体流程和方案,最终得到设备状态转换矩阵,增强了算法的完整性。
5) verification theorem
检验定理
1.
A meaningful problem of the fixed stream is considered in the model and a new verification theorem has been proved.
对于无固定流的情况,应用经典的随机控制理论得出了模型的最优投资消费策略;而针对有固定流的情况,证明了相应的检验定理,也导出了模型的最优控制解。
补充资料：函数逼近，正定理和逆定理
函数逼近，正定理和逆定理
approximation of functions, direct and inverse theorems
函数逼近，正定理和逆定理〔叩p川心m丽皿of加n比拙，山比Ct and inve瑰the.陀ms;.聊痴叫的日.此中加.欲浦、娜旧M“el.倾阵I‘eT印碑袖I」 描述被逼近函数的差分微分性质与各种方法产生的逼近误差量(及其特征)之间关系的定理和不等式.正定理借助于函数f的光滑性质(具有给定的各阶导数，f或其某些导数的连续模等)，给出f的逼近误差估计.利用多项式进行最佳逼近时，Jaekson型定理及其多种推广均是众所周知的正定理，见J以滋s佣不等式(J ackson inequality)和Ja改涨扣定理(Jackson theo-化m).逆定理则是根据最佳逼近或任何其他类型逼近的误差趋于零的速度来刻画函数的微分差分性质.5.N.Bernste几首次提出并在某些场合下解决了函数逼近中的逆定理问题，见[21，比较正逆定理，有时就可以利用，例如，最佳逼近序列来完全刻画具有某种光滑性质的函数类. 周期情形下正逆定理之间的关系最为明显.令C为整个实轴上周期为2二的连续函数空间，其范数定义为}}训:m。‘加川. 趁、 石(户7丁)，nf}{厂甲1}、 价任了。为至多。次的允多项J处J’‘“间l对矛中函数f的最不}遍近，。仃一川记二厂的连续模，产r(产一12一)是若;，，I率个实轴上·次连续。f微的函数集‘户，二矛);卜定理f山。‘c、，the(〕re，1”J片出如果.了。厂、则 M{_‘l 从“，，蕊奋一“甲’、万 月l、2、、厂幼，!_.少川1常数M，。。一。又.「JJ以构造矛。‘;矛中函数八，)相关的多项式序列织(_人t):不使得对产三乙，(l)的右端.叮作为误差卜厂一仁〔户一的}界，这是较(I)更强的结果.1兰定理(，n、。r、。the‘)rem)指日:对，。矛勿J果 可。，、M了岁E“，;;)，。、二 月二】(其，「，阿是绝对常数l}了司是l厂户的整数部分)日一对某个i「一整数r‘级数 艺。r一’E以讯一1) 月二1收敛.则可推得了‘〔’‘类似戈2)田(/、)，l/。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条