西拉斯炉乙烷和轻油共裂解技术的探讨

<正> 一、前言西拉斯炉裂解炉型是美国Selase公司在1952年开发的一种裂解炉,是世界上较早的管式裂解炉,美国的Stone-Webster公司大多采用这种裂解炉型。后来这种裂解炉型几经发展和改进,成为现在竖管、双面辐射式各种类型的西拉斯炉装置。兰化公司合成橡胶厂的西拉斯炉装置于1981年投产,炉子结构如图1所示。     

充分条件关系及其两个特异性

充分条件关系的定义历来是逻辑学关注的焦点,传统形式逻辑的界说是"朦胧的正确",而正统数理逻辑的规定实为"清晰的荒谬"."事件A是B的充分条件"的逻辑含义是"可独于A、B的有无确定(这称为"第一独立性")不会是有A而无B".这便是非纯真值函数的复合事件--充分条件事件"若A则B".其间的"前件A为有可独立于后件B的有无确定"称为"第二独立性".包含在充分条件关系中的逻辑性质两个独立性是人类能以有限把握无限、从已知进入新知的逻辑依据,是逻辑科学这座大厦两块坚实的基石.     

所谓“逻辑量词”

数理逻辑一阶谓词演算中,作为一种逻辑词采用的量词,不是传统逻辑中的量词,更不是语言中的量词。F中的全称量词任意x的语义为“对于论域中的每一个个体”,存在量词 x的语义为“论域中至少有一个个体”。人类在求取关于不可逐一列举（有限的或无限的）个体域的作为一般性原理的真知的过程中,事实上从来也不曾在逻辑上使用过这样的量词。这样的量词对人类提出要去逐一确定不可逐一列举的个体域的每一个个体具有什么性质。这样的指令,人类是无法执行的。这样的对外延的无限要求是超乎人类的有限能力和生命的。难怪,A．Church证明了关于,的不可判定定理。