松软煤层筛管护孔瓦斯抽采技术与装备

针对松软煤层顺层瓦斯抽采钻孔成孔难、抽采距离短、抽采效果较低等问题,介绍了松软煤层筛管护孔瓦斯抽采技术与装备及施工工艺,通过在丁集煤矿的工业性试验,解决了筛管护孔下入深度与钻孔深度相接近的技术难题,实现了高负压、高浓度、大流量高效抽采,提高了采煤工作面瓦斯预抽消突效果,采煤工作面煤体瓦斯抽采达标时间缩短28％,瓦斯抽采体积分数可提高10％ ～ 20％.     

深槽宽叶片螺旋钻进技术在松软煤层中的应用

为解决晋城矿区松软煤层钻进中出现的钻屑排不出、返渣量大、成孔率低等异常情况,提出深槽宽叶片螺旋钻进技术,设计出了相应的钻具组合,并通过现场实验验证其适用性。研究结果表明,深槽宽叶片结构的Φ95mm/60.3mm螺旋钻杆对长平矿软硬互层的煤体结构适应性较强,在成孔率方面优于Φ110mm/63.5mm螺旋钻杆;深槽宽叶片螺旋钻进技术在解决松软煤层高效钻进问题方面具有较大优势。     

软件度量中的数据分析技术

从统计学的角度出发,分析比较了软件度量常用的数据分析技术以及它们的异同,对影响数据分析的因素也作了进一步说明。为软件度量实践中正确地选用数据分析技术提供指导,从而为软件开发的管理决策、项目过程监控提供了客观有效的支持。     

基于度量的软件生产线管理研究

软件生产线是一种全新的软件开发方式,生产线的管理作为三大基本活动之一直接影响生产线实践。从软件度量角度出发,根据GQ(I) M模型,提出了基于度量的软件生产线管理框架,并定义了管理活动中需要跟踪的度量元,这对生产线管理活动的有效实施有积极的指导意义。     

用Pi演算为业务过程建模的生命周期

随着企业竞争日趋激烈,业务过程建模技术变得越来越重要.由于形式化方法降低了二义性并为模型的分析和验证提供了可行性,因此形式化的业务过程建模技术在学术界引起了很多人的关注,但到目前为止仍缺乏一套既能方便地进行过程建模,又具有对模型进行形式化分析与验证的整套理论体系.从生命周期的角度入手,探讨如何把形式化方法更有效地应用于商业过程建模.主要工作在于提出了基于Pi演算的生命周期,探讨了生命周期各个阶段使用的技术和工具.     

基于缺陷预防的软件过程改进

在软件开发过程中,软件缺陷不但影响软件的质量,而且影响软件的开发进度及开发成本,可见必须采取某种方法避免缺陷的产生.而缺陷是由错误造成的,因而应从控制错误的产生人手.缺陷预防方法能够确保错误在标识并解决后不会再次发生,将缺陷预防方法引入软件过程中,目的是控制缺陷的产生,从而优化生产过程,提高软件质量.介绍了缺陷预防的方法,然后将缺陷预防与软件过程改进相结合,提出基于缺陷预防的软件过程框架,最后通过实验进行验证.     

SRS质量的多级模糊综合评价算法的研究*

从软件度量理论出发,借助模糊评价理论,提出了SRS质量评价算法,此算法充分考虑到评价因子间复杂的内在联系,有效地减少了群决策中出现的不一致性对质量评价的影响。它是对软件需求规格说明书质量更科学、更客观的一种度量方法。     

煤矿井下保直钻进技术现状及展望

煤矿井下钻孔轨迹偏斜易导致治理盲区的出现,严重威胁煤矿安全高效开采.通过对导致钻孔偏斜的地质因素、技术因素和工艺因素的系统分析,得到了钻孔偏斜的根本原因.对现有保直技术的原理及其适用性进行了分析总结.钻孔保直是影响钻孔施工质量的因素,但目前钻孔保直技术或多或少都存在技术上的问题,不能在煤矿大范围推广使用,故在钻孔保直方...     

基于CORBA的通用无线分组业务远程监控系统

针对传统的基于GSM（Global System for Mobile Communications）的远程监控系统的效率和费用问题,采用当今流行的CORBA中间件技术,提出一种基于CORBA 的GPRS(General Packet Radio Service)远程监控系统的解决方案,对当前基于GPRS的远程监控系统进行了改进,是CORBA技术在GPRS远程监控系统中的一次成功实践。     

COSMIC-FFP方法的研究及应用

随着我国软件外包行业的日渐兴起,越来越多公司开始注重对软件开发过程的控制,对软件度量的投入也越来越多.阐述了一种基于传统的IFPUG-FPA模型的演进规模估计模型-COSMIC-FFP模型及其应用.并提出了一种基于COSMIC全功能点和ISO 9126的新的定量的度量技术.应用COSMIC全功能点的规则和原理的软件结构度量了基本的交互变量,如耦合、内聚和复杂度.在ISO9126质量标准的基础上,将设计的度量方法应用于度量质量属性,如可维护性、可用性和可信度.