并发进程指称语义的几种基于Trace模型的定义方法

Ｔｒａｃｅ模型是定义并发进程指称语义的基本方法之一．在Ｔｒａｃｅ模型的基础上，为获得更广泛的表达能力，通过进程指称论域的各种变化，派生出了一系列的语义模型．并对于这些模型进行了综述．

TRACE学习模型在英语习语习得中的构建

习得英语的TRACE模型中,T代表习语透明度,R代表习语学习重复性,A代表习语分析,C代表习语的文化,E代表积极的情绪。学习者要学会分析习语的透明度、熟悉度等特性,平时多关注并学习英语国家的文化,带着积极的情绪去反复操练英语习语。英语习语习得TRACE模型有助于学生在英语作为外语环境下习得英语习语。

安全协议的形式化规范

该文给出用PVS(Prototype Verification System)对安全协议进行形式化规范的一种方 法。该方法以高阶逻辑为规范语言,利用trace模型来描述协议的行为,并假设系统中存在强攻击者和理想 加密系统。重要的结构如消息、事件、协议规则等都通过语义编码方式定义.

语素语义信息对言语听辨的影响

实验主要探讨双字词中语素的语义信息对言语听辨的影响。实验采用语义判断任务,实验材料为双字词首字完整语音分别加上尾字的80毫秒、120毫秒、160毫秒、200毫秒4个语音片段,让被试进行听觉词汇判断任务。实验1选用48组双字词作为关键材料,48组作为填充材料,被试根据听到的语音片段判断该词是否为人词,如,“教师”为人词,“非洲”为非人词;实验2选用了56组关键材料、56组填充材料,任务同实验1。实验结果发现,双字词加工的首字语素语义信息在听词辨认的初始参与了加工,强语义联系对尾字的识别有促进作用,弱语义联系对尾字的识别有抑制作用。初步实验结果支持了言语听辨的多重信息并行激活模型——TRACE模型。