1. 述谓结构：一个述谓结构(predication)包含论元(argument)和谓词(predicate), 论元是述谓结构的逻辑上的参与者,主要是一个句子中的名词性成分,谓词是对论元的述说,或者陈述一种与论元之间的逻辑关系.
2. 断定：Itanium除了提供上述的巨量资源,EPIC的断定(Predication)机制,会同时计算多种可能性,以便排除错误,减少处理分支;EPIC会利用资料推测(Speculation)的方式,配合L1和L2快取记忆体,使指令可以持续通过,不会被延迟;
3.
3. 论断：当条件语言使用论断(predication)的话,就能比分支更有效地执行,因为只有一个代码路径会发生--即那些符合的条件测试的线程才会写入到目标寄存器中,而其他的线程不会有改变.
4. 預測：⑷预测(predication) 预测是利用历史数据找出变化规律,建立模型,并由此模型对未来数据的种类及特征进行预测. 预测关心的是精度和不确定性,通常用预测方差来度量. ⑸时序模式(time-series pattern) 时序模式是指通过时间序列搜索出的重复发生概率较高的模式.
noun
1. (logic) a declaration of something self-evident
something that can be assumed as the basis for argument
Synonym: postulation