基于逻辑形式化的Flash动画测评

摘要：

提出了一种根据动画效果实现Flash动画自动测评的方案.采用逻辑形式化方法描述操作题阅卷信息,并通过建立的逻辑形式化阅卷系统实现自动阅卷.重点介绍了自动测评方案实现的三个环节:逻辑形式化描述、SWF to XML和自动测评.结合实例给出了逻辑形式化阅卷的全过程.通过和人工阅卷对比分析表明:逻辑形式化自动阅卷误差优于人工平均误差且接近人工最小误差.

关键词：逻辑形式化、Flash动画、XML、自动测评

所属期刊栏目：20

分类号：TP2;V24

资助基金：2008年度浙江省教育厅项目Y20085671;2010年度浙江省教育厅项目Y201017884

在线出版日期：2012-02-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：100-103