基于程序设计主观题智能阅卷算法的应用研究

在程序设计语言考试中,程序设计主观题智能评阅是一项具有实用价值的应用。文中在分析主观题阅卷算法的基础上,针对程序设计主观题的特征,提出了基于阅卷参考点和程序理解相结合的智能阅卷算法,并进行了相关实例分析。设计了VC 程序设计题智能阅卷系统,通过实际教学使用表明该智能阅卷算法具有较好的正确性和客观性。     

基于程序设计主观题智能阅卷算法的应用研究

在程序设计语言考试中，程序设计主观题智能评阅是一项具有实用价值的应用。文中在分析主观题阅卷算法的基础上，针对程序设计主观题的特征，提出了基于阅卷参考点和程序理解相结合的智能阅卷算法，并进行了相关实例分析。设计了VC＋＋程序设计题智能阅卷系统，通过实际教学使用表明该智能阅卷算法具有较好的正确性和客观性。     

VB程序设计考核自动评阅系统中若干问题的研究

在大规模的计算机应用能力考核中,必须要实现自动阅卷,对于Visual Basic基础程序设计考核,提出了一种自动评阅的方法,详细描述了该软件的设计思想、设计目的,并对阅卷过程中影响系统健壮性的因素作了深入分析。     

模拟人工阅卷的C语言编程题自动评阅系统的设计与实现

传统的C语言在线考试系统对编程题的评阅比较机械,无法反映考生的真实水平.本文在分析人工阅卷流程的基础上,给出了计算机模拟人工阅卷的工作流程,并在此之上提出了一种模拟人工阅卷的C语言编程题自动评阅系统,讨论了系统的原理和组成,重点对其设计与实现进行了分析,阐述了该系统的特点.该系统对当前的C语言教学与考试提供了一种新的解决方案.     

C语言上机考试及自动评分系统的研究与实现

C语言是目前国际上十分流行的一种计算机高级程序设计语言,在中国各类高等院校的计算机及相关专业中,C语言已经被列为一门非常重要的必修的基础课程.在这个该课程考核中,以前使用的传统手工阅卷已经慢慢走向计算机自动评阅.目前很多关于C语言的上机考试系统,客观题自动评分技术比传统的阅卷方式更加成熟.但对于程序设计题,阅卷方式主要采用的是结果比对评分法,这种方式即只依据程序运行结果与标准结果对比,然后根据相符程度给出一定的分数,这种情况下,在一定的程度上,并不会仔细检查考生的答案,显然在这种阅卷方式下不能反映考生的真实水平,并且造成对于某些学生不公平的情况.而且大部分这样的考试系统,也是基于C/S模式的,存在一系列的问题.针对上述问题,出现了一种新型的阅卷方式,C语言课程的完全无纸化考试及自动评阅,尤其是对程序设计题的自动评阅,减少老师们的阅卷工作量,提高公正性和准确性;另一方面,为C语言教学网站提供一套比较完善的自我测试系统,为进行C语言的教学和促进学生的自主学习提供更好的基础和支持.在这个系统开发中,主要对考试系统中的自动组卷、考生考试及自动评分系统分别进行了研究和设计,重点是程序设计题的自动评分方法.在比较结果的评分方法基础上,设计了修复编译评分与关键代码对比相结合的方法,使评分结果更加公正、准确.而对于错误严重、无输出结果或结果不正确的程序,则对程序进行关键代码对比,根据对比情况给出相应分数,使评分结果更加接近于人工阅卷.在设计系统的过程中,我们十分重视用户的需求,注重软件的实用性.该系统设计成功后,经过大量测试和一定范围试用,初步证明该系统运行稳定,自动评分准确,评分标准统一,整体效果良好,具有很好的实用价值和应用前景.     

基于C++的高校编程考试自动评分系统

因传统人工评卷模式工作效率低,需要耗费大量的人力、物力和时间。因此,很多阅卷工作可以通过计算机完成。由于编程设计的自动评分系统不够完善;因此,提出了基于C++的高校编程考试自动评分系。基于设计的自动评分体系结构和评分方法,结合自动评分流程,完成了基于C++的高校编程考试自动评分系的研究。实例分析证明,基于C++的高校编程考试自动评分系能够提高教师的阅卷效率,节省了人力、物力和时间。     

基于多因素语义相似度的主观题自动评阅方法研究

主观试题自动评阅系统涉及人工智能、模式识别以及计算机自然语言理解等复杂的系统知识,是无纸化考试中自动阅卷系统的设计难点。为此,仿照传统考试过程中人工阅卷的基本思路,把主观试题的自动评阅问题分解为知识库的构建、概念相似度的计算以及语句结构的处理等三部分,并把一种改进的多因素语义相似度算法引入到概念相似度计算,详细设计了主观试题的计算机自动评阅模型。实例运行结果表明,占总数70%的计算结果在可接受误差范围内。     

构建基于移动Agent的编程题智能考核系统模型

<程序设计语言>是高校大多数计算机专业的基础课程之一,<程序设计语言>中编程题的考核对整个课程的考核有着重要的作用.分析当前程序设计编程题的考核现状.介绍移动Agent技术的特点,阐述如何应用移动Agent技术构建程序设计编程题考核系统,给出系统的实现框架图.在此基础上,对程序设计编程题的智能阅卷模式进行全面分析,给出智能阅卷的算法与流程.     

Script Control在自动阅卷系统中的应用研究

