期刊文献+
共找到31,476篇文章
< 1 2 250 >
每页显示 20 50 100
基于SQL数据库和KD-Tree算法的船体型线匹配方法
1
作者 余恺 马宁 +1 位作者 史琪琪 孙利 《舰船科学技术》 北大核心 2025年第11期8-14,共7页
为提高船舶初步设计效率,提出一种基于SQL数据库和KD-Tree算法的船舶型线快速匹配方法。针对船舶数据繁多复杂的问题,利用SQL语言保存、分类和提取船舶设计过程中的型线数据和特征线数据,提高了数据的存储和利用效率。针对船体复杂曲面... 为提高船舶初步设计效率,提出一种基于SQL数据库和KD-Tree算法的船舶型线快速匹配方法。针对船舶数据繁多复杂的问题,利用SQL语言保存、分类和提取船舶设计过程中的型线数据和特征线数据,提高了数据的存储和利用效率。针对船体复杂曲面的匹配问题,采取基于特征线描述船体特征,并求解特征线B样条控制点的方法保存船体的曲面特征数据。针对高维度变量的匹配问题,在不同大小的测试集中采用KD-Tree结构保存数据并采用最邻近搜索算法,能将船体型线的搜索匹配速度提高34.31%~84.16%。该方法对提高船舶初步设计效率提供有益的借鉴和帮助。 展开更多
关键词 船体设计 SQL数据库 KD-tree算法 船舶特征线
在线阅读 下载PDF
Urban tree species classification based on multispectral airborne LiDAR
2
作者 HU Pei-Lun CHEN Yu-Wei +3 位作者 Mohammad Imangholiloo Markus Holopainen WANG Yi-Cheng Juha Hyyppä 《红外与毫米波学报》 北大核心 2025年第2期211-216,共6页
Urban tree species provide various essential ecosystem services in cities,such as regulating urban temperatures,reducing noise,capturing carbon,and mitigating the urban heat island effect.The quality of these services... Urban tree species provide various essential ecosystem services in cities,such as regulating urban temperatures,reducing noise,capturing carbon,and mitigating the urban heat island effect.The quality of these services is influenced by species diversity,tree health,and the distribution and the composition of trees.Traditionally,data on urban trees has been collected through field surveys and manual interpretation of remote sensing images.In this study,we evaluated the effectiveness of multispectral airborne laser scanning(ALS)data in classifying 24 common urban roadside tree species in Espoo,Finland.Tree crown structure information,intensity features,and spectral data were used for classification.Eight different machine learning algorithms were tested,with the extra trees(ET)algorithm performing the best,achieving an overall accuracy of 71.7%using multispectral LiDAR data.This result highlights that integrating structural and spectral information within a single framework can improve the classification accuracy.Future research will focus on identifying the most important features for species classification and developing algorithms with greater efficiency and accuracy. 展开更多
关键词 multispectral airborne LiDAR machine learning tree species classification
在线阅读 下载PDF
Evolving adaptive and interpretable decision trees for cooperative submarine search
3
作者 Yang Gao Yue Wang +3 位作者 Lingyun Tian Xiaotong Hong Chao Xue Dongguang Li 《Defence Technology(防务技术)》 2025年第6期83-94,共12页
System upgrades in unmanned systems have made Unmanned Aerial Vehicle(UAV)-based patrolling and monitoring a preferred solution for ocean surveillance.However,dynamic environments and large-scale deployments pose sign... System upgrades in unmanned systems have made Unmanned Aerial Vehicle(UAV)-based patrolling and monitoring a preferred solution for ocean surveillance.However,dynamic environments and large-scale deployments pose significant challenges for efficient decision-making,necessitating a modular multiagent control system.Deep Reinforcement Learning(DRL)and Decision Tree(DT)have been utilized for these complex decision-making tasks,but each has its limitations:DRL is highly adaptive but lacks interpretability,while DT is inherently interpretable but has limited adaptability.To overcome these challenges,we propose the Adaptive Interpretable Decision Tree(AIDT),an evolutionary-based algorithm that is both adaptable to diverse environmental settings and highly interpretable in its decision-making processes.We first construct a Markov decision process(MDP)-based simulation environment using the Cooperative Submarine Search task as a representative scenario for training and testing the proposed method.Specifically,we use the heat map as a state variable to address the issue of multi-agent input state proliferation.Next,we introduce the curiosity-guiding intrinsic reward to encourage comprehensive exploration and enhance algorithm performance.Additionally,we incorporate decision tree size as an influence factor in the adaptation process to balance task completion with computational efficiency.To further improve the generalization capability of the decision tree,we apply a normalization method to ensure consistent processing of input states.Finally,we validate the proposed algorithm in different environmental settings,and the results demonstrate both its adaptability and interpretability. 展开更多
关键词 Cooperative decision making Interpretable decision trees Cooperative submarine search Maritime unmanned systems
在线阅读 下载PDF
基于i-Tree模型的北京10条绿道木本植物的生态效益评估
4
作者 王希 徐敏 王美仙 《园林》 2025年第5期106-113,共8页
植物是发挥绿道生态功能的重要载体,量化植物的生态效益不仅能更直观地表现绿道的生态价值,而且可以为未来建设或更新绿道植物景观时选择高生态效益植物提供数据支撑,进而做出更加科学的决策。调查北京10条绿道木本植物的应用情况,运用i... 植物是发挥绿道生态功能的重要载体,量化植物的生态效益不仅能更直观地表现绿道的生态价值,而且可以为未来建设或更新绿道植物景观时选择高生态效益植物提供数据支撑,进而做出更加科学的决策。调查北京10条绿道木本植物的应用情况,运用i-Tree模型量化绿道以及单种本本植物在吸收CO_(2)、净化空气、截留雨水、节能4方面的生态效益,并探索绿道和植物特征与生态效益之间的关系。研究结果表明:北京10条绿道植物群落的稳定性较高,且种数分布比较均匀,生长状态稳定,有利于生态结构稳定性的维持以及生态效益的发挥;10条绿道共产生节能效益(672.82万元)>净化空气效益(135.73万元)>截留雨水效益(124.57万元)>吸收CO_(2)效益(16.68万元);乔木的单株生态效益高于灌木,高生态效益乔木有桑、胡桃、悬铃木、毛白杨、美国皂荚、刺槐、鹅掌楸、黑杨、臭椿、黑松;灌木有野茉莉、胡枝子、贴梗海棠、黄栌、平枝栒子、迎春、金银忍冬、欧洲荚蒾、暴马丁香、锦带花;株高高于6 m、胸径(地径)大于20 cm、冠幅大于4 m的木本植物生态效益较高;适当延长绿道长度、增加木本植物数量、丰富植物群落配置层次,可以提高绿道的生态效益。 展开更多
关键词 北京市绿道 木本植物 生态效益 i-tree模型 生态系统服务价值评估
在线阅读 下载PDF
基于KD-Tree加速的多线激光传感器数据融合方法
5
作者 李欣飞 鄢然 +2 位作者 夏磊 赵青 张凯飞 《仪器仪表学报》 北大核心 2025年第5期50-59,共10页
针对多个线激光传感器协同扫描测量中大规模点云数据融合效率低、拼接误差大、处理复杂度高等问题,故提出一种基于KD-Tree加速的多个线激光传感器数据融合方法,通过动态邻域搜索策略和自适应半径调整机制,实现点云数据的高效排序与并行... 针对多个线激光传感器协同扫描测量中大规模点云数据融合效率低、拼接误差大、处理复杂度高等问题,故提出一种基于KD-Tree加速的多个线激光传感器数据融合方法,通过动态邻域搜索策略和自适应半径调整机制,实现点云数据的高效排序与并行平滑优化。首先,构建KD-Tree空间索引结构,创新性地设计动态邻域搜索策略,实现二维轮廓数据从无序到有序的快速重组,算法时间复杂度由传统方法的O(n^(2)logn)降至O(nlogn);其次,结合OpenMP多线程并行计算技术改进移动最小二乘算法,提出K-MLS并行平滑方法,算法的时间复杂度从O(n^(2))优化至O(nlogn),显著提升大规模点云的处理效率。在火车车轮测量系统中验证表明,当点云规模达到209万时,排序算法耗时较传统方法提升35.7倍,平滑算法耗时较传统方法提升84.5倍。最后,对比分析了该方法在提升点云质量方面的实际效果,算法可有效填补部分扫描数据的空缺,在轮辋面测量的最大偏差从±0.279 mm降低至±0.085 mm,三维点云配准的均方误差由0.323 mm优化至0.106 mm。实验数据表明,所提方法在保持亚毫米级精度的同时,显著提升了百万级点云数据的处理效率,有效解决了多传感器数据融合中的拼接误差、重叠区密度不均等问题,验证了算法在工业在线测量场景中的有效性与鲁棒性。 展开更多
关键词 KD-tree 线激光传感器 数据融合 点云处理 三维测量
在线阅读 下载PDF
基于自动终止准则改进的kd-tree粒子近邻搜索研究
6
作者 张挺 王宗锴 +1 位作者 林震寰 郑相涵 《工程科学与技术》 EI CAS CSCD 北大核心 2024年第6期217-229,共13页
对于大规模运动模拟问题而言,近邻点的搜索效率将对整体的运算效率产生显著影响。本文基于关联性分析建立kd-tree的最大深度dmax与粒子总数N的自适应关系式,提出了kd-tree自动终止准则,即ATC-kd-tree,同时还考虑了叶子节点大小阈值n_(0... 对于大规模运动模拟问题而言,近邻点的搜索效率将对整体的运算效率产生显著影响。本文基于关联性分析建立kd-tree的最大深度dmax与粒子总数N的自适应关系式,提出了kd-tree自动终止准则,即ATC-kd-tree,同时还考虑了叶子节点大小阈值n_(0)对近邻搜索效率的影响。试验表明,ATC-kd-tree具有更高的近邻搜索效率,相较于不使用自动终止准则的kd-tree搜索效率最高提升46%,且适用性更强,可求解不同N值的近邻搜索问题,解决了粒子总数N发生改变时需要再次率定最大深度dmax的问题。同时,本文还提出了网格搜索法组合坐标下降法的两步参数优化算法GSCD法。通过2维阿米巴虫形状的参数优化试验发现,GSCD法可更为快速地率定ATC-kd-tree的可变参数,其优化效率比网格搜索法最高提升了205%,相较于改进网格搜索法最高提升了90%。研究结果表明,ATC-kd-tree和GSCD法不仅提高了近邻搜索的效率,也为复杂运动中近邻粒子搜索问题提供了一种更为高效的解决方案,能够显著降低计算资源的消耗,进一步提升模拟的精度和效率。 展开更多
关键词 KD-tree 粒子近邻搜索 自适应 网格搜索法 坐标下降法
在线阅读 下载PDF
基于i-Tree模型的行道树生态系统服务价值 被引量:1
7
作者 徐赛 李松 丁茗童 《中国城市林业》 2024年第3期41-49,共9页
行道树作为街道绿化系统的骨架,支撑着城市生态系统服务功能的正常运转。以武汉市临江大道中段为例,基于i-Tree构建行道树生态系统服务的综合评议模型,通过以货币值作为统一衡量标准分析演算研究地27种常见行道树及街道整体生态系统服... 行道树作为街道绿化系统的骨架,支撑着城市生态系统服务功能的正常运转。以武汉市临江大道中段为例,基于i-Tree构建行道树生态系统服务的综合评议模型,通过以货币值作为统一衡量标准分析演算研究地27种常见行道树及街道整体生态系统服务价值,旨在为行道树树种选择优化,以及街道景观与生态环境的提升提供参考。结果表明:1)在街道的植景搭配中,整体生态系统服务价值排序为:美学价值>能源节省价值>雨水截留价值>空气净化价值>生态固碳价值。2)研究地全部行道树年生态系统服务价值约131.8万元,平均1 km行道树年生态系统服务价值可达28.65万元,单株行道树年平均生态系统服务价值可达307.23元。3)行道树具有可观的生态系统服务价值,同时也存在明显种间差异,其中能源节省、美学价值和雨水截留价值在演算树种中价值量较高,空气净化和生态固碳价值量较低。因此,在街道行道树配置过程中,应将能源节省、美学价值和雨水截留价值作为首要参考因素,再结合街道属性综合考虑树种选择与应用,以构建功能全面的城市行道树生态系统服务结构,提高行道树整体的生态系统服务价值。 展开更多
关键词 行道树 i-tree模型 生态系统服务价值评估 种间对比 武汉市
在线阅读 下载PDF
基于TREE-LSTM算法的船舶汽轮机组变负荷故障诊断
8
作者 王灏桐 李彦军 +1 位作者 杨龙滨 史建新 《舰船科学技术》 北大核心 2024年第17期110-115,共6页
针对船舶汽轮机组变负荷过程故障诊断中的耦合参数时序特征难以捕捉以及正常参数变动的干扰等问题,引入TREE-LSTM神经网络模型以实现复杂非线性系统动态数据分类。首先建立某船舶汽轮机组仿真模型,分析并进行故障仿真;随后进行数据预处... 针对船舶汽轮机组变负荷过程故障诊断中的耦合参数时序特征难以捕捉以及正常参数变动的干扰等问题,引入TREE-LSTM神经网络模型以实现复杂非线性系统动态数据分类。首先建立某船舶汽轮机组仿真模型,分析并进行故障仿真;随后进行数据预处理与特征工程;最后训练TREE-LSTM模型进行故障诊断,并与SVM、LSTM等模型进行比较。TREE-LSTM模型对于船舶汽轮机组变负荷过程的故障诊断正确率为98.7%,正确率最高。由于引入时间序列与复杂神经网络拓扑结构,TREE-LSTM在处理非线性系统动态数据分类问题时效果更好。 展开更多
关键词 汽轮机组 动态仿真 故障诊断 树形长短时记忆网络
在线阅读 下载PDF
Role of outdoor trees on pedestrian wind and thermal conditions around a pre-education building for sustainable energy management
9
作者 LI Xiao-jie TANG Hui-li 《Journal of Central South University》 SCIE EI CAS CSCD 2024年第6期2039-2053,共15页
Finding sustainable energy resources is essential to face the increasing energy demand.Trees are an important part of ancient architecture but are becoming rare in urban areas.Trees can control and tune the pedestrian... Finding sustainable energy resources is essential to face the increasing energy demand.Trees are an important part of ancient architecture but are becoming rare in urban areas.Trees can control and tune the pedestrian-level wind velocity and thermal condition.In this study,a numerical investigation is employed to assess the role of trees planted in the windward direction of the building complex on the thermal and pedestrian wind velocity conditions around/inside a pre-education building located in the center of the complex.Compared to the previous studies(which considered only outside buildings),this work considers the effects of trees on microclimate change both inside/outside buildings.Effects of different parameters including the leaf area density and number of trees,number of rows,far-field velocity magnitude,and thermal condition around the main building are assessed.The results show that the flow velocity in the spacing between the first-row buildings is reduced by 30%-40% when the one-row trees with 2 m height are planted 15 m farther than the buildings.Furthermore,two rows of trees are more effective in higher velocities and reduce the maximum velocity by about 50%.The investigation shows that trees also could reduce the temperature by about 1℃around the building. 展开更多
关键词 sustainable management energy trees urban area thermal condition building
在线阅读 下载PDF
基于LSM-Tree的分布式数据库异步融合机制研究与实现
10
作者 杜轶德 刘文洁 《西北工业大学学报》 EI CAS CSCD 北大核心 2024年第2期303-309,共7页
信息技术的不断发展,使得分布式数据库成为研究热点。由于NoSQL架构的分布式数据库对SQL支持有限且在事务处理及一致性方面存在缺陷,基于LSM-Tree的NewSQL数据库逐渐成为应用的主流,例如TiDB、OceanBase等。分布式LSM-Tree的存储架构将... 信息技术的不断发展,使得分布式数据库成为研究热点。由于NoSQL架构的分布式数据库对SQL支持有限且在事务处理及一致性方面存在缺陷,基于LSM-Tree的NewSQL数据库逐渐成为应用的主流,例如TiDB、OceanBase等。分布式LSM-Tree的存储架构将数据分为基线数据与增量数据,通过合并操作将不同分区的增量数据与基线数据不断融合,并存储在磁盘,从而减少内存压力。但合并会占用大量系统资源,严重影响系统可用性。因此提出了一种基于LSM-Tree架构的异步融合机制,通过细分合并流程,将数据融合异步化,有效地缩短了单次数据合并的时间。实验表明,提出的异步融合机制可显著缩短数据合并时间,提高系统在高频写入场景下的鲁棒性和可用性。 展开更多
关键词 分布式数据库 LSM-tree 数据合并 异步融合 数据分区
在线阅读 下载PDF
Intelligent evaluation of mean cutting force of conical pick by boosting trees and Bayesian optimization
11
作者 LIU Zi-da LIU Yong-ping +3 位作者 SUN Jing YANG Jia-ming YANG Bo LI Di-yuan 《Journal of Central South University》 CSCD 2024年第11期3948-3964,共17页
Conical picks are important tools for rock mechanical excavation.Mean cutting force(MCF)of conical pick determines the suitability of the target rock for mechanical excavation.Accurate evaluation of MCF is important f... Conical picks are important tools for rock mechanical excavation.Mean cutting force(MCF)of conical pick determines the suitability of the target rock for mechanical excavation.Accurate evaluation of MCF is important for pick design and rock cutting.This study proposed hybrid methods composed of boosting trees and Bayesian optimization(BO)for accurate evaluation of MCF.220 datasets including uniaxial compression strength,tensile strength,tip angle(θ),attack angle,and cutting depth,were collected.Four boosting trees were developed based on the database to predict MCF.BO optimized the hyper-parameters of these boosting trees.Model evaluation suggested that the proposed hybrid models outperformed many commonly utilized machine learning models.The hybrid model composed of BO and categorical boosting(BO-CatBoost)was the best.Its outstanding performance was attributed to its advantages in dealing with categorical features(θincluded 6 types of angles and could be considered as categorical features).A graphical user interface was developed to facilitate the application of BO-CatBoost for the estimation of MCF.Moreover,the influences of the input parameters on the model and their relationship with MCF were analyzed.Whenθincreased from 80°to 90°,it had a significant contribution to the increase of MCF. 展开更多
关键词 rock cutting conical pick mean cutting force boosting trees Bayesian optimization
在线阅读 下载PDF
用于ICP的近似KD-Tree搜索加速器设计及FPGA实现
12
作者 郑凯磊 陈强 肖昊 《合肥工业大学学报(自然科学版)》 CAS 北大核心 2024年第12期1648-1654,共7页
为了加速迭代最近点(iterative closest point,ICP)算法中k近邻(k-nearest neighbor,KNN)搜索过程,文章根据近似K维树(K-dimensional tree,KD-Tree)数据结构,基于现场可编程门阵列(field programmable gate array,FPGA)提出一种高性能的... 为了加速迭代最近点(iterative closest point,ICP)算法中k近邻(k-nearest neighbor,KNN)搜索过程,文章根据近似K维树(K-dimensional tree,KD-Tree)数据结构,基于现场可编程门阵列(field programmable gate array,FPGA)提出一种高性能的KNN搜索加速器;分析近似KD-Tree数据结构的可行性,结果表明该数据结构能够满足ICP算法精度要求,并提高计算的并行度和性能;为了解决近似KD-Tree建树过程耗费时间长的问题,设计基于分治归并排序的具有反馈数据通路的树构建计算模块,该模块可在8.95 ms内计算出256个空间的树节点并完成树构建;为了优化点云暴力搜索过程,设计一种高吞吐率的点云搜索模块,可以在0.49 ms内完成近30000个点的最近点搜索。研究结果表明,与相关的设计相比,该文提出的硬件加速方法可以有效降低KNN搜索时间复杂度,提高算法性能。 展开更多
关键词 K维树(KD-tree) 迭代最近点(ICP)算法 三维重建 硬件加速 现场可编程门阵列(FPGA)
在线阅读 下载PDF
基于KD-Tree与DBSCAN的水电机组状态监测数据清洗方法
13
作者 谭志锋 姬联涛 +2 位作者 荆岫岩 王璞 田海平 《中国农村水利水电》 北大核心 2024年第3期250-254,共5页
针对水电机组状态监测数据量逐步增大,数据质量差的问题,提出了一种基于改进K维树(K-Dimensional Tree,KD-Tree)与基于密度的空间聚类算法(Density-Based Spatial Clustering of Applications with Noise,DBSCAN)的水电机组状态监测数... 针对水电机组状态监测数据量逐步增大,数据质量差的问题,提出了一种基于改进K维树(K-Dimensional Tree,KD-Tree)与基于密度的空间聚类算法(Density-Based Spatial Clustering of Applications with Noise,DBSCAN)的水电机组状态监测数据清洗方法,首先对输入数据建立KD-Tree,再使用DBSCAN在最近邻样本上扫描完成聚类,聚类结束以后会分离出噪声点,将噪声点去除即可完成对水电机组状态监测数据清洗。选取某水电站状态监测系统上导摆度数据1 088条,再以相同时间间隔插入随机数据100条,通过算例与常规DBScan、K-means、OCSVM算法对比聚类性能与时间性能,所提出的方法识别正确率最高,为97.78%,消耗时间最少,为0.007 732 s,数据清洗效果最优,并可以大幅减少计算时间。 展开更多
关键词 KD-tree DBSCAN 水电机组 状态监测 数据清洗
在线阅读 下载PDF
台风背景下基于计算流体力学数值模拟的上海市街道风环境评估 被引量:1
14
作者 张德顺 曾明璇 +2 位作者 陈莹莹 张振 姚鳗卿 《同济大学学报(自然科学版)》 北大核心 2025年第2期214-222,共9页
以上海市徐汇区为建成区代表,以金山区为市郊滨海区代表,从行道树视角出发,通过分析气象数据,以台风高发时期的最大风速和最多风向为基础数据,输入计算流体力学(computational fluid dynamics,CFD)进行研究区域的风环境模拟,从风速等级... 以上海市徐汇区为建成区代表,以金山区为市郊滨海区代表,从行道树视角出发,通过分析气象数据,以台风高发时期的最大风速和最多风向为基础数据,输入计算流体力学(computational fluid dynamics,CFD)进行研究区域的风环境模拟,从风速等级、街道走向与道路绿化结构出发分别评价街道“风-树”生态,得到研究区域的风环境评价结果。 展开更多
关键词 行道树 计算流体力学 风环境评价 优化策略
在线阅读 下载PDF
基于强化双树复小波包变换的风电机组偏航轴承损伤识别 被引量:2
15
作者 王晓龙 金韩微 +3 位作者 张博文 石海超 杨秀彬 何玉灵 《动力工程学报》 北大核心 2025年第1期115-123,共9页
针对风电机组偏航轴承损伤识别问题,提出了基于强化双树复小波包变换的损伤识别方法。首先,通过双树复小波包变换与线性峭度结合对不同分解层数下的分量计算平均线性峭度值,确定最优分解层数;其次,对最优分解所得小波系数及尺度系数进... 针对风电机组偏航轴承损伤识别问题,提出了基于强化双树复小波包变换的损伤识别方法。首先,通过双树复小波包变换与线性峭度结合对不同分解层数下的分量计算平均线性峭度值,确定最优分解层数;其次,对最优分解所得小波系数及尺度系数进行幅值调制,进而增强不同信号成分的能量;然后,采用散布熵指标确定各分量最佳调制系数并通过双树复小波包逆变换得到修正信号;最后,对修正信号作归一化平方包络谱分析提取故障特征频率。结果表明:所提方法能够实现复杂工况下偏航轴承损伤类型的准确识别,具有一定工程参考价值。 展开更多
关键词 风电机组 偏航轴承 双树复小波包变换 谱幅值调制
在线阅读 下载PDF
动态顺序统计树类结构的函数式建模及其自动化验证
16
作者 左正康 刘增鑫 +2 位作者 柯雨含 游珍 王昌晶 《软件学报》 北大核心 2025年第8期3531-3553,共23页
动态顺序统计树结构是一类融合了动态集合、顺序统计量以及搜索树结构特性的数据结构,支持高效的数据检索操作,广泛应用于数据库系统、内存管理和文件管理等领域.然而,当前工作侧重讨论结构不变性,如平衡性,而忽略了功能正确性的讨论.... 动态顺序统计树结构是一类融合了动态集合、顺序统计量以及搜索树结构特性的数据结构,支持高效的数据检索操作,广泛应用于数据库系统、内存管理和文件管理等领域.然而,当前工作侧重讨论结构不变性,如平衡性,而忽略了功能正确性的讨论.且现有研究方法主要针对具体的算法程序进行手工推导或交互式机械化验证,缺乏成熟且可靠的通用验证模式,自动化水平较低.为此,设计动态顺序统计搜索树类结构的Isabelle函数式建模框架和自动化验证框架,构建经过验证的通用验证引理库,可以节省开发人员验证代码的时间和成本.基于函数式建模框架,选取不平衡的二叉搜索树、平衡的二叉搜索树(以红黑树为代表)和平衡的多叉搜索树(以2−3树为代表)作为实例化的案例来展示.借助自动验证框架,多个实例化案例可自动验证,仅需要使用归纳法并调用一次auto方法或使用try命令即可,为复杂数据结构算法功能和结构正确性的自动化验证提供了参考. 展开更多
关键词 动态顺序统计树 搜索树 函数式建模 自动化验证 Isabelle定理证明器
在线阅读 下载PDF
新农科背景下林木育种学课程思政元素的挖掘与实践 被引量:2
17
作者 张丽杰 王玉成 +2 位作者 崔建国 吴月亮 邓继峰 《安徽农业科学》 2025年第1期265-267,270,共4页
在新农科建设的背景下,加强林木育种学课程思政体系的建设,在教学过程中不仅可以夯实林学专业学生的专业理论基础,而且可以通过挖掘思政元素筑牢学生的思想根基,提升学生的综合素质。根据林木育种学课程的特点,初步挖掘了该门课程的思... 在新农科建设的背景下,加强林木育种学课程思政体系的建设,在教学过程中不仅可以夯实林学专业学生的专业理论基础,而且可以通过挖掘思政元素筑牢学生的思想根基,提升学生的综合素质。根据林木育种学课程的特点,初步挖掘了该门课程的思政元素,构建了林木育种学课程的思政教学体系,并将其应用于课堂教学中。该研究不仅可为林木育种学课程思政体系建设和教学改革提供借鉴经验,而且可为培养知林、爱林新型林业人才奠定坚实的基础。 展开更多
关键词 新农科 林木育种学 课程思政 挖掘与实践
在线阅读 下载PDF
猕猴桃架型的起源、发展和展望
18
作者 王涛 张计育 +2 位作者 张利英 王刚 宣继萍 《中国南方果树》 北大核心 2025年第2期221-226,共6页
猕猴桃起源于我国,但大规模的商业化种植和发展却主要开始于新西兰。目前我国猕猴桃的栽培面积和产量虽然已居世界前列,但整体的栽培技术还有待提高。树形是猕猴桃生产中的重要因素,而架型是支撑猕猴桃树形的基础。本文详细追溯了猕猴... 猕猴桃起源于我国,但大规模的商业化种植和发展却主要开始于新西兰。目前我国猕猴桃的栽培面积和产量虽然已居世界前列,但整体的栽培技术还有待提高。树形是猕猴桃生产中的重要因素,而架型是支撑猕猴桃树形的基础。本文详细追溯了猕猴桃架型的起源和发展过程中的变化,讨论了各种架型特点以及对猕猴桃生产的主要影响,并对猕猴桃架型的未来发展进行了展望。 展开更多
关键词 架型 树形 猕猴桃 牵引
在线阅读 下载PDF
路径可实时定义的物联网传输模型
19
作者 肖融 胡以欣 陈文龙 《小型微型计算机系统》 北大核心 2025年第1期181-188,共8页
计算能力弱、存储容量小是普通物联网节点的典型特征,复杂的部署环境和不稳定的无线链路又会导致物联网网络状态频繁变化.所以,物联网中固定的传输路径无法提供高效的感知及数据传输服务.例如典型的树型路由结构中,靠近树根的节点要提... 计算能力弱、存储容量小是普通物联网节点的典型特征,复杂的部署环境和不稳定的无线链路又会导致物联网网络状态频繁变化.所以,物联网中固定的传输路径无法提供高效的感知及数据传输服务.例如典型的树型路由结构中,靠近树根的节点要提供的传输任务较重,能量消耗更快,会导致整个网络部署周期变短.本文提出了一种路径可实时定义的物联网传输模型(IoT Transmission Model with Real-time Path Definition,ITRP),物联子网中所有节点将邻接关系上报给网关设备,由性能占优的有源供电网关设备来定义网络的实时路由树.网关向物联子网节点发送报文时会携带转发标签,后续转发节点只需根据标签完成报文传输,并根据上一跳信息建立其到网关的反向传输路径.ITRP模型可围绕特定的网络服务目标(节能、传输安全、带宽保障等)收集相关网络状态信息,并周期性调整路由拓扑,实现物联网传输服务的优化.实验面向能量均衡目标展开,经过10个信息采集周期,ITRP模型相对确定性路由模型能量最低节点的能耗比为44%~86%,相对自适应多径传输模型能量最低节点的能耗比为63%~86%;而且,ITRP模型只需较小的标签代价,实验环境中报文的平均标签长度不超过5比特. 展开更多
关键词 路径可定义 层级连通树 实时路由树 转发标签
在线阅读 下载PDF
MA-CDMR:多域SDWN中一种基于多智能体深度强化学习的智能跨域组播路由方法 被引量:1
20
作者 叶苗 胡洪文 +4 位作者 王勇 何倩 王晓丽 文鹏 郑基浩 《计算机学报》 北大核心 2025年第6期1417-1442,共26页
多域软件定义无线网络(SDWN)中的跨域组播路由问题不仅是NP难组合优化问题,随着网络规模的增加和组播组成员的动态变化,构建高效的跨域组播路由路径还需要及时灵活获取和维护全局网络状态信息并设计出最优跨域组播树问题的求解算法。针... 多域软件定义无线网络(SDWN)中的跨域组播路由问题不仅是NP难组合优化问题,随着网络规模的增加和组播组成员的动态变化,构建高效的跨域组播路由路径还需要及时灵活获取和维护全局网络状态信息并设计出最优跨域组播树问题的求解算法。针对现有求解方法对网络流量状态感知性能欠缺影响组播业务对QoS方面需求的满足,并且收敛速度慢难以适应网络状态高度动态变化的问题,本文设计和实现了一种基于多智能体深度强化学习的SDWN跨域组播路由方法(MA-CDMR)。首先,设计了组播组管理模块和多控制器之间的通信机制来实现不同域之间网络状态信息的传递和同步,有效管理跨域组播组成员的加入和离开;其次,在通过理论分析和证明最优跨域组播树包括最优的域间组播树和域内组播树两个部分的结论后,本文对每个控制器设计了一个智能体,并设计了这些多智能体之间的协作机制,以保证为跨域组播路由决策提供网络状态信息表示的一致性和有效性;然后,设计一种在线与离线相结合的多智能体强化学习训练方式,以减少对实时环境的依赖并加快多智能体收敛速度;最后,通过系列实验及其结果表明所提方法在不同网络链路信息状态下具有达到了很好的网络性能,平均瓶颈带宽相较于现有KMB、SCTF、DRL-M4MR和MADRL-MR方法分别提升了7.09%、46.01%、9.61%和10.11%;平均时延在与MADRL-MR方法表现相近的同时,相比KMB、SCTF和DRL-M4MR方法有明显提升,而丢包率和组播树平均长度等也均优于这些现有方法。本文工作源代码已提交至开源平台https://github.com/GuetYe/MA-CDMR。 展开更多
关键词 组播树 软件定义无线网络 跨域组播路由 多智能体 深度强化学习
在线阅读 下载PDF
上一页 1 2 250 下一页 到第
使用帮助 返回顶部