1) Correctness of model
模型正确性
2) deterministic model
确定性模型
1.
A deterministic model whic.
在此基础上结合观测资料采用有限元方法反演了坝体、坝基各分区的渗透系数,预测未来高水位时大坝的渗流性态,并建立了物理概念明确、预报效果较好的渗压确定性模型。
2.
stochastic model and deterministic model.
回顾了国内外地下水动态预测研究的各种模型,将这些模型划分为确定性模型和随机模型两大类,指出各种模型的适用条件及存在问题。
3.
According to the horizontal displacement data in the period of the rehabilitation of the Shuidong dam,the influence of various factors on the deformation behavior of the Shuidong dam is analyzed by space-time analysis and a deterministic model based on the finite element method.
基于水东大坝补强加固前后的水平位移监测资料，通过时空分析和在有限元模型基础上建 立的确定性模型，分析了各个影响因子对坝体变形性态的影响，并对其水平位移陡增情况进行了物 理成因解析。
3) model exactness
模型精确性
1.
As for the requirement of guidance weapon counterwork simulation,the necessary and feasibility of the distribution simulation technology application were introduced,and the technology of the Real-time performance and the model exactness in network simulation system were analyzed.
针对制导武器系统对抗性能仿真需求,讨论了采用分布交互仿真技术的必要性和可行性,着重分析了在网络环境中实现仿真实时性和模型精确性的技术途径。
5) model correction & validation
修正与确认模型
6) predictability model
正确预测率模型
补充资料：软件正确性验证
软件正确性验证
verification of software correctness
ruQnlian zhengquexing yanzheng软件正确性验证(verifica‘ion of sofcorrectuess)研究验证计算机软件止的理论和方法。又称程序正确性验证。统的程序调试方法试图发现程序中的不同，程序正确性验证的基本思想是证明数学定理一样来证明程序的正句程序正确性验证大体上分为两步:首步数学工具严格地描述待验证的程序，该程序所要实现的目标;然后，在相形式系统中，证明该程序是否正确地了所期望的目标。其数学基础，主要辑、代数、范畴论和自动机理论;其方法，有以数学演绎为基础的定理证法和以有穷模型__L搜索为基础的模型方法。1969年出现了程序验证的公理妥经过数十年的努力，程序正确性验证得到了长足的发展，陆续建立了自动自动的程序验证系统，用于验证计算件的正确性。这些程序验证系统，在检件(协议)设计中的错误和隐患方面发挥用。模型检验方法，己成功地应用于自证具有10，00以上状态数的系统。计算件正确性验证已逐步走向实际应用。 (陈火旺王︸胜准眼洞陈用吸哟觑逻凄防脸先贻伴漱漱作脸漱|
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条