基于离散ID序列的RFID标签认证协议

针对RFID的安全问题,提出一种基于离散ID序列的RFID标签认证协议——DSTAP,在此基础上,将DSTAP协议与其他认证协议进行比较分析,桑用BAN逻辑对所提出的协议进行形式化分析。分析结果表明,DSTAP协议达到指定的安全设计要求,同时可减少计算量。     

基于门限单向函数的组播密钥管理方案

组播是面向群组接收者的首选网络通信技术,但缺乏安全机制限制了组播在各种网络业务中的广泛应用。而组密钥管理是安全组播的核心问题之一。在对安全组播密钥的管理进行深入研究后,结合门限函数和单向函数提出了一种在维持低的通信代价基础上,不仅可以有效的减少组管理器的密钥存储量,而且能降低同谋破解概率的组密钥管理方案。     

物联网分布式路由中基于Beta函数的抗攻击信任管理模型

With the rapid development of Internet of Things (IoT), the issue of trust in distributed routing systems has attracted more research attention. The existing trust management frameworks, however, suffer from some possible attacks in hostile environments, such as false accusation, collusion, on-off, and conflicting behavior. Therefore, more comprehensive models should be proposed to predict the trust level of nodes on potential routes more precisely, and to defeat several kinds of possible attacks. This paper makes an attempt to design an attack-resistant trust management model based on beta function for distributed routing strategy in IoT. Our model can evaluate and propagate reputation in distributed routing systems. We first describe possible attacks on existing systems. Our model is then proposed to establish reliable trust relations between self-organized nodes and defeat possible attacks in distributed routing systems. We also propose a theoretical basis and skeleton of our model. Finally, some performance evaluations and security analyses are provided to show the effectiveness and robustness of our model compared with the existing systems.     

催化裂化装置柴油系统腐蚀原因分析

陕西延长石油延安炼油厂现有一套1.0MMTA催化裂化装置,主要处理常压渣油。在装置运行过程中,发现分馏塔柴油系统出现了较为严重的腐蚀现象,其中柴油系统工艺管线、冷却设备因腐蚀穿孔多次出现泄露情况,对装置的安全平稳运行带来了严重影响。本文主要根据装置的腐蚀情况,分析了装置产生腐蚀的主要原因,初步探讨了腐蚀产生的机理,并根据实际生产过程中的经验,提出了一些可行性的预防措施。     

海洋环境中微生物腐蚀及其防护研究进展

微生物腐蚀是当前我国海洋工程设施发展亟待解决的问题。综述了近几年来海洋环境中微生物腐蚀的研究方法及其防控措施,重点对液中高压脉冲电场杀菌技术做了详细的概括和分析。     

一类多变量非线性系统的解耦及线性化

以微分流形的分布为工具，得到了一类非线性系统可通过对角状态反馈变换实现系统的解耦及线性化的充要条件。     

多参考点板金零件展开方法研究

针对射线法在展开具有弯曲特征的板金零件时常出现的展开方位错误以及展开区域重叠等问题,在充分考虑了具有弯曲特征的板金零件材料弯曲变形特点的基础上,提出了以多参考点分区展开的思路和方法,建立了能考虑板金零件弯边外法向方向的射线分区展开算法,以此体现材料的弯曲变形特征.通过实例测试,所提出的展开算法高效、实用,并有效解决了展开方位错误和展开区域重叠问题,所得到的零件毛坯形状合理正确,为一步法快速分析优化提供了良好的初值.     

一种基于社会学行为的Pub/Sub系统路由*

为减少Pub/Sub系统中遍历广播的负载,基于社会学行为的小世界架构,提出了一种基于朋友圈的路由,给出了朋友圈划分算法以及基于朋友圈的Pub/Sub系统遍历算法,以限制消息在确定范围内传播,降低消息遍历的时间和广播开销。仿真实验表明,所提出的方法与Pub/Sub系统中传统的Gossip及洪泛法相比较,可加快消息的传播速度,降低网络开销。     

基于TLA的UML模型形式化验证

统一建模语言(UML)不能直接对所建立模型的正确性进行形式化验证。为解决上述问题,从UML模型的静态结构和动态行为 2个方面分别提出结合行为时序逻辑(TLA)的模型形式化方法,在此基础上提出将UML模型转化为TLA+的形式化描述方法,并用TLC工具形式化检测TLA+描述的正确性。通过实例分析证明了该方法的有效性。     

离心机转鼓结构优化设计方法的研究

提出了一种基于有限元分析的离心机转鼓结构优化设计的新方法。通过ANSYS中的参数化建模模块建立了GKH1250虹吸离心机转鼓的计算模型,并在此基础上使用优化设计功能对其进行第一次优化计算,然后根据其优化结果对转鼓进行了刚度和强度分析,并对优化变量的限制条件作相应的调整,最后再通过有限元分析进行了第二次优化设计,实现了总质量最小的优化目标。为应用ANSYS优化设计功能进行离心机转鼓的优化设计提供了一种新的方法。