边剖分、点扩张与图的最大亏格的可约性

设γM（G）是连通图G=（V，E）的最大亏格，记EM^-（G）={e∈E(G)|G\e连通，且γM（G\e）=γM（G）}。若EM^-(G)≠0，则称G是γ（G）-可约的；否则称G是γM（G）-不可约的。本文证明了边的剖分不改变图的最大亏格可约性，点的扩张不改变上可嵌入图的最大亏格可约性；并给出了两类满足EM^-（G）=E（G）的非4-边连通图。     

离心力场作用下多孔介质中强制对流换热的研究

对离心流化床中空气通过多孔物料层的强制对流换热进行了理论和实验研究。获得了气流和物料间强制对流换热的准则关联式。研究结果表明,在气流速度和温度梯度方向一致的条件下,强制对流换热比通常的边界层强制对流换热有所强化,其换热的准则关联式具有 Nu=CRePr的线性形式。从而验证了改变气流方向和热流密度矢量之间夹角可以强化换热的这一强化传热新原理。     

四气门发动机可变涡流稀薄燃烧特性研究

本文研究了可变涡流对四气门发动机稀薄燃烧特性的影响情况。在稀薄燃烧情况下,发动机负荷大小对CO和HC排放的影响不大,对NOx排放的影响主要表现在对13～17空燃比范围内NOx排放的影响,负荷越大,NOx排放越大;对空燃比小于13或大于17以后的NOx排放影响较小。阀片位置对发动机排放特性的影响较小,对发动机的燃油经济性存在一定影响,这是因为不同阀片位置的进气涡流比不同所致,同时也表明较强的涡流运动对燃油经济性更有利。涡流运动在不同转速条件下对发动机燃油经济性的影响情况不同,它更有利于改善低速条件下的燃油经济性。     

关于超幂零正规根与特殊正规根

本文,首先在[2]与[6]的基础上,给出了一个根a为超幂零正规根,即N-根,当且仅当它是由一个半素环正规类所确定的上根,并给出了超幂零正规根是特殊正规根的一个充要条件;然后,定义了弱特殊正规模类和特殊正规模类,给出了超幂零正规根与特殊正规根的模刻划。     

二元样条S_3~1(Δ_2)的基函数及最小支集

设Δ_2是平面区域Ω=[a,b,c,d]的四方向剖分,S_3~2(Δ_2)是在Δ_2分划下的光滑度1和次数3的二元样条函数空间。利用B-网方法,我们构造了由七片多项式组成的B样条基,并证明了给B样条基具有最小支集。最后,附带给出了基函数的若干简单性质。     

关于正定矩阵的一点注记

一、引言与主要结果正定矩阵是代数学中的一个重要概念。近年来随着计算数学、统计学、经济学等学科的发展,它的重要性日益显出。1980年,Bellman.R.首先建立两个正定矩阵的类似于Cauchy-Schwarz不等式:     

现代逻辑的一个规范化理论——一阶时态逻辑

一阶时态逻辑与程序语言理论中另外两门非常有用的逻辑——动态逻辑和Hoare逻辑它们之间到底有什么关系呢?本文的目的就是要解决这个问题.为此,我们首先拓广了时态算子的概念.与此同时,我们又提出了一种关于约束变元组的定义.这种关于约束变元的新的定义,使得某些现代逻辑学家心中的,关于变元组受约束的非形式化的约定,能够形式化地表达出来.随后,我们证实了:一阶时态逻辑具有一阶动态逻辑和Hoare逻辑的演算功能.再结合已知的事实:一阶时态逻辑具有一阶谓词逻辑、模态逻辑和(通常的)时态逻辑的演算功能.我们可以认为:一阶时态逻辑是这些现代逻辑的一个统一理论.由于我们能在一阶时态逻辑的一个形式系统里,同时进行上述的各种逻辑演算,因而一阶时态逻辑能成为一门很有前途的公理语义学.     

一种新的简易共蒸Nb_3Sn膜的制备及其电子显微术(TEM)研究

一种新的简易共蒸发技术,成功地制备了超导化合物 Nb_3Sn薄膜,临界温度T_c为18K。用该膜为电极材料制作的Nb_3Sn-Pb隧道结,具有典型的直流I-V特性曲线并测得Nb_3Sn膜的能隙值为 3.1meV。电子显微术(TEM)观察研究表明,这种新的简易共蒸术制备的高T_cNb_3Sn膜,是单相的A15型超导化合物Nb_3Sn,具有共蒸A15型超导化合物微结构的基本特征,高分辨电子显微术(HREM)观察到大范围内(500A)Nb_3Sn的二维晶格条纹象。     

离子交换过程的基础研究(Ⅰ)—M~(Z+)—■—H~+及M~(Z+)—■离子交换

本文用大孔磺酸树脂SA—209(×8)研究了Li~+、Ca~(2+)、Co~(2+)、Tm~(3+)对H~+正、逆离子交换过程以及~(59)Co~(2+)—、~(169)Tm~(3+)—~(170)Tm~(3+)同位素交抉过程。用前报中提出的界面吸附双电层模型及解离机制满意地解释了实验事实。     

准移动闭塞系统的元胞自动机模型及列车延迟传播规律的研究

在NaSch模型的基础上，针对铁路交通的特点提出一种用于模拟准移动闭塞系统的元胞自动机模型.应用该模型模拟了准移动闭塞系统列车延迟传播的交通现象，分析了准移动闭塞系统中的轨道定位单元长度、发车时间间隔、初始延迟时间等因素对列车延迟传播的影响. 关键词： 元胞自动机 交通流 准移动闭塞