远东地区核风险厂址释放的气载放射性污染物长距离迁移的模拟 被引量：16

1

作者 姚仁太 徐向军 +1 位作者 郝宏伟 姚青山 《辐射防护》 CAS CSCD 北大核心 2005年第4期193-205,共13页

气载放射性物质在大气中的长距离迁移问题逐渐受到关注。我们开发建立了轨迹模式TraModel和粒子扩散模式ParModel,用以模拟计算气载物质的迁移轨迹和扩散影响,并利用欧洲示踪实验(ETEX)数据对模式进行验证,同时也与国外同类模式进行了... 气载放射性物质在大气中的长距离迁移问题逐渐受到关注。我们开发建立了轨迹模式TraModel和粒子扩散模式ParModel,用以模拟计算气载物质的迁移轨迹和扩散影响,并利用欧洲示踪实验(ETEX)数据对模式进行验证,同时也与国外同类模式进行了比对。结果表明,本研究所开发的模式具有较高的精度。利用美国国家环境预测中心(NCEP)的气象数据进行模拟计算,将其用于模拟我国田湾、秦山核电站以及俄罗斯远东Vladivostok(海参崴)核风险厂址释放的放射性物质的跨国界迁移。模拟结果表明,相对于等熵轨迹,三维轨迹能更真实地反映污染物的实际迁移,对于长距离迁移问题的概率分析,等熵轨迹和三维轨迹的模拟结果基本相同。释放高度对大气迁移途径有显著影响,故由一个释放高度得到的模拟结果用于其它释放高度时应当慎重。此外,由于在中国东部沿海地区气象场的复杂性,特别是受东亚季风的影响,释放点不同地理位置的影响结果也是很不相同的。这些模式、方法今后可用于开展远东核风险厂址大气迁移的概率风险分析以及事故后果评价。 展开更多

关键词 长距离 放射性污染物 气载 厂址 远东地区 放射性物质 东部沿海地区 事故后果评价 概率风险分析 模拟计算 模拟结果 三维轨迹 秦山核电站 扩散模式 轨迹模式 示踪实验 气象数据 环境预测 概率分析 迁移途径 东亚季风 地理位置

下载PDF 职称材料

基于节点改善策略的伪谱轨迹优化 被引量：11

2

作者 闫循良 廖守亿 +2 位作者 张金生 王仕成 陈士橹 《宇航学报》 EI CAS CSCD 北大核心 2013年第7期891-900,共10页

基于Legendre-Gauss-Lobatto(LGL)伪谱法(PSM)求解最优控制问题的原理,研究了有限推力轨迹快速优化设计以及计算节点和效率改善策略。对远程变轨动力学模型进行了无量纲化处理,并设计了初值生成和串行优化求解策略,用来提高多变量多约... 基于Legendre-Gauss-Lobatto(LGL)伪谱法(PSM)求解最优控制问题的原理,研究了有限推力轨迹快速优化设计以及计算节点和效率改善策略。对远程变轨动力学模型进行了无量纲化处理,并设计了初值生成和串行优化求解策略,用来提高多变量多约束大规模稀疏非线性规划问题的收敛性。结合极小值原理推导了问题的最优性必要条件,基于协态映射原理设计了数值解的最优性验证方法。利用二阶微分方程技术消去部分状态量,建立了节点和计算效率改进模型,并讨论了该策略的相关数值处理技术。仿真结果表明,本文的算法可以快速地提供应用于实际飞行任务的最优解,节点改善策略在保证计算精度的同时,有效降低了计算收敛时间。 展开更多

关键词 轨迹优化 节点改善 伪谱法 有限推力 远程变轨 最优性验证

下载PDF 职称材料

飞航导弹弹道仿真的校核、验证和确认 被引量：3

3

作者 胡海 刘鼎臣 《系统仿真学报》 CAS CSCD 2002年第3期274-277,共4页

论述了仿真VV&A的重要意义,提出了飞航导弹弹道仿真VV&A的几条基本原则。提出了飞航导弹弹道仿真VV&A的基本思想和标准。建立了进行飞航导弹弹道仿真VV&A的步骤和方法。对于如何利用非同一母体的实飞数据对仿真数据进... 论述了仿真VV&A的重要意义,提出了飞航导弹弹道仿真VV&A的几条基本原则。提出了飞航导弹弹道仿真VV&A的基本思想和标准。建立了进行飞航导弹弹道仿真VV&A的步骤和方法。对于如何利用非同一母体的实飞数据对仿真数据进行校核和验证的问题提出了解决方案。为飞航导弹武器系统仿真和作战仿真提供了依据和参考。 展开更多

