注浆覆岩离层力学机理及其离层发育分类研究

依据覆岩离层生成的力学机理,结合煤层开采程度的不同,将可注浆层位的离层划分为三类.以岩石的应变为指标,确立了覆岩离层可注浆层位岩梁的断裂步距表达式,理论上证明了划分注浆层位的合理性.根据岩石的全应力应变试验,结合现场实际观测数据,对以应变为指标的岩梁断裂步距表达式做了初步验证.结果表明:可注浆层位的分类和断裂步距表达式的确定对注浆减沉工程具有指导意义.     

奇异P-Laplace方程存在正解的充分必要条件

讨论了一维奇异P-Laplace方程{φp（u′））′ f(t,u)=0,t∈（0,1)；u(0=u(1)=0存在C^1[0，1]或C[0，1]正解的一个充分必要条件．用到的方法主要有上下解方法和Schaude，不动点定理．     

完全对称张量空间中可合元素的一个充分必要条件

In this paper,using the parameter method the author reduces the problem of the necessary and sufficient condition of decomposable elements in V^(m)to the problem of decomposability of completely symmetrical tensors of type I and type Ⅱ,by means of the equivalence transformation of decomposability of completely symmetrical tensors.It shows that the generated matrix of decomposable elements is obtained by the row elementary transformation,a necessary and sufficient condition that the type I and Ⅱ of completely symmetrical tensors are decomposable elements is also obtained.     

不对易算符有共同本征函数的必要条件

讨论了不对易算符有共同本征函数的必要条件。     

非光滑优化的二阶必要条件

1 引言 对无约束最优化问题,其必要条件要求在局部极小点x处沿任何方向的梯度为零,曲率为正。而对约束最优化问题,首先它的局部极小点必须是可行点,其次不仅要求验证局部 极小点的某个邻域内的二阶项(曲率),而且也要认识到约束曲率也起相当重要的作用。现实中存在这样的问题,在x点处G正定,而它不是局部极小点。因此必须考虑约束最优化问题的二阶必要性条件。 本文研究了非线性规划的二阶必要性条件,其约束函数的一阶导数为方向Lipschitz连续。 2 方向Lipschitz连续函数的性质 定义2.1 设f是R~n上的一个广义实值函数,f在x∈R~n处有限,称f在x处是方向Lipschitz连续的,如果至少存在一点y∈R~n使得 其中( 定义2.2 设f如定义2.1,定义f在R~n处的次导数集如下 其中 本文多次引用f↑(x;y),因此我们首先介绍f↑(x;y)的3个基本性质:     

管内变密度流体的充分发展流动与换热

本文提出了圆管内变密度流体流动与换热充分发展的概念及其相关假设.在所提出的概念和假设基础上给出了摩擦阻力系数Cf与Nusselt数Nu的定义式和计算式.通过对圆管内密度随温度变化的氩气的流动与换热所进行的数值模拟,验证了在本文的计算条件范围内,圆管内变密度流体充分发展流动与换热的概念是合理的,并且CfRe=16,Nu=4.36.     

LINEAR ISOMETRIC NON-ANTICIPATIVE TRANSFORMATIONS OF WIENER PROCESS

ThispaperisanoutcomeofnumerousdiscusionsandexchangeofideaswithlatePredragPerunicic,whosedeepandprofoundmathematicalknowledgeandhumanvaluesgaveusaninspirationandmotivationtofinalizeourjointideas.1.Wereferto[3,4]forthenotionofspectralmultiplicitytheoryintheseparableHilbertspace.LetHbeacyclicHilbertspacewiththeresolutionoftheidentity{p(t)}ofthemaximalspectraltypelIP(dt)ll'~dt-ordinaryLebesguemeasure.Anon-anticipativelineartransformationsisdefinedbyVolterrakernelg(t,u),uSt,ajsf'g(t)u)p(du),t>0…     

一类非强制的变分不等式

讨论了一类非强制的变分不等式解之存在性的一个必要条件和一个充分条件,改进了文[1]中的相应结果。     

专家系统柱推荐软件之一——判断用气相色谱分析是否满足必要条件的软件

 ]本文报道了色谱专家系统中判断样品是否满足气相色谱(GC)分析必要条件的软件，依据是：能以合适k'(0.2k'20)流出且在柱温孪下稳定的样品可采用GC法分析。而k'值通过结构和保留值间的关系式来计算。作者使用框架结构的知识表达法，用SchcmeLisp语言，在IBMPC机上实现了这一专家判断功能。采用本文列出的知识库和源程序，可对含C、H、Q、N、Cl、Br、I、P、S、Si等元素的化合物能否采用气相色谱进行判断。     

管内变密度流体流动与换热的充分发展及解析解

本文提出了圆管内变密度流体流动与换热充分发展的概念和相关假设及其推论.在所提出的概念和假设基础上对理想气体在圆管内的流动与换热进行了解析求解,得到了充分发展时的无量纲速度抛物分布及无量纲温度分布.对圆管内密度随温度变化的氩气的流动与换热数值模拟所获得的无量纲速度分布及无量纲温度分布在入口段后与上述解析解非常吻合,从而验证了在本文的计算条件范围内,圆管内变密度流体充分发展流动与换热的概念及其解析解是合理的.