摘要
提出了一种基于代理遗传优化的智能驾驶系统加速测试方法。首先,通过场景要素层次分析权值与优解区域特征改进参数采样模块中的拉丁超立方采样区间,实现了采样效率与优化效果的协同提升;其次,利用参数采样结果和重复度筛选机制增加遗传寻优模块的种群多样性,克服了传统遗传算法的局部收敛难题;然后,利用基于循环更新机制的代理筛选模块对场景测试结果进行预测,平衡了加速算法与代理模型应用之间的效率与精度矛盾;最后,搭建仿真平台在高维时序分解的前车变速场景下对待测智能驾驶系统进行加速测试与验证。结果表明,本文提出的方法可有效搜寻大量关键场景并提升测试效率。
在智能驾驶技术的发展过程中,如何对其进行高效可信的测试是产业发展亟需解决的重要问
然而,由于测试场景参数维度庞大,遍历测试会产生“参数爆炸”问
目前基于场景的加速测试方法主要有重要性采样与优化搜索两类。在重要性采样方法中,Zhao
本文提出一种包含采样‒寻优‒筛选的加速测试架构,设计了一种基于代理遗传优化(surrogate genetic optimization, SGO)的智能驾驶系统加速测试方法,主要内容如下:
(1)针对传统采样方法采样过程随机,重点不突出的缺陷,提出基于层次分析权值与优解区域特征的改进拉丁超立方采样方法。
(2)针对传统遗传算法优化过程局部收敛与搜索速度慢的弊端,提出基于重复度筛选的改进遗传算法。
(3)针对传统仿真测试过程全测试的成本与效率问题,提出基于代理模型筛选的仿真测试流程。
基于SGO的智能驾驶系统加速测试方法主要包括参数采样模块、遗传寻优模块和代理筛选模块3个核心部分,架构如

图1 算法整体架构
Fig.1 Overall architecture of algorithm
参数采样模块用于在场景参数空间中采样生成具体场景参数,以供遗传寻优模块进行种群生成和补充。遗传寻优模块通过采样数据和结果运算得出的适应度值进行场景要素的优化搜索。代理筛选模块以代理模型代替耗时的模拟仿真过程,可剔除大量非关键场景。3个模块相互耦合,共同完成高效而全面的加速测试工作。
将待测智能驾驶系统看作黑箱,为了使遗传寻优模块更快找到具有潜在价值的测试场景,在测试开始时应采样到批量分散的场景参数。同时,为了提升对关键测试场景的持续探索能力,需要在迭代过程中进行分散场景的补充采样。
为保证搜索到的测试场景参数足够分散,本文采用拉丁超立方采样(Latin hypercube sampling,LHS)生成初始采样点,LHS可以对每批次采样过程进行强制分层管
拉丁超立方采样方法的基本过程如下:
(1)对每一场景维度,按照累计密度函数分成n个相等分区(n为场景要素维度)。
(2)在单维度分区内随机选择数据点。
(3)将各维度结果组合生成采样空间。
(4)使用随机采样方法在采样空间中选取所需样本。
对于智能驾驶仿真测试而言,不同场景要素对测试结果具有不同影响程度,采样频次也应不一样。同时,伴随着优化过程的进行,优解区域的要素取值特征会被逐渐发掘,合理运用该特征可以进一步加速场景生成过程。因此,本文结合层次分析法,确定各场景要素的采样权值,生成基础采样区域,并在测试过程中结合要素取值特征更新采样区域,从而分配更为合理的采样数目。
层次分析法需要根据分析目标设计场景要素分类,并通过相互比较确立各要素分类的相对重要性权值。在后续的场景设计过程中,会根据要素分类的重要性权值确立拉丁超立方分区数量。
明确的待测系统是层次分析的前提,本文针对某款以毫米波雷达作为传感器的黑盒自动紧急制动(autonomous emergency braking,AEB)算法进行测试说明。如何迅速找到大量的关键危险场景是AEB系统测试的重点内容。
路面情况和运动过程是制动相关算法测试所关注的重点内容,相关研究表明降雨等天气对毫米波雷达感知效果有重要影
要素 | 特征向量 | 权值/% | 最大特征根 | 一致性指标 |
---|---|---|---|---|
W | 0.303 7 | 6.07 | 5.015 3 | 0.003 8 |
P | 0.534 1 | 10.68 | ||
D | 0.899 3 | 17.99 | ||
V | 1.631 5 | 32.63 | ||
A | 1.631 5 | 32.63 |
对其进行一致性检验,计算得出一致性指标值(consistency index,CI)为0.003 8,层次分析法5阶判断矩阵的随机一致性指标值(random index,RI)为1.12,一致性比例(consistency ratio,CR)计算如下:
(1) |
CR小于限值0.1,所以层次分析结果满足一致性检验。
通过上述层次分析法,获得了场景要素分类的相对重要性权值。具体的场景要素采样过程即为在场景要素的取值空间中选取合适的采样点。拉丁超立方采样法在样本点生成前需要获取各场景维度的采样区间。
不同场景要素的测试步长不一致,由此引起了基准场景分区的差异,同时相对更重要的要素对应的采样频次应该更多,结合待测系统特性和
要素 | W | P | D | V | A |
---|---|---|---|---|---|
基准分区 | 10 | 10 | 30 | 30 | 10 |
归一比例 | 0.19 | 0.33 | 0.55 | 1.00 | 1.00 |
实际分区 | 2 | 4 | 17 | 30 | 10 |
原始的拉丁超立方采样过程重点在于分散集群探索,分散的场景数据在测试前期有利于优化算法的全局寻优,但在测试后期,过于分散的数据会引入大量非关键场景要素区间,影响算法的局部寻优。为了更好地应用场景探索过程中的优解特征,与优化搜索算法结合,本文提出基于优解特征的采样区域更新思想,具体应用流程如

