立体矩阵论初步(Ⅰ)——体阵的加法、乘法、数乘、转置和么体阵

提出了立体矩阵理论,包括立体矩阵的加法、乘法、数乘、转置和么阵等基本内容,将平面矩阵理论中相应内容处理成其特殊情况。     

铬铁矿球团焙烧固结特性

本文系统研究铬铁矿球团的焙烧固结特性.结果表明:预热时间对于预热球强度影响不大,在预热时间为10 min时,随着预热温度的提高,预热球强度和氧化率呈直线型增加,适宜温度为1050℃,此时预热球强度可达每个400 N以上;与传统铁矿球团相比,铬铁矿球团焙烧所需的温度高,焙烧时间为10 min时,焙烧温度从1250℃提高到1350℃,球团强度从每个1078 N提高到1973 N.在铬铁矿球团预热和焙烧过程中,铬尖晶石(Fe,Mg)(Cr,Fe,Al)₂O₄氧化生成富镁的(Fe,Mg)(Cr,Fe,Al)₂O₄和铬铁铝复合氧化物(Cr,Fe,Al)₂O₃,当温度高于1000℃时,(Cr,Fe,Al)₂O₃新相生成,其主要以环状分布在颗粒外层,颗粒内部为针状与(Fe,Mg)(Cr,Fe,Al)₂O₄形成交织结构,降低Cr/Fe比或升高焙烧温度均有助于(Cr,Fe,Al)₂O₃向颗粒外层富集和再结晶长大,有利于球团的固结,提高球团强度.     

基于互逆主义逻辑的二层本体

与经典逻辑相比,互逆主义逻辑取消了量词,较好的解决了表达力和可解性的矛盾,能够简洁的实现逻辑定理的推理.互逆主义逻辑将命题进行了分类,逻辑定理的表示和语义检索是从元知识的层面进行的,相时于目前本体的应用提高了一个层次.原来的本体应用称之为一层本体,基于互逆主义逻辑的本体称之为二层本体.二层本体的最大优点是能够实现逻辑定理的表示与查询,扩展了目前本体的功能.本文论述了二层本体的原理与实现.     

互逆主义集合论排除了逻辑-数学悖论

互逆主义集合论用将元素与集合分为3层的方法排除了罗素悖论,这种方法比类型论简洁。互逆主义认为罗素悖论、布拉里-弗蒂悖论、康脱尔悖论中的全集是无意义的集合,而互逆主义只研究有意义的集合,这种排除悖论的方法与ZFC认为大全集不存在的方法不同。