回采面上隅角埋管抽放采空区瓦斯数值模拟

针对中小型高瓦斯矿井的实际情况,采用数值模拟确定提高瓦斯抽放效率的方案.按照渗流力学的方法将采空区视为连续的渗流空间,采用GAMB IT建立采空区计算几何模型.确定了冒落带的孔隙率和黏性系数.采用FLUENT软件对采空区瓦斯涌出量及埋管抽放瓦斯进行数值模拟,得到了采空区沿工作面走向、倾向和竖向3个不同方向上瓦斯浓度的分布规律,以及埋管抽放采空区瓦斯的最佳参数.模拟结果表明,在抽放管路压力为-100Pa时,抽放管路内和上隅角瓦斯浓度随着抽放位置的变化呈现规律性.当抽放位置距底板垂高2m、沿倾斜方向距回风巷道1m、沿走向深入采空区4m时,瓦斯抽放效果最佳,上隅角瓦斯浓度降至1.1%.上隅角区域采取封堵措施后,上隅角瓦斯浓度降至0.7%.     

三角网格细分技术在三维地质模型中的应用

针对目前三维地质建模过程中建模速度慢,地质模型效果差的现状,全面总结了常用的三角网格细分方案,利用地质专家筛选出的少量有效数据,通过气角网格细分技术进行三维地质模型构造,以加快其生成速度和提高地质模型的质量。     

自校正信息融合Kalman预报器

对含未知噪声统计的多传感器系统,用现代时间序列分析方法,基于滑动平均（MA）新息模型的在线辨识和求解相关函数矩阵方程组,可在线估计噪声统计,进而在按矩阵加权线性最小方差最优信息融合准则下,提出了自校正信息融合Kalman预报器。证明了它的收敛性,即它具有渐近最优性,且自校正融合Kalman预报器比每个局部自校正Kalman预报器精度高。一个目标跟踪系统的仿真例子说明了其有效性。     

一维离散平均曲率方程Neumann问题解的存在性

用紧向量场方程的解集连通理论给出一维离散平均曲率方程Neumann问题Δ[?(Δu(t-1))]=f(t,u(t)),t∈[1,T]?,Δu(0)=Δu(T)=0的上下解方法,并给出其解的存在性结果,其中:[1,T]?:={1,2,…,T-1,T},T≥2是正整数;?(s)=s/√1-s2,s∈(-1,1);非线性项f...     

三类分块矩阵的群逆

设Cm×n为复数域上m×n阵的集合.如果A∈Cn×n,则称满足如下条件AXA=AXAX=XAX=XA的矩阵X为A的群逆,记为A#.它若存在则是唯一的.给出了一些特殊形式的分块矩阵群逆存在的充分必要条件及其具体表达式.     

谢邦杰教授对体上矩阵理论研究的贡献及其在中国的进展

注意到体上矩阵研究的价值与困难,综述了谢邦杰教授1978-1982年关于体上矩阵相似标准形、弱标准形刻画定理,可中心矩阵的特征值基础、行列式方案,以及自共轭四元数矩阵的行列式理论等研究成果;进而阐述了1980年以来中国学者在这些成果基础上对体上矩阵的秩、相似标准形理论、四元数矩阵行列式、自共轭四元数矩阵,以及体上矩阵方程与广义逆矩阵等研究的进一步推进。     

基于故障树分析和贝叶斯网络方法的液压举升机构故障诊断

为应对液压举升机故障原因复杂,诊断方法准确性不高等问题,提出一种基于故障树和贝叶斯网络的液压举升机故障诊断方法。首先建立液压举升机构故障树,然后将故障树转换为贝叶斯网络,利用三角模糊函数表示举升机底事件发生概率,得到底事件模糊概率,将其做为先验概率计算叶节点发生概率,进而求得根节点后验概率以及概率重要度,可快速诊断出故障点。     

实对称矩阵空间到Hermitian矩阵空间保秩1的加法映射

Sn(R)记实数域R上全体n(n≥2)阶对称矩阵构成的线性空间,Hn(C)记复数域R上全体n阶Hermitian矩阵构成的线性空间.确定了从Sn(R)到Hn(C)保秩1的加法映射的结构.     

Banach空间中的一阶积分——微分方程边值问题

研究了抽象空间中的一阶积分——微分方程的边值问题,给出了解存在的一个条件．     

增长曲线模型的两步估计及其优良性

讨论了增长曲线模型回归参数阵的两步估计问题,给出了回归参数阵的可估函数的两步估计具有无偏性的一个基本结论,并验证了两种常见两步估计均具有无偏性．