Flash Movie Automatic Marking Based on Logical Formal
基于逻辑形式化的Flash 动画测评

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