ZF系统理论的分析与探讨——由理发师悖论所想到的

伯特纳德·罗素的理发师悖论动摇了数学基础。本文通过分析悖论产生的原因 ,由策梅罗集合论给出了解决悖论的方法 ,在此基础上推出了稳定可靠的数学基础———ZF系统理论。

连续统假设与ZFC公理系统

连续统假设是Hilbert著名的 2 3个问题的第一个问题。本文深入浅出地阐述了这一问题的研究历史和现状 ,同时简要介绍了与之有关的ZF公理系统、选择公理等问题 。

浅析ZFS文件系统及应用

本文主要介绍分析了ZFS文件系统的十大功能特性,预期在不久的将来ZFS文件系统必将得到广泛的应用。

ZF 底盘系统的全球战略

ZF伦福德(Lemforder)公司是ZF集团中在全球范围内负责底盘技术的公司,集团获得的巨大成功很大一部分要归功于ZF伦福德(Lemforder)公司.该公司的全球生产基地向在美国、南非、中国、泰国、奥地利等国生产的1 2种不同车型供应大量零部件及系统.

一种Linux环境下优化ZFS同步写性能的方法

为了提高Linux环境下的ZFS文件系统的同步写性能，在研究分析现有Linux环境下实现的ZFS文件系统的块设备同步写性能较低，同步写负载较重时系统吞吐量明显下降的原因的基础上，提出了一种Linux环境下的ZFS同步写优化方法。该方法通过同步写合并提交策略减少日志提交所产生的I／O请求数；使用同步写全局负载均衡机制实现各盘之间同步写的负载均衡来提高同步写的吞吐量。实验结果表明：相比原来在Linux上实现的ZFS，该优化方法提高同步写性能23．9％-88．14％。

通过FreeNAS构建免费网络文件存储系统

本文通过实例介绍轻量级开源的NAS系统FreeNAS的安装、调试,建立了一个简单的企业网络文件存储系统,实现基本的网络文件存储、共享功能。

逻辑数学悖论及其解决

逻辑——数学悖论是指仅借助于逻辑和数学的符号而得以构造的悖论。从历史发展看,其主要是指布拉里——福蒂(Burali-Forti)悖论,康托悖论和罗素悖论,它们分别是在1897、1899及1902年提出的。逻辑——数学悖论的出现,明确地表明素朴集合论中包含有逻辑矛盾。解决逻辑——数学悖论,必须对康托的素朴集合论加以限制,特别是必须抛弃前面所提到的概括原则。按策梅罗的研究成果,只须对公理适当地加以选择,就可做到既能使新建立的集合论能成为数学的基础,同时又能确保新的理论不会导致悖论。

一类新的集合及其应用

本文在集合论ZF公理系统基础上引入了一条新公理,即负集存在公理。并应用这一公理定义了集合之间的加法和减法,给整数下了定义。

ZF12B烟支储存输送系统水平输送装置的设计

为解决ZF12B烟支储存输送系统生产中存在烟支歪斜、皱纹烟支等问题,设计了一种水平输送装置,利用水平输送方式取代烟支输送转角提升过程;增设一个开放式烟库取代原落料头结构,可直接将烟支水平输送到烟库中,减少烟支流内部压力;重新设计输送带速度控制算法,保证输送过程中烟支料位稳定。以襄阳卷烟厂使用的2组ZF12B设备为对象进行测试,结果表明:改进后烟支歪斜次数和皱纹烟支数量降幅分别达到86.7%和84.5%,包装机组故障停机次数降幅达到59.5%,有效提高了ZF12B设备的运行效率和生产质量。该方法可为提高卷烟包装质量和设备运行效率提供支持。

浅议自动加焦机与ZF—4系统对炉况的综合控制

介绍了ZF－4系统与自动加焦在造气炉上的工艺与操作，着重介绍了调节炉况的一些依据及不正常情况的判断与处理，消耗的探索。

《集合论与逻辑代数初步》复习要求

本门课程包括两部分内容:集合论、逻辑代数。复习应以六十讲的内容为依据,抓住基本概念,基本原则和基本方法。下面就这两部分的内容,谈谈复习要求。集合论集合论的重点是:外延原则;推理的基本方法;集合的基本运算;关系的性质及集合的势。一、ZF公理系统1.正确理解和熟练掌握外延公理,能应用外延公理证明两集合相等。