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

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

一种改进的小生境遗传算法在多目标优化中的应用

引入个体迁徙和捕猎行为的模拟,改进小生境遗传算法的思想,以加快Pareto最优解的收敛速度和保证解的多样性,使得改进的算法更适合于多目标优化求解.计算实例表明,与SPEA算法相比,所提出的算法更优越.     

基于IRCM的抗阅读器冲突协议

在射频识别技术RFID（Radio Frequency Identification）技术的应用中,不同阅读器的信号之间互相干扰造成的阅读器冲突问题是制约系统性能的主要瓶颈之一,尤其在阅读器密集分布和移动的环境中,问题更为突出。结合现有多种抗冲突方法的优点,提出一种针对多信道的、阅读器密集分布的RFID系统的基于IRCM的抗冲突协议。仿真表明在多信道、阅读器密集分布的RFID系统中该协议能显著提高系统效率。     

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

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

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

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

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

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

物联网分布式路由中基于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.     

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

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

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

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

TSLV：基于时间切片的车载网络位置验证方法(英文)

Position-spoofing-based attacks seriously threaten the security of Vehicular Ad Hoc Network(VANET).An effective solution to detect position spoofing is location verification.However,since vehicles move fast and the topology changes quickly in VANET,the static location verification method in Wireless Sensor Network(WSN) is not suitable for VANET.Taking into account the dynamic changing topology of VANET and collusion,we propose a Time-Slice-based Location Verification scheme,named TSLV,to resist position spo...