学习分析系统构建研究

学习分析目前应用于教育的多个方面,但是还缺乏一个完整、清晰、可实施的学习数据系统.本文尝试构建一个开放的、全面的学习分析系统.综述了该领域研究近年的发展,并对若干重要概念进行了定义,给出了学习分析系统和数据的时空与交互演化.着重分析了学习分析系统论域(LASUoD)、形式化建模学习分析系统信息空间模型[ΣR,ΣCR,ΣMT,ΣA,ΣW,ΣC],构建了学习分析系统架构,并分析了该系统中数据流程.提出了学习分析对象数据模型、学习分析系统本体(LASO)框架及学习分析系统标准组谱,以实现学习分析系统应用的互操作.最后,为了说明学习分析系统应用情况,展示了一个基于开源学习管理系统Sakai的学习分析实例.     

“的”字短语的语义结构分析

对“的”字短语的语义结构进行了较为全面的分析和总结,按照“的”的字短语的中心词词性,把该类短语分成３大类,并给出了一套较为完整的分析“的”字短语的语义结构文法规则．     

一种适应域的汉语N-gram语言模型平滑算法

针对基于汉语词的 Ｎｇｒａｍ 模型统计数据稀疏问题和应用域变化造成原统计模型识别性能降低,提出具有应用域适应能力的 Ｎｇｒａｍ 模型平滑算法。对两种应用域的语料进行了前、后向 ０ 到３ 元文法统计,采用隐马尔可夫模型（ Ｈ Ｍ Ｍ）在语音识别中的成功经验,由 Ｂａｕｍ ｗ ｅｌｃｈ 算法来获得优化权值,每个权值代表相关模型的统计可靠性。由前后向的３ｇｒａｍ 模型可得到５ｇｒａｍ 文法约束的平滑算法,以弥补统计矩阵数据的稀疏现象。将《人民日报》语料的统计结果作为先验统计结果,和《计算机世界》作为转换域的专业语料进行后继训练,得到一种适应应用域的３ｇｒａｍ 模型。实验结果表明,前后向约束的３ｇｒａｍ 文法得到的５ｇｒａｍ 平滑可以较小的存储代价得到较高的文法约束,大大降低了统计模型的困惑度     

分部积分公式的推广及其应用

给出了分部积分公式的推广形式,并讨论了分部积分过程的形式化。     

关于Fuzzy语言的隶属度问题

讨论由Ｆｕｚｚｙ文法和Ｆｕｚｚｙ自动机生成的Ｆｕｚｚｙ语言的隶属度问题,引入了概率和乘积型Ｆｕｚｚｙ文法与自动机的概念,并证明了概率和乘积型Ｆｕｚｚｙ文法与自动机的关系。     

L属性文法属性求值器的自动生成技术

提出一种L属性文法LL（1）属性求值器的自动生成技术.该技术充分利用L属性文法和LL（1）分析方法的特点,节省了属性求值器的存储空间,扩展了语义规则的描述能力．且实现了一本基于该技术的属性求值器自动生成系统．     

实时调度问题的形式化描述及分析

使用自动机理论建立了一个用于分析实时调度问题的、可化简归并的形式化方法。通过分析单个任务的状态变化过程来构造实时系统的自动机。对自动机的状态进行化简和归并,大大降低了讨论实时调度问题的复杂度。以优先级上限协议为例构造了确定有穷自动机并使用该自动机证明了优先级上限协议的性质。     

《左传分国集注》对桐城义法的接受考论

吴闿生《左传微》继承桐城文法,创新地将文章学上的“义法”论转化为以“文法解义理”的阐释学方法,不仅夯实了义法理论的经学基础,亦开辟了《左传》阐释的新方法。韩席筹作《左传分国集注》,采略诸家,尤取《左传微》为多,对于吴闿生所创之新方法,多取而用之、化而施之,并依托集注之体,构建了以文法、尾评及考据等方式进行义理解说的阐释方式。     

一种分析电子现金协议的工具

引入顺序图描述安全协议,提出实体框架模型分析电子现金协议.通过实体框架,可以确定协议各参与者以及敌手的能力,明确匿名性等安全特性的语义含义,清晰地对电子现金这种复杂协议进行形式化分析.     

网上购物流程的CCS描述

随着互联网技术的发展和应用领域的扩大,电子商务得以蓬勃地发展,网络购物已成为一种重要的购物方式.随之,网络购物的安全性问题也受到人们的广泛关注.文章用CCS对目前国内并存的几种网上购物系统模式进行了形式化的描述,并就基本安全性质进行了验证,分析了这几种模式的优缺点.