电子档案管理系统的设计与开发

针对档案管理数字化发展需求，提出电子档案管理系统的一种设计方案，并详细分析了系统结构、功能以及开发实现等问题。     

矿井主排水自动化控制系统

介绍了一种矿井中央泵房主排水自动化控制系统的组成和控制原理。该系统通过实时连续检测水仓水位和其它参数 ,合理调度水泵运行 ,将矿井涌水排到地面。具有自动化程度高、运行费用低、工作可靠等特点。     

基于MonteCarlo模拟法快速计算电子束放射治疗的剂量分布

本文运用MC(Monte Carlo)方法来计算电子束放疗的三维剂量分布,以EGS4和PENELOPE为基础编制了专门计算电子束剂量分布的MC模拟程序LISTMC,以克服目前临床上采用的算法在处理人体复杂几何结构和不均匀介质时误差较大的问题.针对EGS4计算时间过长的缺陷,采取了取消体元边界对电子步长限制和代码优化等措施来提高计算速度,当入射电子能量为6MeV时,用时只有EGS4-PRESTA的1/10左右;其计算精度和EGS4相近.     

基于符号迁移图的互模拟验证算法

符号迁移图是传值进程的一种直观而简洁的语义表示模型，该模型由Hennessy和Lin首先提出，随后又被Lin推广至带赋值的符号迁移图，本文不但定义了符号迁移图各种版本（基／符号）的强操作语义和强互模拟，提出了相互的强互模拟算法，而且通过引入符号观察图和符号同余图，给出了其弱互模拟等价和观察同余的验证算法，给出并证明了了τ－循环和τ－边消去定理，在应用任何弱互模拟观察同余验证算法之前，均可利用这些定理对所给符号迁移图进行化简。     

集中式位置融合系统软件体系结构研究

通过对多传感器数据融合系统软件体系结构的研究，提出了一个适用于集中式位置融合系统的软件体系结构。结构采用管道和滤波器模型，利用面向对象技术实现，提高了软件的扩充和再利用能力。     

“孤岛”综采放顶煤工作面矿压预测预报

在现场实测的基础睬用灰色等维拓扑方法对国内首例四面为采空区的“孤岛”综采放顶煤工作面的矿压显现进行了近、中期预测预报，取得了理想的效果，保障了“孤岛”综放工作面的安全开采。     

触发器型压力传感器的研究

本文报道了一种触发器型压力传感器，对这类传感器的电路结构和工作原理进行了理论分析。详细讨论了影响传感器特性的四种因素。定量地分析了调控三角波电压对传感器测量灵敏度和线性范围的影响。对实验结果进行了讨论，理论分析与实验结果基本一致。     

准噶尔盆地石炭系的生油问题

从生油岩成熟作用史的角度出发，分析了准噶尔盆地西北缘、东部、腹部、南缘和北部地区石炭系生油岩对盆地内油气成藏的意义。石炭系生油岩尽管曾大量生、排过烃，但由于石炭系生烃凹陷无法确定以及早期成藏的油气遭受破坏的时间长，不易保存，故对勘探十分不利，建议寻找在以石炭系为主要烃源的油气藏时，应加强石炭系烃源岩分布及其成藏史的研究。     

应用RNG k-ε湍流模式数值模拟90°弯曲槽道内的湍流流动

本文将Yakhot与Orszag提出的RNGk-ε湍流模式与壁面律相结合,应用于90°弯曲槽道湍流流动的数值模拟.计算在任意非正交曲线坐标系下进行.并采用非交错网格有限体积方法求解三维不可压N-S方程.文中给出了详细的计算结果,并与实验结果进行了比较,结果表明,RNG k-ε湍流模式能够有效地模拟有曲率影响的湍流流动.     

磨矿工艺设计软件的研制与应用

利用人工智能和算法语言的有机结合，较好地实现了磨矿工艺设计过程的计算机化。本文重点介绍软件的设计思想、结构组成及应用。