计算机系统应用
計算機繫統應用
계산궤계통응용
APPLICATIONS OF THE COMPUTER SYSTEMS
2011年
10期
100-103
,共4页
逻辑形式化%Flash动画%XML%自动测评
邏輯形式化%Flash動畫%XML%自動測評
라집형식화%Flash동화%XML%자동측평
提出了一种根据动画效果实现Flash动画自动测评的方案.采用逻辑形式化方法描述操作题阅卷信息,并通过建立的逻辑形式化阅卷系统实现自动阅卷.重点介绍了自动测评方案实现的三个环节:逻辑形式化描述、SWF to XML和自动测评.结合实例给出了逻辑形式化阅卷的全过程.通过和人工阅卷对比分析表明:逻辑形式化自动阅卷误差优于人工平均误差且接近人工最小误差.
提齣瞭一種根據動畫效果實現Flash動畫自動測評的方案.採用邏輯形式化方法描述操作題閱捲信息,併通過建立的邏輯形式化閱捲繫統實現自動閱捲.重點介紹瞭自動測評方案實現的三箇環節:邏輯形式化描述、SWF to XML和自動測評.結閤實例給齣瞭邏輯形式化閱捲的全過程.通過和人工閱捲對比分析錶明:邏輯形式化自動閱捲誤差優于人工平均誤差且接近人工最小誤差.
제출료일충근거동화효과실현Flash동화자동측평적방안.채용라집형식화방법묘술조작제열권신식,병통과건립적라집형식화열권계통실현자동열권.중점개소료자동측평방안실현적삼개배절:라집형식화묘술、SWF to XML화자동측평.결합실례급출료라집형식화열권적전과정.통과화인공열권대비분석표명:라집형식화자동열권오차우우인공평균오차차접근인공최소오차.
