本文已被：浏览 2006次 下载 3041次
Received:January 26, 2010 Revised:March 06, 2010
Received:January 26, 2010 Revised:March 06, 2010
中文摘要: 提出了一种根据动画效果实现Flash 动画自动测评的方案。采用逻辑形式化方法描述操作题阅卷信息,并通过建立的逻辑形式化阅卷系统实现自动阅卷。重点介绍了自动测评方案实现的三个环节：逻辑形式化描述、SWF to XML 和自动测评。结合实例给出了逻辑形式化阅卷的全过程。通过和人工阅卷对比分析表明：逻辑形式化自动阅卷误差优于人工平均误差且接近人工最小误差。
Abstract:The authors propose a scheme of Flash movie Automatic Marking based on animation effects and describe the question's Marking information by using the logical formal method.Achieve automatic Marking by building the logical formal system. This paper focuses on three components of the scheme: logical formal description, SWF to XML and automatic marking. It describes the whole process of logical formal Marking with example. The analysis of manual and automatic Marking shows that: logical Formal automatic Marking is better than the average artificial error and close to the minimum artificial error.
keywords: logical formal flash movie XML automatic marking
文章编号： 中图分类号： 文献标志码：
基金项目:2008 年度浙江省教育厅项目(Y200805671);2010 年度浙江省教育厅项目(Y201017884)
引用文本：
倪应华,金炳尧,陈尧妃.基于逻辑形式化的Flash 动画测评.计算机系统应用,2011,20(10):100-103
NI Ying-Hua,JIN Bing-Yao,CHEN Yao-Fei.Flash Movie Automatic Marking Based on Logical Formal.COMPUTER SYSTEMS APPLICATIONS,2011,20(10):100-103
倪应华,金炳尧,陈尧妃.基于逻辑形式化的Flash 动画测评.计算机系统应用,2011,20(10):100-103
NI Ying-Hua,JIN Bing-Yao,CHEN Yao-Fei.Flash Movie Automatic Marking Based on Logical Formal.COMPUTER SYSTEMS APPLICATIONS,2011,20(10):100-103
