机构名称：
¥ 2.0
摘要 - 使用AUSONSOPOUS车辆（AVS）的安全保证方法，通过将AVED测试放在具有挑战性的交通方案中，通过抽象场景规范捕获并在现实的交易模拟器中进行调查，进行系统级安全评估。作为基于方案的AVS测试的第一步，必须对fraffiffim festario的初始场景进行评估。在这种情况下，场景具体化挑战是将抽象交通场景的高级特定规范所采用的，旨在将它们映射到具体场景，在该场景中，为车辆的每个属性定义了确切的数字初始值（例如，位置或速度）。在本文中，我们提出了一种交流场景混凝土化方法，该方法将车辆放置在逼真的路线图上，以便满足通过表达式场景规范语言定义的一组可扩展的抽象约束，该语言也支持不一致的静态发现。然后，抽象约束映射到相应的数字约束，通过具有可自定义的目标函数和约束聚合策略的元启发式搜索来解决。我们对三个现实的路线图进行了一系列实验，以将我们方法的八个配置与状态的三种变体进行比较，并评估其可扩展性。
使用元启发式搜索
主要关键词
相关文件推荐
