北京大学程序在线评测系统及其应用

北京大学程序在线评测系统(PIJ)是为训练ACM/ICPC国际大学生程序设计竞赛北大代表队而设计开发的,在训统的过程中发现,该系统在大学生程序设计类课程的教学中电能发挥重要作用,于是将其逐步引入相关课程的教学中,革新了程序设计类课程的教学手段和考试办法,提高了学生的学习积极性,同时也在定程度十抑制了学生在做编程作业时常见的抄袭现象。使用POJ进行辅助教学的课程包括《计算概论》, 《程序设计实习》,《数据结构》,《问题求解与程序设计》等。POJ是一个基于万维网的服务系统,其主要功能包括:用户注册和管理、题库管理、在线提交和实时评测、网上考试、讨论、邮件服务等。在网上布嚣作业题目,学生可以随时完成作业并提交获得评测,减轻了教员批改作业的负担同时增强了准确性。教员亦可在网上监督学生作业完成情况,并能就存在的问题进行解答。网上实时的编程考试,更能考察学生的动手能力,同时有助于威慑和杜绝作弊现象。为能够与兄弟院校分享笔者的教学改革成果,免费提供POJ系统下载软件     

远程教育支持系统中黑盒测试用例的设计

软件测试在软件工程管理中所占比重越来越大,测试用例的设计是整个测试过程的基础.结合工作实践详细介绍了黑盒测试用例的设计方法,并举例说明了如何应用黑盒测试技术.     

ACM在线评测系统在成人高等教育程序设计类课程中的应用初探

本文主要论述了针对目前成人高校学生知识水平参差不齐、学习及动手能力差距大、学习的目的多样性等特点,在成人高等教育教学过程中灵活地把ACM在线评测系统运用到程序设计类课程平时上机实验和考试中,从而大大激发了成人学生的学习积极性和乐趣,取得了良好的教学效果。文章对传统教学改革提出了新思路,对无纸化考试做出了有益的探索。     

网络课程在线测试系统的设计与实现

随着INTERNET的蓬勃发展,网络学习成为未来学习的主要形式,伴随着网络课程的开发,许多新的问题摆在眼前,其中之一是,学习者和教师如何通过网络了解学员的学习状况？从而及时改变学习策略,为此,配合网络课程建立在线测验系统就显得相当必要,通过实践分析总结了网络课程在线测试系统的设计思路,结合目前学校的硬件环境,探讨了如何采用当今流行的ASP技术,结合ACCESS2000的关系数据库和VBScript脚本语言,建立网络课程在线测验系统。     

计算机代数系统MAPLE及其程序设计语言

介绍了计算机代数系统ＭＡＰＬＥ，以及ＭＡＰＬＥ程序设计语言；并给出ＭＡＰＬＥ因式分解的程序。     

单片机应用电路板在线测试系统

对通用电路板和单片机应用电路板的测试进行了比较,提出了单片机应用电路板测试的技术问题的解决方法,给出了一具体的实现系统。     

关于《高级语言程序设计》课程双语教学的思考

针对《高级语言程序设计》课程实行双语教学提出了自己的思路，对如何才能成功地对该课程实施双语教学提出了几点建议．     

基于在线评测系统的C语言实践教学探讨

C语言程序设计是计算机专业的基础课程,实践教学是其必要的组成部分。在介绍ACM在线评测系统的基础上,详细探讨了在线评测系统在C语言实践教学中的应用。实践证明,该系统能够实现程序代码评测的自动化,促进学生进行自我训练、提高编程技能,并在很大程度上提高了教师的教学效率和教学质量。     

一种新型的程序设计语言——JAVA语言

ＪＡＶＡ语言是由ＳＵＮ公司设计的一种面向对象的新型程序设计语言。ＪＡＶＡ可用来开发能够在Ｉｎｔｅｒｎｅｔ上传输并可在网络任何一处运行的应用程序。文中主要介绍ＪＡＶＡ语言的主要特点及其应用，并简要介绍用ＪＡＶＡ语言进行编程的方法     

SCL90在线心理测试系统的开发与应用

加强大学生心理健康教育,是新时期促进大学生全面发展和健康成长的迫切需要.为了提高心理测试水平,加快管理的信息化建设,适应心理健康教育的需求,我们开发了SCL90在线心理测试系统.系统以SCL90作为测试的理论依据,采用ASP技术和数据库技术相结合的方法来实现.应用结果表明,系统使用方便、操作简单、数据处理速度快,效果良好.     

一种程序设计语言模块系统的研究与实现

