煤矿巷道锚杆支护监测仪器与应用

为实现煤矿安全生产,介绍了近年来主要开发的用于井下巷道围岩位移量的监测和支护构件受力情况监测仪器及其使用效果。     

谈施工单位控制工程项目造价的方法

工程项目的适价管理贯穿于工程建设的全过程，从工程项目立项到工程项目的竣工结算，每一个环节都与施工企业的盈亏以及工程造价管理好坏息息相关。因此，加强施工单位在工程项目立项阶段（招投标阶段）、施工阶段、费用核算阶段的造价控制，加强工程项目全过程实施的事前、事中、事后营理，是施工单位获得良好经济效益的重要手段。     

水打沟泥石流形成条件及其静动力学特征

都江堰市龙池镇水打沟于2010年8月13日强降雨作用下暴发了较大规模的泥石流并堵塞龙溪河,基于灾害现场调查,结合汶川"5.12"地震震前、震后及"8.13"暴雨后三期影像对形成泥石流的地形、水源、物源三个基本条件特征和成因进行了分析,并计算了动静力学参数,分析了泥石流发展趋势。     

基于改进活动轮廓模型和视觉特性的图像分割方法

提出一种基于改进活动轮廓模型和视觉显著性分析的图像分割方法。与传统的水平集模型不同,改进的活动轮廓模型不需要进行初始化和计算符号距离函数,从而有效地提高曲线演化效率。在此基础上,提出了基于标记的多相水平集分割方法,有效地解决了复杂图像存在的灰度不均性问题。另外,为避免初始轮廓位置对分割结果的影响,采用视觉显著图获取水平集初始轮廓位置,通过对该显著图进行OSTU分割提取初始轮廓。通过实验分析,提出的方法在分割结果、速度和复杂度上较之传统的CV模型都有明显的改进。     

一类具有凸多面体不确定性的非线性变参数系统鲁棒H_(∞)控制EI北大核心CSCD

针对具凸多面体不确定性的非线性变参数(NPV)系统,本文研究了其非线性鲁棒H_(∞)控制问题.基于Lya-punov稳定性理论和多项式平方和(SOS)方法,对该系统设计了非线性鲁棒状态反馈镇定控制器.在此基础上,进一步考虑存在外部扰动情形,给出相应的非线性鲁棒H_(∞)控制可解性条件.该条件以状态和时变参数依赖的线性矩阵不等式形式(LMIs)给出,可借助凸优化工具进行有效检验.最后,通过数值仿真验证了所得方法的有效性和优势.     

基于智能卡实现的分组加密算法的功耗分析

针对基于智能卡硬件实现的SM4分组加密算法的物理泄露安全问题,提出了一种快速、高效的相关功耗分析方法,通过理论分析和实验研究,暴露了即使是理论上非常安全的SM4加密算法,在物理实现过程中也会泄露重要的敏感信息。首先,通过分析SM4算法的实现流程和加密特性,建立功耗分析的数学模型,并推导出解密流程和优化算法;其次,结合理论物理泄露点,搭建完整的智能卡硬件功耗分析实验系统,通过智能卡的功耗数据采集、分析、优化,研究真实智能卡的侧信道安全漏洞;最后,结合实验结果,进一步优化功耗分析,探讨嵌入式系统环境下的SM4算法安全性能。与Mifare DESFire MF3ICD40智能卡三重数据加密标准(3DES)算法侧信道分析相比,所提方法将功耗数据量从25万条降低到不足一千条,分析时间从7个多小时,减小到几分钟,并且完整地恢复了SM4的原始密钥,能有效提高硬件环境下的功耗分析效率,降低计算复杂度。     

皇化矿区B4煤层顶底板岩性鉴定与找煤

江西花鼓山煤业有限公司老棚里井开采龙潭组B4煤层。老棚里井田位于皇化矿区最南端,为一轴向近东西,中段向北略呈弧形突出的复式轴向斜,次一级褶皱与断层发育。由于断层密度大,加之褶皱紧密,部分地质人员在过断层时对断层性质、煤层层位分辨不清,造成井巷工程报废的事时有发生,给企业造成较大的经济损失。     

提高KB系列PLC可靠性的研究

介绍了有关的可靠性理论,分析了影响KB系列PLC可靠性的薄弱环节以及所采取的提高KB系列PLC可靠性的技术措施,从而使国产PLC的可靠性提高了一大步,对于用户的使用在质量上有了可靠保证。     

PowerFlex7000中压变频器在梅钢脱硫除尘风机上的应用

梅山炼钢厂设置脱硫站一座,配置除尘风机一台,脱硫除尘风机只需要2种风量来适应脱硫除尘的工艺要求。脱硫除尘风机在一个脱硫周期的运行状况分为如下时间段：①等待阶段t1=20min。②提速阶段t2=30s。③高速阶段t3=20min。④降速阶段t4=30s,共约41min。