期刊文献+
共找到238篇文章
< 1 2 12 >
每页显示 20 50 100
Research on Verification Method of Motor Startups in Nuclear Power Plants Based on Topology Recognition
1
作者 Li Baozhu Dong Weijie Chen Chao 《系统仿真学报》 CAS CSCD 北大核心 2024年第12期2813-2823,共11页
There are many motors in operation or on standby in nuclear power plants,and the startup of group motors will have a great impact on the voltage of the emergency bus.At present,there is no special or inexpensive softw... There are many motors in operation or on standby in nuclear power plants,and the startup of group motors will have a great impact on the voltage of the emergency bus.At present,there is no special or inexpensive software to solve this problem,and the experience of engineers is not accurate enough.Therefore,this paper developed a method and system for the startup calculation of group motors in nuclear power plants and proposed an automatic generation method of circuit topology in nuclear power plants.Each component in the topology was given its unique number,and the component class could be constructed according to its type and upper and lower connections.The subordination and topology relationship of switches,buses,and motors could be quickly generated by the program according to the component class,and the simplified direct power flow algorithm was used to calculate the power flow for the startup of group motors according to the above relationship.Then,whether the bus voltage is in the safe range and whether the voltage exceeds the limit during the startup of the group motor could be judged.The practical example was used to verify the effectiveness of the method.Compared with other professional software,the method has high efficiency and low cost. 展开更多
关键词 power supply for nuclear power plant automatic topology recognition startup of group motor simplified direct power flow algorithm verification method
在线阅读 下载PDF
IntervalTree+结构的函数式建模、机械化验证及其应用
2
作者 左正康 张晗庆 +1 位作者 王昌晶 游珍 《电子学报》 北大核心 2025年第2期474-482,共9页
区间树(IntervalTree)是一种对动态集合进行维护的搜索树,可用于高效地存储和搜索区间集合.当前实现了IntervalTree在Isabelle/HOL的建模与验证,其区间信息是在二叉搜索树上进行扩充的,IntervalTree结构支持的基本操作时间复杂度较高.为... 区间树(IntervalTree)是一种对动态集合进行维护的搜索树,可用于高效地存储和搜索区间集合.当前实现了IntervalTree在Isabelle/HOL的建模与验证,其区间信息是在二叉搜索树上进行扩充的,IntervalTree结构支持的基本操作时间复杂度较高.为此,本文对IntervalTree结构的节点附加额外颜色信息且保证树的平衡,提出了IntervalTree+结构,相较于IntervalTree结构的实现,插入和删除等操作最坏时间复杂度O(n)改进到O(log n).然后使用Isabelle定理证明器对IntervalTree+结构及其操作函数进行了函数式建模,对其不变量进行了机械化验证,保证了IntervalTree+结构操作函数的正确性和可靠性.进一步,首次提出一种区域匹配算法的通用验证规约,旨在解决一系列的区域匹配算法正确性验证问题.提出的IntervalTree+结构通过严格的机械化验证,且操作最坏时间复杂度相较于IntervalTree结构由O(n)优化到O(log n),可应用于区域匹配、视觉日志和评估模型等相关算法优化. 展开更多
关键词 区间树 IntervalTree+ 函数式建模 机械化验证 区域匹配算法 Isabelle定理证明器
在线阅读 下载PDF
基于广义Dice系数改进SAMP算法的轴承故障诊断
3
作者 于春霞 王峰伟 +1 位作者 张建国 李明 《机械设计与制造》 北大核心 2025年第2期183-186,191,共5页
轴承是机械传动装置中不可或缺的零件之一,其信号存在干扰和冗余成分的问题。为了进一步提高振动阶段的故障诊断效果,设计了一种基于广义Dice系数改进自适应匹配追踪(SAMP)算法的轴承故障诊断方法。SAMP算法采用分段迭代方式实现支撑集... 轴承是机械传动装置中不可或缺的零件之一,其信号存在干扰和冗余成分的问题。为了进一步提高振动阶段的故障诊断效果,设计了一种基于广义Dice系数改进自适应匹配追踪(SAMP)算法的轴承故障诊断方法。SAMP算法采用分段迭代方式实现支撑集的自主调整,广义Dice系数可以显著增强信号重建品质。通过实验进行了验证,研究结果表明:原始信号中混杂多种干扰元素,导致啮合频率和边频带被掩盖,无法准确识别故障特征。经过SAMP重构形成的故障频谱清晰显示了啮合频率和频,边频带被有效覆盖,可以有效反映故障信号。外圈和内圈故障信号呈现出规律性周期波动特点,以SAMP算法处理后的故障信号依然保持周期性特点,频率附近产生了相应的边频带,由此实现对故障信号特征的准确识别。 展开更多
关键词 轴承 故障诊断 自适应匹配追踪算法 实验验证
在线阅读 下载PDF
融合数据驱动与启发式算法的煤元素碳含量校验
4
作者 孙栓柱 陆佳慧 +5 位作者 江宇泷 周春蕾 朱洁雯 杨晨琛 汤红健 段伦博 《洁净煤技术》 北大核心 2025年第6期185-194,共10页
“碳达峰”“碳中和”政策背景下,燃煤发电行业的减排降碳势在必行。提升碳排放数据的质量水平,强化碳排放监管要求,是保障燃煤发电行业降碳成效的必要举措。入炉煤元素碳含量作为碳排放核算过程中的关键参数,对于燃煤发电企业上报的入... “碳达峰”“碳中和”政策背景下,燃煤发电行业的减排降碳势在必行。提升碳排放数据的质量水平,强化碳排放监管要求,是保障燃煤发电行业降碳成效的必要举措。入炉煤元素碳含量作为碳排放核算过程中的关键参数,对于燃煤发电企业上报的入炉煤元素碳含量数据的校核尤为重要。对此,提出了一种针对入炉煤元素碳含量数据的智能校验方法。首先,收集了近1000组国内外典型动力煤的工业分析和元素分析数据。其次,融合高斯过程回归和启发式优化算法,基于美国煤质数据集建立了入炉煤元素碳含量的回归预测机器学习模型,模型在训练集和测试集上的回归系数R2分别为0.9898和0.9877,体现出优良的拟合与预测能力,实现了对入炉煤元素碳含量数据的精确预测。然后,以中国标准煤样数据、中国典型燃煤机组的煤质分析数据为案例进一步验证了机器学习模型的泛化能力,模型在中国标准煤样数据上的元素碳含量预测平均相对误差仅为1.68%,在典型燃煤机组数据上的预测回归系数为0.9877,均取得了准确的预测效果,验证了模型对入炉煤元素碳预测的精度与适用性。最后,进一步将该模型部署到了我国某600 MW燃煤发电机组生产过程中,模型预测值与实测值的平均相对误差为0.79%,实现了以班组为频次的入炉煤元素碳含量及时准确监测,助力燃煤发电企业上报的元素碳含量数据校验。 展开更多
关键词 “双碳”目标 机器学习 启发式优化算法 入炉煤元素碳 智能校验
在线阅读 下载PDF
轮式拖拉机变速箱自动控制算法的设计与验证
5
作者 张梅红 《农机化研究》 北大核心 2025年第6期239-245,共7页
轮式拖拉机变速箱自动控制技术对于提高拖拉机的操作效率和安全性具有重要意义。为此,提出了一种农用轮式拖拉机的数字模型,以及发动机和变速器的自动控制算法。算法基于系统方法,将轮式拖拉机视为一个多子系统组成的复杂系统,包括发动... 轮式拖拉机变速箱自动控制技术对于提高拖拉机的操作效率和安全性具有重要意义。为此,提出了一种农用轮式拖拉机的数字模型,以及发动机和变速器的自动控制算法。算法基于系统方法,将轮式拖拉机视为一个多子系统组成的复杂系统,包括发动机、变速器、起落架、吊钩负载和操作员的控制动作等子系统,并优化了换挡的逻辑和功能。通过MatLab软件及其应用程序、Simulink、Sim-scape等工具对拖拉机的工作条件进行仿真,对算法进行验证和优化,结果表明:控制算法参数可在拖拉机操作循环中提供最小的燃料消耗率,且具有良好的鲁棒性和稳定性,在各种工作条件下都能够有效工作。研究结果可为提高拖拉机的性能和可靠性、降低维护成本提供一定的理论参考与技术支撑。 展开更多
关键词 轮式拖拉机 变速箱自动控制 算法设计 仿真验证 燃油效率 鲁棒性
在线阅读 下载PDF
基于深度学习和遗传算法的方法调用缺陷自动修复方法
6
作者 宋青青 杨秋辉 +2 位作者 董兰 代声馨 赵明敏 《计算机工程与设计》 北大核心 2025年第1期237-242,共6页
为提高软件缺陷自动修复技术的修复效果,针对面向对象程序中出现概率较大的方法调用缺陷,提出一种基于深度学习和遗传算法的方法调用缺陷自动修复方法。基于深度学习构造方法调用缺陷修复模型,使用修复模型生成候选补丁并验证;若补丁无... 为提高软件缺陷自动修复技术的修复效果,针对面向对象程序中出现概率较大的方法调用缺陷,提出一种基于深度学习和遗传算法的方法调用缺陷自动修复方法。基于深度学习构造方法调用缺陷修复模型,使用修复模型生成候选补丁并验证;若补丁无效,则基于这些候选补丁,使用改进的基于遗传算法的缺陷修复方法生成候选补丁。实验结果表明,在Defects4 J数据集上,所提方法与DEAR、TBar、SequenceR和jGenProg自动化缺陷修复工具相比,缺陷修复率和补丁正确率都有提高。 展开更多
关键词 软件调试 软件缺陷自动修复 面向对象程序 方法调用缺陷 补丁生成与验证 深度学习 遗传算法
在线阅读 下载PDF
算法解释制度的体系化构建 被引量:34
7
作者 苏宇 《东方法学》 CSSCI 北大核心 2024年第1期81-95,共15页
算法解释在算法治理中举足轻重。算法解释承载着权益保障、社会交往和风险治理三重意义,其在技术层面上的障碍正在逐渐被突破,可以通过多种技术机制实现。在算法治理活动中,应根据常规场景、关键场景和争议场景分别限定选择解释的路径... 算法解释在算法治理中举足轻重。算法解释承载着权益保障、社会交往和风险治理三重意义,其在技术层面上的障碍正在逐渐被突破,可以通过多种技术机制实现。在算法治理活动中,应根据常规场景、关键场景和争议场景分别限定选择解释的路径选择和技术方案,通过冻结机制、抽样机制和镜像机制固定算法解释,并使之接受外部的验证与审查,确保算法解释真实、有效。算法解释的系列机制应被进一步构建为体系化的算法解释制度,在这一制度框架内,对解释路径与精度、解释时限、解释瑕疵责任等要素的合理配置,可以实现社会效益与规制负担的精细平衡。 展开更多
关键词 算法解释 算法验证 算法黑箱 算法透明度 机器学习 算法治理
在线阅读 下载PDF
Trie+结构函数式建模、机械化验证及其应用 被引量:3
8
作者 左正康 柯雨含 +3 位作者 黄箐 王玥坤 曾志城 王昌晶 《软件学报》 EI CSCD 北大核心 2024年第9期4242-4264,共23页
Trie结构是一种使用搜索关键字来组织信息的搜索树,可用于高效地存储和搜索字符串集合.Nipkow等人给出了实现Trie的Isabelle建模与验证,然而其Trie在存储和操作时存在大量的冗余,导致空间利用率不高,且仅考虑英文单模式下查找.为此,基... Trie结构是一种使用搜索关键字来组织信息的搜索树,可用于高效地存储和搜索字符串集合.Nipkow等人给出了实现Trie的Isabelle建模与验证,然而其Trie在存储和操作时存在大量的冗余,导致空间利用率不高,且仅考虑英文单模式下查找.为此,基于索引即键值的思想提出了Trie+结构,相较于传统的索引与键值分开存储的结构能减少50%的存储空间,大大提高了空间利用率.并且,对Trie+结构的查找、插入、删除等操作给出了函数式建模及其严格的机械化验证,保证操作的正确性和可靠性.进一步,提出一种匹配算法的通用验证规约,旨在解决一系列的匹配算法正确性验证问题.最后,基于Trie+结构与匹配算法通用验证规约,建模和验证了函数式中英文混合多模式匹配算法,发现并解决了现有研究中的基于完全哈希Trie的多模式匹配算法的模式串前缀终止的Bug.该Trie+结构以及验证规约在提高Trie结构空间利用率和验证匹配算法中,有一定的理论和应用价值. 展开更多
关键词 Trie+ 函数式建模 机械化验证 多模式匹配算法
在线阅读 下载PDF
不确定图上的极大团枚举及高效验证算法
9
作者 赵丹枫 吕闫妍 +2 位作者 张文博 黄冬梅 高峰 《智能系统学报》 CSCD 北大核心 2024年第6期1539-1551,共13页
现有的不确定图中极大团枚举方法“子图划分—枚举—验证”,在处理大规模图时,整体效率不高;当挖掘出的伪极大团数量较多时,验证速率明显下降。因此,提出高效枚举及验证算法(multiple inversion list enumerate uncertain maximal cliqu... 现有的不确定图中极大团枚举方法“子图划分—枚举—验证”,在处理大规模图时,整体效率不高;当挖掘出的伪极大团数量较多时,验证速率明显下降。因此,提出高效枚举及验证算法(multiple inversion list enumerate uncertain maximal cliques,MILEUMC)。在子图划分和枚举前,定义并构造概率阈值(α)不确定图,通过缩小图的规模,提高枚举效率;在“验证”时,提出基于多重倒排表的验证方法,分为去重复和去包含关系2个阶段去除伪极大团,以不同索引构建各个阶段的多重倒排表,根据极大团的属性完成验证,同时动态更新相应的倒排表和映射表,以减小工作量,提高时间效率。最后在多个真实的数据集上比较,结果验证了MILEUMC算法的高效性。该算法更适用于在较为稀疏的图上寻找联系更紧密的极大团。 展开更多
关键词 不确定图 极大团 数据挖掘 枚举算法 验证算法 子图划分 倒排表 映射表
在线阅读 下载PDF
基于OOD泛化性验证和深度全连接神经网络的泥石流易发性评价方法 被引量:2
10
作者 郭鹏宁 邢会歌 +2 位作者 李从江 吴雨鑫 李海波 《工程科学与技术》 EI CAS CSCD 北大核心 2024年第4期182-193,共12页
提升易发性评价精度有助于山区泥石流灾害早期的识别和监测预警。大部分机器学习模型在训练、测试集合上表现良好,但实际应用过程精度较差,不利于工程选址规划和防灾减灾,如何提高机器学习模型评价精度与泛化性具有重要意义。选取深度... 提升易发性评价精度有助于山区泥石流灾害早期的识别和监测预警。大部分机器学习模型在训练、测试集合上表现良好,但实际应用过程精度较差,不利于工程选址规划和防灾减灾,如何提高机器学习模型评价精度与泛化性具有重要意义。选取深度全连接神经网络,与梯度提升树、随机森林模型和贝叶斯网络等机器学习方法共同进行模型精确性评价和OOD(out-of-distribution)泛化性验证,从而找出在训练、预测和应用中均具有较高精度的方法。以四川省雅安市为例,采用小流域单元进行区域网格划分,将数据集合按7∶3比例随机分为训练集和测试集,使用经验法则(3-sigma)剔除异常数据,并基于多变量(Iterative Imputer)和K-近邻法对缺失值填充进行泥石流灾害易发性评价。在泥石流易发性因子的共线性、敏感性和预测能力的分析结果基础上,选定14个易发性因子构建模型评价指标体系,进行泥石流易发性评价与对比。通过对模型的精确性评价及OOD泛化性验证发现:深度全连接神经网络模型曲线下的面积(AUC)、准确率(Acc)、召回率(Recall)的值比梯度提升树等的计算结果分别超出了0.027、0.02、0.02,而平均绝对值误差(MAE)降低了0.003;OOD泛化性验证准确度超出了0.056。研究表明,深度全连接神经网络对于泥石流易发性评价的预测效果较好,能够提高泥石流评价的精度,增加评价的适应性,可为泥石流易发性评价提供新思路。 展开更多
关键词 泥石流灾害 易发性评价 深度学习算法 OOD泛化性验证 深度全连接神经网络
在线阅读 下载PDF
基于分层DEMATEL算法的联合作战构想定性验证模式研究 被引量:1
11
作者 李佳恒 王明宇 +3 位作者 杨菁 马明辉 王伟 杨帆 《空军工程大学学报》 CSCD 北大核心 2024年第4期49-57,共9页
联合作战构想作为联合作战筹划输入信息,其科学性、合理性、可执行性应得到充分验证。基于分层DEMATEL算法,融合适用于处理复杂巨系统问题的“物理-事理-人理”方法论用于联合作战构想定性验证。分析了联合作战构想的本质特征、验证需... 联合作战构想作为联合作战筹划输入信息,其科学性、合理性、可执行性应得到充分验证。基于分层DEMATEL算法,融合适用于处理复杂巨系统问题的“物理-事理-人理”方法论用于联合作战构想定性验证。分析了联合作战构想的本质特征、验证需求和验证方式,提出了基于“物理-事理-人理”三属性准则的分析架构,构建了基于目的性、合理性、可行性、协调性、风险性5个维度准则的定性验证指标体系,并进行了案例计算和结果分析,可为联合作战构想定性验证提供新方式方法。 展开更多
关键词 分层DEMATEL方法 WSR方法论 联合作战 作战构想 定性验证
在线阅读 下载PDF
城市固废焚烧智能算法测试与验证模块化半实物平台 被引量:1
12
作者 汤健 王天峥 +5 位作者 夏恒 崔璨麟 潘晓彤 郭海涛 王鼎 乔俊飞 《自动化学报》 EI CAS CSCD 北大核心 2024年第12期2432-2461,共30页
城市固废焚烧(Municipal solid waste incineration,MSWI)过程因工业现场的安全要求和控制系统的封闭特性导致离线研究的各类智能算法难以在线验证.此外,已有的实验室仿真平台难以模拟领域专家基于多模态数据进行智能感知、认知、决策... 城市固废焚烧(Municipal solid waste incineration,MSWI)过程因工业现场的安全要求和控制系统的封闭特性导致离线研究的各类智能算法难以在线验证.此外,已有的实验室仿真平台难以模拟领域专家基于多模态数据进行智能感知、认知、决策和控制的工业实际.针对上述问题,首先,在综述现有面向工业过程的仿真平台研究现状和所面临挑战的基础上,描述面向MSWI过程智能算法测试与验证平台的需求,提出并构建由多模态历史数据驱动系统、安全隔离与优化控制系统和多入多出回路控制系统组成的模块化半实物平台.然后,在实验室环境中完成平台硬件搭建、工业软件开发、仿真功能实现和典型场景验证,并移植部分模块至工业现场进行应用.最后,总结与展望模块化半实物平台的研究方向. 展开更多
关键词 城市固废焚烧 多模态数据 算法测试与验证 模块化半实物平台 安全隔离 工业软件
在线阅读 下载PDF
基于滑动窗口的流式RDF数据的模式匹配方法 被引量:2
13
作者 王翔 《计算机工程与设计》 北大核心 2024年第5期1458-1464,共7页
数据在社交网络中通常呈现为流式的特征。针对流式RDF数据,提出一种增量的模式匹配方法。设计一种面向RDF数据的索引结构,被定义为顶点聚簇的数据子图。提出一种基于顶点-边标签映射的有效验证的匹配算法,减少遍历过程中候选数据规模。... 数据在社交网络中通常呈现为流式的特征。针对流式RDF数据,提出一种增量的模式匹配方法。设计一种面向RDF数据的索引结构,被定义为顶点聚簇的数据子图。提出一种基于顶点-边标签映射的有效验证的匹配算法,减少遍历过程中候选数据规模。实验结果表明,该方法在环状和星状查询图的模式匹配算法效率更具时间优势。 展开更多
关键词 数据流 模式匹配 数据子图 数据索引 顶点聚簇 候选验证 增量匹配算法
在线阅读 下载PDF
基于哈希和编辑距离算法的SCD双层向量化与变更校验技术 被引量:4
14
作者 叶远波 王吉文 +2 位作者 汪伟 毛玉荣 王志华 《中国电力》 CSCD 北大核心 2024年第1期255-262,共8页
针对智能变电站配置描述(substation configuration description,SCD)文件变更、智能变电站二次设备配置不清晰导致运维工作量剧增的问题,提出基于哈希和编辑距离算法的SCD双层向量化与变更校验技术。首先,考虑文件变更的启动与校验,应... 针对智能变电站配置描述(substation configuration description,SCD)文件变更、智能变电站二次设备配置不清晰导致运维工作量剧增的问题,提出基于哈希和编辑距离算法的SCD双层向量化与变更校验技术。首先,考虑文件变更的启动与校验,应用节点元素、校验码与元素属性构建面向SCD文件解析的双层向量模型;其次,利用哈希算法将构建的文本向量模型转化为哈希字符串向量模型;然后,引入编辑距离算法分别计算原始文件与变更文件的双层向量模型相似度,基于第一层相似度比较构成第二层校验启动判据,基于第二层相似度结合回溯路径方法实现变更校验;最后,通过算例分析验证了所提算法的有效性。 展开更多
关键词 智能变电站 SCD文件校验 向量模型 哈希算法 编辑距离 相似度计算
在线阅读 下载PDF
多维区域匹配算法的通用验证方法
15
作者 张晗庆 游珍 +2 位作者 左正康 吴嘉伟 程着 《江西师范大学学报(自然科学版)》 北大核心 2024年第6期646-651,共6页
区域匹配算法通常用于多维数据空间中快速匹配特定区域或数据集,被广泛应用于数据库系统、数据分发管理系统等.目前大多数区域匹配算法的实现方法效率较低且未得到正确性验证.因此,该文提出了一种多维区域匹配算法的通用验证规约,以威... 区域匹配算法通常用于多维数据空间中快速匹配特定区域或数据集,被广泛应用于数据库系统、数据分发管理系统等.目前大多数区域匹配算法的实现方法效率较低且未得到正确性验证.因此,该文提出了一种多维区域匹配算法的通用验证规约,以威胁辐射源匹配算法作为实例,使用Isabelle/HOL定理证明器对其进行函数式建模.将该文实现的通用验证规约通过区域解释应用于威胁辐射源匹配算法,通过严格的机械化验证,确保了威胁辐射源匹配算法的正确性,进而验证了该方法的有效性和可扩展性. 展开更多
关键词 多维区域匹配算法 威胁辐射源匹配算法 函数式建模 机械化验证
在线阅读 下载PDF
基于关系闭集的模糊互模拟算法函数式建模及其机械化验证
16
作者 吴嘉伟 游珍 +2 位作者 左正康 张晗庆 程着 《江西师范大学学报(自然科学版)》 北大核心 2024年第6期640-645,共6页
该文在基于关系提升的模糊互模拟算法基础上,设计了一种基于关系闭集的模糊互模拟函数式算法,并使用Isabelle/HOL定理证明器对算法的终止性和正确性进行了机械化证明,为模糊互模拟算法的形式化和自动化验证提供了参考.
关键词 模糊互模拟算法 不确定型模糊迁移系统 函数式建模 机械化验证
在线阅读 下载PDF
车路协同路侧感知系统的关键技术与测试验证 被引量:2
17
作者 鲍叙言 龚正 +1 位作者 李伯雄 余冰雁 《电信科学》 北大核心 2024年第12期30-37,共8页
车路协同路侧感知系统是发展“车路云一体化”、实施交通基础设施数字化转型升级的重要一环。立足当下应用需求和产业进展,介绍了车路协同路侧感知系统的关键技术、标准化现状,以及研究团队研发的测试工具及开展测试验证的情况。测试验... 车路协同路侧感知系统是发展“车路云一体化”、实施交通基础设施数字化转型升级的重要一环。立足当下应用需求和产业进展,介绍了车路协同路侧感知系统的关键技术、标准化现状,以及研究团队研发的测试工具及开展测试验证的情况。测试验证结果展现出部分已部署的路侧感知系统仍存在较大技术爬坡空间,且在测试工具的辅助下可大幅提升系统性能,同时也验证了关键技术的必要性、已有标准的可用性、测试工具的高价值。 展开更多
关键词 车路协同 路侧感知系统 传感技术 融合算法 标准化 测试验证
在线阅读 下载PDF
不同颜色风力机叶片缺陷检测系统研究与验证 被引量:1
18
作者 严海领 刘雄飞 李密兰 《传感技术学报》 CAS CSCD 北大核心 2024年第3期513-518,共6页
针对目前风力机叶片缺陷检测方法检测精度低、危险系数大、设备价格高等问题,提出一种基于LabVIEW+无人机的风力机叶片缺陷检测系统,实现了硬件平台搭建和系统软件设计,对图像处理算法进行研究,针对传统二值化算法中不同颜色风力机叶片... 针对目前风力机叶片缺陷检测方法检测精度低、危险系数大、设备价格高等问题,提出一种基于LabVIEW+无人机的风力机叶片缺陷检测系统,实现了硬件平台搭建和系统软件设计,对图像处理算法进行研究,针对传统二值化算法中不同颜色风力机叶片阈值不同的问题,提出了应用边缘提取的检测方法。通过理论分析和实验对比了LabVIEW中边缘提取缺陷检测算子及组合算子的检测效果,并最终确定Sobel算子应用于本风力机叶片缺陷检测系统。实验表明,该系统能够实现不同颜色风力机叶片缺陷的自动、低成本检测,检测精度高达93%。 展开更多
关键词 缺陷检测 风力机叶片 SOBEL算子 无人机 LabVIEW算法验证
在线阅读 下载PDF
SIFT算法在钳剪痕迹中的同一认定研究
19
作者 蒋小龙 王震 李德盛 《现代电子技术》 北大核心 2024年第19期62-66,共5页
随着数字图像处理技术的进步,钳剪痕迹的同一认定成为了一个关键的研究领域。文中提出一种基于尺度不变特征变换(SIFT)的方法对钳剪痕迹进行同一认定。首先,利用SIFT算法从钢丝钳剪切的断头痕迹图像中提取关键点,将已知剪切痕迹检材与... 随着数字图像处理技术的进步,钳剪痕迹的同一认定成为了一个关键的研究领域。文中提出一种基于尺度不变特征变换(SIFT)的方法对钳剪痕迹进行同一认定。首先,利用SIFT算法从钢丝钳剪切的断头痕迹图像中提取关键点,将已知剪切痕迹检材与待识别痕迹样本进行匹配;然后,根据匹配点的数量和距离信息,评估痕迹图像之间的相似性和一致性;最后,通过RANSAC算法进行一致性验证和错误匹配剔除,得到最终的匹配结果。实验结果表明,该方法能够在较多的实验样本中进行初步的同一认定,为钳剪痕迹的识别提供了一种新的有效途径。 展开更多
关键词 尺度不变特征变换 RANSAC算法 钳剪痕迹 特征匹配 同一认定 一致性验证
在线阅读 下载PDF
基于双目视觉的吊卡识别及其方位检测方法 被引量:1
20
作者 李进付 《石油机械》 北大核心 2024年第4期11-17,共7页
针对钻井自动化中的吊卡方位需要人工参与,存在识别定位缓慢和准确性差等问题,建立了基于双目视觉的吊卡自动识别和方位检测系统。通过搭建双目相机视觉检测系统,对获取的吊卡图像进行标定、立体校正和立体匹配,进而获取吊卡图像的深度... 针对钻井自动化中的吊卡方位需要人工参与,存在识别定位缓慢和准确性差等问题,建立了基于双目视觉的吊卡自动识别和方位检测系统。通过搭建双目相机视觉检测系统,对获取的吊卡图像进行标定、立体校正和立体匹配,进而获取吊卡图像的深度图。在原YOLOv5s目标检测算法的主干网络中引入卷积注意力机制模块,将要识别的目标即吊卡图像进行增强,进一步提高吊卡的识别准确率,结合深度图计算出吊卡中心位置相对机械手的距离和偏转角度,从而实现自动送管。通过在钻井平台的试验,验证了吊卡识别和检测方法的有效性。所得结论可为钻井平台自动化程度的进一步提高提供技术借鉴。 展开更多
关键词 吊卡识别 方位检测 双目相机 YOLOv5s算法 卷积注意力机制模块 试验验证
在线阅读 下载PDF
上一页 1 2 12 下一页 到第
使用帮助 返回顶部