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开发中。     

小口径离轴抛物面反射镜挠性支撑设计分析

关于反射镜支撑稳定性优化设计问题,离轴抛物面反射镜作为空间光学遥感器的重要光学元件,面形精度直接影响遥感器性能。针对反射镜所处环境,组件一阶频率要求高,设计了一种反射镜背部中心单点挠性支撑结构,并利用拓扑优化技术对反射镜进行了轻量化设计。为了结构设计的合理性,采用有限元技术对反射镜组件进行了模态分析、结构强度分析、谐响应分析及热环境分析。分析结果表明:反射镜在重力作用下最大面形误差RMS=1.16nm;在±10℃温度载荷作用下最大面形误差RMS=11.46nm;反射镜组件一阶频率为574.19Hz。使挠性支撑结构具有良好的静、动态特性和热尺寸稳定性,满足反射镜面形要求。     

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

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

简析组建互联局域网

随着网络的应用发展普及,用户向信息化发展的必然选择是网络的建设,局域网不仅能使信息能及时、准确地传送给每个用户,并能提供许多种应用服务。局域网组建中主要应用了网络技术中的局域网技术来建设与管理的。