期刊文献+
共找到241篇文章
< 1 2 13 >
每页显示 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
作者 于军琪 宗悦 +1 位作者 赵安军 高之坤 《控制工程》 北大核心 2025年第9期1537-1547,共11页
针对并联冷水机负荷分配优化问题提出一种改进的渔夫捕鱼算法,以降低并联冷水机总功耗作为优化目标,以各冷水机的部分负荷率为优化变量进行求解。在改进的算法中,采用Sobol序列初始化位置,令初始解完整均匀地覆盖整个可行域;并在2种搜... 针对并联冷水机负荷分配优化问题提出一种改进的渔夫捕鱼算法,以降低并联冷水机总功耗作为优化目标,以各冷水机的部分负荷率为优化变量进行求解。在改进的算法中,采用Sobol序列初始化位置,令初始解完整均匀地覆盖整个可行域;并在2种搜索策略中,根据渔夫所处的环境采取不同的位置更新方式,包括非线性惯性权重和高斯变异,以提高算法的收敛速度和寻优精度;最后,通过经典案例对改进算法进行测试与系统仿真验证。结果显示,与未改进的算法和其他主流算法相比,改进的渔夫捕鱼算法能够获得更优的运行策略,并且具有较强的收敛能力、较快的搜索速度以及良好的鲁棒性。 展开更多
关键词 并联冷水机 负荷分配 渔夫捕鱼算法 仿真验证 运行策略
在线阅读 下载PDF
融合数据驱动与启发式算法的煤元素碳含量校验
5
作者 孙栓柱 陆佳慧 +5 位作者 江宇泷 周春蕾 朱洁雯 杨晨琛 汤红健 段伦博 《洁净煤技术》 北大核心 2025年第6期185-194,共10页
“碳达峰”“碳中和”政策背景下,燃煤发电行业的减排降碳势在必行。提升碳排放数据的质量水平,强化碳排放监管要求,是保障燃煤发电行业降碳成效的必要举措。入炉煤元素碳含量作为碳排放核算过程中的关键参数,对于燃煤发电企业上报的入... “碳达峰”“碳中和”政策背景下,燃煤发电行业的减排降碳势在必行。提升碳排放数据的质量水平,强化碳排放监管要求,是保障燃煤发电行业降碳成效的必要举措。入炉煤元素碳含量作为碳排放核算过程中的关键参数,对于燃煤发电企业上报的入炉煤元素碳含量数据的校核尤为重要。对此,提出了一种针对入炉煤元素碳含量数据的智能校验方法。首先,收集了近1000组国内外典型动力煤的工业分析和元素分析数据。其次,融合高斯过程回归和启发式优化算法,基于美国煤质数据集建立了入炉煤元素碳含量的回归预测机器学习模型,模型在训练集和测试集上的回归系数R2分别为0.9898和0.9877,体现出优良的拟合与预测能力,实现了对入炉煤元素碳含量数据的精确预测。然后,以中国标准煤样数据、中国典型燃煤机组的煤质分析数据为案例进一步验证了机器学习模型的泛化能力,模型在中国标准煤样数据上的元素碳含量预测平均相对误差仅为1.68%,在典型燃煤机组数据上的预测回归系数为0.9877,均取得了准确的预测效果,验证了模型对入炉煤元素碳预测的精度与适用性。最后,进一步将该模型部署到了我国某600 MW燃煤发电机组生产过程中,模型预测值与实测值的平均相对误差为0.79%,实现了以班组为频次的入炉煤元素碳含量及时准确监测,助力燃煤发电企业上报的元素碳含量数据校验。 展开更多
关键词 “双碳”目标 机器学习 启发式优化算法 入炉煤元素碳 智能校验
在线阅读 下载PDF
轮式拖拉机变速箱自动控制算法的设计与验证
6
作者 张梅红 《农机化研究》 北大核心 2025年第6期239-245,共7页
轮式拖拉机变速箱自动控制技术对于提高拖拉机的操作效率和安全性具有重要意义。为此,提出了一种农用轮式拖拉机的数字模型,以及发动机和变速器的自动控制算法。算法基于系统方法,将轮式拖拉机视为一个多子系统组成的复杂系统,包括发动... 轮式拖拉机变速箱自动控制技术对于提高拖拉机的操作效率和安全性具有重要意义。为此,提出了一种农用轮式拖拉机的数字模型,以及发动机和变速器的自动控制算法。算法基于系统方法,将轮式拖拉机视为一个多子系统组成的复杂系统,包括发动机、变速器、起落架、吊钩负载和操作员的控制动作等子系统,并优化了换挡的逻辑和功能。通过MatLab软件及其应用程序、Simulink、Sim-scape等工具对拖拉机的工作条件进行仿真,对算法进行验证和优化,结果表明:控制算法参数可在拖拉机操作循环中提供最小的燃料消耗率,且具有良好的鲁棒性和稳定性,在各种工作条件下都能够有效工作。研究结果可为提高拖拉机的性能和可靠性、降低维护成本提供一定的理论参考与技术支撑。 展开更多
关键词 轮式拖拉机 变速箱自动控制 算法设计 仿真验证 燃油效率 鲁棒性
在线阅读 下载PDF
基于改进ResNet18的滑动拼图验证码破解方法
7
作者 刘宽 候红涛 +1 位作者 汪威 罗子江 《计算机应用与软件》 北大核心 2025年第9期369-375,共7页
针对新型带伪缺口的滑动拼图验证码程序有效阻止了现有方法的攻击,提出改进ResNet18的滑动拼图验证码破解方法。为保证训练模型具有泛化性,通过数据增强方式获取百万级训练样本并进行图像预处理;随后将预处理图像送入改进的ResNet18进... 针对新型带伪缺口的滑动拼图验证码程序有效阻止了现有方法的攻击,提出改进ResNet18的滑动拼图验证码破解方法。为保证训练模型具有泛化性,通过数据增强方式获取百万级训练样本并进行图像预处理;随后将预处理图像送入改进的ResNet18进行训练和测试获得网络模型,紧接着使用该模型进行滑块检测和缺口检测计算滑块与缺口之间的距离,并使用随机曲线拟合算法生成滑动轨迹;利用Selenium拖动滑块完成拼图验证。经实验表明改进ResNet18相较于传统的ResNet18参数量减少41%、GFLOPs(Giga Floating-point Operations Per Second)减少59%,在检测精度提高1.8百分点的情况下推理速度快了2.75倍,还能有效破解新型和普通滑动拼图验证码程序,其中mAP(Mean Average Precision)达到98.66%,mAS(Mean Average Speed)为3.68 s,具有较强的普适性且整体性能优于现有方法。 展开更多
关键词 滑动拼图 验证码破解 改进的ResNet18 随机曲线拟合算法
在线阅读 下载PDF
基于深度学习和遗传算法的方法调用缺陷自动修复方法
8
作者 宋青青 杨秋辉 +2 位作者 董兰 代声馨 赵明敏 《计算机工程与设计》 北大核心 2025年第1期237-242,共6页
为提高软件缺陷自动修复技术的修复效果,针对面向对象程序中出现概率较大的方法调用缺陷,提出一种基于深度学习和遗传算法的方法调用缺陷自动修复方法。基于深度学习构造方法调用缺陷修复模型,使用修复模型生成候选补丁并验证;若补丁无... 为提高软件缺陷自动修复技术的修复效果,针对面向对象程序中出现概率较大的方法调用缺陷,提出一种基于深度学习和遗传算法的方法调用缺陷自动修复方法。基于深度学习构造方法调用缺陷修复模型,使用修复模型生成候选补丁并验证;若补丁无效,则基于这些候选补丁,使用改进的基于遗传算法的缺陷修复方法生成候选补丁。实验结果表明,在Defects4 J数据集上,所提方法与DEAR、TBar、SequenceR和jGenProg自动化缺陷修复工具相比,缺陷修复率和补丁正确率都有提高。 展开更多
关键词 软件调试 软件缺陷自动修复 面向对象程序 方法调用缺陷 补丁生成与验证 深度学习 遗传算法
在线阅读 下载PDF
基于改进型INC的MPPT算法及实验验证
9
作者 李和丰 朱烨森 +2 位作者 栗振 Lund Peter 王军 《太阳能学报》 北大核心 2025年第9期484-489,共6页
以最大功率追踪法为研究对象,针对太阳辐照度的变化,提出一种改进型电导增量法,基于该最大功率点追踪(MPPT)算法在Matlab/Simulink中建立光伏发电模型,并验证其可行性,利用6块相同温度条件的光伏组件进行实验,验证算法性能。结果表明:Ma... 以最大功率追踪法为研究对象,针对太阳辐照度的变化,提出一种改进型电导增量法,基于该最大功率点追踪(MPPT)算法在Matlab/Simulink中建立光伏发电模型,并验证其可行性,利用6块相同温度条件的光伏组件进行实验,验证算法性能。结果表明:Matlab/Simulink中的模拟结果为改进型电导增量法比传统电导增量法拥有更好的最大功率追踪性能,经实验验证,改进型电导增量法比传统电导增量法在最大功率追踪性能上提升约4.33%。 展开更多
关键词 光伏技术 最大功率点追踪 算法 模拟验证 实验
在线阅读 下载PDF
基于数字孪生的煤矿工作面历史场景回溯与故障追溯技术
10
作者 李天越 刘清 +1 位作者 董启凡 冯沛 《工矿自动化》 北大核心 2025年第9期1-9,共9页
针对煤矿工作面历史场景回溯与故障追溯中多源数据碎片化、时空失准及故障诊断效率低等问题,研究了基于数字孪生的煤矿工作面历史场景回溯与故障追溯技术。通过6项关键技术实现复杂场景回溯与故障追溯:(1)采用基于物理的渲染(PBR)方式... 针对煤矿工作面历史场景回溯与故障追溯中多源数据碎片化、时空失准及故障诊断效率低等问题,研究了基于数字孪生的煤矿工作面历史场景回溯与故障追溯技术。通过6项关键技术实现复杂场景回溯与故障追溯:(1)采用基于物理的渲染(PBR)方式构建“大三机”等比例高精度三维模型。(2)提出了数据分层预加载机制,建立了动态数据层、静态数据层和事件数据层三级加载体系。(3)围绕几何位姿、物理参数、行为逻辑、规则判定对采煤机、液压支架等装备进行全要素状态同步。(4)提出基于采煤机位置数据的多主机时间统一算法,通过对各主机记录的采煤机位置数据进行特征提取和时间对齐,实现多源异构数据的精确时间同步。(5)构建了回放一致性验证机制,采用工艺参数相似度量化回放精度。(6)设计了丢架故障追溯算法,建立了多变量耦合的移架动力学模型,依据理论行程与实际行程的匹配度实现三级预警机制。试验结果表明:数据分层预加载算法用时稳定,数据加载平均用时为35.5 s,相比全量备份算法效率提升29.3%;中部跟机参数的相似度平均值相对较低,为93.73%,而三角煤区域跟机参数的相似度平均值相对较高,为98.56%;通过工作面历史场景回溯能够观测到对应丢架支架外观颜色发生变化,验证了丢架故障追溯算法的正确性。 展开更多
关键词 煤矿工作面 数字孪生 历史场景回溯 丢架故障追溯 分层预加载 全要素状态同步 多主机时间统一算法 回放一致性验证
在线阅读 下载PDF
算法解释制度的体系化构建 被引量:42
11
作者 苏宇 《东方法学》 CSSCI 北大核心 2024年第1期81-95,共15页
算法解释在算法治理中举足轻重。算法解释承载着权益保障、社会交往和风险治理三重意义,其在技术层面上的障碍正在逐渐被突破,可以通过多种技术机制实现。在算法治理活动中,应根据常规场景、关键场景和争议场景分别限定选择解释的路径... 算法解释在算法治理中举足轻重。算法解释承载着权益保障、社会交往和风险治理三重意义,其在技术层面上的障碍正在逐渐被突破,可以通过多种技术机制实现。在算法治理活动中,应根据常规场景、关键场景和争议场景分别限定选择解释的路径选择和技术方案,通过冻结机制、抽样机制和镜像机制固定算法解释,并使之接受外部的验证与审查,确保算法解释真实、有效。算法解释的系列机制应被进一步构建为体系化的算法解释制度,在这一制度框架内,对解释路径与精度、解释时限、解释瑕疵责任等要素的合理配置,可以实现社会效益与规制负担的精细平衡。 展开更多
关键词 算法解释 算法验证 算法黑箱 算法透明度 机器学习 算法治理
在线阅读 下载PDF
Trie+结构函数式建模、机械化验证及其应用 被引量:3
12
作者 左正康 柯雨含 +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
不确定图上的极大团枚举及高效验证算法
13
作者 赵丹枫 吕闫妍 +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泛化性验证和深度全连接神经网络的泥石流易发性评价方法 被引量:3
14
作者 郭鹏宁 邢会歌 +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
城市固废焚烧智能算法测试与验证模块化半实物平台 被引量:2
15
作者 汤健 王天峥 +5 位作者 夏恒 崔璨麟 潘晓彤 郭海涛 王鼎 乔俊飞 《自动化学报》 EI CAS CSCD 北大核心 2024年第12期2432-2461,共30页
城市固废焚烧(Municipal solid waste incineration,MSWI)过程因工业现场的安全要求和控制系统的封闭特性导致离线研究的各类智能算法难以在线验证.此外,已有的实验室仿真平台难以模拟领域专家基于多模态数据进行智能感知、认知、决策... 城市固废焚烧(Municipal solid waste incineration,MSWI)过程因工业现场的安全要求和控制系统的封闭特性导致离线研究的各类智能算法难以在线验证.此外,已有的实验室仿真平台难以模拟领域专家基于多模态数据进行智能感知、认知、决策和控制的工业实际.针对上述问题,首先,在综述现有面向工业过程的仿真平台研究现状和所面临挑战的基础上,描述面向MSWI过程智能算法测试与验证平台的需求,提出并构建由多模态历史数据驱动系统、安全隔离与优化控制系统和多入多出回路控制系统组成的模块化半实物平台.然后,在实验室环境中完成平台硬件搭建、工业软件开发、仿真功能实现和典型场景验证,并移植部分模块至工业现场进行应用.最后,总结与展望模块化半实物平台的研究方向. 展开更多
关键词 城市固废焚烧 多模态数据 算法测试与验证 模块化半实物平台 安全隔离 工业软件
在线阅读 下载PDF
基于分层DEMATEL算法的联合作战构想定性验证模式研究 被引量:1
16
作者 李佳恒 王明宇 +3 位作者 杨菁 马明辉 王伟 杨帆 《空军工程大学学报》 CSCD 北大核心 2024年第4期49-57,共9页
联合作战构想作为联合作战筹划输入信息,其科学性、合理性、可执行性应得到充分验证。基于分层DEMATEL算法,融合适用于处理复杂巨系统问题的“物理-事理-人理”方法论用于联合作战构想定性验证。分析了联合作战构想的本质特征、验证需... 联合作战构想作为联合作战筹划输入信息,其科学性、合理性、可执行性应得到充分验证。基于分层DEMATEL算法,融合适用于处理复杂巨系统问题的“物理-事理-人理”方法论用于联合作战构想定性验证。分析了联合作战构想的本质特征、验证需求和验证方式,提出了基于“物理-事理-人理”三属性准则的分析架构,构建了基于目的性、合理性、可行性、协调性、风险性5个维度准则的定性验证指标体系,并进行了案例计算和结果分析,可为联合作战构想定性验证提供新方式方法。 展开更多
关键词 分层DEMATEL方法 WSR方法论 联合作战 作战构想 定性验证
在线阅读 下载PDF
基于滑动窗口的流式RDF数据的模式匹配方法 被引量:2
17
作者 王翔 《计算机工程与设计》 北大核心 2024年第5期1458-1464,共7页
数据在社交网络中通常呈现为流式的特征。针对流式RDF数据,提出一种增量的模式匹配方法。设计一种面向RDF数据的索引结构,被定义为顶点聚簇的数据子图。提出一种基于顶点-边标签映射的有效验证的匹配算法,减少遍历过程中候选数据规模。... 数据在社交网络中通常呈现为流式的特征。针对流式RDF数据,提出一种增量的模式匹配方法。设计一种面向RDF数据的索引结构,被定义为顶点聚簇的数据子图。提出一种基于顶点-边标签映射的有效验证的匹配算法,减少遍历过程中候选数据规模。实验结果表明,该方法在环状和星状查询图的模式匹配算法效率更具时间优势。 展开更多
关键词 数据流 模式匹配 数据子图 数据索引 顶点聚簇 候选验证 增量匹配算法
在线阅读 下载PDF
基于哈希和编辑距离算法的SCD双层向量化与变更校验技术 被引量:4
18
作者 叶远波 王吉文 +2 位作者 汪伟 毛玉荣 王志华 《中国电力》 CSCD 北大核心 2024年第1期255-262,共8页
针对智能变电站配置描述(substation configuration description,SCD)文件变更、智能变电站二次设备配置不清晰导致运维工作量剧增的问题,提出基于哈希和编辑距离算法的SCD双层向量化与变更校验技术。首先,考虑文件变更的启动与校验,应... 针对智能变电站配置描述(substation configuration description,SCD)文件变更、智能变电站二次设备配置不清晰导致运维工作量剧增的问题,提出基于哈希和编辑距离算法的SCD双层向量化与变更校验技术。首先,考虑文件变更的启动与校验,应用节点元素、校验码与元素属性构建面向SCD文件解析的双层向量模型;其次,利用哈希算法将构建的文本向量模型转化为哈希字符串向量模型;然后,引入编辑距离算法分别计算原始文件与变更文件的双层向量模型相似度,基于第一层相似度比较构成第二层校验启动判据,基于第二层相似度结合回溯路径方法实现变更校验;最后,通过算例分析验证了所提算法的有效性。 展开更多
关键词 智能变电站 SCD文件校验 向量模型 哈希算法 编辑距离 相似度计算
在线阅读 下载PDF
不同颜色风力机叶片缺陷检测系统研究与验证 被引量:2
19
作者 严海领 刘雄飞 李密兰 《传感技术学报》 CAS CSCD 北大核心 2024年第3期513-518,共6页
针对目前风力机叶片缺陷检测方法检测精度低、危险系数大、设备价格高等问题,提出一种基于LabVIEW+无人机的风力机叶片缺陷检测系统,实现了硬件平台搭建和系统软件设计,对图像处理算法进行研究,针对传统二值化算法中不同颜色风力机叶片... 针对目前风力机叶片缺陷检测方法检测精度低、危险系数大、设备价格高等问题,提出一种基于LabVIEW+无人机的风力机叶片缺陷检测系统,实现了硬件平台搭建和系统软件设计,对图像处理算法进行研究,针对传统二值化算法中不同颜色风力机叶片阈值不同的问题,提出了应用边缘提取的检测方法。通过理论分析和实验对比了LabVIEW中边缘提取缺陷检测算子及组合算子的检测效果,并最终确定Sobel算子应用于本风力机叶片缺陷检测系统。实验表明,该系统能够实现不同颜色风力机叶片缺陷的自动、低成本检测,检测精度高达93%。 展开更多
关键词 缺陷检测 风力机叶片 SOBEL算子 无人机 LabVIEW算法验证
在线阅读 下载PDF
多维区域匹配算法的通用验证方法
20
作者 张晗庆 游珍 +2 位作者 左正康 吴嘉伟 程着 《江西师范大学学报(自然科学版)》 北大核心 2024年第6期646-651,共6页
区域匹配算法通常用于多维数据空间中快速匹配特定区域或数据集,被广泛应用于数据库系统、数据分发管理系统等.目前大多数区域匹配算法的实现方法效率较低且未得到正确性验证.因此,该文提出了一种多维区域匹配算法的通用验证规约,以威... 区域匹配算法通常用于多维数据空间中快速匹配特定区域或数据集,被广泛应用于数据库系统、数据分发管理系统等.目前大多数区域匹配算法的实现方法效率较低且未得到正确性验证.因此,该文提出了一种多维区域匹配算法的通用验证规约,以威胁辐射源匹配算法作为实例,使用Isabelle/HOL定理证明器对其进行函数式建模.将该文实现的通用验证规约通过区域解释应用于威胁辐射源匹配算法,通过严格的机械化验证,确保了威胁辐射源匹配算法的正确性,进而验证了该方法的有效性和可扩展性. 展开更多
关键词 多维区域匹配算法 威胁辐射源匹配算法 函数式建模 机械化验证
在线阅读 下载PDF
上一页 1 2 13 下一页 到第
使用帮助 返回顶部