图2 采样区域和采样点集更新流程
Fig.2 Sampling area and point library update process
如前文所述,如果满足分割条件,采用可变样本步长的手段对各场景要素区域进行分割优化,分割更新过程如

图3 基于优解特征的采样区域分割更新过程
Fig.3 Sampling region segmentation and update process based on optimal solution features
遗传算法是一种模仿生物进化中的基因变换过程的算法,符合“优胜劣汰、适者生存”准则,具有全局性搜索与启发式迭代能力。传统遗传算法的编码方式、适应度函数、选择、交叉和变异过程都具有一定局限性,难以高效应对初始参数空间巨大,目标解数量众多的智能驾驶系统加速测试问题,具体问题分析及改进思路如下。
编码是算法寻优的关键,通过编码和解码,可以使用于仿真的表现型与可进化处理的基因型之间相互转换。经典遗传算法采用二进制编码,当优化搜索接近最优解时,由于基因位变化后表现型变化大且具有跳跃性,所以子代会偏离该最优解,难以稳定。因此,有学者提出使用格雷码代替二进制编码,提升遗传搜索的连续
此外,对于参数数量大的个体而言,需要使用较多位二进制数表示,虽会提高搜索精度,但会急剧增大参数空间,且提高的精度不能在模拟仿真上体现。如图

图4 场景要素编码方式对比
Fig.4 Comparison of scenario element encoding methods
实数编码直接使用个体的表现型进行编码,如图
种群个体适应度是选择算子依据的主要指标,该值越大表明该个体在该环境下竞争力更强,也更有利于传递基因。经典遗传算法的目的为寻找全局最优解,尽量避免局部最优解生成,所以适应度值与目标函数有较强的线性对应关系。而对于智能驾驶加速测试问题,满足条件的优秀个体数量较多,更偏向于搜索目标解空间,所以需要对适应度函数进行调整。
前文实例中以测试风险性层级为层次分析法分析目标,所以该实例的关键测试场景主要针对测试过程中的危险场景,本文以最大碰撞时间倒数()为关键场景评价指标。的计算公式如下:
(2) |
式中:为主车车速;为前车车速;s为主车与前车的初始相对位置;为计算出的最大碰撞时间倒数。
本文用于仿真测试的智能驾驶算法紧急制动碰撞时间阈值为0.6 s,紧急制动表示该场景触发了算法的避险行为,所以将关键测试场景定义为大于1.6
(3) |
式中:C为一个较大常数,为了引导整体搜索方向,加上是为了保证后续启发式交叉算子的应用效果。
经典遗传算法父辈选择方式为轮盘赌选择法,即选择可能性与其适应度成正相关。此方法实现简单,但难以适配解空间搜索,导致生成的测试用例优秀个体较少。因此,需要对优秀个体进行保留,从而引导搜索方向,加速寻优过程。同时,由于优秀个体的适应度值较高,选择后的种群中可能存在大量重复个体,种群中个体分布如

