Kim B.Bruce于1978年提出了三价逻辑L(Q)的逻辑公理系统。H.J.Keisler在1971年发表了无穷逻辑中的模型论一书,提出了无穷逻辑的公理系统,文中结合上述两种逻辑系统的思想,应用了无穷逻辑中的模型论一书中介绍的和谐性质的方法,建立了无穷逻辑中的二阶语言Lw1w(Q)的公理系统及模型理论。这部分主要是对Lw1w(Q)中的省略型定理及素模型定理的证明

根据文献[2]、[4]的思想,作者利用Bellman动态规划原理和Lya-Punov函数解决了一般随机系统的随机稳定化问题,并以此建立了一类线性随机系统的最优随机指数稳定性的判定定理

一.(本题共40分)给定有理数域上的多项式f(x)=x4+3x2+3 1.(本题5分)证明f(x)为中的不可约多项式 2.(本题5分)设a是f(x)在复数域C内的一个根.定义 Qa]= {ao +aa+a2a2}

本文从热力学原理出发,推导出:二元系中化合物的标准生成自由能符合拟抛物线规则;推广到三元系中则应符合抛物面规则;并且利用上述规则判定含稀土体系中化合物的稳定性

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

应用固体电解质定氧探头测定了碱性复杂炉渣的FexO活度,并对结果进行了误差分析。炉渣中的FexO活度对拉乌尔定律呈正偏差,且偏差的程度随CaF2、FexO含量及碱度的增加而减小,随P2O5含量的增加而增大。当炉渣的碱度大于2.1时,FexO活度随温度的上升而减小。根据实验结果,绘制了1450℃时FexO-(SiO2+P2O5+Al2O3)-(CaO+MgO+MnO+CaF2)准三元系的等FexO活度图

研究了液态FexO渣及碱性复杂炉渣中FexO对定氧探头的作用。纯FexO渣对探头的ZrO2(MgO)管有强烈的侵蚀,且随温度的上升而加剧;碱性复杂炉渣对ZrO2(MgO)管的侵蚀较轻微,当侵蚀达到一定程度时会使探头损坏。在碱性复杂炉渣中CaF2的作用下,渣液与ZrO2(MgO)管反应,在其表面生成锆酸钙,使电池电动势达到平衡的时间后延,甚至使测定失败。因此,它不宜用于测定高CaF2含量的碱性炉渣

线性定常系统的状态空间可按能控性、能观测性进行分解。针对现有文献给出的典范分解形式不尽相同,本文整理推导出4种分解方法,这些方法能给出统一的典范分解式,举例说明它们具体实施分解的步骤,并对若干问题作出简短的评注

北京大学：《高等代数》课程教学资源（讲义）第十二章 张量积与外代数 12.1 多重线性映射 12.2 线性空间的张量积 12.2.1 域 K 上的二线性空间的张量积的定义（归纳地有多个张量积的定义）

本文把Marcinkiewiez的插值定理推广从Lp(Lq)空间到LP空间的算子,利用它把Hardy-Littlewood极大定理推广到Lp(Lq)空间