1) specification refinement
规约精化
1.
Formal method Designware and its specification refinement mechanism;
形式化方法Designware及其规约精化机理
2.
The concept of specification refinements based on problem theory,algorithm theory and program theory of Kestrel Institute of US is introduced.
介绍了美国Kestrel研究所的一种基于问题理论、算法理论和程序理论的规约精化思想,以及Kestrel如何应用这种思想渐进地形式化构造货物分发问题(GDP)的规约精化。
2) reducing rule
约化规则
3) specialization reduction
特化规约
1.
Constructing the concept lattice with traditional classification technology and the related definition of formal concept analysis; in this concept lattice, using the newly defined calculating rules——specialization reduction and heuristic rules to get the much complex mappings.
在概念格上运用新定义的运算规则特化规约和启发式规则推理获得映射。
4) conventionalization
[kən,venʃənəlai'zeiʃən]
规约化
1.
The author examines this pattern from the following four aspects: the grammatical features of this pattern from the aspect of syntactic analysis;the negative meaning of this pattern from the aspect of conversational implicature;the pragmatic reasoning from the aspect of the cognitive theory and the conventionalization of this pat.
从认知语用看该格式含义的规约化。
5) cultural prescription
文化规约
1.
Factors influencing cultural prescription of English and Chinese metaphors include the regional differences, the value and feeling differences, and the religion and belief differences.
隐喻文化规约性的影响因素主要包括地域性差异影响、价值观念和思想情感的差异影响、宗教信仰的差异影响。
6) formal specification
形式化规约
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条