关键词 飞航导弹 弹道仿真 校核 验证 确认

下载PDF 职称材料

S型无碳小车的参数优化与试验 被引量：6

4

作者 高文英 王娜 +1 位作者 陈璐 李继平 《湖南文理学院学报（自然科学版）》 CAS 2018年第3期41-43,55,共4页

针对首轮样车运行平稳性差、偏移量大、行程小等问题,采用扇形轨迹方法对小车的运行轨迹进行了分析计算;转向机构采用了3处可调的曲柄滑块加摇杆的组合结构,以此适应赛场众多的不确定性因素影响。以最佳参数为基础,现场试验验证表明,经... 针对首轮样车运行平稳性差、偏移量大、行程小等问题,采用扇形轨迹方法对小车的运行轨迹进行了分析计算;转向机构采用了3处可调的曲柄滑块加摇杆的组合结构,以此适应赛场众多的不确定性因素影响。以最佳参数为基础,现场试验验证表明,经过调试后的小车,最优结果为一个周期行走长度为2.46 m,偏移量0.28 m,与理论计算基本相符。小车运行平稳性良好,避障多,行程远,效果较好,验证了理论计算方法的正确性,为S型"无碳小车"的设计与优化提供一定的理论基础。 展开更多

关键词 无碳 扇形轨迹 最佳参数 试验验证

下载PDF 职称材料

双馈风电系统低压穿越期间的参数辨识方法研究

5

作者 方欣 姚骏 +3 位作者 刘育明 陈朝阳 李小菊 李登峰 《电工电能新技术》 CSCD 北大核心 2024年第2期1-11,共11页

随着风电装机容量的增加,风电机组并网对电力系统安全稳定运行的影响日益显著。为了实现低电压穿越(LVRT)期间双馈风电系统的稳定性分析与计算,需要建立能准确描述实际输出外特性的双馈风电系统模型。然而由于变流器控制系统是黑箱结构... 随着风电装机容量的增加,风电机组并网对电力系统安全稳定运行的影响日益显著。为了实现低电压穿越(LVRT)期间双馈风电系统的稳定性分析与计算,需要建立能准确描述实际输出外特性的双馈风电系统模型。然而由于变流器控制系统是黑箱结构,其控制模型和控制参数通常难以获取,因此仿真模型与实际系统的外特性响应往往存在显著偏差。为了进一步提高模型的准确度,本文提出了一种考虑双馈风电机组低压穿越序贯控制的全局参数辨识方法。首先计及低电压期间的序贯控制特性,建立双馈风电系统的精细化数学模型,其次基于轨迹灵敏度法选取最佳观测量,提出了多工况-分步辨识策略,利用多组实测数据对双馈风电系统的全局控制参数进行辨识。最后在不同电压跌落程度情况下进行波形对比和模型验证,验证结果表明所提辨识方案可准确模拟实际双馈风电系统的输出外特性。 展开更多

关键词 双馈感应风力发电机 低电压穿越 轨迹灵敏度 全局参数辨识 模型验证

下载PDF 职称材料

单边双针双线摆动缝合轨迹设计及实验验证

6

作者 高子乔 董九志 +1 位作者 陈云军 蒋秀明 《中国机械工程》 EI CAS CSCD 北大核心 2024年第1期102-108,共7页

针对单边双针双线缝合头插刺机构无法缝制3 mm以上厚度预制体的问题,提出一种不对称的8字形运动轨迹并对插刺机构的运动轨迹进行了设计。首先,基于单边双针双线缝合工艺对插刺机构运动学进行分析,确定摆动插刺机构各构件的尺寸;其次,在A... 针对单边双针双线缝合头插刺机构无法缝制3 mm以上厚度预制体的问题,提出一种不对称的8字形运动轨迹并对插刺机构的运动轨迹进行了设计。首先,基于单边双针双线缝合工艺对插刺机构运动学进行分析,确定摆动插刺机构各构件的尺寸;其次,在ADAMS中构建机构模型并进行轨迹分析;最后,通过实验样机进行缝合实验。实验结果表明,设计的缝合机构可将实际缝合厚度不足3 mm提高到8 mm,并在缝合过程中形成稳定线环,验证了不对称8字形缝合工艺及摆动插刺机构的可靠性。 展开更多

