Bruce于1978年提出二阶逻辑L(Q)的概念和公理系统。Keisler提出了无穷逻辑的公理系统。本文结合上述两种逻辑系统的思想,应用和谐性质的方法,建立了无穷逻辑中的二阶语言Lw1w(Q)的公理系统及模型理论。此文证明了主要是对Lw1w(Q)中的模型存在定理及推演完全性定理

利用炉渣结构的共存理论处理FeO-MnO-MgO-SiO2熔渣和铁液间锰的平衡问题后,证明$K{'_{{\\rm{Mn}}}} = \\frac{{{N_{{\\rm{MnO}}}}}}{{{N_{{\\rm{FeO}}}}[\\% Mn]}}$不因炉渣碱度而改变,是相当守常的。从该规律出发计算得出的[%Mn]计与实测的[%Mn]实是符合的,从而证明所推导的计算模型可以反映上述四元渣系的实际情况

根据炉渣结构的共存理论,Na2O-SiO2相图和有关的热力学数据,推导了本渣系的作用浓度计算模型。利用此模型计算得的NNa2O和NSiO2与实测的~aNa2O和文献上的~aSiO2符合甚好。由此证明炉渣结构的共存理论对本渣系也是适用的

针对自由晶粒阻塞流头的流头阻塞机制,推导出晶粒大小与合金流动性关系的数学模型。将适用于匀晶系及共晶系成份位于相图C0 ≤ k0CE-角的合金成份与晶粒大小的关系式H代入此模型,得到了合金成份、结晶间隔与流动性的定性关系式。利用前人对共晶系合金所做的实验数据验证表明,这些模型适用于共晶系合金

本文分析了冷连轧机张力厚控系统,表明该系统是时变动态系统,从而确定使用最小方差自校正调节器应用于该系统。对实际系统进行了辨识模型并在此基础上进行了仿真研究。结果表明了自校正调节器控制效果优于PID调节器,而渐消记忆的递推最小二乘法是一种较好的在线辨识算法。将自校正调节器应用于实际张力厚控系统,使得带铜厚差得到明显改善

采用定向凝固方法,并借助金相显微镜和扫描电镜等手段,研究了铈含量的变化对铸铁中各形态石墨间相互转变的影响。发现:在控制界面推进速度不变的条件下,随铈含量的增加,可从片状石墨依次向过冷石墨、蠕墨、枝晶间石墨、球缺状石墨连续转变,这种转变是逐渐进行的。与文献﹝1﹞的结论相结合,可以得出:球墨、蠕墨、片墨之间的转变是可逆的。此外,还发现在铈含量高的情况下,石墨与奥氏体仍可进行密合共晶生长

本文在前述近似公式的基础上,进一步推导了其精确表达式,并利用新公式计算了In-Sb二元系的活度,与实验值吻合很好,证实了公式的可靠性

在分析放矿过程中矿岩移动规律的基础上,提出了流动体和固结体概念。建立了矿岩块体力学模型和相应的动力学方程,应用变分原理推导出块体运动轨迹和确定流动体形状,从理论上探讨放矿动力学过程取得了新的进展

本文根据热力学原理推导出高分散度金属的熔化热与其粒度的关系式,并从一系列金属的有关热力学量数值计算证明:高分散度金属粉末的熔化热小于其非分散状态的熔化热

根据炉渣结构的共存理论用回归分析法确定了MnSiO3和Mn2SiO4是存在于MnOSiO2渣系中且参加其内部化学反应的组元。由此得出本渣系的结构单元为Mn2+,O2-简单离子和SiO2,Mn2SiO3,Mn2SiO4分子,进而推导出本渣系各组元作用浓度的计算模型。在1600℃下计算的NMnO与实测aMnO一致;但在高MnO含量和低温度下两者间表现出差别,这是由于MnO-SiO2渣系中出现两相共存的现象,使系统远离平衡所致