搜索树

作品数：137被引量：293H指数：8
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：莫磊王念峰齐金鹏毛新宇李小文更多>>
相关机构：华为技术有限公司清华大学重庆邮电大学中国科学院更多>>
相关期刊：更多>>
相关基金：国家自然科学基金上海市自然科学基金辽宁省自然科学基金国家科技型中小企业技术创新基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
LLRB算法的函数式建模及其机械化验证
《软件学报》2024年第11期5016-5039,共24页左正康 黄志鹏 黄箐 孙欢 曾志城 胡颖 王昌晶 
国家自然科学基金(61862033,62262031);江西省自然科学基金(20212BAB202018);江西省教育厅科技重点项目(GJJ210307)。
基于机器定理证明的形式化验证技术不受状态空间限制,是保证软件正确性、避免因潜在软件缺陷带来严重损失的重要方法.LLRB(left-leaning red-black trees)是一种二叉搜索树变体,其结构比传统的红黑树添加了额外的左倾约束条件,在验证时...
关键词：LLRB 函数式建模 机械化验证 Isabelle定理证明器 二叉搜索树 
树状结构在数据流求均值中的应用
《电脑与电信》2024年第3期81-83,88,共4页刘薇 陈文 
数据采集过程中,随着数据的增加,数据的平均值持续发生变化。为了研究平均值的变化过程,分析平均值序列的计算方法是有必要的。传统的方法是使用线性顺序存储方式计算均值序列,总的时间复杂度高达O(n2)。提出利用树状结构存储方法求取...
关键词：算法 数据流 搜索树 堆 平均值 
快速构建BIT^(*)搜索树的机器人路径规划被引量：1
《网络安全技术与应用》2023年第10期38-41,共4页樊玉琦 王铮 杨洋 余超 
常用的机器人路径规划算法包括基于图搜索的算法、基于采样的算法、批通知树(Batch Informed Tree,BIT^(*))算法。其中BIT^(*)结合了基于图搜索算法有序搜索和基于采样算法在连续域快速规划路径的优势,在每个批次采样后构建搜索树并进...
关键词：路径规划 BIT* 搜索树 采样 图搜索 
一种基于随机交叠策略的多突变点在线检测方法被引量：1
《电子科技》2022年第12期1-9,共9页朱俊俊 齐金鹏 钟金美 任晴 曹一彤 
国家自然科学基金(61305081,61104154);上海市自然科学基金(16ZR1401300,16ZR1401200)。
传统的突变点检测方法多以离线为主,无法对大规模的时序数据进行在线检测。针对这一问题,文中基于缓冲区模型和滑动窗口随机交叠策略,提出一种多突变点在线检测方法。该方法以TSTKS算法和滑动窗口模型为基础,通过缓冲区模型实时接收在...
关键词：突变点检测 交叠理论 缓冲区 在线算法 滑动窗口 时序数据 大数据分析 多路搜索树 
基于偏置采样和包围优化的移动机器人路径规划方法被引量：1
《厦门大学学报（自然科学版）》2022年第6期908-915,共8页陈彦杰 梁景林 张智星 喻骁 王耀南 
国家自然科学基金(62273098,62027810);福建省自然科学基金(2021J01051);天津大学-福州大学自主创新基金(TF2022-4)。
批处理知情搜索树(batch informed trees,BIT*)作为一种先进的采样规划方法通常被应用于移动机器人的路径规划.针对BIT*在初始路径获得后存在路径代价降低速度不快、规划效率有待提高的问题,提出了一种基于偏置采样和包围优化的BIT*(wra...
关键词：路径规划 移动机器人 批处理知情搜索树 路径优化 偏置采样 
一种实现网络入侵检测的高效算法及其实现架构
《计算机测量与控制》2022年第9期133-139,147,共8页余伟 田新志 陈丹 
陕西省教育厅计划项目(18JK104)。
为了实现网络入侵检测系统中的精确字符串匹配,文章提出了一种基于叶子-附加和二叉搜索树的字符串匹配算法及其实现架构;首先采用叶子-追加算法来对给定的模式集进行处理,以消除模式之间的重叠;然后采用二叉搜索树算法提取叶子模式及其...
关键词：网络入侵检测系统 精确字符串匹配 叶子模式 匹配向量 二叉搜索树 流水线架构 内存效率 吞吐量 
低压台区分段线损率预测系统设计被引量：6
《自动化仪表》2022年第8期118-121,共4页汤中壹 金杭晓 姚雅艳 周缘杰 陈瑜 
针对低压台区供电数据流庞大且复杂,致使线损率预测准确率较低的问题,设计了基于B+搜索树算法的低压台区分段线损率预测系统。该设计改进了硬件拓扑结构,采用智能电表和通用无线分组业务(GPRS)通信技术优化了供电数据在源头上的采集与传...
关键词：B+搜索树 低压台区 线损率预测 分段线损 通用无线分组业务 供电数据流 
动态车辆共乘问题的双模式协作匹配算法
《计算机研究与发展》2022年第7期1533-1552,共20页郭羽含 刘永武 
国家自然科学基金项目(61404069);辽宁省自然科学基金项目(2019-ZD-0048);辽宁省教育厅基础研究项目(LJ2019JL012)。
车辆共乘可有效提升运输资源利用率,降低出行成本,缓解交通拥堵并降低环境污染.针对动态车辆共乘问题构建了整数规划模型,并提出了一种基于离线匹配和在线匹配的双模式协作匹配算法.在离线匹配阶段,以共乘比率和绕行距离为标准对匹配价...
关键词：车辆共乘 动态匹配 双模式 搜索树 距离矩阵 
一种云计算环境下基于可变搜索树的保序加密研究方案
《信息安全与通信保密》2022年第7期90-99,共10页王小骥 杨竞 汤殿华 王辉 刘瑶 
云环境下存在传统密码技术保护隐私数据困难的问题,保序加密因具有加密不改变明文原有顺序的特性在云环境下被广泛使用,但效率普遍不高。针对云环境下保序加密效率问题提出了一种基于搜索树可变的保序加密方案。介绍了云环境下保序加密...
关键词：云计算 保序加密 搜索树 加密速率 
基于狭窄通道路径树的快速航路规划算法
《电讯技术》2022年第6期723-728,共6页冉华明 
国防科技创新特区项目。
针对无人机在障碍间存在狭窄通道的城市环境中进行低空航路规划的问题,根据障碍之间的空间几何关系确定障碍之间的狭窄通道,再综合所有狭窄通道生成复杂环境中的狭窄通道路径树。设计了结合狭窄通道路径树的双向快速扩展随机树(Rapidly-...
关键词：无人机航路规划 城市环境 狭窄通道路径树 快速扩展随机树(RRT) 搜索树 航路树 
全选清除导出
共14页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部