基于遗传算法-v支持向量回归的船舶轨迹预测 被引量：1

1

作者 姜立超 尚晓兵 +2 位作者 金豹 张雯 张智 《哈尔滨工程大学学报》 EI CAS CSCD 北大核心 2024年第10期2001-2006,共6页

为了提高船舶轨迹预测精度,避免船舶海上航行事故的发生,本文采用遗传算法对v-支持向量回归进行参数寻优,以此来分别构建关于经纬度的船舶轨迹预测模型。选取水上移动业务标识码为356772000的货船在2022年6月的船舶自动识别系统数据作... 为了提高船舶轨迹预测精度,避免船舶海上航行事故的发生,本文采用遗传算法对v-支持向量回归进行参数寻优,以此来分别构建关于经纬度的船舶轨迹预测模型。选取水上移动业务标识码为356772000的货船在2022年6月的船舶自动识别系统数据作为研究对象。将该模型的预测结果分别与粒子群优化算法和网格搜索算法优化的v-支持向量回归模型、遗传算法-支持向量回归模型进行比较。实验结果表明:遗传算法v-支持向量回归模型关于航迹经、纬度预测结果的均方误差、平均绝对百分比误差和平均绝对误差相比于其他模型最低,关于经度分别为4.29×10^(-7)(°)、4.50×10^(-4)和5.47×10^(-7)(°)2,关于纬度的分别为1.82×10^(-6)(°)、4.02×10^(-3)和1.08×10^(-3)(°)2。基于遗传算法-v支持向量回归模型的预测效果最好,预测误差波动最小。本文将遗传算法与v-支持向量回归相结合,为船舶轨迹预测模型的优化提供参考,也为海上智能交通提供思路。 展开更多

关键词 船舶轨迹预测 v-支持向量回归 遗传算法 水上移动业务标识码 船舶自动识别系统 交叉验证 智能交通 机器学习

在线阅读 下载PDF 职称材料

复杂大系统仿真的VV&A理论及过程研究 被引量：5

2

作者 唐见兵 黄晓慧 +1 位作者 焦鹏 查亚兵 《国防科技大学学报》 EI CAS CSCD 北大核心 2009年第3期122-126,131,共6页

为了确保复杂大系统仿真(LCSS)的可信性,应该在建模与仿真(M&S)的全生命周期中开展校核、验证与确认(VV&A)研究。对LCSS的VV&A进行了理论研究,提出其方法论与原则;以基于仿真组件构建的HLA仿真系统为例,从仿真组件层、联邦... 为了确保复杂大系统仿真(LCSS)的可信性,应该在建模与仿真(M&S)的全生命周期中开展校核、验证与确认(VV&A)研究。对LCSS的VV&A进行了理论研究,提出其方法论与原则;以基于仿真组件构建的HLA仿真系统为例,从仿真组件层、联邦成员层及联邦层三个层面研究了VV&A过程,并将这些研究应用于反舰导弹突防联邦仿真中。实践表明,研究对LCSS的VV&A工作具有很好的指导作用,有力地保障了仿真的可信性。 展开更多

关键词 复杂大系统仿真 校核 验证与确认 校核与验证 方法论 可信性

在线阅读 下载PDF 职称材料

Ⅰ-Ⅱ复合型尖V形切口脆断准则 被引量：9

3

作者 梁拥成 郭万林 +1 位作者 刘一华 刘小妹 《应用力学学报》 CAS CSCD 北大核心 2006年第3期403-409,共7页

基于最大周向应力和Seweryn-Novozhilov准则,用线弹性奇异应力场,给出Ⅰ-Ⅱ复合型尖V形切口的脆性断裂准则;并把裂纹作为切口张角为零的V形切口,这样就把V形切口问题与裂纹问题的断裂准则统一起来.为了验证该准则,本文采用有机玻璃板材... 基于最大周向应力和Seweryn-Novozhilov准则,用线弹性奇异应力场,给出Ⅰ-Ⅱ复合型尖V形切口的脆性断裂准则;并把裂纹作为切口张角为零的V形切口,这样就把V形切口问题与裂纹问题的断裂准则统一起来.为了验证该准则,本文采用有机玻璃板材加工多种V形切口试件进行了拉伸实验;同时,应用该准则对文献[16]中复合载荷下双边切口试件进行了起裂方向和临界载荷预测,并与其实验结果相比较.结果表明,本文所给出的Ⅰ-Ⅱ复合型尖V形切口脆性断裂准则与实验是相吻合的,适合于实际工程应用。 展开更多

