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