| 1 绪论 | 第1-14页 |
| ·煤矿安全现状 | 第8-9页 |
| ·课题的提出以及研究的意义 | 第9页 |
| ·国内外的研究现状 | 第9-12页 |
| ·课题研究的主要内容和目标 | 第12-13页 |
| ·本章小结 | 第13-14页 |
| 2 输入数据概率模型研究 | 第14-20页 |
| ·系统输入过程的建模 | 第14页 |
| ·经验分布 | 第14-16页 |
| ·直方图法 | 第15-16页 |
| ·半经验分布函数 | 第16页 |
| ·拟合性检验 | 第16-19页 |
| ·本章小结 | 第19-20页 |
| 3 蒙特卡洛法及随机数产生分析 | 第20-28页 |
| ·蒲丰问题 | 第20-21页 |
| ·蒙特卡洛法 | 第21-23页 |
| ·随机数的产生方法分析 | 第23-27页 |
| ·均匀随机数的产生 | 第23-25页 |
| ·给定概率分布的随机数产生 | 第25-26页 |
| ·随机数的均匀性检验 | 第26-27页 |
| ·本章小结 | 第27-28页 |
| 4 矿井瓦斯数据及瓦斯流分析原理 | 第28-34页 |
| ·概述 | 第28页 |
| ·矿井通风网络预处理 | 第28-29页 |
| ·原始数据的获取及简单处理 | 第29-30页 |
| ·时间因素处理及概率函数拟合 | 第30-32页 |
| ·时间因素的处理 | 第30-31页 |
| ·分布函数的拟合 | 第31页 |
| ·概率分布的拟合性检验 | 第31-32页 |
| ·随机取样及巷道瓦斯涌出量概率再次拟合 | 第32页 |
| ·取样及巷道瓦斯流分析 | 第32页 |
| ·瓦斯数据及瓦斯流分析的计算机实现 | 第32-33页 |
| ·本章小结 | 第33-34页 |
| 5 瓦斯数据及瓦斯流分析软件系统模型研究 | 第34-43页 |
| ·UML 建模工具 | 第34-35页 |
| ·系统功能及用例图实现 | 第35-36页 |
| ·系统类模型分析 | 第36-39页 |
| ·巷道类 | 第36-37页 |
| ·测点类 | 第37页 |
| ·风路类 | 第37-38页 |
| ·区域类 | 第38页 |
| ·类的关联 | 第38-39页 |
| ·类对象动态模型分析 | 第39页 |
| ·数据库结构的设计 | 第39-42页 |
| ·数据库系统的选择 | 第39页 |
| ·数据模型的基本概念 | 第39-40页 |
| ·数据库概念模型建立 | 第40-41页 |
| ·数据库逻辑结构设计 | 第41-42页 |
| ·系统的实现 | 第42页 |
| ·本章小结 | 第42-43页 |
| 6 瓦斯数据及瓦斯流分析软件系统实现及实例分析 | 第43-61页 |
| ·数据库访问接口模块设计 | 第43-46页 |
| ·通风网络风路确认以及测点控制区域的划分模块设计 | 第46-49页 |
| ·风路确认模块设计 | 第46-48页 |
| ·测点控制区域的划分模块设计 | 第48-49页 |
| ·测点瓦斯监测值的拟合模块设计 | 第49-51页 |
| ·直方图绘制与密度函数的拟合模块设计 | 第51页 |
| ·产生服从瓦斯涌出量概率分布的随机数产生器模块设计 | 第51-52页 |
| ·抽样随机值的数字特征分析模块设计 | 第52-53页 |
| ·实例分析 | 第53-59页 |
| ·矿井简介 | 第53-55页 |
| ·数据分析 | 第55-59页 |
| ·本章小节 | 第59-61页 |
| 7 结论 | 第61-62页 |
| 致谢 | 第62-63页 |
| 参考文献 | 第63-65页 |
| 硕士期间参入的科研及发表论文情况 | 第65-66页 |
| 详细摘要 | 第66-79页 |