期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到65篇文章
< 1 2 … 4 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
动态顺序统计树类结构的函数式建模及其自动化验证
1
作者 左正康 刘增鑫 +2 位作者 柯雨含 游珍 王昌晶 《软件学报》 北大核心 2025年第8期3531-3553,共23页
动态顺序统计树结构是一类融合了动态集合、顺序统计量以及搜索树结构特性的数据结构,支持高效的数据检索操作,广泛应用于数据库系统、内存管理和文件管理等领域.然而,当前工作侧重讨论结构不变性,如平衡性,而忽略了功能正确性的讨论.... 动态顺序统计树结构是一类融合了动态集合、顺序统计量以及搜索树结构特性的数据结构,支持高效的数据检索操作,广泛应用于数据库系统、内存管理和文件管理等领域.然而,当前工作侧重讨论结构不变性,如平衡性,而忽略了功能正确性的讨论.且现有研究方法主要针对具体的算法程序进行手工推导或交互式机械化验证,缺乏成熟且可靠的通用验证模式,自动化水平较低.为此,设计动态顺序统计搜索树类结构的Isabelle函数式建模框架和自动化验证框架,构建经过验证的通用验证引理库,可以节省开发人员验证代码的时间和成本.基于函数式建模框架,选取不平衡的二叉搜索树、平衡的二叉搜索树(以红黑树为代表)和平衡的多叉搜索树(以2−3树为代表)作为实例化的案例来展示.借助自动验证框架,多个实例化案例可自动验证,仅需要使用归纳法并调用一次auto方法或使用try命令即可,为复杂数据结构算法功能和结构正确性的自动化验证提供了参考. 展开更多
关键词 动态顺序统计树 搜索树 函数式建模 自动化验证 Isabelle定理证明器
在线阅读 下载PDF
基于HYSPLIT模型的海南岛橡胶树白粉菌孢子气流传播路径与时空动态
2
作者 周绍尧 朱家正 +3 位作者 张宇 杨叶 梁晓宇 王萌 《热带作物学报》 北大核心 2025年第7期1724-1732,共9页
橡胶树是海南的“三棵树”之一,全岛多个市(县)均有种植。橡胶树白粉病是典型气传性真菌病害,每年均有发生,严重影响橡胶产量和树体健康。本研究以保亭黎族苗族自治县(以下简称为“保亭县”)为孢子扩散起点,分析2021年2月1日至2023年3... 橡胶树是海南的“三棵树”之一,全岛多个市(县)均有种植。橡胶树白粉病是典型气传性真菌病害,每年均有发生,严重影响橡胶产量和树体健康。本研究以保亭黎族苗族自治县(以下简称为“保亭县”)为孢子扩散起点,分析2021年2月1日至2023年3月31日期间橡胶树白粉菌(Erysiphequercicola)孢子可能随气流的传播路径。通过拉格朗日混合型单粒子轨迹(HYSPLIT)模型模拟不同高度下的气流轨迹,并结合TrajStat软件和MeteoInfoMap平台进行轨迹聚类分析,确定具有代表性的气团传输路径。结果表明:保亭县是海南省橡胶树白粉病最早发生的地区,该地区气流主要向西南和西北方向传播,轨迹覆盖三亚、乐东、五指山等周边地区,白粉菌孢子可能会通过气流传播加速这些地区的病情发展。此外,研究发现橡胶树白粉菌孢子的扩散动态主要集中于每年的1—4月,该时期与海南岛春季的温湿度条件和橡胶树的物候期密切相关。保亭县橡胶树的平均古铜期和白粉病发病起始时间均早于其他地区,进一步凸显了该地区作为橡胶树白粉病早期监测预警关键区的重要性。综上所述,本研究通过模拟和分析保亭县白粉病菌孢子可能的气流传播路径,揭示了白粉病菌孢子在海南岛的区域时空传输规律。研究结果为制定区域性橡胶树白粉病防控策略提供科学依据和技术支撑,从而有效遏制病害扩散,保障海南省橡胶产业的稳定发展。 展开更多
关键词 橡胶树白粉病 孢子传播 HYSPLIT模型 气流传输路径 时空动态
在线阅读 下载PDF
储粮仓仓壁动态侧压力的树模型预测方法
3
作者 徐志军 彭舒停 +2 位作者 赵世鹏 范量 余汉华 《科学技术与工程》 北大核心 2024年第26期11158-11166,共9页
针对储粮仓卸料时仓壁动态侧压力难以准确预测的问题,利用机器学习方法中的树模型建立了仓壁动态侧压力预测模型。首先,分析了仓壁动态侧压力的主要影响因素为筒仓的结构尺寸、贮料的物理参数及测点位置。利用收集的496组仓壁动态侧压... 针对储粮仓卸料时仓壁动态侧压力难以准确预测的问题,利用机器学习方法中的树模型建立了仓壁动态侧压力预测模型。首先,分析了仓壁动态侧压力的主要影响因素为筒仓的结构尺寸、贮料的物理参数及测点位置。利用收集的496组仓壁动态侧压力数据,构建机器学习预测模型的数据集。然后,基于树模型,建立了仓壁动态侧压力的决策树(decision tree,DT)预测模型,在此基础上,利用Bagging算法和Boosting算法,建立了仓壁动态侧压力的随机森林(random forest,RF)预测模型和梯度提升树(gradient boosting decision tree,GBDT)预测模型。通过对比3种预测模型在测试集的均方误差(mean-square error,MSE)、决定系数和相对误差,表明GBDT预测模型的泛化性能最优。最后,通过开展模型试验和数值模拟,对GBDT预测模型进行验证,结果表明拟合良好。同时,根据树模型的分枝原理,判断出仓壁动态侧压力影响因素的重要性,得到对于贮料的物理参数,密度的重要性排第一;对于筒仓的结构尺寸,卸料口尺寸排第一。因此,在进行储粮仓设计时,建议优先考虑仓内散体物料的密度和仓的卸料口尺寸。 展开更多
关键词 储粮仓 动态侧压力 树模型 参数寻优 预测模型
在线阅读 下载PDF
面向延迟标签场景下的可解释信用评估模型 被引量：1
4
作者 辛博 丁志军 《计算机科学》 CSCD 北大核心 2024年第8期45-55,共11页
随着社会经济的快速发展,信贷业务在金融领域中扮演着越来越重要的角色,利用机器学习算法进行信用评估成为了当前主流的方法。然而,目前仍存在一些问题亟待解决,如延迟标签带来的有标签数据不充分、模型滞后性的问题,以及动态信用评估... 随着社会经济的快速发展,信贷业务在金融领域中扮演着越来越重要的角色,利用机器学习算法进行信用评估成为了当前主流的方法。然而,目前仍存在一些问题亟待解决,如延迟标签带来的有标签数据不充分、模型滞后性的问题,以及动态信用评估模型缺乏可解释性的问题。针对这些问题,提出了一种面向延迟标签场景的可解释信用评估模型。该模型在动态模型树的基础上进行了加权改进,结合了延迟标签更新算法和自适应阈值的伪标签选择策略,将延迟标签数据看作反馈数据和伪标签数据两种状态分别进行处理,平衡了有标签数据不充分和模型滞后带来的影响,并实现了模型的可解释性。最后,在一些合成和真实的信用评估数据集上对模型进行了实验,与其他主流的算法相比,其更好地权衡了预测性能和可解释性。 展开更多
关键词 信用评估 延迟标签 可解释性 动态模型树 伪标签选择
在线阅读 下载PDF
激光自适应光学系统可靠性改进效果评估
5
作者 贾启旺 李新阳 +4 位作者 罗曦 甘永东 马瑞浩 梅月 斯那卓玛 《强激光与粒子束》 CAS CSCD 北大核心 2024年第6期24-33,共10页
随着自适应光学技术在激光领域的发展,工程上以经典自适应光学(AO)系统为基础,增加了多种基于软件监测和硬件保护的改进措施以保证激光AO系统稳定连续出光。面对结构复杂度提升带来的可靠性挑战,如何构建系统失效模型对激光AO系统可靠... 随着自适应光学技术在激光领域的发展,工程上以经典自适应光学(AO)系统为基础,增加了多种基于软件监测和硬件保护的改进措施以保证激光AO系统稳定连续出光。面对结构复杂度提升带来的可靠性挑战,如何构建系统失效模型对激光AO系统可靠性进行评估,成为影响激光AO系统发展的重要一环。本文以激光光稳净化AO系统为例,提出使用动态故障树方法对激光AO系统可靠性进行评估,根据设备间动态关系建立动态故障树(DFT),结合厂家信息、疲劳寿命试验与历史数据估计得到底事件失效率,使用二元决策图和马尔可夫模型求解得到DFT的可靠性参数。使用DFT分析增加改进措施的AO系统可靠运行时间,结果相对于基本故障树获得了十倍以上的提高。实际系统调试期间,在预计的可靠运行时间内未发生自因故障,与DFT估计结果一致。验证了应用DFT方法评估增加改进措施后的激光AO系统可靠性更准确。 展开更多
关键词 自适应光学 动态故障树 可靠性评估 马尔可夫模型
在线阅读 下载PDF
宝天曼国家级自然保护区栎类林树木死亡动态及驱动因素
6
作者 刘升云 杨柳 +5 位作者 王冠杰 师坤 伊柳柳 李金声 于晨一 王婷 《林草资源研究》 北大核心 2024年第5期38-47,共10页
树木死亡作为影响森林群落动态变化的重要生态过程,受到多种因素的共同作用,探究树木死亡的动态变化及其驱动因素已成为生态学研究中的重要问题。锐齿槲栎林是宝天曼国家级自然保护区的重要森林类型,基于宝天曼国家级自然保护区36个固... 树木死亡作为影响森林群落动态变化的重要生态过程,受到多种因素的共同作用,探究树木死亡的动态变化及其驱动因素已成为生态学研究中的重要问题。锐齿槲栎林是宝天曼国家级自然保护区的重要森林类型,基于宝天曼国家级自然保护区36个固定监测样地(20 m×20 m)的2009年和2019年调查数据,将样地内树木按胸径(D_(BH))大小划分为7个径级:Ⅰ级为(1 cm≤D_(BH)<5 cm),每5 cm增加一径级,最大为Ⅶ级(30 cm≤D_(BH))。采用线性回归、广义线性混合模型及结构方程模型等方法,探讨不同生物因素(竞争强度、林分密度及物种多样性等)对锐齿槲栎林树木死亡的影响及其协同作用。结果表明:1)不同径级树木死亡率存在显著差异,小径级树木(D_(BH)<5 cm)死亡率最高,且随胸径的增加树木死亡率呈逐渐降低的趋势。2)不同生物因素对树木死亡率的影响差异显著,竞争强度、胸高断面积增量和林分密度与树木死亡率呈显著正相关(P<0.05),胸径变异系数、胸径基尼系数、林分平均基面积和物种多样性都与树木死亡率均呈现显著负相关(P<0.05)。3)结构方程模型分析表明,除Simpson多样性指数外,其余生物因素均对树木死亡率具有显著的直接影响,其中,竞争强度及林分平均基面积分别对树木死亡率产生显著的正效应(0.398)和负效应(-0.446)。总体来看,宝天曼国家级自然保护区锐齿槲栎林的树木死亡率受到多种生物因素的共同影响,其中竞争强度和林分平均基面积影响最为显著,研究结果可为该林分可持续发展和森林生态系统管理提供一定的科学支持和指导。 展开更多
关键词 树木死亡率 动态 生物因素 结构方程模型 宝天曼国家级自然保护区
在线阅读 下载PDF
树木气弹模型风致响应特性的风洞试验研究
7
作者 郝艳峰 黄斌 《空气动力学学报》 CSCD 北大核心 2024年第9期21-34,I0001,共15页
为研究风荷载作用下树木的风致位移响应特性,揭示不同尺度阵风与树木风致位移的相互关系,基于满足主要相似要求的树木缩尺气弹模型,参照工程科学数据集ESDU 85020,在风洞中构建相应风场,通过同步测量风速、树冠中心位移和树干位移,开展... 为研究风荷载作用下树木的风致位移响应特性,揭示不同尺度阵风与树木风致位移的相互关系,基于满足主要相似要求的树木缩尺气弹模型,参照工程科学数据集ESDU 85020,在风洞中构建相应风场,通过同步测量风速、树冠中心位移和树干位移,开展了树干-树冠-风速三者之间的相互关系和时频特征研究。结果表明:树冠中心位移、树干位移、风速三者之间呈正相关关系,三者之间的互功率谱密度函数解释了其时域和振型特征;树冠中心位移和树干位移均以顺风向为主;树叶数量增加到一定程度时可以减缓树冠中心位移,但是不能减缓树干位移;树冠中心和树干位移的脉动特性主要受树冠频率控制,树冠中心和树干的风致位移响应主要受大尺度阵风控制,满足准定常假设。 展开更多
关键词 树木气弹模型 风洞试验 动力特性 风致响应特性 大尺度阵风
在线阅读 下载PDF
基于动态故障树的卫星系统可靠性分析 被引量：47
8
作者 张晓洁 赵海涛 +2 位作者 苗强 张伟 黄洪钟 《宇航学报》 EI CAS CSCD 北大核心 2009年第3期1249-1254,共6页
卫星系统作为一种高可靠产品,具有复杂的冗余结构。以卫星系统为对象,研究了动态故障树方法分析过程中静态子树及动态子树的处理方法。分别采用二元决策图及马尔科夫方法对关键设备的动态故障树模型中静态子树和动态子树进行分析。将所... 卫星系统作为一种高可靠产品,具有复杂的冗余结构。以卫星系统为对象,研究了动态故障树方法分析过程中静态子树及动态子树的处理方法。分别采用二元决策图及马尔科夫方法对关键设备的动态故障树模型中静态子树和动态子树进行分析。将所得结果与可靠性框图、马尔科夫等方法所得结果进行了比较。 展开更多
关键词 动态故障树 可靠性建模 马尔科夫 二元决策图 卫星系统
在线阅读 下载PDF
环氧树脂中电树枝生长特性及其动力学模型的实验验证 被引量：11
9
作者 杨文虎 易冉 +2 位作者 徐阳 惠思思 曹晓珑 《绝缘材料》 CAS 北大核心 2012年第1期52-56,共5页
研究了不同外施工频电压下环氧树脂绝缘中的电树枝结构、生长的特性,并用Ding等提出的模型解释了电树枝的发展过程,模拟了其生长曲线。结果表明:在同一电压下,环氧树脂中电树枝的生长速度基本为恒定值,随外施电压的升高,电树枝分枝变少... 研究了不同外施工频电压下环氧树脂绝缘中的电树枝结构、生长的特性,并用Ding等提出的模型解释了电树枝的发展过程,模拟了其生长曲线。结果表明:在同一电压下,环氧树脂中电树枝的生长速度基本为恒定值,随外施电压的升高,电树枝分枝变少,生长速度基本呈指数增加,且利用模型模拟的生长曲线与实验测试的结果吻合,最后讨论了模型的物理基础。 展开更多
关键词 电树枝 环氧树脂 劣化 动力学 模型 模拟
在线阅读 下载PDF
林木虚拟生长建模方法及建模工具研究综述和展望 被引量：5
10
作者 焦祥 郑加强 +1 位作者 张慧春 苏朦朦 《浙江农林大学学报》 CAS CSCD 北大核心 2015年第6期966-975,共10页
林木的形态结构受到树种或林木个体的遗传因素(激素信号、养分竞争等)和立地条件、经营措施以及林木的竞争状态(光照分布、温湿度、农艺措施等)的影响,因此,掌握各种因子影响林木生长过程的机制对于林业生产和精准林业研究与实践非常重... 林木的形态结构受到树种或林木个体的遗传因素(激素信号、养分竞争等)和立地条件、经营措施以及林木的竞争状态(光照分布、温湿度、农艺措施等)的影响,因此,掌握各种因子影响林木生长过程的机制对于林业生产和精准林业研究与实践非常重要,但如果实时地对实际林木进行生长过程影响因子研究,则存在很大的时空局限性和很高的测试成本,因而采用虚拟技术开展林木生长过程研究引起国内外的高度关注。系统地综述了国内外开展林木虚拟生长研究的7种建模方法和10种建模工具,然后提出基于林木虚拟动态生长模拟的"林木云"研究展望和基于计算机视觉系统的林木三维建模方法及相关建模工具的研究建议,并分析了林木4D虚拟动态生长模型等,从而促进林木虚拟动态生长技术研究。 展开更多
关键词 森林测计学 林木虚拟模型 动态生长 林木云 4D模型 综述
在线阅读 下载PDF
Elman动态递归神经网络在树木生长预测中的应用 被引量：16
11
作者 刘永霞 冯仲科 杜鹏志 《北京林业大学学报》 CAS CSCD 北大核心 2007年第6期99-103,共5页
该文充分考虑树木生长所特有的动态性、随机性和非线性,以及Elman动态递归模型的结构特点,获取北京山区油松解析木生长数据,分别建立了Elman型树木胸径生长和树高生长的神经网络动态模型.研究表明,Elman动态递归模型对非线性问题建模具... 该文充分考虑树木生长所特有的动态性、随机性和非线性,以及Elman动态递归模型的结构特点,获取北京山区油松解析木生长数据,分别建立了Elman型树木胸径生长和树高生长的神经网络动态模型.研究表明,Elman动态递归模型对非线性问题建模具有很好的拟和性和仿真性,其中,用于胸径生长建模时,其拟和精度达到99.45%,仿真精度达到99.42%;用于树高生长建模时,拟和精度达到97.30%,仿真精度达到97.29%,而且其拟和和仿真曲线均为"S"形,符合树木生长规律.进一步对Elman动态模型和常规BP静态模型比较发现,Elman模型具有更好的拟和性、预测性和稳定性. 展开更多
关键词 树木生长模型 Elman型胸径动态模型 Elman型树高动态模型 BP网络 非线性拟和 北京山区 油松
在线阅读 下载PDF
基于动态极大度的极小碰集求解方法 被引量：17
12
作者 张立明 欧阳丹彤 曾海林 《计算机研究与发展》 EI CSCD 北大核心 2011年第2期209-215,共7页
在计算集合簇的碰集时,结合SE-Tree(set enumeration tree)形式化地表达计算过程,逐步生成所有的极小碰集.并在SE-Tree中添加了终止结点,避免了非极小碰集的产生,并且不会因剪枝而丢失正确的解.提出未扩展元素度的概念和结点度的概念,... 在计算集合簇的碰集时,结合SE-Tree(set enumeration tree)形式化地表达计算过程,逐步生成所有的极小碰集.并在SE-Tree中添加了终止结点,避免了非极小碰集的产生,并且不会因剪枝而丢失正确的解.提出未扩展元素度的概念和结点度的概念,进而在扩展SE-Tree结点时按照未扩展元素度由大到小的顺序扩展,极早地生成集合簇的碰集,减少枚举树生成的结点个数,并且直接根据结点度得出结点对应的集合是否为集合簇的碰集,避免计算集合是否为集合簇的碰集.实验结果表明,该算法程序容易编制且效率较好. 展开更多
关键词 基于模型的诊断 极小碰集 SE-tree 动态极大度 向量交集
在线阅读 下载PDF
树木生长中树枝形态的3D建模 被引量：5
13
作者 陈洁 刘弘 《系统仿真学报》 EI CAS CSCD 北大核心 2006年第10期2862-2864,2869,共4页
3D造型的基本目标就是在可接受的算法复杂性下,生成真实感可以与实物媲美的虚拟物体。静态的树的3D造型方法通常利用树的分形特征和随机性。我们运用动态的基于生长的树的造型方法。树形态的形成受内在基因和外在环境因素影响,因此可以... 3D造型的基本目标就是在可接受的算法复杂性下,生成真实感可以与实物媲美的虚拟物体。静态的树的3D造型方法通常利用树的分形特征和随机性。我们运用动态的基于生长的树的造型方法。树形态的形成受内在基因和外在环境因素影响,因此可以通过控制树的生长过程实现其造型。在系统中引入了力的概念,用来控制树的生长。有两种类型的力,称为内力和外力,分别模拟树自身的生命力和外界的环境因素。结合分形机制,该系统可以模拟各种常规状态的树。该动态系统的突出特点是可以方便地控制最终造型,通过调整力参数,可以获得最终造型的连续变化和形态控制。 展开更多
关键词 植物生长 3D树 树模型 动态系统
在线阅读 下载PDF
产业融合视角下的工业旅游发展研究 被引量：16
14
作者 樊信友 蒲勇健 《商业研究》 CSSCI 北大核心 2015年第3期181-186,共6页
工业旅游是工业与旅游业融合发展的产物,它是外生性动力和内生性动力共同作用的结果。在需求驱动、规制放松和技术推动的情况下,如果发展旅游经济的边际效益大于发展工业经济的边际效益,工业企业便有了发展工业旅游的动力。和其他产业... 工业旅游是工业与旅游业融合发展的产物,它是外生性动力和内生性动力共同作用的结果。在需求驱动、规制放松和技术推动的情况下,如果发展旅游经济的边际效益大于发展工业经济的边际效益,工业企业便有了发展工业旅游的动力。和其他产业融合一样,工业和旅游业的产业融合要经过产品融合、组织融合和市场融合等几个阶段;但不同的是,这里的融合不是以技术创新为主动力,而是以需求发展为主动力,属于局部交叉的延伸型融合。在产业融合视角下,工业旅游的开发要重视里层设计和表层设计,里层设计着眼于文化的植入,表层设计强调业态的延伸,两者相辅相成,实现了工业旅游的集群化发展。 展开更多
关键词 工业旅游 产业融合 动力机制 “橄榄树”模型
在线阅读 下载PDF
基于动态故障树的计算机联锁系统可靠性及性能分析研究 被引量：26
15
作者 冯雪 王喜富 《铁道学报》 EI CAS CSCD 北大核心 2011年第12期78-82,共5页
国内外关于动态冗余结构系统可靠性分析问题的主要方法是马尔科夫模型,然而,对于二乘二取二的相对复杂的冗余系统,使用马尔科夫模型进行分析时,其状态空间的规模与双机热备系统相比具有较大增长,致使其建模过程及求解过程十分繁琐。本... 国内外关于动态冗余结构系统可靠性分析问题的主要方法是马尔科夫模型,然而,对于二乘二取二的相对复杂的冗余系统,使用马尔科夫模型进行分析时,其状态空间的规模与双机热备系统相比具有较大增长,致使其建模过程及求解过程十分繁琐。本文旨在使用动态故障树方法对二乘二取二系统的可靠性分析进行建模与求解,同时通过可靠性和安全性曲线,与双机热备系统的相关性能进行比较,得出二乘二取二结构的计算机联锁系统的性能更为优良,适宜在铁路推广与应用。 展开更多
关键词 二乘二取二系统 动态故障树 可靠性分析 马尔科夫链 二元决策图
在线阅读 下载PDF
支持森林场景动态生成的树木生长模拟 被引量：4
16
作者 范菁 董天阳 孙思昂 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2008年第11期1500-1506,共7页
为了解决传统L文法中树木建模困难和运行效率低的问题,提出了支持森林场景动态生成的树木生长模拟方法.该方法基于分形元建立树木模型,在此基础上对大规模树木实体实例化的简化算法进行研究,将基于视点的多分辨率简化模型融入树木建模... 为了解决传统L文法中树木建模困难和运行效率低的问题,提出了支持森林场景动态生成的树木生长模拟方法.该方法基于分形元建立树木模型,在此基础上对大规模树木实体实例化的简化算法进行研究,将基于视点的多分辨率简化模型融入树木建模方法之中,并选择典型树种进行生长模拟.实验结果表明,该方法能较真实地模拟树木的生长过程,并实现在虚拟森林场景中的实时漫游. 展开更多
关键词 多分辨率模型 L文法 动态生长
在线阅读 下载PDF
红松阔叶林4种凋落物分解速率及其营养动态 被引量：9
17
作者 张琴 范秀华 《东北林业大学学报》 CAS CSCD 北大核心 2014年第12期59-62,88,共5页
2012—2013年在吉林蛟河天然红松阔叶林中,应用凋落物降解袋法研究了红松（Pinus koraiensis）、蒙古栎（Quercus mongolica）、紫椴（Tilia amurensis）和色木槭（Acer mono）4个主要优势乔木树种的凋落物分解速率及其营养动态。研究... 2012—2013年在吉林蛟河天然红松阔叶林中,应用凋落物降解袋法研究了红松（Pinus koraiensis）、蒙古栎（Quercus mongolica）、紫椴（Tilia amurensis）和色木槭（Acer mono）4个主要优势乔木树种的凋落物分解速率及其营养动态。研究结果表明：4个试验树种的凋落物失质量率均随时间进程增大,但是和时间不成线性关系。在整个分解进程中,凋落物的分解速率开始明显升高,中后期开始分解速率逐渐平稳;阔叶凋落物分解速率高于针叶分解速率。通过模型模拟,4个树种的分解系数k值依次为红松（0.53±1.03）、蒙古栎（0.77±1.27）、紫椴（1.60±0.52）、色木槭（1.50±1.81）,林中主要凋落物95%分解时间约为5-7 a。分解进程中,有机碳、全氮、全磷、全钾质量分数呈动态变化,4个树种的N和P均表现出富集现象,N在短期富集后强烈释放;C和K表现为净释放;w（C）/w（N）持续下降。 展开更多
关键词 凋落物 分解速率 分解模型 营养动态 优势树种
在线阅读 下载PDF
1(1/2)片联合树算法在动态贝叶斯网精确推理中的应用 被引量：3
18
作者 周本达 王浩 姚宏亮 《计算机工程与应用》 CSCD 北大核心 2005年第14期81-84,共4页
基于动态贝叶斯网络处理动态不确定性问题的过程中推理是非常重要的,而推理算法的优劣决定着推理的执行效率。该文提出一种较简单的112片联合树算法,在不需要限制消去顺序且只作一次扩展的条件下构造联合树,所以算法简单且具有较小的复... 基于动态贝叶斯网络处理动态不确定性问题的过程中推理是非常重要的,而推理算法的优劣决定着推理的执行效率。该文提出一种较简单的112片联合树算法,在不需要限制消去顺序且只作一次扩展的条件下构造联合树,所以算法简单且具有较小的复杂度。 展开更多
关键词 动态贝叶斯网络(DBNs) 联合树 马尔可夫模型
在线阅读 下载PDF
容错传感器系统分层组合可靠性建模方法 被引量：7
19
作者 袁燎原 章卫国 刘志君 《传感技术学报》 CAS CSCD 北大核心 2014年第4期529-535,共7页
根据容错传感器系统的结构特点,结合不同可靠性建模方法的优点,提出了基于动态故障树和马尔可夫过程的分层组合可靠性建模方法。针对系统中包含的贮备事件,引入时间算子定性描述事件的时序特性,并推导了顶事件故障概率的定量计算公式。... 根据容错传感器系统的结构特点,结合不同可靠性建模方法的优点,提出了基于动态故障树和马尔可夫过程的分层组合可靠性建模方法。针对系统中包含的贮备事件,引入时间算子定性描述事件的时序特性,并推导了顶事件故障概率的定量计算公式。采用马尔可夫过程对传感器故障检测隔离进行动态建模。通过仿真比较所得模型与传统完全故障覆盖模型,分析了元件失效率、误检率等参数对系统可靠性的影响。由结果可得,该建模方法可行且更为精确。 展开更多
关键词 传感器应用 可靠性建模 分层组合方法 动态故障树 马尔可夫过程 FDI参数
在线阅读 下载PDF
基于代数模型的飞控计算机可靠性分析方法 被引量：3
20
作者 张竞凯 章卫国 +1 位作者 刘小雄 王晓光 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2014年第2期262-267,共6页
针对现有大型客机飞行控制计算机的体系结构,运用动态故障树分析方法对系统进行可靠性分析.通过引入时间算子,为系统所包含的温贮备门事件建立了可靠性代数模型,并且在借助逻辑符号系统得到的结构函数基础上,推演出非相似余度温贮备可... 针对现有大型客机飞行控制计算机的体系结构,运用动态故障树分析方法对系统进行可靠性分析.通过引入时间算子,为系统所包含的温贮备门事件建立了可靠性代数模型,并且在借助逻辑符号系统得到的结构函数基础上,推演出非相似余度温贮备可靠性分析的量化表达形式.这种代数模型方法可以适用于包含任何寿命分布类型部件的系统.通过对一个典型的电传飞控计算机系统进行研究,将其和经典Markov方法比较,体现出该种方法在工程中的有效性和便捷性. 展开更多
关键词 飞行控制计算机 动态故障树分析 代数模型 温贮备门 Markov方法
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 4 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部