在R3中,给定四个共面向量a1,a2,3,4,它们显然是线性相关的,但它们中存在两个线性无关的向量,而任一个向量都可由这两个线性无关的向量线性表示(例如:a1,a2线性无关,a3,a4可 ,3,4 由a1,a2线性表示).此外它们中任意三个向量是线性相关的,即它们中任一个线性无关的部 分组最多只含2个向量,数2就叫作这个向量组 的秩

应用置换群理论,引入了超过群、超围群和超图同构的概念,导出了超过群及其循环指标的一般表达式.导出了无向无标号超图和标号超目的计数级数,解决了无向超图的同构和计数问题

为了简化传统无取向电工钢的生产工艺,降低消耗,提高无取向电工钢的磁学性能,通过氧气顶吹转炉(BOF)-RH真空处理-LF精炼炉-薄板坯连铸连轧(CSP)-酸洗连轧-连续退火流程,成功开发了全工艺冷轧无取向电工钢50W800并实现了批量化生产。研制的50W800铁损P1.5/501.71T,板形和表面质量良好,涂层具有优良的耐蚀性能和绝缘性能,能够满足电机行业的使用要求

描述了无刷双馈交流励磁感应电动机的机械结构及电气特性,分析了其电路模型和矢量空间关系,得到了无刷双馈交流励磁电动机的数学模型,并结合国内、外研究状况进行了探讨,提出无刷双馈交流励磁电动机可在高性能传动、节能调速、变速恒频发电和吸收冲击负荷等领域均有广泛应用的前景

研究了多个执行机构的系数无界Lurie间接控制系统零解的绝对稳定性.首先,把研究对象看作大系统,利用大系统分解技术,把系统分解为一些孤立子系统,通过子系统的Lyapunov函数构造出Lurie间接控制系统的Lyapunov函数,进而得到系统绝对稳定性的多个判别准则.这些判别准则既适用于多个执行机构的系数无界Lurie间接控制系统,又适用于系数有界的这类系统,还适用于常系数的这类系统.同时,将有关结果成功推广应用于多个执行机构的系数无界Lurie间接控制大系统

对直线配索无粘结预应力混凝土梁截面应变进行了分析,根据极限状态下截面受压边缘混凝土应变分布形式及无粘结预应力钢束高度处的混凝土应变分析,得出无粘结预应力钢束极限应力增量的积分表达式,编制了计算程序进行求解,并与21片两集中力三分点加载实验梁的实验结果进行了对比,结果较为吻合;不计梁体弹性区段的混凝土应变时,极限应力增量计算值减少7.5~15.1MPa,占极限应力增量的1.9%~4.5%,可偏安全地予以忽略.根据理论和实验结果,对标准跨径25m的三道湖中桥上部结构预应力混凝土箱形主梁进行了设计

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

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

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

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