采用直接差分方法对球墨铸铁轧辊凝固过程中不同时刻的温度场进行计算机模拟。在此基础上对不同时刻的体积变化也进行了模拟。利用计算机模拟可以定量地、准确地揭示出球铁轧辊凝固过程中体积变化的动态过程,为球铁轧辊无冒口铸造工艺提供了科学根据。试验表明,在计算机帮助下,采用无冒口铸造能可靠地生产出无缩孔、无缩松的致密球墨铸铁轧辊

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

1、原子严格地周期性排列,晶体具有完整的晶格结构。 2、晶体中无杂质,无缺陷。 3、电子在周期场中作共有化运动,形成允带和禁带—电 子能量只能处在允带中的能级上,禁带中无能级。由本征激发提供载流子一本征半导体——晶体具有完整的(完美的)晶格结构,无任何杂质和缺陷

[实验目的] 1、掌握无菌技术操作原则,培养无菌观念。 2、学会常用无菌技术的操作方法

Windows图形设备接口(GDD)是为与设备无关的图形设计的。所谓设备的无关性,就是操作系统屏蔽了硬件设 备的差异,因而设备无关性能使用户编程时无需考虑特殊的硬件设置

Windows图形设备接口(GDD)是为与设备无关的图形设计的。所谓设备的无关性,就是操作系统屏蔽了硬件设 备的差异,因而设备无关性能使用户编程时无需考虑特殊的硬件设置

4.3向量组的秩与最大无关组 1.向量组的秩:设向量组为T,若 (1)在T中有r个向量a1,a2,…,a,线性无关; (2)在T中有r+1个向量线性相关(如果有r+1个向量的话) 称a1,a2,…,a,为向量组为T的一个最大线性无关组, 称r为向量组T的秩,记作:秩(T)=r

本文从电机的基本矩阵方程入手,用座标变换方法推得了无换向器电动机的数学模型及其简化传递函数,讨论了一些物理量对其动特性的影响,阐明了无换向器电动机闭环控制系统的组成与特性,提出了改善动态特性的方法。研究结果表明,简化传递函数具有足够的准确性;无换向器电动机闭环控制系统具有与直流电动机闭环控制系统极其相似的动态性能;采用磁场调节与电枢调节相结合的控制方式,可以使系统的动态性能得到很大改善

最小方差无偏估计和有效估计是在某种意义下的最 优估计,两者既有区别又有密切的关系。如果求出 参数θ的一个估计量θ,判别其是否为最小方差无偏 估计或有效估计,显然具有重要的意义。倘若能直 接求出参数θ的最小方差无偏估计或有效估计,则 将更加令人满意,本节将研究这些问题

第一节卫星的无摄运动与受摄运动 无摄运动与受摄运动的概念;开普勒定律,卫星无摄运动轨道描述,真近点角的计 算,卫星无摄运动的瞬时位置;卫星运动的摄动力及其影响。 第二节GPS卫星的星历 星历的概念;预报星历的主要内容:开普勒六参数、轨道摄动九参数、时间二参数; 后处理星历;后处理星历的概念及作用;GPS历书