细粒磁铁精矿球团孔隙结构的优化研究

针对-10 μm粒级含量32.63%、比表面积2 980 cm²/g的细粒磁铁精矿,通过有机粘结剂取代部分膨润土优化细粒磁铁精矿球团的孔隙结构,从而改善了生球及成品球质量。相比单独添加1.75%的膨润土球团,配加0.05%的有机粘结剂使膨润土用量降低至0.8%,由于有机粘结剂使小颗粒团聚成较大的颗粒,使得生球的孔隙率从16.68%提高到23.15%,球团爆裂温度从370 ℃提高到500 ℃;且预热过程球团的氧化率从67.48%提高到79.08%,球团均匀氧化避免了球团焙烧时形成双层结构;同时焙烧球孔隙率从12.33%提高到16.83%,使得球团还原度从56.8%提高到69.7%。有机粘结剂部分取代膨润土成功解决了细粒磁铁精矿球团孔隙率低导致的爆裂温度低、氧化速度慢、还原性能差等问题。     

互逆主义程序精化——程序精化从形式化到半自动化的发展

Carroll Morgan的规则精化方法是一种典型的程序精化方法,是一种形式方法.本文用互逆主义逻辑对其进行了改造将其中的精化法则改造成为逻辑定理,以二层假言推理和小前提逆二层单准正向证明系统为推理规则,使得程序精化从形式化发展为半自动化.     

逻辑魔方

提出了形状和鲁比克魔方一样的逻辑魔方,它建立在互逆主义逻辑的半集合定理主辅代数之上,用来描述各种单集合定理和半集合定理.     

PROLOG的说明性语义和过程性语义之间的循环论证

对关于PROLOG的说明性语义和过程性语义之间的关系的观点提出商榷。认为这两种语义之间存在循环论证,它反映了数理逻辑的模型论和证明论之间的循环论证。     

立体矩阵论初步(Ⅱ)——单位体阵与体阵的逆

本文是立体矩阵论初步(Ⅰ)—体阵的加法、乘法、数乘、转置和么体阵的续篇,讨论单位体阵与体阵的逆,将平面矩阵的相应内容处理成其特殊情况。     

实质蕴涵与互逆真蕴涵

对于任何蕴涵命题都有建立它的过程和建立之后运用它来推理的过程。经典逻辑的拥护者们认为实质蕴涵的定义使其也能建立实质蕴涵命题和建立之后用其进行推理。其实,实质蕴涵的定义只能用来建立实质蕴涵命题,若用其推理则违背了哲学与数学的基本原理;虽然它可用于建立实质蕴涵命题,但却会产生实质蕴涵怪论。作为对实质蕴涵的改进,提出了互逆真蕴涵概念。互逆真蕴涵的归纳复合真值表用于建立互逆真蕴涵命题,分解真值表用于推理。互逆真蕴涵的归纳复合真值表虽然与实质蕴涵的真值表相同,但却有不同的解读。     

哥德尔不完全性定理的证明过程有误

简述了哥德尔第一不完全性定理和哥德尔第二不完全性定理,通过论证证明哥德尔的两个不完全性定理的证明过程有误.     

哥德尔不完全性定理的证明过程有误

简述了哥德尔第一不完全性定理和哥德尔第二不完全性定理，通过论证证明哥德尔的两个不完全性定理的证明过程有误。