车载通信系统是智能车辆与外界环境交互的媒介和内部报文信息传输的载体。为了保证智能车辆通信系统的安全性和可靠性,对智能汽车基于控制器局域网络(Control Area Network,CAN)总线的通信过程进行分析并建立时间自动机模型。加入对通...车载通信系统是智能车辆与外界环境交互的媒介和内部报文信息传输的载体。为了保证智能车辆通信系统的安全性和可靠性,对智能汽车基于控制器局域网络(Control Area Network,CAN)总线的通信过程进行分析并建立时间自动机模型。加入对通信过程中网关的分析和建模,模拟外部环境到内部单元之间不同速率通信过程;抽取车辆通信系统需要满足的属性。运用模型检测工具验证了智能车辆通信的实时性和正确性。结果表明该模型可以满足有关属性,确保车辆在遇到突发紧急的交通情况下,通信系统能够及时传递数据,车辆做出正确的反应并且辅助驾驶员做出相应操作。展开更多
随着信息技术的发展,车载通信系统的应用越来越广泛,消耗功率也不断变大。车载综合电源大量采用高频开关电源技术,正朝着数字化、小型化的方向发展。介绍一种车载综合电源,给出了该电源的电磁兼容(Electro Magnetic Compatibility,EMC)...随着信息技术的发展,车载通信系统的应用越来越广泛,消耗功率也不断变大。车载综合电源大量采用高频开关电源技术,正朝着数字化、小型化的方向发展。介绍一种车载综合电源,给出了该电源的电磁兼容(Electro Magnetic Compatibility,EMC)设计、试验结果以及问题整改情况,可以有效提升电源系统的抗干扰能力,延长系统的使用寿命。主要针对EMC在电源系统设计中的实践运用展开全面深入的研究,希望能对我国电源系统设计工作的良好发展起到积极的辅助作用。展开更多
文摘车载通信系统是智能车辆与外界环境交互的媒介和内部报文信息传输的载体。为了保证智能车辆通信系统的安全性和可靠性,对智能汽车基于控制器局域网络(Control Area Network,CAN)总线的通信过程进行分析并建立时间自动机模型。加入对通信过程中网关的分析和建模,模拟外部环境到内部单元之间不同速率通信过程;抽取车辆通信系统需要满足的属性。运用模型检测工具验证了智能车辆通信的实时性和正确性。结果表明该模型可以满足有关属性,确保车辆在遇到突发紧急的交通情况下,通信系统能够及时传递数据,车辆做出正确的反应并且辅助驾驶员做出相应操作。
文摘随着信息技术的发展,车载通信系统的应用越来越广泛,消耗功率也不断变大。车载综合电源大量采用高频开关电源技术,正朝着数字化、小型化的方向发展。介绍一种车载综合电源,给出了该电源的电磁兼容(Electro Magnetic Compatibility,EMC)设计、试验结果以及问题整改情况,可以有效提升电源系统的抗干扰能力,延长系统的使用寿命。主要针对EMC在电源系统设计中的实践运用展开全面深入的研究,希望能对我国电源系统设计工作的良好发展起到积极的辅助作用。
