1) validity of algorithm
算法正确性
2) accuracy in computations
计算正确性
3) deterministic algorithm
确定性算法
1.
Variable measure deterministic algorithm of an integral-level set method;
变测度的积分-水平集确定性算法
2.
59 by greedy and deterministic algorithm respectively,a special case that all requests have tight deadlines was analyzed.
通过研究带有时限的占线广播调度问题及其贪婪算法竞争比为5、确定性算法的竞争比下界为2。
3.
A deterministic algorithm for global optimization is presented.
提出了一种求解全局最优化问题的确定性算法，它属于求解带有给定精度的全局最优解的覆盖法。
4) determinate algorithm
确定性算法
1.
Our algorithm is a determinate algorithm with the least square of errors and prescription conditions for the path coefficients, although SEM is indeterminate equations.
然后,在观测方程组中改变模长,使得每个结构变量所对应的与观测变量的路径系数满足配方条件,对观测方程组的误差平方和最小以及对路径系数的配方约束,使得观测方程组的解为合理的确定性算法。
5) definite algorithm
确定性算法
1.
After found the best iterative initial value for the Partial Least Square (PLS) with modular constraint and path analysis,a definite algorithm with prescription regression method for SEM is given.
首先对现有的偏最小二乘(PLS)算法进行了改进,在模长约束和路径分析思路下找到PLS最佳迭代初值,然后结合配方回归给出了模型的确定性算法。
6) logical computation correctness
逻辑计算正确性
1.
Firstly, we provide the basic validation procedure of creditability validation, and present the idea that validating the creditability of RTS system, the temporal behavior, logical computation correctness and system stability must be validated.
主要研究了实时仿真系统可信性验证,给出了验证的基本步骤,提出了从实时性、逻辑计算正确性及稳定性三个方面验证实时仿真系统可信性的观点;然后提出了三个指标来验证实时性,给出了各指标的定量计算模型;并研究了实时仿真系统逻辑计算正确性的相关问题,给出了逻辑计算正确性验证的基本步骤;最后分析了实时仿真系统稳定性验证。
补充资料：软件正确性验证
软件正确性验证
verification of software correctness
ruQnlian zhengquexing yanzheng软件正确性验证(verifica‘ion of sofcorrectuess)研究验证计算机软件止的理论和方法。又称程序正确性验证。统的程序调试方法试图发现程序中的不同，程序正确性验证的基本思想是证明数学定理一样来证明程序的正句程序正确性验证大体上分为两步:首步数学工具严格地描述待验证的程序，该程序所要实现的目标;然后，在相形式系统中，证明该程序是否正确地了所期望的目标。其数学基础，主要辑、代数、范畴论和自动机理论;其方法，有以数学演绎为基础的定理证法和以有穷模型__L搜索为基础的模型方法。1969年出现了程序验证的公理妥经过数十年的努力，程序正确性验证得到了长足的发展，陆续建立了自动自动的程序验证系统，用于验证计算件的正确性。这些程序验证系统，在检件(协议)设计中的错误和隐患方面发挥用。模型检验方法，己成功地应用于自证具有10，00以上状态数的系统。计算件正确性验证已逐步走向实际应用。 (陈火旺王︸胜准眼洞陈用吸哟觑逻凄防脸先贻伴漱漱作脸漱|
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条