【摘 要】
：
随着高等教育事业的飞速发展,应用微型计算机实现高校管理现代化已是迫切的任务.当它与上级部门进行计算机联网后,可以在更大范围内实现管理现代化.福州大学自动化教研室所研制的高教统计、科技档案、文书档案及会议档案等GZGL-1管理系统,是应用STRUCTURE ANALYSIC 结构分析方法和STRUC-TURE DESIGN 结构设计方法,在微机上开发的一所高校综合性中文管理系统.它使用C-DBASE
论文部分内容阅读
随着高等教育事业的飞速发展,应用微型计算机实现高校管理现代化已是迫切的任务.当它与上级部门进行计算机联网后,可以在更大范围内实现管理现代化.福州大学自动化教研室所研制的高教统计、科技档案、文书档案及会议档案等GZGL-1管理系统,是应用STRUCTURE ANALYSIC 结构分析方法和STRUC-TURE DESIGN 结构设计方法,在微机上开发的一所高校综合性中文管理系统.它使用C-DBASEⅡ编程,由六个功能模块、五十个处理模块及近百个程序组成.(参见系统框图)
其他文献
故障现象:一台IBM—PC/XT机,利用硬盘不能自举,但利用软盘启动机器后,关于硬盘的操作可以进行。不过,在读写时,常常出现:
本文在前人研究的基础上对面积量算误差理论进行了拓新和深化提出了新的允许误差公式。最后,提出了一种建立区域土地利用现状调查的数据库系统的方案。
一、引言通常,地球物理方法用来探测由于矿藏引起的围岩物性的明显变化。由于金的储存量通常较小,它的存在不影响周围岩体的物性,因此,在对这种金属的直接探测中地球物理方法不能被广泛地应用。不过,这种技术一直用来圈定有利于金矿成矿的伴生蚀变地带及其构造特征。一般来说,地球物理测井技术的应用应该考虑到不同岩石类型在测井特性上的急剧变化,还应考虑根据金矿存在的可能性对这些地区划分成若干带并进行描述。测井技术的
本文收集了苏联境内数千公里三分向地震台测得的深地震测深剖面。结果表明,通常在井中或在水池中放炮不仅产生P波,而且也产生S波。产生这些波的最有利条件是在震源附近存在尖锐的地震界面,例如基底界面。一般说来,S波场中包括在P波场中见到的所有类型的反射波和折射波。其差别在于剪切波的频率较低,强度稍高,振幅变化较大。记录到S波时,可根据速度比V_P/V_S=γ随深度及横向变化关系获得重要信息,揭示出影响速度
本文分析综述了AI 中的状态空间启发式搜索(简记SSHS)技术在PR 中的应用问题。首先概述了SSHS 技术并注重介绍了SSHS 技术应用的关键——启发量的估计方法。然后综述了SSHS 技术在统计PR、结构PR 及图象处理中的应用成果,进一步分析了可以应用SSHS 技术的PR 问题所具有的特点,认为SSHS 技术可以作为统计PR 和结构PR之间的桥梁,构成统一的模式识别技术的重要组成部分。
本文研究了分布系统多个结点的独立并发进程同时访问互斥区的多版本并发控制算法。每一个写进程对共享文件产生一个新版本,原来的版本则成为后备版本和过时版本。任何时候,每一个共享文件都可能有多个版本。算法保证并发读进程无冲突地并行访问互斥区,实现了读读并行,读写并行,提高了系统速度。多版本冗余技术提供了容错功能。
数据抽象方法已经成为软件系统设计和验证的极为有效的方法。近年来,抽象数据类型的形式说明得到了广泛的研究,本文在Hoare 说明抽象类型的公理方法的基础上,用Ada 的程序包定义了一个抽象数据类型的实例,并以此例讨论了抽象数据类型的正确性验证方法和步骤以及抽象类型的自动实现方法。
在立体造型系统中,旋转曲面是最常用的曲面。但到目前为止,还没有统一地处理旋转曲面求交问题的算法。本文在立体造型系统中引入了一类以有理B 样条曲线为母线的旋转自由曲面,介绍了它们的求交算法。算法使用离散和解析相结合的方法,同其他方法比较,具有速度快,内存少的特点。
本文介绍一个物资系统合同管理通用软件。该软件系统通过王安局部区域网和分布式数据管理技术,实现了《合同管理通用软件》与《库房管理通用软件》、《财务管理软件》、《调度管理软件》、《计划管理软件》之间的数据传送与交换功能。不仅为物资供应部门提供了辅助管理手段,而且通过微机网络达到了物资信息的传递、查询、汇总和硬件资源的共享。较好地达到了为物资供应部门领导及工作人员提供决策支持的目的。本软件在王安PC 机
本文给出了计算逻辑理论的拓广——联立递归定义原理和归纳原理。用这些原理可定义更为广泛的函数并证明其上的许多定理,文中给出了UNIFICATION 算法正确性证明中的许多实例,以说明这些原理的使用。