关键词 单边双针双线缝合 轨迹设计 摆动插刺机构设计 实验验证

下载PDF 职称材料

基于MIMO滑模的气动伺服系统控制

7

作者 王潇 孔建寿 《机械制造与自动化》 2023年第6期199-202,共4页

针对非线性气动伺服系统的轨迹跟踪和柔顺控制问题,采用MIMO滑模控制器实现气动系统多输出的跟踪控制。对气动伺服系统基于流量控制策略的动力学进行建模,将其状态方程转换为严格反馈系统形式;设计用于轨迹跟踪和内腔压力跟踪的双滑模面... 针对非线性气动伺服系统的轨迹跟踪和柔顺控制问题,采用MIMO滑模控制器实现气动系统多输出的跟踪控制。对气动伺服系统基于流量控制策略的动力学进行建模,将其状态方程转换为严格反馈系统形式;设计用于轨迹跟踪和内腔压力跟踪的双滑模面,基于传统的滑模控制率构造用于气动系统的双控制输入,实现气动系统控制器的设计。基于Simulink搭建控制仿真平台,仿真结果验证了控制器对系统多输出的有效跟踪控制。 展开更多

关键词 气动伺服系统 轨迹跟踪 柔顺控制 MIMO滑模控制 仿真验证

下载PDF 职称材料

地空导弹武器控制弹道建模仿真调试及校验方法 被引量：1

8

作者 王润平 张五洲 +1 位作者 王虎林 李建坤 《火力与指挥控制》 CSCD 北大核心 2010年第6期81-85,共5页

控制弹道是控制专业必须的分析工具,也是其他许多专业的开展工作的基础。控制弹道仿真结果的精度与可信性直接影响着地空导弹武器系统的设计、定型结果。控制弹道的程序调试工作是一个较为复杂的过程,需要较强的综合判断能力。对地空导... 控制弹道是控制专业必须的分析工具,也是其他许多专业的开展工作的基础。控制弹道仿真结果的精度与可信性直接影响着地空导弹武器系统的设计、定型结果。控制弹道的程序调试工作是一个较为复杂的过程,需要较强的综合判断能力。对地空导弹武器系统的控制弹道调试过程及仿真结果分析进行了详细论述与说明,并利用飞行试验结果对仿真模型进行了校验。校验结果说明了程序设计的正确性与真实性,同时说明了这种模型校验方法的可行性。 展开更多

关键词 导弹 控制弹道 精度 模型校验

下载PDF 职称材料

新冠肺炎疫情下人车安全管控的思考——以长三角地区为例

9

作者 姜良维 《道路交通科学技术》 2020年第4期9-12,共4页

新冠肺炎对中国经济社会带来极大冲击,加强人车溯源、安全检查是防控疫情的有效手段,而现有人员、车辆识别技术无法准确核查病毒携带者,还需辅以手掌脉络识别、多光谱成像等新技术应用,才能实现对疫情的精细化、精准化管控。

关键词 新冠肺炎 人车安检 轨迹核查 手掌脉络识别 多光谱成像 智能提质 交通一体化

下载PDF 职称材料

基于遗传算法的轨迹综合撑膜机械手优化设计

10

作者 陈延伟 张浩 +3 位作者 史远鹏 刘万熙 马瀚 孔帅 《机械工程师》 2021年第12期18-20,共3页

为降低医务人员的劳动程度,提出了一种撑膜机械手。为满足不同种类探头的撑膜要求,以实际轨迹与给定轨迹的位置误差最小为目标函数,建立撑膜机械手的轨迹综合优化模型,通过遗传算法求解得到一组满足不同种类探头撑膜需求的结构参数。对... 为降低医务人员的劳动程度,提出了一种撑膜机械手。为满足不同种类探头的撑膜要求,以实际轨迹与给定轨迹的位置误差最小为目标函数,建立撑膜机械手的轨迹综合优化模型,通过遗传算法求解得到一组满足不同种类探头撑膜需求的结构参数。对撑膜机械手进行试验,验证撑膜机械手的实用性。 展开更多

关键词 隔离膜 结构设计 轨迹优化 试验验证

下载PDF 职称材料

舰载火箭弹弹道重构与模型验证

11

作者 丁传炳 胡一峰 陶勇 《中国舰船研究》 2012年第6期107-111,共5页

