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

Flash Movie Automatic Marking Based on Logical Formal

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

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.