合舍系统及其定理的能行证明

以合舍作为唯一初始联结词,在括号表示法中,只需要使用一对左右括号“「」”就可以无歧义地表达所有的逻辑函数,并进而建立包括括号“「」”的引入规则和消去规则在内的自然推演系统NPD1,可以证明该系统与通常的命题逻辑推理系统相等价。通过定义可以给出常见的其他联结词并证明相关定理。受亚里士多德化归思想的启发,构建了系统NPD1的7组化归规则,并给出化归程序;依据此程序,可以将系统内的任一定理能行地化归为一个形如<A(A)>的公式。

论二元联结词“析舍”“合舍”的自然语言表达

二元联结词“析舍”“合舍”所对应的自然语言表达过长,没有进化出类似于“非”“或”“且”“若,则”“等值于”等联结词的简明表达。从卡尼曼的两个系统和人类认知的五层级理论出发,探寻为何自然语言中没有进化出与“析舍”“合舍”对应的联结词。

铝、钛、钒和铌对中碳钢奥氏体晶粒度的影响

对6炉微合金化高氮L45钢进行了长时间(1800s)加热时和快速(50℃/s)短时间(5s)加热时奥氏体晶粒长大试验。测定了奥氏体晶粒平均截线长度。在萃取复型透射电镜照片上利用图象分析仪测定了1、3和6钢样中微细析出相的尺寸分布。利用透射电镜能谱仪分析了微细析出相的化学成分。还探讨了铝及微合金化元素钛、钒和铌与加热温度对高氮中碳钢奥氏体晶粒度的影响机制。

γNaF·AlF_3-Al_2O_3-Ceo_2系熔体中CeO_2的活度

利用ZrO_2(+MgO)固体电解质组成氧桥式浓差电池并测得了在不同温度与熔体组成的电池的电动势。由电动势数据进一步求出了熔体中CeO_2活度与各种因素关系的回归方程。讨论了各因素对CeO_2活度的影响。指出CeO_2活度随熔体中CeO_2和Al_2O_3含量的增加而加大,随温度升高略有减小,冰晶石比对它的影响不大。为考查各因素的交互作用,绘制了CeO_2活度的等值图。