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

作者：倪应华 金炳尧 陈尧妃逻辑形式化flash动画xml自动测评

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

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社