1) formal verification
形式化校核
1.
At last, it is indicated that formal verification method is in favor of improving the creditability, reliability and consistency.
概述了形式化校核方法在软件工程的应用情况,分析了国内外关于HLA联邦VV&A方法研究的现状,讨论了形式化方法HLA联邦校核与验证中主要解决的问题,提出了一种基于时态逻辑的HLA联邦形式化校核方法,该方法可以用来校核联邦及其成员的交互设计和逻辑行为运行的正确性和逻辑性。
2) verification mode
校核方式
3) a simplified check
简化校核
4) forms of school-choice
择校形式
1.
According to the native educational state,different countries take different forms of school-choice which present different characteristics.
择校是目前世界各国教育改革的一大趋势,各国根据本国的教育状况采取不同的择校形式,体现了不同的特色。
5) kernel form
核形式
1.
, the regularized kernel form of min.
该文应用满足Mercer条件的核函数和正则化技术,改造经典的最小平方误差算法,提出了基于核函数和正则化技术的非线性最小平方误差算法,即最小平方误差算法的正则化核形式,其目标函数包含基于核的非线性函数的输出与期望输出的误差平方和,及一个适当的正则项。
6) mode of nucleation
形核方式
1.
The improved site-saturated(ISS) mode and improved constant-rate(ICR) mode of nucleation were put forward on the basis of site-saturated(SS) mode and constant-rate(CR) mode of nucleation.
在原有形核方式的基础上,提出了改进的位置过饱和形核和改进的恒定速率形核方式,利用元胞自动机方法(CA法),并利用Matlab开发工具,建立了形成较均匀核心的二维再结晶模型。
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条