安全协议DoS攻击的形式化分析方法研究

针对形式化方法对安全协议DoS攻击分析的不足之处,提出了一种基于串空间模型的扩展形式化方法。利用扩展后的形式化方法,对IEEE802．11i四步握手协议进行了DoS攻击分析,发现其的确存在DoS攻击漏洞。通过分析,提出一种可以改善DoS攻击的方法,并通过了扩展形式化方法对于判断安全协议DoS攻击分析的测试规则。最后,根据扩展形式化方法对改进后的四步握手协议进行证明,得出改进后协议可以通过两类DoS测试规则运行至结束。     

AP1000核电汽轮机主要部件选材分析

为了保证AP1000核电机组的长期安全可靠运行,对AP1000汽轮机主要部件选材进行了深入分析,结果表明,AP1000汽轮机转子采用超纯净30Cr2Ni4MoV钢,末级叶片采用马氏体时效强化钢0Cr17Ni4Cu4Nb等,主要部件选材合理,但汽缸、螺栓选材可以进一步优化,比如汽缸采用性能更优的2.25Cr-1Mo铸钢、螺栓采用淬透性更好的25Cr2MoV钢等。研究成果可为核电AP1000汽轮机进一步优化选材提供参考。     

安塞油田集输管道内腐蚀防护技术研究与应用

安塞油田开发区域土壤呈湿陷性,含水率低,管道外腐蚀较弱。但由于含水率、矿化度含量、CO2和H2S等腐蚀因子影响,管道内腐蚀情况较为严重。针对管道腐蚀破漏频繁的问题,通过开展管道腐蚀机理研究,评价管道内腐蚀;针对不同属性管道,开展纤维增强复合防腐、高密度聚乙烯等内衬技术,初步建立管道腐蚀防护体系,现场应用效果显著。管道失效率下降70%,每条管道使用寿命平均延长了7.8a,节约成本,达到降本增效的目的。     

基于BIM技术的工程造价课程体系改革实践

本文根据在本科工程造价专业课程体系改革中融入BIM技术的方法,从专业基础课程、专业课程、实践课程三方面分析BIM技术在教学实践中的融入方法,同时对现阶段存在的问题进行了分析。     

分裂导线扭转特性缩尺模型试验与分析

大档距多分裂导线翻转扭绞故障时有发生,为此设计并研制了一套研究分裂导线扭转特性的缩尺模型试验装置。依据分裂导线力学基本关系并结合量纲分析法,建立双尺度模型相似关系,以某680 m档距的四分裂实际线路为例,通过模型试验和有限元数值模拟方法,基于扭矩 扭转角关系曲线分别着重研究分裂导线间隔棒数目、导线垂度（张力）参数对扭转刚度和翻转倾覆扭矩的影响,可为分裂导线防翻转倾覆设计提供参考。     

单片机在彩电故障模拟系统的应用

本文介绍的彩电故障模拟系统采用单片机技术，通过改造后的彩色电视机，可以真实、准确的模拟出几十种典型的电视机故障。     

基于多种颜色特征结合的相关滤波器跟踪算法

当被跟踪目标受变形、遮挡、快速和不规则运动等因素的干扰时,基于单一颜色特征的相关滤波器跟踪算法难以实现精准的目标定位。为此,分析基于多通道颜色特征Color Names(CN)的核相关滤波器算法(KCF),结合CN特征与颜色统计特征提出一种改进算法。使用掩模矩阵对CN特征的训练样本进行裁切,以提高真实样本的比例。在此基础上,将CN特征与颜色统计特征用于位置相关滤波器的训练,分别获得目标位置,并对两者进行加权处理,得到最终的目标跟踪结果。实验结果表明,与KCF和benchmark_tracker库中性能较优的算法相比,该算法在目标变形、遮挡等干扰下的跟踪精确度和成功率较高。     

电化学蚀刻图案新工艺的研究

根据电化学腐蚀原理，对该工艺的可行性在理论上进行了分析论证，并通过实验加以证实。研究表明：只需一个具有某种图案的丝风掩膜，通过电化学腐蚀方式，便可完成在金属上该种图案的批量加工，与传统的化学蚀刻工艺相比，具有加工周期短，设备装置简单，加工成本低的优点。     

石家庄某土钉支护工程实录

通过具体的工程实例，详细介绍了土钉支护的应用及其具体问题的处理方法，并且在此基础上提出了个人的建议和体会。     

从监造角度分析特高压HGIS壳体焊接接头的无损探伤检测

在特高压产品的制造过程中,但凡某个环节出问题,必会影响到产品的质量,将对特高压输变电工程的长期安全稳定运行埋下隐患。针对这一问题,笔者提出驻厂全过程监造,并对监造高压HGIS壳体焊接接头的无损探伤检测进行了认真分析,并提出制造中应注意的质量问题。说明了全过程监造的重要性。