一种适用于并行文件系统的高可用机制

针对并行文件系统文件数据分布存储的特性所带来的系统可靠性和可用性降低的问题,提出了一种提高并行文件系统可靠性与可用性的机制.该机制采用数据镜像技术,应用逻辑镜像环来指定存储节点间的镜像关系,使得一个存储节点既存储自身的数据,也作为其他节点的数据备份节点.该机制还可以通过调整镜像深度,以满足用户对文件系统不同级别的可靠性和可用性要求.同时,建立了马尔可夫链模型,以评估所提机制的可靠性和可用性.数学求解表明,在镜像深度为2时,应用该机制的并行文件系统发生数据丢失的平均时间大大提高,约为原系统的32倍.     

论奎因对模态逻辑的批判

模态逻辑一经产生，就遭到奎因的质疑。奎因认为，模态概念无论在逻辑上还是在哲学上其正确性都值得怀疑。他甚至认为模态逻辑是多余的，应予以抛弃。通过对奎因批判模态逻辑的背景和理论进行分析，章认为奎因对模态逻辑的批评在观念上和论证上都存在缺陷，因此奎因的批判是不能成立的。     

高校学生耐力跑教学方案的研究

耐力跑是高校学生身体素质达标的项目，也是学生体育成绩考核的重要内容之一．但是近几年来学生的耐力素质却呈下降趋势．本文运用综合分析的方法，对大学生耐力跑教学方案进行研究，以寻求更加科学合理的教学途径。     

Pro/E中三维零件库几何编程接口的研究

目前,许多商品化的CAD系统中均配有零部件库(partslibrary)以提高产品的设计效率.但零部件库的数据格式绝大部分都不完全符合标准,从而在一定程度上阻碍了不同CAD系统之间零件库的数据交换和共享.介绍了符合零件库标准第31部分的几何图形程序如何通过几何编程接口在目标CAD系统里转换成相应的三维模型,从而使零件库具有开放性,实现了信息共享.     

井身结构设计必封点综合确定方法研究

在对库车地区深井超深井井下复杂情况分析的基础上，综合考虑地层岩性和地层压力等影响因素，根据已有资料，用随机理论方法确定发生井下复杂情况的概率密度函数，得出井下复杂情况发生的位置及可能性，提出新的井身结构必封点确定方法。应用实例表明，用随机理论方法确定井下复杂情况是可行和有效的，井身结构设计中必封点的确定原则并不惟一，设计者应根据经验和实际情况加以取舍。     

通用串行总线在测井模拟信号采集中的应用

设计了一种基于通用串行总线（USB）的用于采集测井模拟信号的数据采集系统。介绍了该总线的特点及其优越性，对用该总线实现模拟信号采集的整个组成部分做了详细的说明。该系统设计包括硬件设计、单片机固件设计以及设备驱动程序设计和用户应用程序设计。对USB驱动程序栈和应用程序中打开USB设备的方法给予了简要分析。测试结果表明，该系统实测精度超过13位二进制，其控制逻辑灵活，便于升级扩展。     

可编程控制器实验台的设计

介绍了一种以计算机技术为基础的可通过编程来进行过程控制或使机器运行的新型工业控制装置，主要从设计方案、主要功能、程序运行等方面论述了可编程控制器实验台的设计。     

Windows下的接口技术

Windows操作系统是当前应用最为广泛的操作系统，大部分应用系统都是基于Windows的，当应用系统中涉及到硬件操作时对接口技术的研究就显得尤为重要。从应用程序与驱动程序的接口、驱动程序与硬件的接口两个方面介绍了Windows下的接口技术的应用。     

英汉翻译中的逻辑思维探析

不同民族的逻辑思维既有共性，也有个性，正是这种个性差异导致了英汉语言表达的差异。因而在翻译过程中，正确的逻辑分析是正确翻译的前提，而且要运用语言环境、已知前提、衔接手段和引申等常用的逻辑思维方式进行逻辑上的判断和推理。     

浅析C语言指针的灵活运用及常见错误

针对学生在学习指针过程中遇到的困难及使用指针过程中出现的常见错误,讨论指针的概念、指针与数组的关系、指针与函数的关系、指针作为函数参数的实质,帮助学生克服困难和错误。