关键词 Ⅰ-Ⅱ复合型 脆断准则 v形切口 切口强度因子 实验验证

在线阅读 下载PDF 职称材料

V-fold交叉验证和BP神经网络在信用评价中的应用 被引量：3

4

作者 杨力 童艳梅 +2 位作者 阮守武 刘晓伟 吴德胜 《运筹与管理》 CSCD 2005年第4期140-143,共4页

研究关于公司神经网络信用评估问题的现状,提出一套甄选方法准则,用于建立适合于我国企业的信用评分指标体系;然后依据该指标体系建立了基于BP回归神经网络的信用评估模型;采用V-fold交叉验证技术,利用样本公司实际指标数据对该模型的... 研究关于公司神经网络信用评估问题的现状,提出一套甄选方法准则,用于建立适合于我国企业的信用评分指标体系;然后依据该指标体系建立了基于BP回归神经网络的信用评估模型;采用V-fold交叉验证技术,利用样本公司实际指标数据对该模型的评分效果进行了实证研究。 展开更多

关键词 信用评分 BP神经网络 v—fold交叉验证技术 实证研究

在线阅读 下载PDF 职称材料

基于RISC⁃V处理器的物联网SOC平台设计 被引量：1

5

作者 隋金雪 季永辉 +1 位作者 张霞 朱智林 《现代电子技术》 2022年第3期39-42,共4页

针对物联网应用中SOC平台多需求决策问题,以处理器CV32E40P和Ibex作为内核,选用改进片上总线架构(AMBA)协议以及通用型外设搭建SOC平台;然后根据资源利用报告分析其面积、功耗和性能;最后在FPGA上验证SOC平台可行性。结果表明,在同一SO... 针对物联网应用中SOC平台多需求决策问题,以处理器CV32E40P和Ibex作为内核,选用改进片上总线架构(AMBA)协议以及通用型外设搭建SOC平台;然后根据资源利用报告分析其面积、功耗和性能;最后在FPGA上验证SOC平台可行性。结果表明,在同一SOC平台下,CV32E40P的面积相较于Ibex增加了26.07%,在25 MHz、40 MHz与50 MHz频率下,功耗分别提高了31.58%、29.03%以及25.64%,在运行逻辑控制与卷积运算代码时,速度分别提高了27.66%和108.75%。综上,Ibex更适用于智能家居领域中低带宽数据获取的场景,而CV32E40P则适用于智慧城市领域中视频、图像数据采集处理的场景。 展开更多

关键词 SOC平台 RISC⁃v处理器 总线设计 物联网 平台性能分析 可行性验证

在线阅读 下载PDF 职称材料

车削外圆V形沉槽的宏程序原理及应用 被引量：1

6

作者 黄振沛 《煤矿机械》 2017年第4期75-77,共3页

通过深入对轴类零件中的槽形相同或类似的分析,提出确定V形沉槽中一定规律的数学表达式或逻辑关系的原理及算法,从而编制宏程序。通过合理的变量赋值,可以解决一系列槽类零件的编程和加工。最后通过上机床加工和实体验证V形沉槽算法是... 通过深入对轴类零件中的槽形相同或类似的分析,提出确定V形沉槽中一定规律的数学表达式或逻辑关系的原理及算法,从而编制宏程序。通过合理的变量赋值,可以解决一系列槽类零件的编程和加工。最后通过上机床加工和实体验证V形沉槽算法是正确和有效的。 展开更多

关键词 v形沉槽 变量编程 验证

在线阅读 下载PDF 职称材料

