Aziz-Diffie协议的形式化分析及其改进

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议安全性的一条可靠而准确的途径。作为形式化分析方法的典型代表BAN逻辑由于其直观、易用等优点得到广泛的应用。概述了BAN逻辑,并基于BAN逻辑对Aziz-Diffie无线网络密钥协议进行了形式化描述和分析,验证了协议存在的漏洞,同时提出了该协议的改进方案。     

基于大口径长输管道通信光缆工程的研究

川气东送管道是中石化迄今口径最大的长输管道,它的通信光缆工程路由复杂,存在着穿跨越多、转弯多、落差大、坡度陡的情况,导致硅芯管敷设和气吹光缆困难等问题。为解决这些问题,项目管理单位采取降低施工难度,使用合理的施工程序,把握质量控制要点等各种方法和措施来保证工程质量和进度。     

基于nRF24L01的无线通信系统设计

介绍了一种以nRF24L01无线收发芯片,以ATmega16单片机为控制核心的半双工无线通信系统,并对系统进行了传输速率和传输距离的测试,详细阐述了硬件和软件的设计要点。     

Efficient Algorithm for Prolonging Network Lifetime of Wireless Sensor Networks

One of the fundamental design challenges in designing a Wireless Sensor Network (WSN) is to maximize the network lifetime,as each sensor node of the network is equipped with a limited power battery.To overcome this challenge,different methods were developed in the last few years using such techniques as network protocols,data fusion algorithms using low power,energy efficient routing,and locating optimal sink position.This paper focuses on finding the optimal sink position.Relay nodes are introduced in conjunction with the sensor nodes to mitigate network geometric deficiencies since in most other approaches the sensor nodes close to the sink become heavily involved in data forwarding and,thus,their batteries are quickly depleted.A Particle Swarm Optimization (PSO) based algorithm is used to locate the optimal sink position with respect to those relay nodes to make the network more energy efficient.The relay nodes communicate with the sink instead of the sensor nodes.Tests show that this approach can save at least 40% of the energy and prolong the network lifetime.     

An improved method to detect remote sensing image targets captured by sensor network

In order to detect targets from the hyper-spectral images captured by unmanned aerial vehicles, the images are moved into a new characteristic space with greater divisibility by making use of the manifold learning theory. On this basis, a furation impulse response (FIR) filter is developed. The output energy can be minimized after images passing through a FIR filter. The target pixel and the background pixel are distinguished according to the restrained conditions. This method can effectively suppress noises and detect sub-pixel targets in the hyper-spectral remote sensing image of unknown background spectrum.     

基于软件无线电的无线传真接收机研究

为了克服传统无线传真接收机硬件依赖性强、功能单一、信号适应能力和可升级能力差等缺点,本文提出了一种基于软件无线电技术的无线传真接收机设计方案.该方案采用数字化器件和少量射频前端电路进行设计,将射频信号模数转换后,利用数字下变频器HSP50110和数字锁相环HSP50210对数字射频信号进行解调处理;由通用数字处理器将解调后的数据存储、打印或扩展接口外传其它设备;低功耗单片机承担人机交互任务,并将控制指令传达至通用数字处理器,由通用数字处理器控制整个接收机的运行.该设计方案使无线传真接收机具有更好的灵活性和可扩展性.     

WSN中基于圆锥曲线组合密钥的对等认证

综合分析了无线传感器网络已有认证协议在加密体系、PKC公钥绑定及应对攻击形式等方面的发展趋势和不足,给出引入了位置信息的基于身份的节点对等认证方案.该方案采用在求逆、求阶及求点倍数等操作比椭圆曲线容易的圆锥曲线加密体系.基于身份避免了证书的颁发/更新、存储、索取、验证等计算和通信开销;引入位置信息使得方案更健壮,形式化分析证明该方案是安全的.基于MICAx系列无线传感器网络节点的能耗分析结果表明:方案能很好地适用于资源受限的WSN环境.     

一种应用于工业无线网络的多路径节能路由算法

通过分析工业无线网络环境中网络拓扑结构的特点,设计了一种适用于工业过程自动化无线网络WIA-PA(wireless networks for industrial automation-process automation)规范的多路径路由.根据WIAPA网络拓扑稳定、工作环境干扰较大的特点,通过采用多路径数据传输,根...     

无线传感器网络多重覆盖成簇算法

在传统的无线传感器网络簇生成算法中,簇首的选择没有考虑其剩余能量,也没有分析簇首为簇内节点提供数据转发服务存在服务失败的问题,为此提出了一个新的无线传感器网络簇生成算法———多重覆盖成簇算法,该算法以待选簇首节点的剩余能量和节点初始能量的比值作为簇首服务的失败率,在此基础上算法选择的簇首通过对关键节点进行多重覆盖,以保障关键节点数据的可靠传输.最后,通过仿真实验验证了算法的有效性和正确性.     

基于物联网技术的工作局域网系统开发研究

在概述OA发展现状的基础上,介绍了基于物联网技术的工作局域网系统开发研究中的关键技术,探讨了研究方案及工艺路线。