二叉搜索树

作品数:30被引量:26H指数:3
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:齐金鹏徐孝凯胡云冯群强周海岩更多>>
相关机构:东华大学南京邮电大学中国科学技术大学北京大学更多>>
相关期刊:《安阳师范学院学报》《计算机技术与发展》《计算机教育》《计算机与现代化》更多>>
相关基金:国家自然科学基金国家教育部博士点基金江苏省科技攻关计划辽宁省教育厅高等学校科学研究项目更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-10
视图:
排序:
LLRB算法的函数式建模及其机械化验证
《软件学报》2024年第11期5016-5039,共24页左正康 黄志鹏 黄箐 孙欢 曾志城 胡颖 王昌晶 
国家自然科学基金(61862033,62262031);江西省自然科学基金(20212BAB202018);江西省教育厅科技重点项目(GJJ210307)。
基于机器定理证明的形式化验证技术不受状态空间限制,是保证软件正确性、避免因潜在软件缺陷带来严重损失的重要方法.LLRB(left-leaning red-black trees)是一种二叉搜索树变体,其结构比传统的红黑树添加了额外的左倾约束条件,在验证时...
关键词:LLRB 函数式建模 机械化验证 Isabelle定理证明器 二叉搜索树 
一种实现网络入侵检测的高效算法及其实现架构
《计算机测量与控制》2022年第9期133-139,147,共8页余伟 田新志 陈丹 
陕西省教育厅计划项目(18JK104)。
为了实现网络入侵检测系统中的精确字符串匹配,文章提出了一种基于叶子-附加和二叉搜索树的字符串匹配算法及其实现架构;首先采用叶子-追加算法来对给定的模式集进行处理,以消除模式之间的重叠;然后采用二叉搜索树算法提取叶子模式及其...
关键词:网络入侵检测系统 精确字符串匹配 叶子模式 匹配向量 二叉搜索树 流水线架构 内存效率 吞吐量 
一种某型飞机雷达信号的分析方法
《中国科技信息》2021年第5期27-28,共2页卢桂琳 屠健 
2017年度国家社会科学基金项目名称:中国新兴信息化网络产业与军民融合发展机理研究。
本文提出了一种某型飞机雷达天线信号分析的方法,基于小波包函数的算法,结合最优二叉搜索树算法,建立了一种高次微分方程的信号分析的数学模型,解决了分析航迹调整不能迭代的问题,降低了原信号函数方程的阶数,提高了分析探测目标信号函...
关键词:雷达信号 信号分析 二叉搜索树 函数方程 探测目标 微分方程 仿真实验 抗干扰效能评估 
分布式虚拟环境中动态延迟的本地滞后方法
《计算机应用与软件》2019年第9期156-160,共5页刘家学 王浩 耿宏 
中美绿色航线合作项目(GH201661279)
网络传输过程中固有的延迟会导致分布式虚拟环境中各节点执行操作的时间和顺序不同,从而产生不一致与实时性问题。提出一种动态延迟的本地滞后方法,各节点以操作的触发时间为基准,延迟一定时间再执行操作,保证执行的顺序和时间一致。使...
关键词:分布式虚拟环境 一致性 本地滞后时间 实时性 二叉搜索树 动态延迟 
EMPC中基于混合树型结构的点定位算法
《杭州电子科技大学学报(自然科学版)》2019年第3期65-72,共8页修晓杰 
浙江省自然科学基金资助项目(LQY18F030001);浙江省教育资助项目(Y201533711)
针对显式模型预测控制中点定位问题,提出一种基于多维查找树的混合树型结构,树型结构分为"树干"、"树梢"和"叶子"三部分。"树干"部分以轴对准超平面作为划分超平面,使用分段仿射控制率数量作为计算准则;"树梢"部分以边界超平面作为划分...
关键词:显式模型预测控制 K-D树 二叉搜索树 混合树型结构 分段仿射控制率 
基于SBT全结点存储的云数据完整性
《计算机与现代化》2018年第6期37-41,共5页周鹏 龙士工 
贵州省公共大数据重点实验室项目(2017001)
云存储可以为用户提供高质量、按需分配的数据存储服务,使用户用低廉的价格就能享受到海量的存储能力,但是对于用户而言,云存储服务器并不是完全可信,因此会担心存储在云端的数据出现安全性问题,同时为了满足云中的应用,需要完整性验证...
关键词:云存储 数据完整性 动态操作 平衡二叉搜索树 全结点存储 
基于节点兴趣非结构化P2P网络搜索机制研究
《计算机技术与发展》2018年第5期68-72,共5页庄伟 
国家自然科学基金(61374180)
随着网络用户以及网络资源的增长,P2P网络,一种在对等者(peer)之间分配任务和工作负载的分布式应用架构,引起了广泛关注。由于具有较好的可用性、可扩展性,非结构化P2P网络成为P2P网络研究的热点。现今对于非结构化P2P网络资源搜索算法...
关键词:P2P网络 拓扑结构 兴趣相似度 二叉搜索树 
基于多级Haar小波变换与KS统计的突变点快速探测方法被引量:6
《计算机工程》2018年第5期14-18,24,共6页宋巧红 齐金鹏 张煜 
国家自然科学基金(61305081;61104154);上海市自然科学基金(16ZR1401300;16ZR1401200)
结合多级Haar小波变换与KS统计理论,提出一种对时序数据突变点的快速探测方法(HWKS),对标准参考序列以及待检测序列分别构建均值二叉搜索树和差值二叉搜索树。基于改进的KS检验方法给出二叉树搜索的2种策略,进而构建实现时序数据突变点...
关键词:KS统计理论 多级Haar小波变换 二叉搜索树 时序数据 突变点检测 
基于改进NSGA-Ⅱ的仿人机器人上楼梯运动规划方法
《高技术通讯》2014年第9期982-990,共9页许宪东 关毅 洪炳镕 朴松昊 钟秋波 蔡则苏 
863计划(2007AA041603);国家自然科学基金(61075077);黑龙江省自然科学基金(F201323)资助项目
针对当前仿人机器人运动优化算法多采用对能耗、稳定性及速度等单目标优化而存在一定的局限性的问题,提出了一种基于多目标优化的仿人机器人上楼梯运动优化方法。针对NSGA-Ⅱ——经典的带精英策略的非支配排序遗传算法(NSGA)的快速非支...
关键词:仿人机器人 多目标优化 带精英策略的非支配排序遗传算法(NSGA—Ⅱ) 自调 整二叉搜索树 
一种构建严格平衡二叉搜索树的非递归算法被引量:4
《武汉工业学院学报》2013年第4期32-34,43,共4页王防修 周康 
国家自然科学基金资助项目(61179032)
针对传统算法所构造的平衡二叉搜索树并非真正平衡的二叉搜索树,设计了一种构建严格平衡二叉搜索树的非递归算法。改进后的算法具有计算速度快、占用内存小、计算机易于实现等优点。改进算法的核心是生成严格二叉搜索树的先序序列,提出...
关键词:二叉搜索树 平衡二叉树 严格平衡二叉树 平衡二叉搜索树 严格平衡二叉搜索树 
检索报告 对象比较 聚类工具 使用帮助 返回顶部