Minimal systems of generators for central division algebra and semi-simple algebra

Suppose that F is a field of characteristic zero and (ⅰ) D is a finite-dimensional central division algabra over F; (ⅱ) A is a finite-dimensional semi-simple algabra over F. It is proved that as F-algebras, D and A can be generated by two elements respectively.     

锚喷巷道通风阻力系数的计算式研究

通过对平煤集团大量的锚喷巷道的回归分析，建立了巷道壁面绝对粗糙度和巷道断面积对摩擦阻力系数影响程度的回归方程，并对回归方程作了显著性检验，最后对巷道粗糙程度和断面积对锚喷巷道摩擦阻力系数的影响程度进行了讨论和总结，对同类巷道磨擦阻力系数的选取具有实践指导意义。     

三维流场测定中五孔测针标定曲线的数学模型

分析了五孔测针标定曲线存在的问题，在最小二乘法基础上，建立了标定曲线的数学模型，完成了标定曲线的最优拟合，为三维流场的准确、自动测试奠定了理论基础。     

Domestic法式代数的Hall代数的极小生成元集

设A为有限域k上domestic法式代数.得到A的Hall代数H(A)中不可分解A-模同构类能由维数向量更小的A-模同构类生成的充要条件,给出H(A)的极小生成元集.进一步给出一个递推算法将不可分解例外模写成任一组极小生成元的Hall积的R-线性组合.     

可满足公式到极小不可满足公式MU(1)的扩张复杂性

可满足合取范式（CNF）公式F到极小不可满足公式MU（1）的扩张是,对给定的CNF公式F,是否存在一个公式G满足条件var（G）包含var（F）并使得F＋G∈MU（1）。Horn公式到MU（1）公式的扩张问题可在多项式时间内解决,但对一般CNF公式F的扩张问题,至今尚未解决。这里我们将给出一个多项式时间的算法解决这一问题。     

实时全息用于强发光等离子体诊断的优势

为解决发光强、谱线宽、变化快等恶劣条件下进行现场显示实验的困难 ,基于作者的实验研究和理论分析 ,着重讨论了激光实时全息中的光强配合和全息光栅干涉滤波。指出除选频、检偏及空间滤波外 ,引入阶梯吸收板 ,适当调配物、参光的比例 ,尤其是干涉项的变通选用 ,可有效滤除干扰光、实时再现位相场分布、保证干涉图的质量 ,使实时全息仍可用于 Z- pinch(Z箍缩 )、DPF(稠密等离子体焦点 )等发光较强的高激发、高电离等离子体状态及迅变过程的诊断研究 ,且颇具优势。     

特征2李代数G_2变形的导子代数

作者利用特征 2代数闭域上G2 的变形V3G ,V6 G和V7G的阶化给出它们的导子代数和极小p-包络 ,分别给出了它们的一个最小生成元集。     

2类包含K4的优美图及其注记

利用计算机为辅助工具,分别给出了2类包含图K4的图K4+Gn+1和K4+Kn,n的优美标号,从而证明了图K4+Gn+1和K4+Kn,n是优美图,并由K4+Kn,n的优美性给出了边数为m的极小优美图的顶点数f(m)的范图是{(1+√8m+1)/2}≤f(m)≤{2(√m+3-1)).     

一个极小不可满足公式子类的等价结构

研究一个极小不可满足公式子类（MAX（1）的等价结构,考虑了MAX（1）上的变元改名问题和文字改名问题。此两个问题均可在O（nlog2(n))时间内可解。     

锥型拟常曲率空间

设(Mm,g)为任意m维黎曼流形,N=M×R+为具有黎曼度量ds2=t2gijdxidxj+c2dt2的黎曼流形.本文将要证明当m=2时N为拟常曲率空间;当m≥3时N为拟常曲率空间当且仅当Mm为常曲率空间.根据此特征,可构造若干非常曲率的拟常曲率空间.例如,球面上任何二维曲面生成的锥都是拟常曲率空间.