标准ML语言基本库

在所有的现代编程语言中，标准ML被公认为是属于最高级别的，由于其严密的语法定义，因此，被许多应用优先选择；另外由于其定义明确，因此可移植性很高。本书描述了标准的ML基本库，该基本库足够的丰富和有效支持这一通用语言的日常任务，书中提供了用于标准ML(SML)语言的基本类型及函数的集合，它们是由标准的ML定义(经修订的)[MTHM97]所描述的。     

迭加原理的广义理解及应用

迭加原理适用于一切变量和函数线性相关问题的分析和计算。对迭加原理的广义理解,自觉拓宽迭加原理的应用,有利于从体系上掌握知识,提高分析和解决问题的能力。     

AECT教育技术2004新定义的理解与启示

美国教育传播与技术协会(AECT)在2004年6月1日的文件中发表了关于教育技术的新定义.通过对AECT2004新定义的理解,以期能对我国的教育技术理论和实践有所启发.     

第二语言习得理论对我国英语教学产生的影响

第二语言习得理论的研究，加深了我们对语言学习过程的理解，也对我国英语教学产生了深远的影响。本文概述了第二语言习得理论研究成果对我国英语教学所产生的影响。     

谈两种不同的拟序

对近年出版的高等学校教学参考书和专著中关于拟序的两种不同的定义进行了讨论，分析了二者的性质、异同和关系，并给出了消除同名异义性的建议。     

Hendiadys的理解与翻译

Hendiadys是英语中的一种修辞格.在笔者所接触的翻译与教学材料中,对该修辞格的误解与误译现象时有发生.本文中,笔者通过具体语言材料的分析与综合,找出了正确理解与翻译该修辞格的可供参考的途径.     

基于双重匹配注意力网络的观点型阅读理解

提出一种基于双重匹配注意力网络的方法.先用动态匹配机制迭代综合获取全局观点信息,同时利用多维度匹配机制在不同特征空间上计算全局语义信息,然后交互式多路注意力机制通过两路注意力之间的交互计算对上述全局的观点与语义信息进行融合,最后与选项表示结合预测答案的观点倾向.在观点型阅读理解数据集ReCO和Dureader上面的实验表明,该方法相对于基准模型在准确率上提升了1.18%和0.84%,在加权宏F1上提升了1.16%和0.75%.     

代数结构与几何基础Ⅳ——仿射几何的公理体系

在公理化方法定义的几何中引进“平行”关系,然后把结合公理I;改成“平行公理”,我们就得到一种新的几何——仿射几何．本文将证明这种几何同构于某一体(域)上的n维仿射几何,若添加牍序公理,则这种几何同构于某一有序体(域)上的n维仿射几何,最后我们指出：三维仿射几何的结合公理、平行公理和顺序公理就是Hilben公理体系中的结合公理、平行公理和顺序公理。     

相干态与其叠加态之间的距离

根据LudwigKn ll对两量子态间距离函数的定义,得到了任意一个相干态|α0〉与相干态|α〉及其相反态通过任意系数线性叠加组成的叠加态———猫态|Ψ〉之间距离函数的一般表达式D(r,r0,φ).依据D(r,r0,φ),讨论了|α0〉与|Ψ〉之间的相似特性与其内禀参数之间的关系.结果表明,态|α0〉与|Ψ〉的相似程度,不但与每个相干态在复空间的平移距离有关,而且与态|α0〉和|α〉相对初始相位差Δθ以及叠加相位有关.