合同能源管理项目审核认定方法的应用分析——新版IPMVP(2012)解读 被引量：8

7

作者 曹莉萍 朱顺良 《上海节能》 2012年第4期10-15,共6页

文章首先对新版IPMVP(2012)进行介绍,重点介绍IPMVP新框架中的"测量和验证(M&V)过程"及新增的"操作认定(Operation Verification)"。然后,比较《指南》与新版IPMVP的异同,以此为基础分析合同能源管理项目节能... 文章首先对新版IPMVP(2012)进行介绍,重点介绍IPMVP新框架中的"测量和验证(M&V)过程"及新增的"操作认定(Operation Verification)"。然后,比较《指南》与新版IPMVP的异同,以此为基础分析合同能源管理项目节能量审核认定及节能措施操作认定的可行性,并提出一种适合我国合同能源管理项目测量审核认定计划开展的、可操作的实施流程。 展开更多

关键词 合同能源管理 国际能效测量和验证规程 测量和验证操作认定

在线阅读 下载PDF 职称材料

核电厂安全级仪控系统软件概念V&V探讨 被引量：2

8

作者 靳津 肖安洪 刘玲霜 《上海交通大学学报》 EI CAS CSCD 北大核心 2018年第S1期122-132,共11页

核电厂安全级仪控系统作为反应堆监测、控制以及保护的重要部分,承担着保障核安全的重要责任.随着数字化仪控系统在核电厂的全面应用,软件作为实现系统功能核心,为保证其高可靠性,须在其开发生命周期中各阶段执行验证与确认(V&V)工... 核电厂安全级仪控系统作为反应堆监测、控制以及保护的重要部分,承担着保障核安全的重要责任.随着数字化仪控系统在核电厂的全面应用,软件作为实现系统功能核心,为保证其高可靠性,须在其开发生命周期中各阶段执行验证与确认(V&V)工作.在国内外相关法规标准要求基础上,结合项目实施经验,通过梳理概念阶段各项验证与确认任务间关系,实施流程及提出具体分析和处理方法的方式,对核电厂安全级仪控系统软件概念阶段各项验证与确认任务要点及方法进行了详细阐述,解决了当前概念阶段验证与确认工作缺乏具体实施措施指导的问题,可为后续其他项目概念阶段验证与确认活动高质量开展提供有益借鉴. 展开更多

关键词 概念 验证与确认(v&v) 安全级仪控系统

在线阅读 下载PDF 职称材料

基于RISC-V处理器执行单元的高效灵活验证平台设计 被引量：2

9

作者 郑志亮 程雯 王先兰 《电子设计工程》 2023年第7期124-131,共8页

目前高复杂度设计的微处理器采用传统的定向验证很难满足高效灵活性的验证需求。针对以上问题,以RISC-V指令集处理器执行单元为验证对象,采用通用验证方法学(Universal Verification Methodology,UVM)设计灵活可配置组件,搭建约束随机... 目前高复杂度设计的微处理器采用传统的定向验证很难满足高效灵活性的验证需求。针对以上问题,以RISC-V指令集处理器执行单元为验证对象,采用通用验证方法学(Universal Verification Methodology,UVM)设计灵活可配置组件,搭建约束随机指令发生器,成功实现验证平台约束随机激励生成、具备可复用性和可配置性的特点,并针对RISC-V指令集的参考模型SPIKE库存在访存不灵活,受SPIKE库规定地址约束的问题,提出分级思想,根据指令对地址是否访问,分级设计了访存指令参考模型和非访存指令参考模型,成功提高访存指令的验证效率。实验结果表明,该验证平台功能覆盖率约达到100%,代码覆盖率约达到98%以上,具备良好的高效灵活性。 展开更多

关键词 RISC-v处理器执行单元验证 验证方法学 分级思想 覆盖率

在线阅读 下载PDF 职称材料

核电厂数字化安全仪控软件的V&V实现 被引量：2

10

作者 刘真 孙永滨 李季学 《核科学与工程》 CSCD 北大核心 2010年第S1期13-16,共4页

