中高压注水综合防突措施的研究与应用

焦作矿区煤层属煤与瓦斯突出煤层,煤巷掘进防突措施重复率高、占用时间长、掘进速度缓慢、采掘接替紧张,严重阻碍煤炭生产向高产高效目标的发展。通过广泛的调研,结合实际,对中高压注水防突措施防治掘进工作面的突出进行技术研究与实践,并在焦作矿区取得了成功,带来了明显的经济和社会效益。实践表明,中高压注水综合防突措施能有效地防治掘进工作面煤与瓦斯突出,提高掘进速度。     

安全Linux内核安全功能的设计与实现

CC标准是一个新的国际标准,由于缺乏可借鉴的范例,开发符合CC标准 的安全操作系统是一项挑战性的工作。借助一项研究实验结合中国安全保护等级划分准则等3条款,讨论了安全Linux内核安全功能在CC框架下的设计与实现问题,通过CC功能需求组件给出安全功能的定义,从系统结构和安全模型方面讨论安全功能的实现方法,并测算安全机制产生的性能负面影响。研究表明,中国国家标准的要求可以通过CC标准进行描述。最后,还指出了安全操作系统进一步的研究方向。     

STBAC:一种新的操作系统访问控制模型

现代操作系统的主要威胁来自网络,传统访问控制机制在这方面尚有不足.提出一种应用于操作系统的访问控制模型--STBAC,可以有效防御网络攻击,并保持较好的兼容性和易用性.即使系统被攻破,STBAC模型仍然能保护关键资源,使入侵者无法达到真正的破坏目的.STBAC模型以进行过不可信远程通信的进程为可疑感染的起点,依据感染规则追踪可疑感染进程及其子进程在内核中的活动,依据保护规则禁止可疑感染进程非法访问关键资源,以防止系统关键资源遭到破坏.对原型系统的测试表明,STBAC模型在不明显影响系统兼容性和性能的前提下,可以有效地保护系统安全.     

通用访问控制框架扩展研究

通用访问控制框架（generalized framework for access control,GFAC)是经典的多安全政策支持结构，但是在实际实施多个安全政策模块之后暴露了它潜在的效率缺陷。通过引入访问决策缓冲器得到扩展的通用访问控制框架，并且在RS－Linux安全操作系统中完成实现，性能测算结果表明，扩展后的通用访问控制框架可以有效地弥补效率缺陷。     

遵循CC标准的安全操作系统安全管理框架

安全管理是安全操作系统的重要组成部分，如何依据新的国际信息安全评价标准——CC(Common Criteria)开发安全操作系统安全管理子系统是值得探讨的问题。该文介绍了符合CC标准EAL 3级的“安全操作系统的安全管理框架”及其在红旗安全操作系统中的实施。     

煤巷锚杆支护技术的分析研究

锚杆支护具有主动及时支护的优点 ,在生产实践中得到广泛应用 ,但也存在一定缺陷。本文针对我国锚杆支护现状、发展技术、经济效益和发展方向进行全面的分析研究评价 ,以推动该技术的全面发展     

瓦斯抽放煤层增透深孔聚能爆破钻孔参数

以焦作煤业集团九里山矿煤层深孔聚能爆破试验为基础,利用数值模拟分析了爆破煤体应力变化规律,发现聚能爆破效应导致应力峰值增大,扩大了煤体裂隙区范围.同时对聚能爆破钻孔参数进行优化,确定了合理的炮孔直径、爆破孔间距、爆破孔与邻近抽放孔及煤层顶底板间距.现场试验结果表明:优化的钻孔参数不仅使聚能爆破增透效果显著而且保证了爆破过程的安全.      

基于综合安全防护技术的突出矿井抗灾能力的提高

通过对瓦斯灾变运移机理的研究，充分考虑突出能量的释放特点，研究确定了安全防护关键技术及装置.以完善可靠的监测监控为纽带，形成了综合的防护体系，有效减少和降低了突出对矿井及其作业人员的危害，提高了突出矿井的抗灾能力.     

焦作矿区复杂应力软岩巷道工程实践与支护理论

通过对焦作矿区复杂应力软岩工程地质特征的研究、工程测试、现场分析、数据处理、力学评估交形破坏机理及应力转移模式研究，提出支护控制理论、设计方法和成套技术。     

带二级缓冲机制的通用访问控制框架研究及实现

通用访问控制框架(Generalized Framework for Access Control，GFAC)是经典的多安全政策支持结构，但是在实施多个安全政策模块之后暴露了它潜在的效率缺陷．该文在建立访问的三层模型基础上，引入二级访问决策结果缓冲器到GFAC中，并且在红旗安全操作系统(RFSOS)中实现．性能测算结果表明二级缓冲机制可以有效地弥补GFAC的效率缺陷．