图5 种群内个体分布情况对比
Fig.5 Comparison of individual distribution within a population
因此,本文在轮盘赌选择的基础上,设计精英保留和重复个体筛选的选择策略。保留父辈中的最优个体,又通过种群筛选降低重复度,定义种群中个体重复度为当前个体在种群中的重复次数,将超过重复度阈值的个体在采样点集中进行采样替换。从而既保证了整体趋向于寻找更多的关键场景,又避免了过早收敛到局部最优解,改进算法的种群个体分布如
经典的交叉算子主要应用于二进制编码,而实数编码采用直接离散交叉的方式,即对父辈某些变量进行参数调换,对算法收敛没有贡献,仅生成了同等数量的新个体。如

图6 交叉算子改进效果
Fig.6 Improvement effect of crossover operator
为了在交叉层面突出加速效果,本文采用启发式交叉算子,即根据父代的适应度值进行子代个体的启发式变换,比较两父代的适应度值,保留优胜者,并将另一个体加上两者各参数差值的1.2倍,从而在交叉层面即体现进化过程,加速种群个体向优值收敛。如
在智能驾驶仿真测试过程中,一次测试需要完成场景编辑、软件加载、模拟仿真以及结果运算等步骤,需要消耗大量的时间。代理模型是指在分析和优化设计过程中可替代那些复杂而费时的模型的近似学习模型,以代理模型代替现有的仿真测试过程,可以显著缩短测试时间,降低测试成本。
本文在智能驾驶仿真测试的过程中融入代理运算机制,利用分层采样的改进遗传算法生成分散而全面的场景参数,有利于代理模型训练。利用代理模型运算消耗低,运算速度快等优势辅佐改进遗传算法,以期全面提升测试效率。
在代理遗传优化算法执行过程中,存在多种不同类型的测试场景,可细分为:已仿真场景、代理预测场景、种群内场景,不同的场景分类有不同的用途。
(1)已仿真场景:表示经过模拟仿真软件仿真得出具体关键场景评价指标的场景,每次执行仿真测试后更新。用于计算遗传算法个体的仿真测试结果、避免重复执行仿真测试以及代理模型的训练与更新。根据仿真测试结果,已仿真场景可分为仿真关键场景和仿真非关键场景两部分,仿真关键场景即为本文重点搜索的目标场景。
(2)代理预测场景:表示经过代理模型预测出关键场景评价指标的场景,每次执行代理预测模型后更新。用于计算遗传个体的代理测试结果。考虑前期代理模型存在自身精度问题,代理模型的关键性阈值相较于软件在环仿真测试中的阈值更为宽泛,从而避免遗漏仿真测试关键边界处的场景,最大程度地平衡代理模型应用效果和场景测试结果的有效性。因此,根据代理预测结果,代理预测场景可分为代理关键场景和代理非关键场景两部分。代理关键场景即转入仿真测试阶段进行下一步验证,代理非关键场景视为仿真非关键场景,无需执行仿真测试。
(3)种群内场景:表示遗传算法种群内的场景,每次算法生成新一代场景后进行更新。主要用于种群内重复度计算和遗传算法的优化过程。种群内场景需通过代理模型或者仿真测试进行适应度计算。
代理模型可以视作仿真结果的预测模型,现有的代理模型主要有神经网络、多项式插值、克里金模型等。由于智能驾驶仿真测试的每轮循环生成的场景数量有限,即用于代理模型训练的数据较少,所以不考虑训练过程需要较大数据量的神经网络模型。使用基础机器学习算法完成代理模型的设计。
随机森林模型以多个决策树集成学习为基础,进行回归运算时,将所有决策树的预测结果加权平均作为模型输出,可以充分发挥各决策树的预测效果与泛化能

