基于UML状态图的类测试技术

针对基于状态的类测试技术缺陷检测率较低的问题,提出一种使用等价类划分和边界值分析等功能性测试方法构建UML状态图的方法,描述基于W方法的测试序列生成策略,使用Mujava变异工具对方法的有效性进行检测。实验结果表明,该测试策略具有较高的缺陷检测率。     

基于串空间模型的多协议猜测攻击验证分析

对安全协议进行猜测攻击,如果攻击者不能正确猜测用户秘密,那么他就会设法使用其他的信息来验证这种猜测.过去仅考虑了协议在独立执行的时候所遭受到的攻击.现引入一种新类型攻击称为多协议猜测攻击,它可以存在于混合协议中.接着,采用程序化分析方法对协议可能遭受到的猜测攻击进行了分析即协议的脆弱性分析.最后,加入一定的限制条件并使用串空间建模,进而保证了协议的安全性即协议的健壮性验证.     

Neuman-Stubblebine协议的串空间模型及分析

串空间模型是一种新兴的密码协议形式化分析工具,其理论中理想和诚实概念的提出大大减少了协议的证明步骤.首次利用串空间理论从机密性和认证性两个方面对Neuman-Stubblebine协议进行了分析.分析结果证明该协议是安全的,而且理想对公开密钥算法和对称密钥算法产生的协议的分析都是有效的.     

事理认知图谱在电信运营商潜在不满预测分析中的应用研究

<正>以前，电信运营商多借助机器学习分类算法和构造分类器来衡量用户体验满意度，其不足之处在于无法得出用户不满意的原因。本文拟使用事理认知图谱技术进行电信运营商网络及业务数据的满意度认知分析，从而挖掘事件之间的演化规律与模式。具体通过引入以事件为形态的知识资源，描述实体间的关联关系，以及动态化、结构化的语义信息，最终通过事件抽取及关联将各类源数据进行串联，从而实现更精准的潜在不满预测。     

浅谈门槽不锈钢弧面轨道的切削加工

文章针对不锈钢材料的加工特性差及门槽弧轨道弧面加工困难等技术问题，介绍了三种不同的加工方法，并进一步作了比较分析，以供同行借鉴。     

纸机施胶机传动控制的优化

本文主要介绍了造纸机中施胶机的传动控制的优化方法以及实际应用。在实际应用时通过程序将速度控制、转矩控制、负荷分配与张力控制配合使用能够全面提升表面施胶的连续性和稳定性,提高成品纸生产质量,减轻了操作工的工作强度,减少因断纸而引起的停机时间,提高了产量,在较大程度上加强了整体系统运行稳定性和精准性。     

NSSK协议的串空间模型及分析

本文介绍了串空间模型中的基本概念和定理,并首次利用串空间理论,从机密性和认证性两个方面,对改进的NSSK协议进行了分析.分析结果表明改进的NSSK协议是安全的.     

用于安全协议分析的一种新的状态剪枝方法

Strand空间模型是利用图的形式来描述和分析安全协议的。通过对该模型的研究,总结了已有的状态空间简化技术;研究了如何将认证测试理论应用于安全协议分析中,根据认证测试理论我们得出了一个剪枝定理。研究表明该剪枝定理能够大大减少协议分析中的冗余状态,提高了协议分析的效率。     

2600 m3高炉大修后快速达产实践

对鞍钢集团朝阳钢铁有限公司2600 m3高炉大修开炉达产实践进行了总结,通过在开炉前制定科学的开炉方案,在开炉过程中,注重选择合适的开炉料配比、确定合理的送风制度、优化高炉操作,确保炉况稳定顺行,一周内利用系数达到2.00 t/(m3·d)。