1) anticipated conditions
预期的条件
2) conditional expected value
条件预期值
3) precondtioned GMRES method
预条件的GMRES方法
4) conditional periodicity
有条件的周期性，条件性的周期性
5) precondition
[英][,pri:kən'dɪʃn] [美]['prikən'dɪʃən]
预条件
1.
On the method of preconditioned [I+S(α)] acceleration convergence of the 2PPJ;
预条件[I+S(α)]加速2PPJ型方法的收敛性
2.
Super-resolution image reconstruction based on preconditioned conjugate gradient;
基于预条件共轭梯度的超分辨图像重构方法
3.
Study on the new preconditioned consistent linear systems;
关于新的预条件相容线性系统
6) preconditioning
[英][,pri:kən'diʃən] [美][,prikən'dɪʃən]
预条件
1.
Analysis of radiation behavior of wire antennas mounted on complex platforms by hybrid PO-MoM method in conjunction with near-field preconditioning technique;
PO-MoM结合近场预条件技术分析复杂载体上线天线辐射特性
2.
In this paper,the authors first analyze some possible problems with various traditional preconditioning techniques to solve the sparse linear systems derived from two-dimension three-temperatures energy equations.
首先针对二维三温能量方程组,系统分析了求解所得到的稀疏线性方程组时,采用多种传统预条件技术时将遇到的问题,并提出了相应的适应性改进。
3.
A novel sparse recursive Cholesky factorization preconditioning technique is proposed for accelerating analyses of radiation problems of wire antennas mounted on large complex platforms with a hybrid method of physical optics and moments(PO-MoM).
提出了一种新的稀疏化递归Cholesky分解预条件技术,并应用于加速物理光学和矩量法(PO-MoM)混合方法分析大型复杂载体上线天线的辐射问题。
补充资料：最弱前置条件方法
最弱前置条件方法
weakest pre-condition method
Zuiruo q.QnZhl tlQOJIan fangfa最弱前置条件方法(w“‘estp份conditionmethod)基于最弱前置条件的一种程序完全正确性证明方法。最谙前!条件指保证一个语句执行正常结束并满足结果断言的最弱前提条件。它是一个谓词公式，通常用饮夕(s，R)表示，这里，R是语句S执行后所期望的结果断言(后置断言)。 E.W.伪kstra在前后断言的基础上提出了最弱前置条件的概念，以及相应的程序设计演算，使程序设计和程序验证可同时进行。 对于E.W.列kstra所定义的语言，语句的语义通过最弱前置断言给出。t刃户(s，R)可通过逆向推理导出。例如:赋值语句的语义是双沪(x:=。，R)二R【x/。〕，即将R中x的所有自由出现同时代换成e。例如: 帅(“x:=x‘二”，x4=10)三((x、x)4=10)三(xs=10) 为了证明循环的终止性，E.W.则kstra引人了循环不变式和界函数。一般说来，一个循环呈如下形式: lin二r故nt:叫一进人循环前，不变式p真， 1加“nd:川一并且B真时t>0，t是循 环次数的上界 doB~I玉奖reaset，Strueod 一当B真时，使t递减并执 行S，S执行过程真 保持P {P八，B}一则循环必然终止且终止时 P真B假 若Q是s的执行能在有限时间内中止并满足R的任一前提条件，则必有Q=>u沪(s，R)。因此，证明前后断言Q{S}R只需先求出最弱前置断言双沪(S，R)，再证明Q”双乡(s，R)。 当给定了Q和R，根据Q，R的结构，通过推导饮沪(S，R)，可推出S的结构，从而将程序设计的过程变成数学推导的过程。例如，要设计一个循环IX)，使得当满足前置断言Q和结果断言R，则P，t和B应满足Q=>P八加“nd:t，t镇0冷，B及P八，B冷R。这实际上给出了循环语句设计的原则。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条