动车组走行部的安全是动车组运行安全的重中之重,针对动车组列车在运用中存在的走行部螺栓松脱隐患,螺栓的紧固防松至关重要,安全责任重大。采用更加先进的“技防”手段来提升检测效率,从防松脱预警角度出发,结合RFID(Radio Frequency I...动车组走行部的安全是动车组运行安全的重中之重,针对动车组列车在运用中存在的走行部螺栓松脱隐患,螺栓的紧固防松至关重要,安全责任重大。采用更加先进的“技防”手段来提升检测效率,从防松脱预警角度出发,结合RFID(Radio Frequency Identification)技术,通过信息化、系统化等措施,达到动车组走行部关键部件螺栓防松脱预警的目的,满足国家关于信息系统安全方面的有关政策要求,切合铁路信息安全系统建设要求及特点。整个系统融入敏捷软件开发思想,采用面向框架的应用平台开发模式,做到了应用系统体系结构的复用。经过实车检测试验,运行效果良好,可以将本系统作为通用预警方案推广应用。展开更多
Y2001-62925-77 0209181具有 SDL 规则的并行系统模型检验=Model checkingof concurrent system with SDL——specifjication[会,英]/Blaskovic,B.& Dembitz,S.//2000 IEEEMediterranean Electrotechnical Conference,Vol 1 of 3:Re...Y2001-62925-77 0209181具有 SDL 规则的并行系统模型检验=Model checkingof concurrent system with SDL——specifjication[会,英]/Blaskovic,B.& Dembitz,S.//2000 IEEEMediterranean Electrotechnical Conference,Vol 1 of 3:Regional Commumcation and Information Technology.—77～80(E)展开更多
文摘动车组走行部的安全是动车组运行安全的重中之重,针对动车组列车在运用中存在的走行部螺栓松脱隐患,螺栓的紧固防松至关重要,安全责任重大。采用更加先进的“技防”手段来提升检测效率,从防松脱预警角度出发,结合RFID(Radio Frequency Identification)技术,通过信息化、系统化等措施,达到动车组走行部关键部件螺栓防松脱预警的目的,满足国家关于信息系统安全方面的有关政策要求,切合铁路信息安全系统建设要求及特点。整个系统融入敏捷软件开发思想,采用面向框架的应用平台开发模式,做到了应用系统体系结构的复用。经过实车检测试验,运行效果良好,可以将本系统作为通用预警方案推广应用。
文摘Y2001-62925-77 0209181具有 SDL 规则的并行系统模型检验=Model checkingof concurrent system with SDL——specifjication[会,英]/Blaskovic,B.& Dembitz,S.//2000 IEEEMediterranean Electrotechnical Conference,Vol 1 of 3:Regional Commumcation and Information Technology.—77～80(E)
