习得英语的TRACE模型中,T代表习语透明度,R代表习语学习重复性,A代表习语分析,C代表习语的文化,E代表积极的情绪。学习者要学会分......

该文给出用PVS(Prototype Verification System)对安全协议进行形式化规范的一种方 法。该方法以高阶逻辑为规范语言,利用trace模......

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

实验主要探讨双字词中语素的语义信息对言语听辨的影响。实验采用语义判断任务,实验材料为双字词首字完整语音分别加上尾字的80毫......

语言认知研究中一个非常重要的领域是关于听觉词汇识别(spoken word recognition)的研究。20世纪六七十年代以来，人们开始对听觉语......

众核体系结构的发展对片上互连系统提出了更高的要求,现有基于电信号传输的片上互连系统存在功耗高和带宽受限的不足,已难以满足众......