【技术实现步骤摘要】
本专利技术涉及预期功能安全中预期功能安全性评估领域，特别是一种基于逻辑场景的自动驾驶汽车数字孪生场景生成及验证方法及系统。
技术介绍
1、人工智能(ai)的研究和应用加速了对高度自动驾驶汽车(hav)的认知和实现。人工智能算法的不确定性也带来了安全风险。目前仍然严重缺乏切实有效地解决这些挑战的具体方法。因此，预期功能安全(sotif)是为了补充功能安全(fusa)和信息安全所不能覆盖的风险，以解决车辆人工智能的不确定性带来的挑战。负责任的人工智能和合乎道德的人工智能有助于降低意外的风险性危险，是一种确保预期功能安全的有效方法。现实世界场景的不可复制特点是物理测试的众所周知的局限性之一，但如今汽车制造商可以基于实时数据使用数字孪生技术，让重现测试场景变得可能。在虚拟测试中，高度自动驾驶汽车与其他虚拟交通参与者之间的闭环交互作用使得实验结果与模拟产生的证据难以直接比较，因为高度自动驾驶汽车的突发行为可能会放大环境之间的微小差异。因此，基于场景的测试被认为是用于认知和验证高度自动驾驶汽车最先进的测试。
技术实现思路
1、为了解决现有技术存在的不足，本专利技术的目的是提出了一种基于逻辑场景的自动驾驶汽车数字孪生场景生成及验证方法，具体包括以下四个步骤：
2、步骤一：从实际场景转换到元场景(msa)，首先要使用基于opendrive和openscenario标准的xml语言将原始的真实场景转换为.xodr和.xosc文件，然后将基于.xodr和.xosc文件提取元场景中的属性和参
3、步骤二：从元场景提取一个或多个元情景(mse)，元情景是一个元场景在特定时间点上的切片。所述特定时间点是指车辆在行驶过程中发生行驶状态改变的时间点，所述行驶状态包括并道、刹车、加减速等等。例如当发生预期外交通参与者的突然出现，行驶到了一小块湿滑的路面，车队头车行驶到了岔路口等等情况时，车辆的行驶状态相较于前一段时间会发生改变，出现上述行驶状态变化的时间点即为特定时间点。元情景包含一个固定时间点内的卡车队列信息、环境信息、道路信息和交通参与者信息，提取出元情景为下一步生成数字孪生场景做准备；
4、步骤三：基于元情景的数字孪生场景生成，以从元场景中提取出的元情景为基础，发生行驶状态改变的特定的元情景被转换和生成为孪生情景；孪生元情景和约束变量组合然后形成未经验证的孪生场景；
5、本专利技术中，所述约束变量是指在场景中对车辆进行限制的设定，包括场景中车辆需要遵守的交通规则等，具体包括限速、通行方向、道路标线等等；
6、步骤四：孪生场景(ts)验证，在基于元场景和元情景生成对自动卡车队列的虚拟测试孪生场景时，生成的孪生场景由孪生元情景组成。场景是研究对象在一段时间内的动态变化过程，情景是场景中特定时刻(发生行驶状态变化的时间)的片段，每个情景随着时间的变化形成一个新的情景。因为，在验证生成的孪生场景时，将孪生场景构造为一个考虑条件约束的时间自动机，并将孪生场景抽象为元情景，作为一个状态。通过判断所构造的时间自动机的时间约束和条件约束的可满足性，验证所生成的孪生场景是否有效。
7、步骤一中，元场景是被使用的真实场景，元情景是元场景在特定时间点上的切片；元场景通常是用于扩大的原始真实场景。元场景通常是一个持续一段时间的驱动过程，它是动态的和连续的。因此，可以通过创建几个关键的特定时间点的元情景来描述元场景的动态过程。元场景包含主要车辆信息、基本轨迹的起始和结束坐标，以及由n个元情景片段组成的矩阵信息。元情景片段由元组组成，元场景(msa)可以表示为msa＝{platoons，truck，n，scoord，ecoord,[nmse]}，其中platoons表示整个卡车队列的信息，卡车truck表示自动驾驶卡车信息，n表示元情景片段数量，scoord和ecoord表示元情景的起始和终止(scoord是第一个选择的元情景，ecoord是最后一个选择的元情景)，[nmse]表示mse矩阵，mse矩阵属于一个形式化的方法，矩阵中包括每个mse的信息*n个mse。具体来说，汽车和其他交通参与者的交互模型，就像其他车辆一样，不在元场景中，而是在元情景中。
8、步骤一中，从实际场景转换到元场景是基于opendrive和openscenario的，asamopendrive提供了使用可扩展标记语言(xml)描述道路网络的基础，openscenario格式允许创建详细的场景，可用于测试和验证自动驾驶算法和系统。在元场景转换算法中，从原始真实场景到元场景的转换过程取决于opendrive和openscenario标准。
9、步骤一中提到的元场景中的属性和参数包括车辆信息、基本轨迹的起始和结束坐标，以及由n个元情景片段组成的矩阵信息以及上述属性对应的具体参数。
10、步骤二中，元情景是元场景在关键的特定时间点的状态。每个元情景都是一个静态场景描述。因此，元情景包括静态时刻的道路信息、环境信息、卡车队列信息和第三方交通参与者信息。元情景中的卡车队列信息主要包括队列的状态、自助卡车状态(设定的速度和/或油门状态、车辆驾驶员和/或乘客的状态)等，所述队列状态包括队列领队、队列长度、队列空间等。道路信息包括车道信息和道路基础设施信息。其中，车道信息包括有关道路的基本信息，如曲率、坡度、海拔高度、道路摩擦力、车道数等信息。道路基础设施信息包括交通灯、道路绿化带、交通标志、路灯等信息。环境信息包括两个因素：天气和光照。天气用风、云、雨、雾、温度等表示，光照用光强、角度和光源等表示。第三方交通参与者的信息包括预期的交通参与者，如道路上的行人、机动车辆和非机动车辆。此外，本专利技术还提出了一个预期外的交通参与者。预期外的交通参与者包括突然进入主题车辆的角度或突然出现某些因素影响正常驾驶的主要车辆，如一块石头，突然从天上坠落，击中前挡风玻璃或动物突然冲向主要车辆的前面。根据对元情景的描述，通过形式化建模来定义元情景。
11、形式化建模具体如下：
12、在步骤二中，定义是一个n元谓词，(t1，t2，t3，t4)是一个项，本专利技术使用原子公式(t1，t2，t3，t4)代表元情景。在这个原子公式中，项表示构成元情景的元素，其中t1表示队列信息，t2表示道路信息，t3表示环境信息，t4表示交通参与者的信息，对应于图2中的四个分支。
13、步骤二中，根据元情景的定义，每个元情景都可以表示为一个原子公式。因此，从元场景提取元情景中等价于从构建好的公式中提取原子公式。在形式化模型中，元场景被分为i个时间点，这意味着元场景的公式包含i个原子公式：不存在某动作。a∧a：如一个超车的场景，有加速和转向，那么就有两个mse，一个是加速一个是转向。a∨a：一个场景下，可能存在二选一，a→a：有这个导致另外一个。在这个公式中，是一个约束变量，其中j的值范围为[0，m]，m为约束变量中的设定上限值，而是一个自由变量，其中j的值范围为(a，b]，b>a，a、b数值根据变量实际表示的含义及本文档来自技高网...
【技术保护点】
1.一种基于逻辑场景的自动驾驶汽车数字孪生场景生成及验证方法，其特征在于，包括以下步骤：
2.根据权利要求1所述的孪生场景生成及验证方法，其特征在于，步骤一中，元场景是一个持续时间的驱动过程，通过创建行驶状态改变的时间点的元情景来描述元场景的动态过程；元场景包含主要车辆信息、基本轨迹的起始和结束坐标，以及由n个元情景片段组成的矩阵信息；元情景片段由元组组成，元场景表示为MSA＝{platoons，truck，n，scoord，ecoord,[nMSE]}，其中platoons表示整个卡车队列的信息，卡车truck表示自动驾驶卡车信息，n表示元情景碎片数量，scoord和ecoord表示元情景的起始和终止，[nMSE]表示MSE矩阵；卡车和其他交通参与者的交互模型在元情景中。
3.根据权利要求1所述的孪生场景生成及验证方法，其特征在于，步骤一中，从实际场景转换到元场景基于OpenDRIVE和OpenSCENARIO，ASAMOpenDRIVE提供使用可扩展标记语言描述道路网络的基础；OpenSCENARIO格式允许创建详细的场景，用于测试和验证自动驾驶算法和
4.根据权利要求1所述的孪生场景生成及验证方法，其特征在于，步骤二中，元情景是元场景在行驶状态改变的时间点的状态；每个元情景都是一个静态场景描述；元情景包括静态时刻的道路信息、环境信息、卡车队列信息和第三方交通参与者信息；
5.根据权利要求4所述的孪生场景生成及验证方法，其特征在于，在步骤二中，形式化建模具体如下：
6.根据权利要求1所述的孪生场景生成及验证方法，其特征在于，步骤二中，根据元情景的定义，每个元情景表示为一个原子公式；从元场景提取元情景中等价于从构建好的公式中提取原子公式；在形式化模型中，元场景被分为i个时间点，元场景的公式包含i个原子公式：在这个公式中，是一个约束变量，其中j的值范围为[0，m]，m为约束变量中的设定上限值，而是一个自由变量，其中j的值范围为(a，b]，b>a，a、b数值根据变量实际表示的含义及对应的要求确定相应的大小。
7.根据权利要求1所述的孪生场景生成及验证方法，其特征在于，步骤三中，基于项替换定理构造了孪生场景，元情景L是一种一阶语言，I是L的实现，A(xi)∈F(L)是一个公式，xi是A(xi)的一个自由变量；设项t为xi的一个自由变量，v是I中L的任务，v'是v的等价的任务，且v'(xi)＝v(t)。
8.根据权利要求1所述的孪生场景生成及验证方法，其特征在于，步骤四中，设k为在定时自动机TA中的迁移，如果k的时间约束永远不能有效，则说k的时间约束是不满足的，否则，k的时间约束满足；只有当满足k的时间约束时，生成的孪生场景才有效；将该孪生场景构造为一个时间自动机的迁移序列，即假设该路径从起始时间k0开始通过ki,…,kj迁移到k，<k0,ki,…,kj,k>是一个迁移序列，用<k0,ki,…,kj,k>表示孪生场景；假设ki和kj是过渡序列<k0,k1,…,kn>中的两个过渡，如果ki和kj是相邻的或者过渡ki或kj是在迁移序列的结束时，时间约束中的时钟值被设置为0的迁移，那么k0到k被称为时间关系迁移，否则k0到k被称为非时间关系迁移。
9.根据权利要求1所述的孪生场景生成及验证方法，其特征在于，步骤四中，一个完整的场景是由定时自动机组成，在一个共同的时钟和动作集合上的定时自动机网络，由n个定时自动机组成；状态之间的转换关系构成了场景中交通变化的过程，包括交通参与者位置的变化、天气的变化、交通规则的变化。
10.一种实现如权利要求1-9之任一项所述的方法的系统，所述系统包括元场景转换模块、元情景提取模块、孪生场景生成模块、孪生场景验证模块。
...【技术特征摘要】
1.一种基于逻辑场景的自动驾驶汽车数字孪生场景生成及验证方法，其特征在于，包括以下步骤：
2.根据权利要求1所述的孪生场景生成及验证方法，其特征在于，步骤一中，元场景是一个持续时间的驱动过程，通过创建行驶状态改变的时间点的元情景来描述元场景的动态过程；元场景包含主要车辆信息、基本轨迹的起始和结束坐标，以及由n个元情景片段组成的矩阵信息；元情景片段由元组组成，元场景表示为msa＝{platoons，truck，n，scoord，ecoord,[nmse]}，其中platoons表示整个卡车队列的信息，卡车truck表示自动驾驶卡车信息，n表示元情景碎片数量，scoord和ecoord表示元情景的起始和终止，[nmse]表示mse矩阵；卡车和其他交通参与者的交互模型在元情景中。
3.根据权利要求1所述的孪生场景生成及验证方法，其特征在于，步骤一中，从实际场景转换到元场景基于opendrive和openscenario，asamopendrive提供使用可扩展标记语言描述道路网络的基础；openscenario格式允许创建详细的场景，用于测试和验证自动驾驶算法和系统。
4.根据权利要求1所述的孪生场景生成及验证方法，其特征在于，步骤二中，元情景是元场景在行驶状态改变的时间点的状态；每个元情景都是一个静态场景描述；元情景包括静态时刻的道路信息、环境信息、卡车队列信息和第三方交通参与者信息；
5.根据权利要求4所述的孪生场景生成及验证方法，其特征在于，在步骤二中，形式化建模具体如下：
6.根据权利要求1所述的孪生场景生成及验证方法，其特征在于，步骤二中，根据元情景的定义，每个元情景表示为一个原子公式；从元场景提取元情景中等价于从构建好的公式中提取原子公式；在形式化模型中，元场景被分为i个时间点，元场景的公式包含i个原子公式：在这个公式中，是一个约束变...
【专利技术属性】
技术研发人员：刘虹，王子维，侯中林，成文东，倪华，
申请(专利权)人：华东师范大学，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。