为了验证火箭弹系统六自由度仿真模型的可信性,建立用于弹道重构的系统状态模型和基于GPS观测数据的量测模型,运用无迹卡尔曼滤波(UKF)算法和TIC不等式系数法,探讨仿真模型静、动态性能的验证方法。以某型舰载火箭弹系统为研究对象,通... 为了验证火箭弹系统六自由度仿真模型的可信性,建立用于弹道重构的系统状态模型和基于GPS观测数据的量测模型,运用无迹卡尔曼滤波(UKF)算法和TIC不等式系数法,探讨仿真模型静、动态性能的验证方法。以某型舰载火箭弹系统为研究对象,通过重构火箭弹飞行状态的误差参数,对其仿真模型进行定量验证。仿真结果表明,利用弹道重构方法对六自由度弹道仿真模型进行验证是有效的。 展开更多

关键词 弹道重构 模型验证 GPS 无迹卡尔曼滤波(UKF) TIC系数

下载PDF 职称材料

制导航空弹药有控弹道的校核和验证

12

作者 孔德永 高永琪 《弹箭与制导学报》 CSCD 北大核心 2009年第6期169-172,共4页

利用控制弹道对弹体模型进行校核的难点在于必须充分考虑控制系统操舵对弹体运动产生的影响,针对制导弹药靶试试验过程中出现了升阻比小的现象,文中充分利用观测数据,采用统计的方法对弹体的升力系数、阻力系数和升阻比进行了计算,对三... 利用控制弹道对弹体模型进行校核的难点在于必须充分考虑控制系统操舵对弹体运动产生的影响,针对制导弹药靶试试验过程中出现了升阻比小的现象,文中充分利用观测数据,采用统计的方法对弹体的升力系数、阻力系数和升阻比进行了计算,对三个通道的干扰力矩进行了辨识,数学仿真的弹道和实际的靶试弹道吻合得比较好。 展开更多

关键词 自动驾驶仪 有控弹道 靶试试验 校核 验证

下载PDF 职称材料

基于KUKA重载机器人的柔性搅拌摩擦焊接系统开发与试验研究

13

作者 张新棋 董传杰 +2 位作者 谢冬 孙丹 毕煌圣 《宇航材料工艺》 CAS CSCD 北大核心 2024年第1期79-85,共7页

为实现铝合金复杂结构产品的高效率高质量搅拌摩擦焊接成形,开展了基于KUKA重载机器人与新型搅拌摩擦焊技术结合的柔性焊接系统研究,通过自主研制多功能搅拌摩擦焊主机单元和试验工装,开发机器人柔性焊接专用控制系统实现集成控制,以此... 为实现铝合金复杂结构产品的高效率高质量搅拌摩擦焊接成形,开展了基于KUKA重载机器人与新型搅拌摩擦焊技术结合的柔性焊接系统研究,通过自主研制多功能搅拌摩擦焊主机单元和试验工装,开发机器人柔性焊接专用控制系统实现集成控制,以此为基础开展了平板焊接试验试片接头组织性能研究及空间曲线轨迹的搅拌摩擦焊试验验证。研究结果表明:该重载机器人搅拌摩擦焊接系统可稳定实现6 mm厚2219 C10S铝合金平板试片和3 mm厚S形空间曲线焊接试验件的焊接,当搅拌头为转速n=800 r/min,焊接速度υ=200 mm/min时,试片接头抗拉强度和延伸率等力学性能较好,对试样焊缝进行超声相控阵及X光检测,未发现焊缝内部存在孔洞、裂纹等超标缺陷,验证了机器人搅拌摩擦焊接系统和工艺方法的适用性。 展开更多

关键词 重载机器人 搅拌摩擦焊 柔性焊接系统 空间曲线轨迹 焊接试验验证

下载PDF 职称材料

无人机集群分布式跟踪抗扰控制设计与实验验证

14

作者 鲜斌 王印鑫 王岭 《吉林大学学报（工学版）》 EI CAS CSCD 北大核心 2024年第7期2093-2103,共11页