图7 随机森林代理模型结构
Fig.7 Structure of random forest surrogate model
针对随机森林模型在面对大量数据时训练耗时久,会丢失原有数据特征的缺陷,本文采用循环在线更新森林结构的训练方式,通过新的仿真测试数据补充森林结构。
代理模型的训练数据为已仿真场景和对应的风险测试结果,当已仿真场景数目大于100则执行初始化训练过程,划分训练集与测试集比例为7∶3。训练完成后执行模型测试,并输出对应阶段的均方根误差,作为后续代理模型应用依据。
在初始化训练后,后续执行仿真测试过程会补充新的已仿真场景,当新补充的仿真场景数据数量大于设定数值时,则进行代理模型的在线更新工作。在原有模型基础上,融入新的决策树,同样划分训练集与测试集比例为7∶3,测试完毕同时输出整体均方根误差。
由于代理模型在开始时可能未达到足够精度,所以在新一轮待测场景生成后,需要根据该模型的测试精度来选择是否执行代理模型。具体过程如

图8 代理模型应用流程
Fig.8 Application process of surrogate model
整体仿真测试过程和代理运行过程统一使用PreScan/Carsim/Simulink联合仿真平台,结合自动化测试代码与各部分算法代码实现自动化加速测试过程。
在场景研究的不同阶段,对场景的抽象等级要求存在差距。在理论研究层面,场景应该采用抽象的,便于表述的逻辑语言来描述,以便于现实世界的语义化解释;而在仿真模拟层面,场景应该用详实、具体的参数来描述,以便于仿真软件的准确输入。据此,Menzel
功能场景是最抽象级别的场景,通过语言来描述场景信息与驾驶任务。
实际驾驶场景往往是无限丰富且不可预测的,在跟车驾驶场景中,车辆往往在加速、减速和匀速等行驶工况中频繁切换以维持驾驶员的期望车速,前车突然减速是追尾的主要原因,也是AEB算法测试的主要场
按照典型的场景要素分级结构,确定该场景的关键场景要素如下:主车初始车速、两车初始间距、前车初始车速、阶段1加速度、阶段2前车速度、阶段2匀速行驶距离、阶段3减速度、路面附着系数、场景降雨强度,通过这些要素可以完整表述测试场景。按照前文的要素层次分析结果,场景降雨强度属于天气要素,路面附着系数属于路面要素,两车初始间距和阶段2匀速行驶距离属于距离要素,主车和前车的初始车速属于速度要素,阶段1加速度和阶段3减速度属于加速度要素,采样分区数量按照
为了简化仿真场景的构建过程,引入时间要素,结合运动学原理,将阶段2前车速度替换为阶段1持续时间,将阶段2匀速行驶距离替换为阶段2持续时间。阶段1持续时间和阶段2持续时间均为与时间相关的场景要素,时间可以通过位置、速度、加速度之间的运算得出,与三者均存在内部关联性,因此选取其中最大归一化比例1作为时间要素归一比例,考虑到时间要素的离散步长,将其基础分区数量设置为10。场景示意图和前车速度图像如图

图9 前车变速跟驰场景示意图
Fig.9 Diagram of following scenario with variable speed front vehicle
综合待测智能驾驶功能适用范围与相关测试规
主车初始车速=[20,80]km·
设定种群数量50,迭代次数50,对功能场景执行SGO算法。以蒙特卡洛测试(Monte Carlo sampling,MC)、传统遗传算法(genetic algorithm,GA)为基本对照组。同时,为验证采样算法与代理模型的应用效果,加设MC+代理模型、GA+代理模型两个附加对照组。由于优化搜索算法会生成大量超出参数空间个体,为避免此类无意义个体浪费运算资源,对其进行标准化处理,即处于同一区间内的以最近区间端点值代替。
各实验方案分别为:①SGO算法(实验组),参数采样模块+遗传寻优模块+代理筛选模块。②MC算法(对照组),单一的蒙特卡洛采样测试。③MC算法+代理模型(对照组),在蒙特卡洛采样的基础上融合本文的代理筛选模块。④GA算法(对照组),基础的选择、交叉、变异算子,没有重复度筛选和分散采样功能。若算法连续两轮迭代未发现新的关键场景,则表示算法陷入局部最优,则重启算法进行重新运算。⑤GA算法+代理模型(对照组),在传统遗传算法的基础上融合本文的代理筛选模块。算法重启机制与④一致。各组别算法的结束条件均为达到设定的迭代次数。
为验证各算法的场景生成速度,将①~⑤ 5个组别每轮迭代生成的关键场景数据绘制如