为解决自动阅卷系统的通用性和独立性问题,对Script Control进行了深入的研究,提出了一种新的自动阅卷系统设计方案.介绍了基于ScriptControl的阅卷描述处理器的设计思想和实现原理,以及阅卷信息处理模块的一般结构,给出了基于ScriptControl的自动阅卷系统的阅卷描述样例.提供了该设计方案基于VB语言的关键实现,并通过实际测试验证了新的自动阅卷系统设计方案的有效性.     

程序设计题自动评分方法研究

目前在计算机考试自动评分系统中,最能反映考生水平的程序设计类问题缺少有效的解决方法。本文通过分析常见自动评分过程,将评分方法进行分类,剖析了阅卷中的关键编译技术对评分准确率的影响,针对动态测试与静态分析相结合的自动评分方法和基于程序理解的综合型自动评分方法的算法策略及评分步骤,给出在算法和编译运行方面提高评分效果的解决途径。     

程序设计课程主观综合题自动判分系统研究

讨论了程序设计课程上机考试系统中,主观综合题进行自动判分时存在的问题,针对常见的程序填空题、程序改错题及程序设计题,分别提出了一套行之有效的判分方法。     

能够实现自动评分的网页型课件的制作

本文介绍了使用FrontPage软件结合JavaScript脚本编程的方法,制作自动评分网页的过程,目的在于制作一个"模板",将其中编程难度屏蔽,使更多的教师能够制作出相应课程的教学课件。     

Software standards in undergraduate computing courses

Abstract High-quality software must be robust, reliable and maintainable. The design and coding of such software is no longer a craft; it is an engineering discipline, and the teaching of computer programming must reflect this. Consequently, students need to be aware of the importance of formulating accurate specifications for programming tasks, and of coding programs which correctly implement such specifications. However, the increase in student numbers experienced in recent years has caused manual methods of assessing students' programming assignments to become inefficient, and consistency more difficult to enforce. In order to support and motivate a rigorous approach in the context of these difficulties, an innovative on-line assessment system for programming language modules has been developed which addresses both concerns. This paper describes the package and discusses its importance in the delivery and assessment of undergraduate programming modules.     

Oto,a generic and extensible tool for marking programming assignments

Marking programming assignments in programming courses involves a lot of work: each program must be tested, the source code must be read and evaluated, etc. With the large classes encountered nowadays, the feedback provided to students through marking is thus rather limited, and often late. Tools providing support for marking programming assignments do exist, ranging from support for administrative aspects through automation of program testing or support for source code evaluation based on metrics. In this paper, we introduce a tool, called Oto, that provides support for submission and marking of assignments. Oto aims at reducing the workload associated with the marking task. Oto also aims at providing timely feedback to the students, including feedback before the final submission. Furthermore, the tool has been designed to be generic and extensible, so that the marking process for a specific assignment can easily be customized and the tool can be extended with various marking components (modules) that allows it to deal with various aspects of marking (testing, style, structure, etc.) and with programs written in various programming languages. Copyright © 2007 John Wiley & Sons, Ltd.     

编程题自动阅卷系统的设计与实现

目前C语言编程题的自动阅卷主要采用比对程序运行结果的方法,这种方法由于不查看学生的程序内容,因此评分有失公允并且不能反映学生的真实水平。本系统采用动态评阅、结果对比、静态评阅相结合的方法,使评分结果公正、准确,更加接近于人工阅卷。该系统已经用于实际的教学环节中,收到了良好的效果。     

可视化程序界面设计题自动评分系统的设计与实现

以VB语言为例,研究了可视化程序设计类课程的上机考试界面题的自动评分问题,提出了关键问题的解决方法,并在实际中进行了验证。     

Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems

In this paper, a deadlock prevention policy for flexible manufacturing systems (FMS) is proposed, which can obtain a maximally permissive liveness-enforcing Petri net supervisor while the number of control places is compressed. By using a vector covering approach, the sets of legal markings and first-met bad markings (FBM) are reduced to two small ones, i.e., the minimal covering set of legal markings and the minimal covered set of FBM. A maximally permissive control purpose can be achieved by designing control places such that all markings in the minimal covered set of FBM are forbidden and no marking in the minimal covering set of legal markings is forbidden. An integer linear programming problem is designed to minimize the number of control places under an assumption that a control place is associated with a P-semiflow. The resulting net has the minimal number of control places on the premise that the assumption holds, and possesses all permissive states of a plant. The only problem of the proposed method is its computational complexity that makes it inapplicable to large-scale Petri net models. An FMS example from the literature is presented to illustrate the proposed method.     

一种生成具有变量标识的高级Petri网可达树的算法

Petri网动态性质的考察一般基于网不变量(Net Invariants)和可达树(Reachability Tree).这两个概念已被扩展到高级Petri网中.高级Petri网可达集空间随着网的复杂性而指数性增长是计算可达树问题中的一个主要难 点.本文定义了具有变量标识的高级Petri网并给出了构造该类网的可达树的算法.本文的算法以变量标识的等价关系(equivalent relation)和覆盖关系(covering relation)为基础,明显地简化了可达集空间.个体标识的信息可从变量标识的定义域中获得.     

Word试题自动阅卷实现

计算机基础考试采用传统的人工阅卷,工作量大、时间长,准确率也不很高,因此非常有必要研究采用计算机自动阅卷。文章介绍了利用VBA语言实现计算机基础考试中Word题目自动阅卷的方法,能够大大提高阅卷的速度,而且结果准确、客观、公平。