研究了存在外界未知扰动下分布式无人机集群轨迹跟踪问题,设计了一种新的无人机集群非线性鲁棒轨迹跟踪策略。首先,基于切向坐标系构造了无人机编队模型,并设计了协同控制律;其次,针对轨迹跟踪问题设计了一种基于误差符号函数积分(RISE... 研究了存在外界未知扰动下分布式无人机集群轨迹跟踪问题,设计了一种新的无人机集群非线性鲁棒轨迹跟踪策略。首先,基于切向坐标系构造了无人机编队模型,并设计了协同控制律;其次,针对轨迹跟踪问题设计了一种基于误差符号函数积分(RISE)的鲁棒控制算法,用于补偿未知外界扰动的影响,提高了无人机编队系统的鲁棒性;然后,基于Lyapunov分析的方法,证明了无人机编队系统协同误差全局渐近收敛,以及位置跟踪误差半全局渐近收敛;最后,在四旋翼无人机编队实验平台上进行了无风扰和有风扰条件下无人机集群轨迹跟踪实验,并与常规滑模控制算法进行了性能对比实验。实验结果表明,所设计的控制律可以实现多无人机的协同轨迹跟踪,且具有较强的抗外界干扰能力。 展开更多

关键词 控制科学与工程 无人机集群 分布式跟踪控制 协同控制 抗扰控制 实验验证

原文传递

基于多轨迹预测的飞机近地防撞技术研究 被引量：1

15

作者 白杨 米禹丰 +1 位作者 刘云飞 张雪 《飞机设计》 2023年第4期61-65,共5页

针对飞机近地飞行安全问题,提出了一种基于多轨迹预测的飞机近地防撞技术实现方法。建立了飞机近地防撞功能触发的架构逻辑和评价标准,设计了一套六自由度多轨迹实时预测的轨迹预估算法和防撞控制算法,将近地防撞模型与飞机模型结合起来... 针对飞机近地飞行安全问题,提出了一种基于多轨迹预测的飞机近地防撞技术实现方法。建立了飞机近地防撞功能触发的架构逻辑和评价标准,设计了一套六自由度多轨迹实时预测的轨迹预估算法和防撞控制算法,将近地防撞模型与飞机模型结合起来,在数字仿真环境中验证整套算法的合理性。结果表明,基于多轨迹预测的飞机近地防撞算法实时性好,飞行轨迹预测准确性高,逻辑架构鲁棒性强,易于成果转化,具有很高的工程应用价值。 展开更多

关键词 近地防撞 多轨迹预测 防撞控制 仿真验证

原文传递

半挂汽车列车紧急避撞轨迹跟踪控制算法 被引量：4

16

作者 李道飞 查安飞 +1 位作者 徐彪 张家杰 《汽车工程》 EI CSCD 北大核心 2022年第7期1098-1106,1115,共10页

为提高商用车的紧急避撞性能,采用了转向和制动联合避撞方式。而针对半挂汽车列车在紧急转向时容易失稳的问题,设计了考虑防止侧翻和横摆失稳的非线性模型预测控制器,并在紧急避撞场景的不同载荷和不同速度工况进行仿真验证。鉴于该控... 为提高商用车的紧急避撞性能,采用了转向和制动联合避撞方式。而针对半挂汽车列车在紧急转向时容易失稳的问题,设计了考虑防止侧翻和横摆失稳的非线性模型预测控制器,并在紧急避撞场景的不同载荷和不同速度工况进行仿真验证。鉴于该控制器实时性能的不足,以其为跟踪性能的基准,设计了考虑质心侧偏角约束的线性时变模型预测控制算法,在满足避撞轨迹跟踪精度要求条件下,改善算法实时性。最后,制作了缩小版的半挂汽车列车试验车,进行紧急避撞工况的轨迹跟踪验证。结果表明,所设计的控制算法能准确跟踪目标轨迹,满足实际应用需求。 展开更多

关键词 半挂汽车列车 紧急避撞 轨迹跟踪 模型预测控制 实车验证

下载PDF 职称材料

船载测量设备外弹道测量数据误差特性分析 被引量：5

17

作者 张忠华 李晓勇 +1 位作者 何剑伟 刘冰 《现代雷达》 CSCD 北大核心 2007年第5期49-54,共6页

针对航天测量船船载测量设备工程背景复杂、数据产生过程复杂、误差源多的特点,采用三次等距B样条函数作为船载测量数据误差分离工具,对大量原始测量数据误差的统计特性进行检验分析,得出了船载外测数据不同于陆基测量的一些误差特性—... 针对航天测量船船载测量设备工程背景复杂、数据产生过程复杂、误差源多的特点,采用三次等距B样条函数作为船载测量数据误差分离工具,对大量原始测量数据误差的统计特性进行检验分析,得出了船载外测数据不同于陆基测量的一些误差特性——非独立性、子段非正态性、需用高阶AR模型描述。 展开更多

关键词 航天测量船 海上测控 外测数据 误差特性 样条函数 统计检验

下载PDF 职称材料

静力载荷作用下的风电叶片空间轨迹精确测量模型 被引量：4

18

作者 张磊安 魏修亭 +1 位作者 胡俊 隋文涛 《太阳能学报》 EI CAS CSCD 北大核心 2019年第4期1150-1154,共5页

采用几何变换方法推导简单、精准的三维空间轨迹跟随模型,能同时测量3个方向的精确挠度变化,并开发数据测量系统。以aeroblade2.5-59.5风电叶片为例进行静力加载试验,采用该测量系统和激光跟踪仪同时对叶尖进行轨迹测量。试验结果表明... 采用几何变换方法推导简单、精准的三维空间轨迹跟随模型,能同时测量3个方向的精确挠度变化,并开发数据测量系统。以aeroblade2.5-59.5风电叶片为例进行静力加载试验,采用该测量系统和激光跟踪仪同时对叶尖进行轨迹测量。试验结果表明该系统能很好地跟随叶片尖部的空间变化轨迹,测试结果准确,3个方向的最大误差率仅为0.98%、1.00%和0.88%,具有很广阔的工程应用前景。 展开更多

关键词 风电叶片 静力加载系统 空间轨迹测试数学模型 试验验证

下载PDF 职称材料

多种三维剂量验证系统在肺癌VMAT剂量验证中的联合应用 被引量：3

19

作者 马阳光 麦日珍 +4 位作者 裴运通 胡金炎 孔凡洋 王学敏 郭跃信 《中华放射肿瘤学杂志》 CSCD 北大核心 2021年第1期76-80,共5页

目的联合应用两种商用及一种自行开发的基于加速器轨迹日志(LFB)的三维剂量重建系统验证肺癌VMAT计划。方法编程实现读取TrueBeam轨迹日志中误差并导入计划系统生成重建剂量。选18例肺癌双弧VMAT计划,用ArcCheck测量并利用3DVH重建,同... 目的联合应用两种商用及一种自行开发的基于加速器轨迹日志(LFB)的三维剂量重建系统验证肺癌VMAT计划。方法编程实现读取TrueBeam轨迹日志中误差并导入计划系统生成重建剂量。选18例肺癌双弧VMAT计划,用ArcCheck测量并利用3DVH重建,同时使用LFB和Compass计算模式重建。其中5例4 h内由ArcCheck测2次,检测加速器重复性。将18例计划移植到建成5 cm、背散4 cm、中心放置有FC65-G电离室的固体水模上计算电离室平均剂量并与实测及3种重建系统重建点剂量比对。结果加速器重复性稳定。LFB、3DVH、Compass及FC-65 G实测与计划点剂量偏差≤2%。ArcCheck曲面二维,3DVH、Compass整体及LBF所有器官三维γ通过率在所有比对标准下均>90%,3DVH及Compass个别器官γ通过率低。重建剂量与原计划相比,LBF差异最小,除肺之外器官Compass差异居中、3DVH最大。结论LBF、3DVH、Compass 3种系统能从不同方面反映肺癌VMAT剂量验证结果,联合应用三者进行剂量验证能更直观的展现出验证结果,便于后续分析。 展开更多

关键词 三维剂量重建 轨迹日志重建 三维γ分析 剂量体积直方图 剂量验证

原文传递

一种推广化符号轨迹赋值中伪报错的改进算法 被引量：1

20

作者 郑德生 杨国武 雷航 《微电子学与计算机》 CSCD 北大核心 2008年第5期207-210,共4页

介绍了推广化符号轨迹赋值中常用的模型检验强可满足性算法,分析了产生伪报错的原因,提出了一种降低伪报错的改进算法.该算法在前算法的基础之上减少了边的计算量,降低了由于抽象带来的伪报错问题,从而大大提高了计算过程中的准确率.实... 介绍了推广化符号轨迹赋值中常用的模型检验强可满足性算法,分析了产生伪报错的原因,提出了一种降低伪报错的改进算法.该算法在前算法的基础之上减少了边的计算量,降低了由于抽象带来的伪报错问题,从而大大提高了计算过程中的准确率.实验结果表明,该改进算法在降低伪报错和减少计算量方面有明显提高. 展开更多

关键词 符号化轨迹赋值 推广化符号轨迹赋值 伪报错 形式化验证 模型检验强可满足性

下载PDF 职称材料