基于磁通量法的钢索拉力测量实验研究

文中探讨了一种非破坏性的测量技术——电磁传感检测,利用索中放置的电磁传感器,通过测量磁通量的变化来测定索力。这种新型的电磁传感器可用来监测民用建筑中钢索和钢筋中的张力,也可以监测大型铁索桥梁长期稳定情况。磁通量法在国外已用于各种结构的应力测试,获得了较好的效果,在我国也初见成效。

基站天线阵列设计

LTE系统通俗讲就是我们常说的3.9G,离4G还有一步之遥,是3G迈向4G的过渡版本。LTE基站的天线阵列设计也是目前天线阵列设计的主流。LTE基站的设计其系统架构中节点更加少,网络构成分支也更少更扁平化,信息的传送减少了在基站节点中耗费的逻辑消耗时间,因此大大地提升了网络传递信息的速度和效率。在未来的一段时间,LTE基站的天线阵列设计必将迅速得到推广。

改进型有色Petri网的安全协议分析

针对传统有色Petri网方法在安全协议分析中存在的一些不足,提出一种新的基于有色Petri网模型的分析方法。给出改进型的基于有色Petri网的模型构造方法及协议分析的具体步骤,利用此法对具体的Helsinki协议进行建模和分析。实验证明,这种方法行之有效,且在一定程度上有利于有色Petri网安全协议向自动化分析方向发展。

基于Petri网的安全协议分析

安徽工业大学计算机学院安徽243003摘要:本文提出了一种用Petri网对安全协议建模,并通过倒推证明方法与Petri网的可达性矩阵描述来发现协议漏洞的方法。通过对著名的Needham-Schroedor公钥协议建模,然后利用这一方法对协议进行检测,发现了协议存在漏洞。应用结果表明,方法有效。