UPPAAL-SMC相关论文
自动驾驶场景中存在着丰富的时空数据和动态行为交互,使得自动驾驶场景充满复杂性。系统的安全性面临着严重的挑战。近年来,人们尝......
作为轨道交通系统的核心子系统之一,联锁系统的安全性应当作为开发的首要前提和目标。联锁系统事故预测是保证联锁系统安全性的重......
随着我国现代城市化进程的发展,能源问题日益突出。作为人们工作生活的主要场所,建筑的节能减排成为我国建筑行业绿色发展的一项重......