以日本三菱MELTAC安全级软件在核电厂中应用的V&V为例,就其主要的工作流程、步序、输入输出结果进行分析说明,以期为核电厂数字化仪控系统(DCS)软件V&V工作的自主化和国产化提供借鉴。

关键词 验证与确认(v&v) 核电厂安全级软件 核电厂安全级保护系统

在线阅读 下载PDF 职称材料

基于PicoRV32开源处理器的SOC平台搭建 被引量：4

11

作者 贠晨阳 苗瑞霞 《现代电子技术》 北大核心 2019年第21期90-93,共4页

由于现有的处理器架构及IP核存在授权费用高、兼容性差等问题,近两年出现的新型RISC-V架构有着开源、免费等优势,文中基于RISC-V指令集的PicoRV32开源处理器,搭建一个精简SOC硬件平台。通过运行呼吸灯测试程序,验证了该平台的正确性。在... 由于现有的处理器架构及IP核存在授权费用高、兼容性差等问题,近两年出现的新型RISC-V架构有着开源、免费等优势,文中基于RISC-V指令集的PicoRV32开源处理器,搭建一个精简SOC硬件平台。通过运行呼吸灯测试程序,验证了该平台的正确性。在Xilinx XCVU440的FPGA开发板下资源显示最高频率为381.2 MHz,LUTs为1137。可见PicoRV32开源微处理器具有逻辑门数少、跑频高的优点,可被用作FPGA设计和ASIC设计的辅助处理器,具有较高的研究价值和应用前景,并且所设计的平台可适用于其他处理器的SOC搭建及FPGA综合验证。 展开更多

关键词 开源处理器 RISC-v vERILOG HDL 呼吸灯 SOC硬件平台 平台验证

在线阅读 下载PDF 职称材料

基于V模型的ATS软件验证方法研究

12

作者 梁鸿煜 燕飞 《都市快轨交通》 北大核心 2017年第3期35-39,共5页

轨道交通信号系统必须经过严格的验证才能进入工程应用。以ATS自动列车监控系统软件为例,研究信号系统在生命周期V模型下的验证方法,把开发周期简要划分为需求分析、设计实现、测试验证3个阶段,用以论述验证活动,阐述在产品生命周期各... 轨道交通信号系统必须经过严格的验证才能进入工程应用。以ATS自动列车监控系统软件为例,研究信号系统在生命周期V模型下的验证方法,把开发周期简要划分为需求分析、设计实现、测试验证3个阶段,用以论述验证活动,阐述在产品生命周期各个阶段采用如评审、追溯分析、测试分析等不同验证方法,从而更大程度地保证系统的正确性。说明ATS系统的验证活动是一个庞大的工程,在产品开发生命周期的各个阶段都应执行充分的验证活动,收集足够的客观证据证明产品各个阶段的输出满足需求。 展开更多

关键词 城市轨道交通 自动列车监控 验证 v模型

在线阅读 下载PDF 职称材料

V型推力杆紧固螺栓断裂、松动问题分析与改进 被引量：1

13

作者 杨银辉 《汽车实用技术》 2015年第5期101-103,共3页

以某公司6×4牵引车后悬架V型推力杆V端螺栓断裂、松动问题为研究对象,通过分析驱动工况、制动工况时V型推力杆的最大受力情况,校核了推力杆螺栓的强度,结果显示是由于原V型推力杆紧固螺栓强度不足导致螺栓断裂,并结合厚垫圈防松原... 以某公司6×4牵引车后悬架V型推力杆V端螺栓断裂、松动问题为研究对象,通过分析驱动工况、制动工况时V型推力杆的最大受力情况,校核了推力杆螺栓的强度,结果显示是由于原V型推力杆紧固螺栓强度不足导致螺栓断裂,并结合厚垫圈防松原理,确定改进方案,即将V型推力杆紧固螺栓由M20改为M22,在铸造横梁与V型推力杆紧固处增加45mm厚垫圈后,解决了螺栓断裂、松动问题,该方案经过用户实际使用和10000km的综合道路试验验证,改善效果较好,减少了用户抱怨和经济损失。 展开更多

