简介:皮带运输系统是一个以传动装置带动输送带运转来运送散件物料的运输设备,其控制系统是一个典型离散事件控制系统和按顺序启停的实时控制系统。拟在进一步研究皮带运输系统运行状态和控制逻辑的基础上,运用形式化的建模方法将皮带运输系统的控制逻辑进行验证,绘制一种带约束组合弧的有色时间Petri网模型。把诸多控制设备的复杂逻辑控制策略图形化,提高了系统的可靠性和安全性,减少了设计和开发过程的错误。采用带约束组合弧的有色时间Petri网进行建模,有效地缓解了系统中的设备数量多的“节点爆炸”问题,使模型在表述系统逻辑控制行为时简单有效。
简介:网联自动驾驶汽车(CAVs)是现代汽车产业发展的必然趋势,但因其融合现代通信与网络技术,极易遭受黑客攻击,进而引发CAVs'通信协议破解、中间人攻击型''软件系统更新、后续服务型''移动终端连接、间接影响型'网络安全事故法律责任问题。我国应从CAVs民事责任本质变化的现状出发,通过借鉴英国《网联和自动驾驶汽车车辆网络安全的关键原则》、美国《现代汽车的网络安全最佳实践》等先进做法,探索CAVs网络安全事故责任分配路径,并采用生命周期管理方法,建立产业链一体化的法律监管制度,强化CAVs网络安全防护体系,为司法部门解决相关法律问题提供可靠技术支持。