评《制约逻辑》中的几个形式系统

《制约逻辑》(林邦瑾著,贵州人民出版社1985版)的主要内容可以看作两个部分:一是批评古典的数理逻辑和传统逻辑——“传统逻辑是模糊的正确,数理逻辑是清晰的错误”;二是讲述作者自称为“清晰的正确”的制约逻辑系统——命题演算Cm,“名词演算”Cn,带等词的“名词演算”Cnd以及“形式数论系统”N。《制约逻辑》对传统逻辑的批评是否有道理,当由传统逻辑工作者去评说,我们不拟代庖。《制约逻辑》对数理逻辑的批评贯穿全书,语     

纳米结构的过渡金属氮化物复合物储能材料

日益凸显的能源安全与气候变化问题引发了人们对可再生能源的不懈追求,从而带来储能电池的革命性发展.高性能储能电池应该具有高能量密度、高功率密度、高安全性能、长使用寿命等诸多特征,这就要求人们研究开发新型电极材料.近年来,纳米材料以其独特的表面效应、小尺寸效应以及量子尺寸效应从而产生强大电荷储存能力引起人们的广泛关注.本文综述了近年来本课题组在过渡金属氮化物纳米复合材料用于储能领域的研究进展,基于电子和离子混合传输理念和有利的电荷跃迁界面,阐述了其在高性能锂离子电池和超级电容器等方面的应用.     

20CrMo连铸坯高温力学性能和热物理性能分析

采用Greeble-1500D热模拟机和STA449综合热分析仪研究20CrMo钢连铸坯的高温延塑性和部分热物性能,获得可靠的基础数据;找出了该钢种的最佳塑性区温度范围,在600—775℃范围内,断面收缩率仅为30％,而在800—1250℃范围内断面收缩率均为80％以上。在1350℃至熔点塑性又迅速下降到60％以下;首次绘制了该钢种的热容随温度变化的关系曲线,分段回归出了比热cp随温度变化的计算公式;绘制出热膨胀系数随温度变化的关系曲线;并对研究结果在连铸生产中的应用进行了分析讨论．     

块体非晶合金中变形引起的结构演化

块体非晶合金虽然具有优越的综合机械性能,然而室温塑形的缺失极大地限制了它的工程应用前景.为此科学家们关注于非晶合金的变形机制以求在理解其变形机制的基础上,探索提高块体非晶合金塑形的方法.块     

冷却速度对Waspaloy合金凝固过程中偏析和液体密度的影响

通过不同冷速下的重熔凝固实验,利用扫描电镜和能谱仪系统研究了冷速变化对Waspaloy合金凝固过程偏析行为和液体密度的影响.结果表明:随着冷速的增大,Waspaloy合金中元素的偏析会减小,凝固过程中偏析最严重的是富集于枝晶间的正偏析元素Ti;元素偏析导致剩余液体的密度发生变化,而且液体密度基本上呈现反转趋势,当凝固温度到1300℃时,出现最大的密度反转.     

Waspaloy合金碳化物和γ′相析出规律的热力学计算

利用热力学计算软件Thermo-Calc对Waspaloy合金中可能析出的平衡相以及元素含量变化对其影响进行了计算分析. 结果表明:碳含量的增加可以明显地提高碳化物的析出量,但对碳化物的析出温度的影响较小;γ′的析出量和析出温度均随Al、Ti含量的增加而增加,Al的影响尤为明显;Ti是MC的主要形成元素,Ti含量的增加可以提高MC的析出量,但对其析出温度无太大影响;M23C6的析出量不受Cr含量的影响,而析出温度却随着Cr含量的增加而提高.     

钾离子电极电位滴定法测定钾肥中的钾含量

本文对石膏转化法生产的粗产品硫酸钾滤饼体系，应用电位滴定，测定了滤饼中硫酸钾含量，并建立二阶微商法计算终点体积和终点电位的数学公式和编写相应的ＦＯＲＴＲＡＮ程序求解。实验结果与四苯硼钠重量法作了对比，平均相对误差－１．８５％，方法精密度为＋１．２６％，钾回收率为９９～１０２％．该法与四苯硼钠重量法相比，具有快速、简便、准确等优点。     

ZYS—2阻燃不饱和聚酯树脂的研究

本文论述了ＺＹＳ—２阻燃不饱和聚酯树脂的研制，该树脂采用溴素阻燃剂，并利用阻燃剂之间的协同作用，减少了阻燃剂添加量，并且提高了阻燃效果和阻燃材料的物理机械性能．     

汉字动画光芒的制作

本文介绍了利用３ＤＳ的Ｂｅｖｅｌ功能制作汉字动画,并为汉字加光芒的方法,该方法易于操作,可以为片头广告制作汉字动画．