元语言纠正性反馈对英语写作准确性的影响

本研究将90名中国英语学习者分为代码反馈组、元语言解释组及对照组。通过“前测—干预—即时后测—延迟后测”的方式,考查元语言反馈的反馈效果。结果表明：相比于直接反馈,错误代码及元语言解释的反馈效果更好且更持久性;错误代码及元语言解释的反馈效果相近,但元语言解释能更快达到反馈效果;两种元语言反馈在时态及粘连句的反馈效果上相近。本文认为,元语言反馈能更好地促进陈述性知识的程序化,因此具有更好的反馈效果;而元语言解释能更好地帮助学习者进行语言知识的归纳与分析,因而能提高反馈效率。

安全协议验证模型的高效自动生成

为了能高效地利用模型检测技术对安全协议进行分析与验证,提高工作效率,提出了一种适用范围广,自动化程度及验证效率均较高的建模算法。开发了一个基于该建模算法"网络安全协议验证模型生成系统",该系统可高效地对安全协议进行分析与验证,系统在对攻击者建模时采用偏序规约、语法重定序及类型检查等优化策略以提高验证效率,有效地缓解了模型检测过程中的状态爆炸问题。

基于SPIN的网络认证协议高效模型检测

为了有效地提高网络认证协议建模和验证的效率,基于模型检测方法提出一个通用的网络认证协议模型描述方法,结合模型检测工具SPIN可以方便地进行性质验证。通过一些模型的简化策略,不仅可以对不同协议进行高效建模,而且减小了模型的状态空间。与现有的文献相比,自动化程度较高,模型验证的效率较好。基于该方法,对PKM认证协议进行了模型检测,实验证明该模型分析验证方法的有效性,可用于其他网络认证协议的分析验证。

ESpin:基于SPIN的Eclipse模型检测环境

信息化社会中人们对软件可信性的要求越来越高,传统的测试技术已经不能充分保证系统的安全性,基于模型的形式化验证技术成为解决此类问题的重要途径。SPIN作为典型的模型检测工具,在学术界和工业界都得到了广泛应用。在Eclipse平台上设计并实现了一个基于SPIN的易扩展的模型检测环境ESpin,通过一个优化了的代码分区算法和可迅速支持SPIN升级的文法分析器,构造了一个高效、易扩充的Promela编辑器。编辑器除了支持Promela的全部语法规则外,还提供了包括实时语法反馈、关键字高亮、大纲视图、代码折叠、代码提示、代码补全在内的多种功能,提高了复杂模型的建模效率。ESpin还为用户提供了多种运行模式和特有的向导、配置界面,简化了SPIN的操作过程。

UML模型检测方法的研究

统一建模语言(UML)是设计和分析软件系统最常用的方法,如何保证UML模型满足某些特性是一个非常重要的问题,而模型检测是一种能够有效提高系统可靠性的自动化技术。研究了使用简单进程元语言解释器(SPIN)对UML模型进行检测的方法。首先对UML模型进行形式化描述,使用层次自动机来描述状态图,然后根据层次自动机的操作语义将状态图和类图的部分信息转化为SPIN的输入语言PROMELA,使用SPIN来验证模型是否满足给定的线性时序逻辑所描述的系统约束,通过LTL公式描述顺序图的方式来验证与状态图之间的一致性问题。项目组基于此方法还开发了一套模型检测工具UMLChecker。

不同类型的直接书面修正反馈对高职英语写作的影响

对于修正性反馈的有效性一直存在争议,而且许多相关研究是基于国外的课堂的。因此,通过研究两种不同类型的直接书面修正反馈对于改善学生写作准确性的影响来试图证明修正性反馈的有效性。经过对高职类学生为期九周的实验发现,两种反馈方式都有助于提高学生的写作水平,并且元语言解释的反馈方式效果优于直接反馈。

议论文写作中纠正反馈效果的实验研究

为了通过实验探究教师书面反馈对中国学生英语议论文写作水平的影响,采集了国内某理工类院校英语专业三年级68名学生的《英语写作》课程测试作为实验样本,运用SPSS软件辅助推断统计,结果显示教师书面纠正反馈对中国学生英语议论文写作水平有促进作用。同时,对比了直接反馈和间接反馈+元语言解释两种不同形式的纠正反馈的效果,结果显示不同形式的纠正反馈对学生议论文写作成绩的影响没有差异。

奇幻文学的“三度区隔”问题研究--兼与赵毅衡先生商榷

本文以"区隔框架"为关键词来探讨奇幻文学区隔的特殊性。奇幻文学有别于一般的小说,其在虚构二度区隔世界中隔出第三度区隔,这个虚构的奇幻世界三度偏离经验世界。三度区隔框架可以为具象存在,也可以隐形处理,它划出一个独立的虚构奇幻世界,具有独立规则,从而迫使启动新的解释元语言。虚构的现实世界和虚构的奇幻世界虽互不干扰,但也会出现相互交集,人物穿梭于两个世界,打破原有的文本边界,或违反原来世界的规则,从而导致区隔犯框。借用区隔理论来研究奇幻文学,能够更深刻地探究奇幻文学的表意与解释方式,同时,奇幻文学的特殊性构成又可以检验赵毅衡先生提出的"双层区隔"原则,扩大其内涵。因此本文在梳理区隔理论的同时,也尝试与赵毅衡先生商榷,希望能够与之形成对话。