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

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

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

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

面向文景转换系统的空间本体库体系结构

空间概念转换是文景转换系统中的基本任务.空间本体库是在SUMO顶层体系框架下,结合文景转换特定领域要求,基于领域空间本体模型构建特定领域空间本体库.其本体描述的空间概念能够有效地弥补自然语言系统和图形系统之间的差别,把对于图形系统来说自然语言描述中缺失的信息补充上,即完善自然语言系统固有的模糊性,从而完成空间概念的转换,提升生成场景的美观性.这个本体库在面向汉语的静态文景转换中得到测试,且取得很好结果.     

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

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

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

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

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

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

基于车辆运动轨迹的VANETs位置验证

正确的位置信息在维护VANETs的正常运行扮演着重要的角色, 恶意节点的位置欺骗将严重影响VANETs诸多应用. 通过对节点的位置验证以检测节点的位置欺骗是VANETs重要的研究领域. 针对VANETs中车辆移动的相对速度较高, 网络拓扑结构频繁变化, 传统WSN和MANET中的位置验证方案不再适用于VANETs, 提出基于车辆的运动轨迹位置验证方案, 采用最小二乘法对车辆进行连续定位跟踪, 并绘制其行驶路线, 与邻居车辆的行驶路线、速度相比较, 计算其吻合度, 检测位置欺骗. 仿真结果表明, 该方案有较低的漏警率和虚警率, 当恶意节点的欺骗距离达到30m时, 漏警率和虚警率接近于0.     

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

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

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

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

桥梁防撞墙外观质量的控制

本文对桥梁施工中防撞墙出现的外观质量问题进行了分析,并提出一些有效的控制方法。