%0 Journal Article
%T Flash Movie Automatic Marking Based on Logical Formal<br>基于逻辑形式化的Flash 动画测评
%A NI Ying-Hu
%A JIN Bing-Yao
%A CHEN Yao-Fei
%A <br>倪应华
%A 金炳尧
%A 陈尧妃
%J 计算机系统应用
%D 2011
%I 
%X 提出了一种根据动画效果实现Flash动画自动测评的方案。采用逻辑形式化方法描述操作题阅卷信息，并通过建立的逻辑形式化阅卷系统实现自动阅卷。重点介绍了自动测评方案实现的三个环节：逻辑形式化描述、SWF to XML和自动测评。结合实例给出了逻辑形式化阅卷的全过程。通过和人工阅卷对比分析表明：逻辑形式化自动阅卷误差优于人工平均误差且接近人工最小误差。
%K logical formal
%K flash movie
%K XML
%K automatic marking<br>逻辑形式化
%K Flash动画
%K XML
%K 自动测评
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=D4F6864C950C88FFCE5B6C948A639E39&aid=48687FEEF97E58616F51EEB809724C08&yid=9377ED8094509821&vid=A04140E723CB732E&iid=F3090AE9B60B7ED1&sid=8C83C265AD318E34&eid=89F76E117E9BDB76&journal_id=1003-3254&journal_name=计算机系统应用&referenced_num=0&reference_num=6