期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到91篇文章
< 1 2 … 5 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
LLRB算法的函数式建模及其机械化验证 被引量：2
1
作者 左正康 黄志鹏 +4 位作者 黄箐 孙欢 曾志城 胡颖 王昌晶 《软件学报》 EI CSCD 北大核心 2024年第11期5016-5039,共24页
基于机器定理证明的形式化验证技术不受状态空间限制,是保证软件正确性、避免因潜在软件缺陷带来严重损失的重要方法.LLRB(left-leaning red-black trees)是一种二叉搜索树变体,其结构比传统的红黑树添加了额外的左倾约束条件,在验证时... 基于机器定理证明的形式化验证技术不受状态空间限制,是保证软件正确性、避免因潜在软件缺陷带来严重损失的重要方法.LLRB(left-leaning red-black trees)是一种二叉搜索树变体,其结构比传统的红黑树添加了额外的左倾约束条件,在验证时无法使用常规的证明策略,需要更多的人工干预和努力,其正确性验证是一个公认的难题.为此,基于二叉搜索树类算法Isabelle验证框架,对其附加性质部分进行细化,并给出具体化的验证方案.在Isabelle中对LLRB插入和删除操作进行函数式建模,对其不变量进行模块化处理,并验证函数的正确性.这是首次在Isabelle中对函数式LLRB插入和删除算法进行机械化验证,相较于目前LLRB算法的Dafny验证,定理数由158减少至84,且无需构造中间断言,减轻了验证的负担;同时,为复杂树结构算法的函数式建模及验证提供了一定的参考价值. 展开更多
关键词 LLRB 函数式建模 机械化验证 Isabelle定理证明器 二叉搜索树
在线阅读 下载PDF
基于二叉树的台区需求响应建模与聚合调控潜力评估研究
2
作者 张润学 李省 +3 位作者 王楠 杨小龙 赵许冲 贾清泉 《燕山大学学报》 CAS 北大核心 2024年第5期408-419,462,共13页
充分调动用户侧负荷资源参与需求侧响应成为解决高比例新能源电力系统供需平衡的有效途径之一。然而,用户侧负荷响应在容量与时域上的不确定因素导致难以有效量化评估其响应能力。为此本文提出一种基于二叉树的台区需求响应建模与聚合... 充分调动用户侧负荷资源参与需求侧响应成为解决高比例新能源电力系统供需平衡的有效途径之一。然而,用户侧负荷响应在容量与时域上的不确定因素导致难以有效量化评估其响应能力。为此本文提出一种基于二叉树的台区需求响应建模与聚合调控潜力评估方法。首先,提出配电台区群多时间尺度需求侧响应的三阶段云边协同调控策略;然后,根据用户侧负荷响应的时序特性,提出基于二叉树的需求侧响应响应特性表征方法,建立配电台区需求侧响应聚合模型,采用隶属度参数表征需求侧响应群体响应的不确定性;最后,通过仿真算例验证了方法的有效性。 展开更多
关键词 云边协同 需求响应负荷 二叉树建模 多时间尺度
在线阅读 下载PDF
基于动态故障树的卫星系统可靠性分析 被引量：47
3
作者 张晓洁 赵海涛 +2 位作者 苗强 张伟 黄洪钟 《宇航学报》 EI CAS CSCD 北大核心 2009年第3期1249-1254,共6页
卫星系统作为一种高可靠产品,具有复杂的冗余结构。以卫星系统为对象,研究了动态故障树方法分析过程中静态子树及动态子树的处理方法。分别采用二元决策图及马尔科夫方法对关键设备的动态故障树模型中静态子树和动态子树进行分析。将所... 卫星系统作为一种高可靠产品,具有复杂的冗余结构。以卫星系统为对象,研究了动态故障树方法分析过程中静态子树及动态子树的处理方法。分别采用二元决策图及马尔科夫方法对关键设备的动态故障树模型中静态子树和动态子树进行分析。将所得结果与可靠性框图、马尔科夫等方法所得结果进行了比较。 展开更多
关键词 动态故障树 可靠性建模 马尔科夫 二元决策图 卫星系统
在线阅读 下载PDF
基于图论的配电网故障行波定位新算法 被引量：39
4
作者 王阳 曾祥君 +1 位作者 黎锐烽 柳芊芊 《电力系统自动化》 EI CSCD 北大核心 2012年第18期143-147,共5页
配电网结构复杂,分支多,故障点定位困难。传统基于输电线路单端或双端信息的故障定位算法难以满足配电网高精度故障定位要求。提出了基于多端时间信息的配电网故障行波定位新算法,构建了配电网关联矩阵和距离矩阵,给出了故障分支的判别... 配电网结构复杂,分支多,故障点定位困难。传统基于输电线路单端或双端信息的故障定位算法难以满足配电网高精度故障定位要求。提出了基于多端时间信息的配电网故障行波定位新算法,构建了配电网关联矩阵和距离矩阵,给出了故障分支的判别方法;基于二叉树模型,根据配电网末端的行波到达精确时间信息和配电网拓扑结构矩阵,剔除无效行波波头时间,综合利用有效的行波波头时间信息,实现配电网故障的实时精确定位。EMTP仿真结果表明,该方法能实现配电网故障的准确定位。 展开更多
关键词 配电网 故障定位 行波 二叉树模型 图论
在线阅读 下载PDF
复杂系统模糊建模的模糊树方法 被引量：5
5
作者 毛剑琴 岳玉芳 +2 位作者 张建刚 代冀阳 李幼平 《控制理论与应用》 EI CAS CSCD 北大核心 2002年第2期153-156,共4页
对含高度非线性的复杂系统的模糊建模提出了一种二叉线性模糊树方法 .证明了对n维空间中任一闭集上有限样本集或连续函数 ,总存在模糊树模型以任一精度逼近之 .模糊树模型在一定程度上模拟了对复杂问题进行分层、分段简化决策的思维过程 。
关键词 复杂系统 模糊建模 模糊树 二叉树 隶属函数
在线阅读 下载PDF
基于设计和装配过程的装配模型研究 被引量：14
6
作者 李原 余剑峰 +1 位作者 邵毅 杨海成 《西北工业大学学报》 EI CAS CSCD 北大核心 2000年第4期503-507,共5页
研究产品面向装配的设计 (DFA)中的产品装配建模技术 ,提出一种以装配件为对象并能充分反映设计过程和装配过程特点的二叉树装配模型。构造了相应的数据结构 ,为可装配性评价奠定了基础 ;建立该装配模型的应用框架 ,为并行工程提供了支... 研究产品面向装配的设计 (DFA)中的产品装配建模技术 ,提出一种以装配件为对象并能充分反映设计过程和装配过程特点的二叉树装配模型。构造了相应的数据结构 ,为可装配性评价奠定了基础 ;建立该装配模型的应用框架 ,为并行工程提供了支持工具。此外 ,该装配模型还可作为通用的产品装配模型应用于 展开更多
关键词 面向装配 设计 并行工程 二叉树 装配模型 CAPP
在线阅读 下载PDF
数字流域模型的河网编码方法 被引量：29
7
作者 李铁键 王光谦 刘家宏 《水科学进展》 EI CAS CSCD 北大核心 2006年第5期658-664,共7页
在数字流域模型中提出了一种基于二叉树理论,并以二元形式表示的河网编码方法。这种编码方法能够实现任意河段的直接定位和高效的拓扑关系运算。阐述了数字流域模型河网编码方法的主要思路和基本定义,给出了这种编码方法对河网拓扑关系... 在数字流域模型中提出了一种基于二叉树理论,并以二元形式表示的河网编码方法。这种编码方法能够实现任意河段的直接定位和高效的拓扑关系运算。阐述了数字流域模型河网编码方法的主要思路和基本定义,给出了这种编码方法对河网拓扑关系的描述方式,并结合实例分析了其数值特征。给出了数字流域模型的河网编码中若干具体问题的算法。 展开更多
关键词 河网编码 数字流域 河网拓扑关系 二叉树
在线阅读 下载PDF
分布式水文模型子流域编码方法对比分析 被引量：9
8
作者 刘佳嘉 周祖昊 +1 位作者 贾仰文 王浩 《河海大学学报（自然科学版）》 CAS CSCD 北大核心 2017年第1期22-29,共8页
根据分布式水文模型对子流域编码的要求,对文献中河流和流域编码方法进行研究。研究发现只有5种编码方式符合要求,分别是:拓扑属性表法、二叉树编码、多叉树编码、Pfafstetter法、干支拓扑编码。在深入研究这5种编码规则的基础上,对比... 根据分布式水文模型对子流域编码的要求,对文献中河流和流域编码方法进行研究。研究发现只有5种编码方式符合要求,分别是:拓扑属性表法、二叉树编码、多叉树编码、Pfafstetter法、干支拓扑编码。在深入研究这5种编码规则的基础上,对比分析其优缺点,并以第二松花江作为实例进行子流域划分及编码。结果表明:拓扑属性表法、多叉树编码和干支拓扑编码方法在河段单一汇流、多河段汇流支持方面优于其他编码方法;在直接计算相邻上下游子流域编码方面,拓扑属性表法可以直接查找获取,二叉树编码和干支拓扑码编码方法可直接计算,Pfafstetter编码和多叉树编码均需要遍历整个编码体系进行搜索获取;在判别任意2个子流域上下游关系方面,Pfafstetter编码和干支拓扑码均优于其他3种方法。不同编码方式具有各自的优缺点,在实际应用中需要根据不同分布式水文模型具体研究内容和编码要求选择适宜的编码方式。 展开更多
关键词 分布式水文模型 Pfafstetter编码 二叉树编码 多叉树编码 干支拓扑编码 子流域划分
在线阅读 下载PDF
三维激光扫描系统在建立单株立木材积模型中的研究 被引量：9
9
作者 赵芳 韦雪花 +2 位作者 高祥 刘晓丽 冯仲科 《山东农业大学学报（自然科学版）》 CSCD 北大核心 2013年第2期231-238,共8页
本文提出了一种利用三维激光扫描系统测量立木材积并建立材积回归模型的方法。该方法是在北京鹫峰森林公园林场,利用三维扫描系统在样地内对油松、龙爪槐、银杏三种树种,共180株标准木进行立木三维扫描,可以获取精确的立木的胸径、树高... 本文提出了一种利用三维激光扫描系统测量立木材积并建立材积回归模型的方法。该方法是在北京鹫峰森林公园林场,利用三维扫描系统在样地内对油松、龙爪槐、银杏三种树种,共180株标准木进行立木三维扫描,可以获取精确的立木的胸径、树高、冠幅等基本测树因子,并根据点云数据构建树木模型,实现树干的三维表面重建,得到精确单木材积。然后由这些精确的单木材积数据回归建立一元立木材积模型、二元立木材积模型。通过内、外符合精度检验之后,最终所得模型所描绘的曲线与三维激光扫描所得构建的材积曲线基本上是一致,说明这种方法能够用于回归建立立木材积模型及材积表。这种方法工作效率高、不破坏树木,能够用于推广回归建立立木材积模型及材积表,对于建立新型材积模型有普遍意义。 展开更多
关键词 三维激光扫描 材积 一元材积回归 二元材积回归
在线阅读 下载PDF
基于双轮廓同步跟踪的果树枝干提取及三维重建 被引量：12
10
作者 贺磊盈 武传宇 杜小强 《农业工程学报》 EI CAS CSCD 北大核心 2014年第7期182-189,共8页
自适应果实振动收获是利用机器视觉技术识别果树的几何参数,从而分析其动力学特性并用来自动调整振动设备的参数,达到高效低损伤的作业目的。该文以自然生长的无叶山核桃树为研究对象,根据果实自适应振动收获方式的需要,研究了一种基于... 自适应果实振动收获是利用机器视觉技术识别果树的几何参数,从而分析其动力学特性并用来自动调整振动设备的参数,达到高效低损伤的作业目的。该文以自然生长的无叶山核桃树为研究对象,根据果实自适应振动收获方式的需要,研究了一种基于双轮廓同步跟踪提取果树枝干并利用双目视觉技术进行三维重建的方法。首先结合自适应阈值分割算法和轮廓跟踪技术提取果树枝干区域,细化后得到枝干骨架并用二叉树结构描述。然后根据极线约束和拓扑结构建立双视图中树枝的对应关系。考虑到果树树枝形状的连续性,在三维重建过程中引入了曲率约束,从而提高了重建的效果。最后利用植物学的营养管道输送模型,结合线性回归方法参数化树枝半径。试验结果显示,重建的三维果树枝干形态与真实果树在视觉上很接近,估计的半径与测量半径之间的相对误差小于9%。该研究可为果树动力学模型的创建提供树体的3D结构参数,从而为果实的自适应振动收获技术提供参考。 展开更多
关键词 机器视觉 模型 线性回归 三维重建 轮廓跟踪 二叉树结构 曲率约束
在线阅读 下载PDF
用对分HS-树计算最小碰集 被引量：37
11
作者 姜云飞 林笠 《软件学报》 EI CSCD 北大核心 2002年第12期2267-2274,共8页
在基于模型的诊断中,利用冲突集计算最小碰集是其关键的步骤,因为所有冲突集的最小碰集就是所考察系统的诊断.在Reiter的方法中,要用HS-树(图)来计算最小冲突集的最小碰集.HS-树的计算量比较大,且又会因为剪枝的问题而剪掉真实解.提出... 在基于模型的诊断中,利用冲突集计算最小碰集是其关键的步骤,因为所有冲突集的最小碰集就是所考察系统的诊断.在Reiter的方法中,要用HS-树(图)来计算最小冲突集的最小碰集.HS-树的计算量比较大,且又会因为剪枝的问题而剪掉真实解.提出了用对分HS-树(binary hitting set-树,简称BHS-树)计算最小碰集的方法.这种方法的优点是:(1)产生的树的节点数明显少于HS-树,因而效率较高;(2)解决了因为剪枝而产生的最小碰集丢失的问题;(3)在新增加冲突集时不必完全重新计算,只需在原BHS-树的基础上增加新的分支即可,这种性质对实际诊断问题是特别有用的.对利用BHS-树的算法从理论上进行了分析和论证,并通过实际编写程序进行了检验. 展开更多
关键词 模型诊断 最小冲突集 最小碰集 对分HS-树 人工智能 推理理论
在线阅读 下载PDF
中国主要树种通用二元材积模型与推导形数模型研究 被引量：17
12
作者 程文生 冯仲科 于景鑫 《农业机械学报》 EI CAS CSCD 北大核心 2017年第3期245-252,共8页
以全国主要树种的二元材积模型、各省市一元材积表为基础材料,以取样径阶为1 cm间隔所生成的2 082组胸径(D)、树高(H)、材积(V)数据为基础数据,构建通用二元材积模型与推导形数模型。其中,通用二元材积模型利用SPSS软件进行回归建模,构... 以全国主要树种的二元材积模型、各省市一元材积表为基础材料,以取样径阶为1 cm间隔所生成的2 082组胸径(D)、树高(H)、材积(V)数据为基础数据,构建通用二元材积模型与推导形数模型。其中,通用二元材积模型利用SPSS软件进行回归建模,构建形式为山本式的1个全国通用二元材积模型、2个全国通用针/阔叶二元材积模型及6个全国分地区通用二元材积模型。结果表明,各模型的拟合决定系数R2均在0.984以上,选取6种回归模型评价指标进行模型验证,验证结果表明各模型的总相对误差和平均系统误差基本都不超过3%,在特定情况下,可以取代现有规模庞大的分地域树种一/二元立木材积模型库进行材积估算。推导形数模型采用二元材积式之一的斯泊尔式,该公式利用基础数据对形数f进行推导,得到全国六大区域总体/针叶/阔叶16个通用推导形数。结果表明,各模型的决定系数R^2在0.983以上,验证结果表明各模型的总相对误差基本都控制在±3%内,总体精度较高。 展开更多
关键词 胸径 树高 二元材积 通用模型 推导形数 评价指标
在线阅读 下载PDF
两值期权的定价模型及其求解研究 被引量：10
13
作者 吴云 何建敏 《管理工程学报》 CSSCI 2002年第4期108-110,共3页
本文首先阐述了一种新型期权———两值期权的涵义及其模型 ,推导了两值期权定价模型的解析解 ;然后阐述了二叉树方法在两值期权定价中的应用 ;最后给出了实例分析 。
关键词 两值期权定价模型 二叉对方法 解析解 金融市场 股票期权
在线阅读 下载PDF
基于平衡二叉树的三角网快速生成算法 被引量：6
14
作者 邹徐文 武百超 崔继宪 《辽宁工程技术大学学报（自然科学版）》 EI CAS 北大核心 2007年第4期513-516,共4页
为了研究更好的三角网构建的方法,对不规则三角网构建算法进行了研究,提出了一种基于平衡二叉树的Delaunay三角网生成算法,采用分割合并的思想,提高了搜索效率,将离散点集进行划分,通过对各个所分小块子网的合并,完成所论区域的三角剖... 为了研究更好的三角网构建的方法,对不规则三角网构建算法进行了研究,提出了一种基于平衡二叉树的Delaunay三角网生成算法,采用分割合并的思想,提高了搜索效率,将离散点集进行划分,通过对各个所分小块子网的合并,完成所论区域的三角剖分。分析了该算法涉及的相邻子网公切线查找、凸壳生成等关键问题。通过具体实验和同其他经典算法效率的比较,该方法具有明显的优越性。 展开更多
关键词 不规则三角网 平衡二叉树 数字高程模型
在线阅读 下载PDF
完全二叉树理论的模型及性质 被引量：8
15
作者 陈磊 沈复兴 《北京师范大学学报（自然科学版）》 CAS CSCD 北大核心 2004年第2期177-180,共4页
定义了完全二叉树理论的决定公式 .利用该类公式证明了此理论是原子理论 ,且型的个数是可数的 .还给出了它的可数原子模型和饱和模型 .证明了完全二叉树理论的ω1
关键词 完全二叉树理论 原子模型 饱和模型 型 ω1-范畴
在线阅读 下载PDF
基于朴素基因表达式编程的函数自动建模 被引量：7
16
作者 朱明放 唐常杰 +2 位作者 陈瑜 向勇 代术成 《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心 2008年第4期126-131,共6页
为了进一步提高GEP的函数自动建模的效率,提出了朴素基因表达式编程模型(Na ve GEP)NGEP;提出了原子基因片断的概念,以保护进化良好的基因片段;引入了基因嫁接操作,实现了NGEP原型。实验表明:NGEP在函数自动建模的收敛速度是标准GEP的2~... 为了进一步提高GEP的函数自动建模的效率,提出了朴素基因表达式编程模型(Na ve GEP)NGEP;提出了原子基因片断的概念,以保护进化良好的基因片段;引入了基因嫁接操作,实现了NGEP原型。实验表明:NGEP在函数自动建模的收敛速度是标准GEP的2~4倍。 展开更多
关键词 基因表达式编程 二叉树数据结构 自动建模 原子基因串
在线阅读 下载PDF
基于组合实物期权的船舶投资决策研究 被引量：5
17
作者 吕靖 宫晓婞 杨林达 《重庆交通大学学报（自然科学版）》 CAS 北大核心 2010年第3期474-479,共6页
旨在研究具有组合复合实物期权特征的船舶投资决策。通过建立二叉树定价模型,并利用Crystal Ball软件运用蒙特卡洛模拟方法模拟航运市场波动率,从而对船舶投资项目进行评价。通过实例分析得出,拥有多重选择性的船舶投资项目的价值要大... 旨在研究具有组合复合实物期权特征的船舶投资决策。通过建立二叉树定价模型,并利用Crystal Ball软件运用蒙特卡洛模拟方法模拟航运市场波动率,从而对船舶投资项目进行评价。通过实例分析得出,拥有多重选择性的船舶投资项目的价值要大于仅有单一期权的投资项目价值。 展开更多
关键词 组合复合实物期权 船舶投资决策 二叉树模型
在线阅读 下载PDF
混合多分辨率地形与空间矢量数据的可视化研究 被引量：8
18
作者 邹烷 方金云 刘金刚 《系统仿真学报》 CAS CSCD 北大核心 2006年第z1期324-325,共2页
能同时处理矢量和地形数据的混合地理信息系统逐渐成为研究的热点,其中待解决的难点是如何将复杂矢量数据实时渲染到多分辨率地形格网。结合实时优化自适应网格(Real-TimeOptimallyAdaptingMeshes,ROAM)地形简化算法,给出了关键数据结... 能同时处理矢量和地形数据的混合地理信息系统逐渐成为研究的热点,其中待解决的难点是如何将复杂矢量数据实时渲染到多分辨率地形格网。结合实时优化自适应网格(Real-TimeOptimallyAdaptingMeshes,ROAM)地形简化算法,给出了关键数据结构及相关算法来实时显示多分辨率三维地形和2D空间矢量数据,并对算法性能做出分析并给出结论。 展开更多
关键词 实时优化自适应网格 数字高程模型 无缝叠加 矢量数据 二叉三角形树
在线阅读 下载PDF
基于二叉树的装配体数据 被引量：4
19
作者 黄星梅 卿海鸽 《湖南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2003年第2期47-50,共4页
在计算机辅助设计装配体设计中 ,必须建立一个有效合理的装配体数据结构 .本文从装配体拆卸出发 ,构建了一个装配体的二叉树结构模型 .通过对该结构的后序遍历 ,自动生成装配序列 。
关键词 二叉树 装配体模型 装配序列
在线阅读 下载PDF
面向对象的二叉树装配模型研究 被引量：4
20
作者 郑寿森 祁新梅 +1 位作者 杜晓荣 王治森 《合肥工业大学学报（自然科学版）》 CAS CSCD 1998年第6期72-76,共5页
文章研究可装配性设计中的产品装配建模，提出一种以装配体为对象并能充分反映装配过程特点的二叉树装配模型。应用面向对象技术，建立了相应的数据结构及应用框架，为可装配性评价奠定了基础，也可做为通用的产品装配模型应用于ＣＡＰ... 文章研究可装配性设计中的产品装配建模，提出一种以装配体为对象并能充分反映装配过程特点的二叉树装配模型。应用面向对象技术，建立了相应的数据结构及应用框架，为可装配性评价奠定了基础，也可做为通用的产品装配模型应用于ＣＡＰＰ等领域。 展开更多
关键词 装配模型 二叉树 数据结构 面向对象 CAPP
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 5 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部