【摘 要】
:
本文根据国内外教育软件评价的经验与作者的体会,讨论了教育软件这种影响深远的应用软件评价中的一些重要问题:评价前的准备工作、评价队伍的组织、评价标准的拟定,并对教育软件评价中的一些问题提出了初步的设想和建议。
论文部分内容阅读
本文根据国内外教育软件评价的经验与作者的体会,讨论了教育软件这种影响深远的应用软件评价中的一些重要问题:评价前的准备工作、评价队伍的组织、评价标准的拟定,并对教育软件评价中的一些问题提出了初步的设想和建议。
其他文献
本文分析综述了AI 中的状态空间启发式搜索(简记SSHS)技术在PR 中的应用问题。首先概述了SSHS 技术并注重介绍了SSHS 技术应用的关键——启发量的估计方法。然后综述了SSHS 技术在统计PR、结构PR 及图象处理中的应用成果,进一步分析了可以应用SSHS 技术的PR 问题所具有的特点,认为SSHS 技术可以作为统计PR 和结构PR之间的桥梁,构成统一的模式识别技术的重要组成部分。
本文研究了分布系统多个结点的独立并发进程同时访问互斥区的多版本并发控制算法。每一个写进程对共享文件产生一个新版本,原来的版本则成为后备版本和过时版本。任何时候,每一个共享文件都可能有多个版本。算法保证并发读进程无冲突地并行访问互斥区,实现了读读并行,读写并行,提高了系统速度。多版本冗余技术提供了容错功能。
数据抽象方法已经成为软件系统设计和验证的极为有效的方法。近年来,抽象数据类型的形式说明得到了广泛的研究,本文在Hoare 说明抽象类型的公理方法的基础上,用Ada 的程序包定义了一个抽象数据类型的实例,并以此例讨论了抽象数据类型的正确性验证方法和步骤以及抽象类型的自动实现方法。
在立体造型系统中,旋转曲面是最常用的曲面。但到目前为止,还没有统一地处理旋转曲面求交问题的算法。本文在立体造型系统中引入了一类以有理B 样条曲线为母线的旋转自由曲面,介绍了它们的求交算法。算法使用离散和解析相结合的方法,同其他方法比较,具有速度快,内存少的特点。
本文介绍一个物资系统合同管理通用软件。该软件系统通过王安局部区域网和分布式数据管理技术,实现了《合同管理通用软件》与《库房管理通用软件》、《财务管理软件》、《调度管理软件》、《计划管理软件》之间的数据传送与交换功能。不仅为物资供应部门提供了辅助管理手段,而且通过微机网络达到了物资信息的传递、查询、汇总和硬件资源的共享。较好地达到了为物资供应部门领导及工作人员提供决策支持的目的。本软件在王安PC 机
本文给出了计算逻辑理论的拓广——联立递归定义原理和归纳原理。用这些原理可定义更为广泛的函数并证明其上的许多定理,文中给出了UNIFICATION 算法正确性证明中的许多实例,以说明这些原理的使用。
随着高等教育事业的飞速发展,应用微型计算机实现高校管理现代化已是迫切的任务.当它与上级部门进行计算机联网后,可以在更大范围内实现管理现代化.福州大学自动化教研室所研制的高教统计、科技档案、文书档案及会议档案等GZGL-1管理系统,是应用STRUCTURE ANALYSIC 结构分析方法和STRUC-TURE DESIGN 结构设计方法,在微机上开发的一所高校综合性中文管理系统.它使用C-DBASE
本文提出了异构机联网的一种方案,并详细论述了该方案的设计与实现过程。目前,校园K-NET 局网系统可以通过与DUAL68000连接的通信服务站向DUAL68000发送或从DUAL68000接收文件、电子邮件及共享系统资源。
本文介绍文献的实现要点与实验结果。结果表明,集统计方法和结构方法的优点于一体的混合分层的外形识别系统,实现了分类效果的逐级积累,有效地提高了识别系统的分类效果。
用户接口是应用系统设计中的一个重要环节。本文以家具辅助设计系统(FCAD)中用户接口的设计和实现作为例子,介绍一种数据驱动式用户接口的设计方法。该方法具有程序结构规整、通用性好、易于调试、便于扩充等优点。