GOdel语言是一种新型逻辑程序设计语言。通过对其模块系统进行研究与实现，在实现过程中采用了将用户模块和系统模块分开存放、独立管理的策略，以便使这两部分模块可以被很好地扩充和管理；同时还设计了系统命令．以便及时了解模块运行情况。这样在环境中实现的GOdel语言模块系统不但减轻了GOdel推理机的运行负担，也方便了用户对模块的管理。     

PICASSO——一个用于模糊决策系统的基于规则的程序设计语言

本论文介绍一种新的基于规则的程序设计语言,其名为 PICASSO,它为具体执行模糊决策支持系统(Fuzzy Decision SupportSystem)而设计。PICASSO 已在美国休斯顿大学计算中心的 AT&T 公司的3B2OS 小型计算机上部分运行。整个系统用 Franz Lisp 书写。PICASSO 具有以下特征。它使用正向链接(Forward chaining)推理手段。该语言有三种控制策略:面向宽度优先的系统控制模式,用户控制模式和元规则(meta-rule)~(*2)控制模式。PICASSO 支持匹配变量以及其他类型的变量,以便于使用以模式匹配为主的调用方式。在该语言中,不同规则之间的信息能够用信息传送和数据共享两种方法来进行通讯、交换。PICASSO 的规则工作在可永久保存的知识库上,这个知识库必须预先用称为符号图形(S—diagram)的一种强有力的数据模式来定义。PICASSO 的推理器(inference engine)实施知识库的一致性。知识库中可以保存模糊信息(fuzzy information),这些信息用区间模式的二值法来表示。区间模式允许分配一个概率给一个事实(断言),同时还要表示我们相信这种概率估计的程度,这一点对于模糊决策支持系统来说是重要的,因为这种系统常牵涉到不同程度的经验知识的判定规则。有了对某些事实(断言)的概率估计,又有专家对此概率的相信程度(凭经验),就可较全面地选择某种决策。对于区间模式来说,我们已经提供了一些特定的运算公式,用于对不确定性(uncertainty)知识进行自动推理。PICASSO 支持基于规则的程序设计语言和函数型的程序设计语言两者的组合并支持多个基于规则的程序设计语言和函数型的程序设计语言两者的组合,并支持多个基于规则的程序之间的协同操作:可以容易地把 PICASSO 程序综合成象一般的 LISP 函数那样的 LISP 程序,而且 PICASSO程序本身也可以任意地调用 LISP 函数。     

高级程序设计语言中模块之间的信息交换技术

该文论述了计算机程序设计语言中的模块与模块之间的信息交换方法及技术。     

程序设计语言的现状、发展、标准化

主要目的是介绍性地探讨程序设计语言的发展趋势，通过分析计算机软硬件发展历史、现状及相应各个时期程序语言的特性，试图探讨程序设计未来的发展方向。     

《网络技术基础》网络课程建设中在线测试系统的设计与实现

《网络技术基础》网络课程在线测试系统的设计与实现,成功解决了网络教学过程中学生自主测验、及时检查学习效果以及教师及时地、有针对性地为学生提供辅导的难题。进一步提高网络课程的应用意义。文章主要讨论了在线测试系统的设计以及主要实现技术。     

程序设计语言的抽象与语言族模型

程序设计语言的模型对于研究语言的性质具有重要作用。基于语言的抽象这一概念,在建立的语言之代数模型下,给出了程序设计语言间的３种关系：继承、扩充、屏蔽的语义,并提出了在这3种关系下构成的语言族模型,作为研究语言间的关系和面向模型的变换型软件开发方法的一种理论基础。     

面向对象程序设计语言C++中多态性的实现方式

多态性是面向对象程序设计语言C＋＋的重要概念之一。本文详细讨论了在C＋＋中多态性的4种实现方式、各自的特征以及在程序设计中的应用，最后以过4种实现方式进行了比较。     

远程教育的学生评测系统的研究和设计

本文介绍了在远程教育中学生评测系统的研究和设计过程,系统实现了系统管理员对教师、学生的信息管理外,还将模糊理论应用到了自动组卷和对试卷的评判,具有一定的实用性。系统从组卷、答卷到评分全部由计算机完成,考试内容及考试成绩较少的受到人为因素的干扰,有效地提高了考试的公平性和科学性,使考试管理更加规范化和科学化。     

电子设备测试性设计及系统划分的研究

随着科学技术的发展,技术的复杂化和结构的集成化日益增加,检测与隔离故障越来越困难。主要体 现在系统测试性差,BIT不能满足使用要求和测试设备的效能差、数量多等。基于此,系统级测试性设计已 成为提高产品全寿命周期中最优性价比的重要手段,它既要求满足产品自身设计的兼容性,又要求满足其性 能恢复和保障的一致性。简要介绍了系统级测试性设计理论及在该理论中引入的基于模糊有向图理论的系 统划分,并加以总结和展望。