IPv6在矿井工业以太网中的应用研究

介绍了IPv6产生的背景和发展现状,阐述了IPv6应用于矿井工业以太网的发展趋势和研究方向,指出对于所有基于矿井工业以太网的硬件和软件的开发都应带有双协议栈,随着IPv6技术的成熟和普及再研发出只有IPv6协议栈的适用于煤矿的网络设备,如支持IPv6的防爆网络设备、组态软件以及相应的数据采集驱动设备、控制硬件等。     

主从式矿用组合开关通信系统的研究

介绍了3.3kV智能型矿用组合开关控制系统的拓扑结构和各模块工作原理;针对该控制系统对于通信可靠性和实时性的需求,提出了一种基于C8051F040单片机和RS485总线的主从式矿用组合开关通信系统设计方案,详细介绍了该通信系统的硬件设计、通信协议及上下位机之间通信的实现过程。测试结果表明,该通信系统数据传输准确可靠,实时性高。     

AFDX网络协议研究

介绍了AFDX网络的产生背景及发展历程;解析了ARINC664规范各个部分的功能及与开放式系统参考模型的关系;总结了AFDX网络相对于商用以太网的特点和AFDX网络与机载系统的关系,通过对AFDX在A380等飞机上的应用研究,归纳了基于AFDX网络的航空电子系统的特点;AFDX网络已成功应用于工程实践,该网络具有完整的协议结构,具有高实时性、高确定性和高可靠性的特点,是一种新型的机载网络总线。     

基于蚁群优化的WSN能耗均衡链状路由协议

为了从路由技术的角度解决无线传感器网络的能耗问题,综合蚁群优化算法和PEGASIS协议的思想提出了ACO-PEGASIS路由协议;该协议采用蚁群优化算法构建通信链,解决了PEGASIS协议中由于贪婪算法的局部性产生的相邻节点间的长链问题;并在成链过程中综合考虑节点间距离、节点剩余能量等因子,以均衡全网的能量消耗;同时根据距离和能量因素选取链头节点并采用一定措施降低链头重选次数;仿真结果表明,与PEGASIS协议相比,该协议更加有效地均衡了全网的能量消耗,延长了网络的生存周期。     

STM32F207和DM9161A的以太网实现方案

电力抄表系统常通过网络采集和传输电网中的谐波等信息。本文提出了一种适合电力系统的网络设计方案。在STM32F207和DM9161A为核心的硬件平台上,完成了LwIP协议栈的移植,实现了远程终端和上位机通信。使电力系统更具实时性与交互性,并保证了通信的可靠性。     

一种分发车用安全信息的单跳广播协议

单跳广播是分发车用安全信息的基本方法。在车用安全信息广播中,预约信道机制和信道状态指示机制是影响安全信息及时可靠传输的关键问题。本文首先研究了现有的信道预约机制和信道状态指示机制,分析了其对于车用安全信息分发的局限性,提出了一种利用忙音预约一跳信道、指示一跳信道状态的单跳广播协议,并在OPNET网络仿真平台上,进行了仿真实验。实验结果表明,和没有预约信道、以及预约两跳信道的单跳广播协议相比,本文提出的单跳广播协议的性能稳健性较好,更适合于分发车用安全信息。     

Secure authentication scheme for passive C1G2 RFID tags

Privacy and security concerns inhibit the fast adaption of RFID technology for many applications. A number of authentication protocols that address these concerns have been proposed but real-world solutions that are secure, maintain low communication cost and can be integrated into the ubiquitous EPCglobal Class 1 Generation 2 tag protocol (C1G2) are still needed and being investigated. We present a novel authentication protocol, which offers a high level of security through the combination of a random key scheme with a strong cryptography. The protocol is applicable to resource, power and computationally constraint platforms such as RFID tags. Our investigation shows that it can provide mutual authentication, untraceability, forward and backward security as well as resistance to replay, denial-ofth-service and man-in-the-middle attacks, while retaining a competitive communication cost. The protocol has been integrated into the EPCglobal C1G2 tag protocol, which assures low implementation cost. We also present a successful implementation of our protocol on real-world components such as the INTEL WISP UHF RFID tag and a C1G2 compliant reader.     

A functional programming approach to the specification and verification of concurrent systems

Networks of communicating processes can be viewed as networks of stream transformers and programmed in a lazy functional language. Thus the correctness of concurrent systems can be reduced to the correctness of functional programs. In this paper such correctness is proved formally in the-calculus extended with recursion equations for functional programs. The-calculus is chosen since it allows the definition of properties by least fixed points (induction) as well as by greatest fixed points (coinduction), and since greatest fixed points are useful for formalising properties, such as fairness, of infinitely proceeding programs. Moreover, non-deterministic processes are represented as incompletely specified deterministic processes, that is, as properties of stream transformers. This method is illustrated by proving the correctness of the alternating bit protocol.     

基于XCP协议的通用型ECU标定软件的开发

为了使得汽车电子控制单元(ECU)的开发过程能够达到事半功倍的效果,开发出一套性能优越、功能强大,通用性强的标定软件十分重要,本文采用XCP协议、A2L描述文件和USB/CAN转换器开发出来了一套与通用型电控发动机的ECU相匹配的标定软件。通过在长丰集团搭载基于MPC5554的ECU的柴油发动机上实际应用,达到了实时,准确标定的目的。实际结果表明本软件可以作为通用标定平台,用于采用XCP标准协议的各类ECU开发中。     

基于动态连接的RDMA可靠传输协议设计

未来100P/E级高性能计算机系统对网络的传输可靠性、性能均衡性、可扩展性方面有更高的需求。本文提出的RDMA传输模型,采取配置少量资源,动态连接使用的策略实现端到端的数据可靠传输。与传统的可靠通信协议如Infiniband相比,本方案的优势为:(1)支持自动重路由,可绕过网络故障区域保证消息的可靠传输;(2)支持报文乱序到达,支持源和目的间的多路径传输,提供消息的流控机制,能较好地均衡网络整体性能,减少网络热点和缓解网络拥塞;(3)基于通信接口硬件实现可靠性数据结构,不需要消耗主存为通信建立连接,具有极高的系统可扩展性。初步测试结果表明,采取了优化措施后,该协议不会增加小于4K字节消息的传输延迟。