关键词 螺栓断裂 螺栓松动v型推力杆 受力分析 强度校核

在线阅读 下载PDF 职称材料

从IEEE1012的版本演变探析核电仪控软件验证与确认 被引量：5

14

作者 尹宝娟 黄伟杰 +1 位作者 毛从吉 张宓 《核电子学与探测技术》 CAS CSCD 北大核心 2013年第10期1179-1183,共5页

标准IEEE1012在各行业的软件验证与确认工作得到广泛应用。该标准自1986年开始至今经历了4个版本的演变,最新版于2012年发布。论文对比和分析了各版本内容的演变,并结合核电仪控系统软件的特点,梳理了核电仪控软件验证与确认工作的关键... 标准IEEE1012在各行业的软件验证与确认工作得到广泛应用。该标准自1986年开始至今经历了4个版本的演变,最新版于2012年发布。论文对比和分析了各版本内容的演变,并结合核电仪控系统软件的特点,梳理了核电仪控软件验证与确认工作的关键思想与新的发展重点。 展开更多

关键词 验证与确认 仪控 完整性等级 系统性观点 安全保密

在线阅读 下载PDF 职称材料

核级保护系统中FPGA实现方案的若干问题探讨 被引量：4

15

作者 尹宝娟 毛从吉 +1 位作者 黄伟杰 李世欣 《核电子学与探测技术》 CAS CSCD 北大核心 2013年第9期1050-1053,共4页

由于FPGA在高可靠性、高速度、简化设计、降低设备复杂性和过时问题等方面的优势,将其应用于核电站保护系统中的趋势逐渐明显。分析了FPGA技术应用于核级保护系统中的若干问题,包括设计原则、工艺类型选择、开发语言、开发过程、工具选... 由于FPGA在高可靠性、高速度、简化设计、降低设备复杂性和过时问题等方面的优势,将其应用于核电站保护系统中的趋势逐渐明显。分析了FPGA技术应用于核级保护系统中的若干问题,包括设计原则、工艺类型选择、开发语言、开发过程、工具选择、商品级软件使用、验证与确认等。 展开更多

关键词 现场可编程门阵列 保护系统 硬件描述语言 商品级软件 验证与确认

在线阅读 下载PDF 职称材料

核电站数字化仪控系统安全保密分析方法研究 被引量：2

16

作者 尹宝娟 丁义行 +3 位作者 孙王强 李幼媛 赵云飞 程建明 《核科学与工程》 CAS CSCD 北大核心 2016年第3期430-434,共5页

核电站数字化仪控系统的信息安全保密分析是核安全级仪控系统软件验证与确认工作的任务之一。按照相关规定,提出了一种基于核安全级仪控系统软件开发全生命周期过程,结合规则检查分析和基于信息流分析的安全保密分析方法。该方法经应用... 核电站数字化仪控系统的信息安全保密分析是核安全级仪控系统软件验证与确认工作的任务之一。按照相关规定,提出了一种基于核安全级仪控系统软件开发全生命周期过程,结合规则检查分析和基于信息流分析的安全保密分析方法。该方法经应用检验能够证实系统在信息安全保密方面的防范能力,在实际项目中得到应用。 展开更多

关键词 安全保密分析 验证与确认:数字化仪控系统 规则检查分析 信息流

在线阅读 下载PDF 职称材料

某展厅中央空调系统改造及节能效果分析 被引量：3

17

作者 程立权 吴俊峰 +3 位作者 孔晓鸣 蔡松素 蒋德伦 张茹 《制冷与空调》 2015年第1期65-69,共5页

以位于浙江省某展厅中央空调系统节能改造项目为例,通过对空调系统现状的调研分析,确定该展厅中央空调系统能耗现状及存在的问题,对空调系统提出节能改造方案。利用节能量测量和验证方法,对该中央空调系统改造前后的数据进行监测,并对... 以位于浙江省某展厅中央空调系统节能改造项目为例,通过对空调系统现状的调研分析,确定该展厅中央空调系统能耗现状及存在的问题,对空调系统提出节能改造方案。利用节能量测量和验证方法,对该中央空调系统改造前后的数据进行监测,并对其节能效果进行实测分析,证明改造方案的合理性。 展开更多

