多媒体计算机实践教学网络机房的维护技术

本文详细介绍了当前高校多媒体计算机实践教学网络机房常用的几种技术雏护手段,包括硬盘写保护技术、“克隆“技术、网络技术、注册表技术等并结合实际维护工作进行了比较分析.     

水力发电厂一次设备的检修与维护

水力发电厂的设备检修与维护管理科学化是现代企业组织生产和管理的重要手段.本文对水力发电厂一次设备的实施状态维修工作进行了探讨.     

数控机床的选型、维护要点

通过对数控机床的特点进行分析，笔者对数控机床的选型中存在的问题进行了深入的研究，并从思想认识、堆护人员培养，日常维护、操作规程几个方面提出了数控机床的维护要点。     

数控机床故障判断与维护

数控技术是用数字信心对机械运动和工作过程控制的技术。数控技术的应用不但给传统制造业带来了革命性的变化,更使制造业成为工业化的象征。     

浅谈高校计算机房的管理和维护

计算机在各高校已相当普及，为了满足教学及学生上机的需要，各类型的机房建设发展很快。科学有效地管理好高校机房不仅可以让现有设备发挥最大功效，延长机房设备的使用寿命，必须加强机房设备的维护和管理。     

管理和维护校调频广播台 提高学生的英语听力水平

通过对校调频台的使用，阐明了无线电调频台在辅助外语听力教学中发挥的作用，以及调频台在使用中的管理和维护，利用调频台辅助外语听力教学，进一步提高了学生的外语听力水平。     

用Disk Manager2000管理和维护大容量硬盘

详细介绍了利用 Disk Manager2000对新硬盘进行安装及安装中盘符交错的问题。安装后如何对硬盘进行维护、分区等。其中介绍了重新分区、正确定位光驱盘符、不同盘之间的文件拷贝,以及怎样创建 For Dos 的启动盘。同时介绍了硬盘检测工具 Run SmartedFender 使用方法。     

如何利用DYLOG报告来解决MCTSI恢复失败故障

介绍了利用DYLOG报告来解决MCTSI出现故障的方法，并对其故障类别进行了分类。     

真值维护系统的语义研究

本文研究了带有CP(Conditional Proof)验证式 TMS(Truth Maintenance System)理论的形式语义,证明了TMS理论J转换为新理论J*后,原指称的有效性;讨论了U. Junker和Kurt Konolige所定义的不带CP验证式 TMS理论的扩充在我们的语义模型中的有效性。此外,本文还讨论了CP验证式的一些性质,结论是:CP验证式和非单调可证明性、逻辑真有着密切的关系。