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

Flash Movie Automatic Marking Based on Logical Formal

作　　者：倪应华[1] 金炳尧[1] 陈尧妃[2] 

机构地区：[1]浙江师范大学行知学院,金华321004 [2]金华职业技术学院信息工程学院,金华321017

出　　处：《计算机系统应用》2011年第10期100-103,共4页Computer Systems & Applications

基　　金：2008年度浙江省教育厅项目(Y200805671);2010年度浙江省教育厅项目(Y201017884)

摘　　要：提出了一种根据动画效果实现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.

关 键 词：逻辑形式化 FLASH动画 XML 自动测评 

分 类 号：TP317.4[自动化与计算机技术—计算机软件与理论]