未雨绸缪 防汛练兵——总公司举行2010年应急预案防汛演练

6月3日,总公司防汛办公室精心组织了2010年应急预案防汛演练。当日下午14：30,总公司防汛办公室副主任闫龙河召集总公司防洪抢险队、内保治安队、青年抢险队、应急抢险队队长临时召开紧急会议,宣读总公司下发的《关于认真做好2010年防汛工作的通知》。     

列车通信网络控制器的综合验证

列车通信网络对安全性和可靠性提出更高的要求,如何保证网络控制器设计的正确性和可靠性成为确保列车安全运行的关键因素之一。本文以高级验证方法学为指导搭建列车网络控制器的层次化验证环境,提出网络拓扑级验证模型和错误注入机制,并对验证结果进行深入分析。实验结果表明:该验证方法增强验证组件的重用性,弥补传统方法的不足,有效提高了验证效率。     

家用小型轿车空调系统制冷量匹配

空调系统是目前家用小型轿车的基本配置,用来调节车内温度和湿度,满足驾乘人员的舒适性要求。文章从开发某新车的角度出发,理论与实际经验相结合,全面计算空调设计中的热量传递过程。最后得出,搭载本空调系统后,其系统消耗功率仅为发动机最大功率的4％～5％,不影响该车动力性。