关键词 中央空调系统 改造 节能效果 测量和验证

在线阅读 下载PDF 职称材料

核电厂人因工程集成系统确认 被引量：2

18

作者 方舟 《中国核电》 2013年第2期111-114,共4页

核电厂控制室除了成百上千的人机接口资源,还是一个包括规程、操纵员、环境、组织和管理等多种要素的复杂集成系统。在设计阶段,这些要素往往由不同的负责方分别进行考虑。然而在实际核电厂运行中,这一集成系统能否顺利配合,是否具有良... 核电厂控制室除了成百上千的人机接口资源,还是一个包括规程、操纵员、环境、组织和管理等多种要素的复杂集成系统。在设计阶段,这些要素往往由不同的负责方分别进行考虑。然而在实际核电厂运行中,这一集成系统能否顺利配合,是否具有良好的人因工程设计水平,以避免人员失误,都是在电厂交付前开展的集成系统确认活动需要解决的问题。文章借助某核电项目的开展,研究和实践人因工程集成系统的确认技术;介绍集成系统确认试验的背景、流程以及方法;讨论试验的开展情况及结果;总结整项研究工作中获得的经验。 展开更多

关键词 人因工程 验证和确认 集成

在线阅读 下载PDF 职称材料

重离子治疗三维剂量验证方法研究进展 被引量：1

19

作者 廖峰 贺三军 +5 位作者 张双 罗万 高波 周芷千 刘丽艳 赵修良 《核电子学与探测技术》 CAS 北大核心 2022年第5期786-792,共7页

综述了重离子治疗三维剂量验证方法的研究进展.重点介绍了凝胶剂量计、PET在线验证和电离室阵列实现重离子治疗三维剂量验证的优缺点,探讨了重离子治疗中三维剂量验证技术的发展趋势.研究认为,目前通过研制三维电离室阵列,可以真正快速... 综述了重离子治疗三维剂量验证方法的研究进展.重点介绍了凝胶剂量计、PET在线验证和电离室阵列实现重离子治疗三维剂量验证的优缺点,探讨了重离子治疗中三维剂量验证技术的发展趋势.研究认为,目前通过研制三维电离室阵列,可以真正快速准确地实现重离子治疗的三维剂量验证. 展开更多

关键词 重离子治疗 三维剂量验证 PET在线验证 三维电离室阵列

在线阅读 下载PDF 职称材料

基于遗传进化策略的处理器验证方案 被引量：2

20

作者 杨凯峰 张雪倩 +1 位作者 冯娇 梁峰 《微电子学与计算机》 2021年第5期25-29,共5页

RISC-V作为近年来发展迅速的开源处理器架构,对其验证方法的研究具有很高的工业应用价值.提出了基于遗传进化策略的处理器验证优化方案,利用遗传算法产生指令的权重系数,为测试用例的生成确定方向,并对RISC-V处理器RV32I部分指令完成了... RISC-V作为近年来发展迅速的开源处理器架构,对其验证方法的研究具有很高的工业应用价值.提出了基于遗传进化策略的处理器验证优化方案,利用遗传算法产生指令的权重系数,为测试用例的生成确定方向,并对RISC-V处理器RV32I部分指令完成了模拟验证.与基于伪随机策略生成测试用例的方案相比,应用遗传进化策略生成测试用例时,能够维持对功能覆盖率贡献更高的方向,在验证末期即将陷入局部最优解时,仍然能够突破当前状态,使整体功能覆盖率进一步提高.同时,该验证优化方案对验证环境的调整实现了完全自动化,具有较高的可扩展性和可维护性. 展开更多

关键词 遗传进化算法 功能覆盖率 通用验证方法学 RISC-v

在线阅读 下载PDF 职称材料