排序方式: 共有14条查询结果,搜索用时 15 毫秒
1.
Carroll Morgan的规则精化方法是一种典型的程序精化方法,是一种形式方法.本文用互逆主义逻辑对其进行了改造将其中的精化法则改造成为逻辑定理,以二层假言推理和小前提逆二层单准正向证明系统为推理规则,使得程序精化从形式化发展为半自动化. 相似文献
2.
3.
针对-10 μm粒级含量32.63%、比表面积2 980 cm2/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%。有机粘结剂部分取代膨润土成功解决了细粒磁铁精矿球团孔隙率低导致的爆裂温度低、氧化速度慢、还原性能差等问题。 相似文献
4.
周训伟 《重庆理工大学学报(自然科学版)》2009,23(8):50-53
提出了形状和鲁比克魔方一样的逻辑魔方,它建立在互逆主义逻辑的半集合定理主辅代数之上,用来描述各种单集合定理和半集合定理. 相似文献
5.
周训伟 《北京工业大学学报》1993,19(1):88-95
本文是立体矩阵论初步(Ⅰ)—体阵的加法、乘法、数乘、转置和么体阵的续篇,讨论单位体阵与体阵的逆,将平面矩阵的相应内容处理成其特殊情况。 相似文献
6.
周训伟 《北京工业大学学报》1990,16(4):87-90
对关于PROLOG的说明性语义和过程性语义之间的关系的观点提出商榷。认为这两种语义之间存在循环论证,它反映了数理逻辑的模型论和证明论之间的循环论证。 相似文献
7.
8.
周训伟 《重庆理工大学学报(自然科学版)》2009,23(3):30-32
对于任何蕴涵命题都有建立它的过程和建立之后运用它来推理的过程。经典逻辑的拥护者们认为实质蕴涵的定义使其也能建立实质蕴涵命题和建立之后用其进行推理。其实,实质蕴涵的定义只能用来建立实质蕴涵命题,若用其推理则违背了哲学与数学的基本原理;虽然它可用于建立实质蕴涵命题,但却会产生实质蕴涵怪论。作为对实质蕴涵的改进,提出了互逆真蕴涵概念。互逆真蕴涵的归纳复合真值表用于建立互逆真蕴涵命题,分解真值表用于推理。互逆真蕴涵的归纳复合真值表虽然与实质蕴涵的真值表相同,但却有不同的解读。 相似文献
9.
周训伟 《重庆理工大学学报(自然科学版)》2007,21(2):68-71
简述了哥德尔第一不完全性定理和哥德尔第二不完全性定理,通过论证证明哥德尔的两个不完全性定理的证明过程有误. 相似文献
10.
本文系统研究铬铁矿球团的焙烧固结特性.结果表明:预热时间对于预热球强度影响不大,在预热时间为10 min时,随着预热温度的提高,预热球强度和氧化率呈直线型增加,适宜温度为1050℃,此时预热球强度可达每个400 N以上;与传统铁矿球团相比,铬铁矿球团焙烧所需的温度高,焙烧时间为10 min时,焙烧温度从1250℃提高到1350℃,球团强度从每个1078 N提高到1973 N.在铬铁矿球团预热和焙烧过程中,铬尖晶石(Fe,Mg)(Cr,Fe,Al)2O4氧化生成富镁的(Fe,Mg)(Cr,Fe,Al)2O4和铬铁铝复合氧化物(Cr,Fe,Al)2O3,当温度高于1000℃时,(Cr,Fe,Al)2O3新相生成,其主要以环状分布在颗粒外层,颗粒内部为针状与(Fe,Mg)(Cr,Fe,Al)2O4形成交织结构,降低Cr/Fe比或升高焙烧温度均有助于(Cr,Fe,Al)2O3向颗粒外层富集和再结晶长大,有利于球团的固结,提高球团强度. 相似文献