Efficient Protocol-Proving Algorithm Based on Improved Authentication Tests

A new efficient protocol-proving algorithm was proposed for verifying security protocols. This algorithm is based on the improved authentication tests model, which enhances the original model by formalizing the message reply attack. With exact causal dependency relations between messages in this model, the protocol-proving algorithm can avoid the state explosion caused by asynchronous. In order to get the straight proof of security protocols, three authentication theorems are exploited for evaluating the agreement and distinction properties. When the algorithm terminates, it outputs either the proof results or the potential flaws of the security protocol. The experiment shows that the protocol-proving algorithm can detect the type flaw attack on Neuman-Stubblebine protocol, and prove the correctness of NSL protocol by exploring only 10 states.     

电子数据交换和电子商务信息集成系统

随着电子数据交换和电子商务在交通水上运输的应用，电子数据交换、电子商务和应用系统的建成平台——XIB的部分功能和特性，尤其是可以实现系统集成连接、处理多种数据格式和通讯协议，因此对于客户的旧有系统中的多种来源数据或存在于新的Internet应用程序包中的数据，都可以进行转换、集成并合理、有效地利用。     

地铁列车加装视频监视系统的可行性分析

地铁列车环境的特殊性使得列车视频系统的安装具有众多的技术难点,特别是现有运营的车辆加装视频系统更是困难,导致许多在传统意义上的安防监控的方案不能在列车上实施。文中提出了基于有线IP的监控方案,并从技术方案和工程安装方案上进行了可行性分析。     

CV800二合一驱动器在新能源汽车空调上的应用研究

纯电动汽车空调既需要为压缩机提供动力,也需要给蒸发风机和冷凝风机提供动力。传统的设计是独立的变频器和DCDC模块,不但占用空调空间而且布线走线麻烦。为解决这一问题,汇川专门研发了一款内置变频器和DCDC的二合一驱动器CV800。CV800二合一大巴空调驱动器包含一个变频器和一个双路可调压的DCDC电源,可以实现有刷风机和无刷风机的控制,特别适合在电动汽车空调上应用。     

基于CCP协议的电控发动机监控标定系统开发

CCP协议是一种基于CAN总线的匹配标定协议,其可靠性和稳定性高,应用范围越来越广.通过采用Labview开发了基于CCP协议的上位机标定监控软件,利用CCP DRIVER实现了下位机与上位机的通讯,实现了数据上传和下载等相关功能.采用本标定系统进行的电控发动机监控标定试验表明该套系统实时性和可靠性好,能够满足发动机标...     

基于CAN总线的停车位检测器设计与实现

为提高停车位信息采集的实时性与可靠性,利用CAN总线通信技术设计并实现1种感知停车场车位空满状态的检测器.提出车位检测器总体技术架构与硬件组成,分析软件设计流程、车位检测优化算法、以及通信报文协议,并给出具体实现方案.通过对100个设备节点进行组网测试,结果表明:检测器的车位状态判定准确率大于98%,车位信息报文上传时延小于1.5ms,丢包率小于1%.      

移动自组网路由协议AODV的性能研究

AODV协议是DSDV协议的一种改进。利用Manet工作小组推荐的NS2仿真软件对AODV进行模拟，从最大连接度、移动速度、移动范围、节点个数、分组发送频率5个方面分析AODV的性能。根据不同仿真场景计算出各种情况下AODV协议的分组平均递交率、端到端的平均延迟和路由开销，并根据仿真结果分析了以上5个方面对AODV协议的影响，最后得出AODV的最佳工作环境。     

基于CCP协议的ECU标定系统上位机设计

为了提高标定系统开发研究的效率,文章采用工业界广泛认可的标定规范ASAP作为标定系统软件开发标准,采用CCP协议作为标定系统的应用层协议,描述了上位机软件的3大主要模块(界面功能模块、CCP驱动模块和CAN驱动模块)及其开发流程。经反复调试,该上位机软件实现了数据实时监控和参数标定等功能。基于CCP协议的标定系统通信稳定可靠,且传输速率快,其应用推广有利于促进标定系统研究的规范性和通用性。     

微机串口通信系统的Visual C++实现

以一个串口通信程序为例,介绍了Visual C 环境下串口通信的编程方法。实现了一个简单的通信协议,双机之间可以通过串口实现近距离文件的传输。     

A Reliable Adaptive High-Definition Transmission System for Distance Learning

There is an increasing demand for supporting high-quality real-time audiovisual services for the next generation wired and wireless networks. However, due to variety of bandwidths of different networks, it is a great challenge for deployment. In this paper, a novel high-definition (HD) video transmission system was proposed which depends upon reliable compound multicast protocols and QoS control over the various kinds of networks. This system detects client's network condition and assigns it to a proper proxy. Each proxy is capable of detecting network parameters and adaptively tuning such transport parameters as bit rate, video resolution, frame rate and QoS mechanisms to this condition. It also provides FEC error recovery under consideration of characteristics of MPEG4 video codec. Our simulation demonstrates that different network clients such as ADSL, CERNET, and CERNET2 can receive more video reliability with less delay.