基于串空间模型的Andrew RPC协议的分析与验证

本文首先介绍了当前安全协议形式化验证的前沿方向串空间理论,并运用串空间模型对改进后的Andrew secure RPC协议进行了形式化分析与验证,然后指出了安全缺陷。     

基于深度学习的电信运营商网络投诉工单智能分类技术研究

本文基于自然语言处理技术和深度学习算法，挖掘运营商投诉工单中结构化和非结构化内容的语义特征规律，构建了面向运营商网络投诉派单场景的大规模多标签智能分类模型TBF。本文使用包括编码器模块和解码器模块的端到端框架构建模型。编码器模块使用嵌入层将输入数据中的原始字段转化成向量表示后，使用文本卷积神经网络和双向长短期记忆网络分别对不同数据类型字段的向量表示进行特征抽取并使用前馈神经网络进行特征融合。解码器模块是多层感知机分类器组成的分类器链结构，用来接收编码器模块的融合结果并预测输出各层级投诉类别标签，从而实现对网络投诉工单的智能分类，达到节约人力成本、提升派单质效的数智化转型目的。通过在运营商实际生产环境中的测试和应用，取得了较为满意的效果，成功助力运营商的客户满意度改善。     

浅议北安垦区水土流失治理措施

1　引言农垦北安分局位于黑河地区 ,东邻通北和沾河两个林业局 ,西邻水土流失严重的克山和拜泉地区 ,由于土地资源开发利用较早 ,地表植被遭到破坏 ,加之丘陵地形、地势、气候等自然因素影响和人为的不合理生产活动破坏 ,土壤肥力日趋下降 ,水土流失越来越严重 ,对垦区的工农业生产造成严重威胁。为创造良好的生态环境 ,促进农业生产 ,治理水土流失势在必行。结合北安地区的实际情况和几年来的治理经验 ,特提出如下治理措施供大家参考。2　农业措施耕地应以等高方向进行 ,应将顺坡垄改为横坡垄 ,馒头地形改为围山垄。坡耕地浅耙深松 ,增有机…     

利用交变磁场测量法的金属表面缺陷检测

当通有交变电流的激励线圈靠近被检测试件时,产生的交变磁场会在试件表面感应出电流.基于交变磁场测量法(ACFM)的原理,建立被测试件感应电流流向模型,并把电磁场场量分成三个分量进行分析,再用ANSYS基于有限元法的金属表面缺陷检测仿真.仿真结果表明,通过测量扰动磁场的分布,可检测金属表面缺陷.     

双向受不等值均布载荷的简支矩形板稳定问题的精确解

本文基于非线性弹性理论的稳定概念,推导出双向受不等值均布载荷的四边简支矩形板屈曲的临界载荷公式。并就单向受均布载荷的特例予以着重讨论,给出了有关的便于工程实用的近似算式,同时与相应的经典薄板理论加以比较并进行了数值分析。     

柴油加氢精制阻垢剂的开发

对柴油加氢精制装置原料油换热器结垢的原因和机理进行了分析 ,并在此基础上开发HDAF -1型柴油加氢精制阻垢剂。实验室小型和中型装置评价结果表明 ,HDAF -1型阻垢剂可有效抑制焦垢在原料换热器中形成 ,具有用量低 ,阻垢率高 ,对产品分布、产品性质和催化剂性能无不利影响 ,不增加催化剂床层压降等特点 ,可使换热器保持较高的换热效率 ,维持装置的长周期正常运转。     

串空间和认证测试在协议分析中的应用

串空间模型是一种新兴的密码协议形式化分析工具.分别采用串空间模型争认证测试这两种前沿的形式化分析方法对X.509协议的认证性进行了分析,指出了该协议在认证正确性方面存在的缺陷.然后针对分析结论提出了改进协议,并使用认证测试方法证明了改进的协议能够实现认证的正确性.通过比较发现应用认证测试方法分析安全协议,比单纯应用串空间模型更为简洁和直观.     

对时间自动机中时钟约束的处理

在实时系统建模中,时间自动机是一个普便使用的工具,在求解状态可达性关系时对时钟约束的处理是关键,本文在分析已有理论的基础上提出了如何对含有不同时钟相互约束的系统处理.     

锰铁高炉降硅冶炼实践

为达到进一步挖掘锰铁高炉增产降耗潜力、降低炉顶温度的目的,信钢铁合金厂3^#锰铁高炉于2007年进行了降硅冶炼实践,锰铁含硅由近年来的0．92％以上降到了2007年的0．8％以下,技术经济指标相应改善,达到了预期目的。