用逻辑方法验证移动Ad Hoc网络协议

针对移动Ad Hoc网络节点移动和无线广播通信特征,引入移动算子和广播算子,扩展形式逻辑LS2,提出了建模和分析移动Ad Hoc网络安全系统的逻辑ELS2.ELS2把网络模型化为不同位置上执行程序的线程复合,把攻击者模型化为与协议参与方并发运行的线程.ELS2中提出网络迹概念,描述网络节点内部计算和外部交互,以及节点移...     

无线传感器网络中基于时间分量的混合路由协议

在均匀分簇的基础上,分析了多簇群情况下单跳和多跳模型能量的有效性,给出了两种情况下计算最优簇首数目的算法.考虑到单一的路由模式会引起网络能耗不均衡,提出并改进了多簇群情况下利用时间分量的单跳和多跳相结合的混合模型.仿真结果表明,基于时间分量的混合通信模式在能量有效性和能耗均衡分配方面均优于单跳、多跳模式.     

甘肃省科技厅与陕西省科技厅签订关中-天水经济区科技合作协议

本刊讯10月21日,甘肃省厅与陕西省科技厅在西安签订了全面科技合作协议。张天理厅长与陕西省科技厅副厅长史高领代表分别代表两省科技厅在协议上签了字。此次两省科技厅签订的科技合作协议,是为了贯彻落实《关中一天水经济区发展规划》,支撑关中一天水经济社会依靠科技进步实现跨越发展的具体举措。     

面向前向纠错的无线Mesh网多播差错控制协议

针对无线Mesh网现有媒体访问控制层协议进行多播时效率较低的问题,在分层信标驱动的无线Mesh网多播差错控制协议(Layer-BLBP)的基础上,提出了一种面向前向纠错的无线Mesh网多播差错控制协议———混合分层信标帧驱动协议(HLBLBP).该协议通过引入前向纠错技术和减少多播纠错时控制帧数量来降低重传次数,从而提高了用于数据传输的实际开销占整个多播过程的时间比例.仿真实验结果表明,新协议有效提高了多播网络的总体性能,提供的实际吞吐率比Layer-BLBP提高了25%以上.     

基于二维区间Hash链的RFID安全协议

作为未来物联网(IOT)的核心技术之一,无线射频识别(RFID)系统由于设备的局限性而存在许多安全问题.在分析几种典型安全协议核心思想的基础上,提出了基于二维区间(two-dimensional region,TDR)Hash链的安全协议.该协议以区间划分的方式标识各链,从而提高了数据库的检索效率;同时,由于在协议中引入了随机性,RFID系统的安全性得到了进一步增强.     

确认机制对ARP协议的改进

首先分析了ARP协议原理,阐明ARP欺骗过程,然后提出了新的ARP协议,并采用OP-NET仿真软件对新的协议进行了仿真,仿真结果表明,新的协议在很大程度上可以防范ARP欺骗.     

基于自由口协议的S7-200PLC与伺服电机的数据通讯

基于自由口通讯协议的S7-200PLC与伺服电机的数据通讯技术,采用SIEMENS S7-200 PLC,通过自由口通讯协议向伺服驱动器读写数据,达到高速控制伺服电机的启停、速度及控制模式.     

基于M-Bus传输协议的便携式水表运行监测系统的开发

文章介绍了M-Bus传输协议的便携式水表运行监测系统的开发背景,开发过程中采用的技术路线以及关键技术,该套系统是对全自动抄表系统的一种补充,给用户提供多一种抄表方案的选择.     

浅析TCP/IP

文章首先对TCP/IP技术进行了综述,重点阐述了TCP/IP基本含义、整体结构及基本协议等方面的内容.     

基于M-Bus传输协议的便携式水表运行监测系统的开发

文章介绍了M-Bus传输协议的便携式水表运行监测系统的开发背景,开发过程中采用的技术路线以及关键技术,该套系统是对全自动抄表系统的一种补充,给用户提供多一种抄表方案的选择。