formalization
同义词释义
- 1)formalization,形式/规范化2)formal specification,形式化规范3)multi-resolution model specification,形式化描述规范4)normal form,规范形式5)formal specification,形式规范6)ICON System Normal Form,ICON系统形式化规范
用法例句
Automatic translation from formal specification to system-level state transition diagram;
从形式化规范自动生成系统级状态机
The formal specification approach provides the mechanisms for system modeling, spcifying and verifying in parallel.
提供了 RAID系统的清晰结构 ,以此来弥补形式化规范语言的不足 ,规范软件设计过程 ,保证程序的正确性 。
PVS(Prototype Verification Systems) provides an integrated environment for developing and verifying formal specification.
原型证明系统PVS为开发和分析形式化规范和验证提供了一个集成化环境。
By analyzing the essence of iteration on the dual simplex algorithm and based on Linear Programming with normal form,this paper gains another improved dual simplex algorithm without bringing in surplus variables,which results in the same number of variables and reduced operational size.
通过分析对偶单纯形法迭代的实质,就所给LP问题的规范形式,不引进剩余变量而直接得出另一种改进的对偶单纯形法,使变量个数不增且运算规模缩小。
We proved that a cost allocation function can be expressed by normal form if and only if it has anonymity, additionality and equivalency.
该文以数学方法论证了一类网络成本分配函数的性质,证明了成本分配函数具有规范形式的充要条件是它满足无记名性,可加性和等价性。
The formal specifications in assembly code certification are usually complicated.
与传统的高级语言程序验证相比,汇编代码验证中所需要的形式规范往往比较复杂,通常的做法是要求程序员手写形式规范,或是牺牲形式规范的表达能力以期能够自动生成规范。
This paper presents a method,which extends PLS(partial least square) algorithm from two_LV(latent variable) to multi_LV based on two_LV PLS algorithm,including detailed formal specification and iterative procedure.
在两个潜变量的偏最小二乘法(PLS)基础上,研究了如何将PLS算法从两个潜变量扩展到多个潜变量的一套完整方法(包括具体的形式规范和迭代步骤);以及在多个潜变量PLS算法上的符号检验。
相关英语词汇
- Final Acceptance Test是什么意思
- find in projects是什么意思
- field edit tape是什么意思
- flattening index是什么意思
- fixation of atmospheric nitrogen是什么意思
- feed rack是什么意思
- fire detector是什么意思
- fibrinolysis是什么意思
- fault distinguish是什么意思
- flashback;flashback是什么意思
- farinfrared radiation是什么意思
- FFRI;Forest Fire Research Institute是什么意思
- feed rate是什么意思
- finite sequences是什么意思
- forward sitting position是什么意思
- final trading day是什么意思
- free cells是什么意思
- fire tray是什么意思
- FAMT Fully Automatic Machine Translation是什么意思
- function unusual是什么意思
- free villus是什么意思
- fire boss是什么意思
- FID Flame Ionization Detecter是什么意思
- FastieEbert spectrometer是什么意思
- fuchsine base是什么意思
- full fuel position是什么意思
- follow up ability是什么意思
- First National Bank of Chicago是什么意思
- feathering是什么意思
- forebrain是什么意思