图10 关键测试场景生成过程示意图
Fig.10 Generation process of key test scenario
为了分析SGO算法对于GA算法局部收敛性的影响,将包含遗传算法的①、④、⑤组别每轮迭代过程中种群个体的最高重复度数据绘制如

图11 遗传种群最高重复度示意图
Fig.11 Highest repeatability of genetic population
从
算法 | MC | MC+代理 | GA | GA+代理 | SGO |
---|---|---|---|---|---|
结果运算次数 | 2 482 | 2 492 | 944 | 883 | 1 364 |
关键场景数目 | 96 | 87 | 255 | 243 | 861 |
关键场景比例/% | 3.87 | 3.49 | 27.01 | 27.52 | 63.12 |
由

图12 整体测试时间数据示意图
Fig.12 Diagram of overall testing time
为了更清晰地展现各算法的时间效率,定义探索效率为平均每小时找到的关键场景数目,通过该指标可以清晰展现各算法在时间消耗层面的加速测试效果,综合反映关键场景生成效率和整体测试时间。各算法探索效率数据如
算法 | MC | MC+代理 | GA | GA+代理 | SGO |
---|---|---|---|---|---|
探索效率 | 1.83 | 9.76 | 11.81 | 14.74 | 33.34 |
结合
算法 | MC+代理 | GA+代理 | SGO |
---|---|---|---|
有效训练量 | 400 | 700 | 1 100 |
训练次数 | 4 | 7 | 11 |
最高测试精度/% | 87.08 | 89.34 | 91.26 |
代理关键数目 | 316 | 629 | 1 011 |
真实关键数目 | 83 | 236 | 853 |
关键场景查准率/% | 26.27 | 43.43 | 84.37 |
代理模型训练后,数据乱序补充时的整体测试精度受到训练次数和数据特征的影响。由于MC算法的随机探索特征和GA算法的局部收敛特征,算法探索到的关键场景较少,在限定迭代次数内,无法获得大量的仿真关键场景,因此代理模型训练次数较少。SGO算法由于采样区域调整和重复度筛选机制,提升了探索能力和寻优能力,代理模型可以持续获得关键场景的仿真数据用于训练,测试精度高于其他对照组。
对比代理模型预测的关键场景和实际仿真后的真实关键场景数目可知,SGO算法可以快速找到关键测试场景,同时补充大量关键场景的训练数据,所以代理模型的关键场景查准率显著高于MC算法和GA算法,在关键场景测试结果预测方面具有较高的应用价值。
本文针对现有智能驾驶系统测试在高维场景领域面临的局部收敛性和测试成本高等问题,提出了一种代理遗传优化算法,对场景采样、遗传寻优、代理筛选模块进行融合设计,实现了测试效率与优化效果的协同提升。将该方法与蒙特卡洛采样、传统遗传算法、蒙特卡洛采样与代理模型结合、传统遗传算法与代理模型结合4种方法进行对比实验。结果表明,本文提出的代理遗传优化方法可以高效、迅速地探索关键具体测试场景,并提升代理模型对于关键场景的拟合精度,可以加速智能驾驶系统测试进程。同时,本文提出的种群重复度筛选思想和代理模型应用框架也可扩展用于其他种群优化算法。
作者贡献声明
朱 冰:命题提出与构思,仿真测试方案制定,论文修订。
汤 瑞:算法设计与优化,测试结果分析,论文撰写。
赵 健:仿真测试方案优化,论文修订与审核。
张培兴:算法调试与仿真测试,结果分析,论文修订。
李文旭:算法调试与仿真测试,论文修订。
参考文献
赵树廉,来飞,李克强,等. 基于数字孪生技术的智能汽车测试方法研究[J]. 汽车工程, 2023, 45(1): 42. [百度学术]
ZHAO Shulian, LAI Fei, LI Keqiang, et al. Research on intelligent vehicle test method based on digital twin technology [J]. Automotive Engineering, 2023, 45(1): 42. [百度学术]
朱冰,张培兴,赵健,等.基于场景的自动驾驶汽车虚拟测试研究进展[J].中国公路学报,2019,32(6):1. [百度学术]
ZHU Bing, ZHANG Peixing, ZHAO Jian, et al. Review of scenario-based virtual validation methods for automated vehicles [J]. China Journal of Highway and Transport, 2019, 32(6): 1. [百度学术]
KALRA N, PADDOCK S M. Driving to safety: how many miles of driving would it take to demonstrate autonomous vehicle reliability? [J]. Transportation Research Part A: Policy & Practice, 2016, 94: 182. [百度学术]
邓伟文,李江坤,任秉韬,等.面向自动驾驶的仿真场景自动生成方法综述[J].中国公路学报,2022,35(1):316. [百度学术]
DENG Weiwen, LI Jiangkun, REN Bingtao, et al. A survey on automatic simulation scenario generation methods for autonomous driving [J]. China Journal of Highway and Transport, 2022, 35(1): 316. [百度学术]
ZHAO D, HUANG X, PENG H, et al. Accelerated evaluation of automated vehicles in car-following maneuvers [J]. IEEE Transactions on Intelligent Transportation Systems, 2018, 19(3): 733. [百度学术]
FENG S, SUN H, YAN X, et al. Dense reinforcement learning for safety validation of autonomous vehicles [J]. Nature, 2023, 615: 620. [百度学术]
邢星宇,吴旭阳,刘力豪,等.基于目标优化的自动驾驶决策规划系统自动化测试方法[J].同济大学学报(自然科学版), 2021,49(8):1162. [百度学术]
XING Xingyu, WU Xuyang, LIU Lihao, et al. Automated testing method for autonomous driving decision planning system based on objective optimization [J]. Journal of Tongji University (Natural Science), 2021, 49(8): 1162. [百度学术]
KLÜCK F, ZIMMERMANN M, WOTAWA F, et al. Genetic algorithm-based test parameter optimization for ADAS system testing [C]// 2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS). Sofia: IEEE, 2019: 418-425. [百度学术]
张培兴,邱彬,朱冰,等. 自动驾驶系统并行加速测试方法研 究[J]. 汽车工程, 2022, 44(2): 208. [百度学术]
ZHANG Peixing, QIU Bin, ZHU Bing, et al. Study on parallel accelerated testing method for automated driving system [J]. Automotive Engineering, 2022, 44(2): 208. [百度学术]
FORRESTER A I J, SOBESTER A, KEANE A J. Engineering design via surrogate modelling: a practical guide [M]. Chichester: John Wiley and Sons, 2008. [百度学术]
VIANA F A C, VENTER G, BALABANOV V. An algorithm for fast optimal Latin hypercube design of experiments[J]. International Journal for Numerical Methods in Engineering, 2010, 82(2):135. [百度学术]
ZANG S, DING M, SMITH D, et al. The impact of adverse weather conditions on autonomous vehicles: how rain, snow, fog, and hail affect the performance of a self-driving car[J]. IEEE Vehicular Technology Magazine, 2019, 14(2): 103. [百度学术]
GAO F, HAN Z, ZHOU J, et al. Performance limit evaluation by evolution test with application to automatic parking system [J]. IEEE Transactions on Intelligent Vehicles, 2023, 8(4): 3096. [百度学术]
周志华. 机器学习[M]. 北京: 清华大学出版社, 2016. [百度学术]
ZHOU Zhihua.Machine learning [M]. Beijing: Tsinghua University Press, 2016. [百度学术]
MENZEL T, BAGSCHIK G, MAURER M. Scenarios for development, test and validation of automated vehicles [C]// 2018 IEEE Intelligent Vehicles Symposium (Ⅳ). Changshu: IEEE, 2018: 1821-1827. [百度学术]
段顺昌, 白先旭, 石琴, 等. 汽车自动紧急制动系统控制策略的预期功能安全设计 [J]. 汽车工程, 2022, 44(9): 1305. [百度学术]
DUAN Shunchang, BAI Xianxu, SHI Qin, et al. Anticipated functional safety design of control strategy for automatic emergency braking system [J]. Automotive Engineering, 2022, 44(9): 1305 [百度学术]
中华人民共和国工业和信息化部. 乘用车自动紧急制动系 统(AEBS)性能要求及试验方法: GB/T 39901—2021[S]. 北京: 中国标准出版社, 2021. [百度学术]
Ministry of Industry and Information Technology of the People’s Republic of China. Performance requirements and test methods for advanced emergency braking system (AEBS) for passenger car: GB/T 39901—2021[S]. Beijing: China Standard Press, 2021. [百度学术]