检索结果-内蒙古大学图书馆

软件学报 2018年第5期29卷 1451-1470页

作者：代飞陈凤强莫启王炜李彤梁志宏西南林业大学大数据与智能工程学院云南昆明650224 云南省软件工程重点实验室(云南大学) 云南昆明650091 云南大学软件学院云南昆明650091

将编排映射为Peer(参与者),是对编排进行可实现性分析的第1个步骤.现有文献提出的映射方法未考虑参与者中τ对行为的影响,无法确保编排与参与者间的行为一致性.以Petri网作为形式化基础,提出了一种能够保持编排与参与者间行为一致的映... 详细信息

将编排映射为Peer(参与者),是对编排进行可实现性分析的第1个步骤.现有文献提出的映射方法未考虑参与者中τ对行为的影响,无法确保编排与参与者间的行为一致性.以Petri网作为形式化基础,提出了一种能够保持编排与参与者间行为一致的映射方法,允许:(1)通过动作映射,将交互式Petri网定义的编排映射为带τ的交互式Petri网;(2)提出了4条τ删除规则,用以对带τ的交互式Petri网中的τ进行有选择的删除;(3)将编排与参与者间的行为一致性问题规约为检验两个交互式Petri间是否满足弱互模拟的问题,并证明了这4条τ删除规则的正确性.实验结果表明,该映射方法能够确保编排与参与者间的行为一致性.

关键词：业务过程管理编排参与者映射可实现性

来源：评论

学校读者我要写书评

暂无评论

森林火灾产物影响植物种子萌发响应机制研究

引用

世界林业研究 2023年第4期36卷 47-53页

作者：王何晨阳高仲亮曹宇飞于闻天王秋华周汝良赵璠西南林业大学土木工程学院昆明650224 云南省森林灾害预警与控制重点试验室昆明650224 西南林业大学大数据与智能工程学院昆明650224

全球极端气候变化显著,高温干旱天气增加,导致森林火灾频发,影响生态环境稳定。林火及火后产物作为外源刺激会促进或抑制植物种子的萌发,不同萌发状态影响火后生境质量恢复。文中梳理森林火灾产物与种子萌发实验研究,阐述林火产物组成... 详细信息

全球极端气候变化显著,高温干旱天气增加,导致森林火灾频发,影响生态环境稳定。林火及火后产物作为外源刺激会促进或抑制植物种子的萌发,不同萌发状态影响火后生境质量恢复。文中梳理森林火灾产物与种子萌发实验研究,阐述林火产物组成及物化作用,分析热激、烟熏和火烧灰刺激下不同科属种子发芽率的变化,探究森林火灾产物对植物种子萌发机制的影响及其作用,总结不同条件下种子萌发的响应状态,以期为制定森林火后生境恢复及树种更新策略提供参考。

关键词：森林火灾林火产物种子萌发热激烟熏火烧灰火后恢复

来源：评论

学校读者我要写书评

暂无评论

区域多尺度马尔可夫随机场的遥感影像分类

引用

遥感学报 2020年第3期24卷 245-253页

作者：代沁伶罗斌郑晨王雷光武汉大学印刷与包装系武汉430079 西南林业大学设计学院昆明650224 武汉大学测绘遥感信息工程国家重点实验室武汉430079 河南大学数学与统计学院开封475000 西南林业大学大数据与人工智能研究院昆明650224 西南林业大学林业生态大数据国家林业局重点实验室昆明650224

多尺度分析技术广泛应用于高分辨率遥感影像的特征提取和建模。分解层数受制于影像的大小,下采样小波变换实现的影像多尺度表达难以描述大范围的空间模式,导致分类结果出现"胡椒盐"现象;面向对象的影像分析技术虽避免了"... 详细信息

多尺度分析技术广泛应用于高分辨率遥感影像的特征提取和建模。分解层数受制于影像的大小,下采样小波变换实现的影像多尺度表达难以描述大范围的空间模式,导致分类结果出现"胡椒盐"现象;面向对象的影像分析技术虽避免了"胡椒盐"现象,但由于仅利用了单尺度的的特征,也难以描述影像多层次的空间模式,导致分类精度较低。为改善分类结果中的"胡椒盐"现象和提高分类精度,提出了一种结合区域多尺度遥感影像分割和马尔可夫随机场的分类方法。首先,获得原始影像过分割区域,依据区域内亮度均值以及区域间的共享边界长度信息,提取影像低频和高频特征,采用该低频特征波段代替原始影像,重复分割与特征波段提取过程,形成影像的区域多尺度表达。然后,以原始图像为初始尺度,以分割区域为处理单元,以更细尺度分类结果为标记场先验,以当前高频特征建立特征场,逐层分类、投影,获得最终尺度分类结果。合成纹理影像和多光谱遥感影像的实验表明:相比于小波域多尺度建模方法和单尺度区域建模方法,本文提出的方法可以有效提高分类精度,并避免"胡椒盐"现象的产生。

关键词：高分辨率遥感影像分类区域分割马尔可夫随机场多尺度模型

来源：评论

学校读者我要写书评

暂无评论

基于图像分割技术的旅游图像内容分析:原理、方法与实证

引用

旅游学刊 2022年第8期37卷 58-69页

作者：齐君白钊成孙永科戈梦霄唐雪琼西南林业大学地理与生态旅游学院云南昆明650224 西南林业大学园林园艺学院云南昆明650224 西南林业大学大数据与智能工程学院云南昆明650224

在大众摄影与互联网相互碰撞、影像采集途径多元分化的时代背景下,图像于旅游者观念表达和旅游业实践运用中更加普及,在游客端和资源端同时承担了愈益重要的角色。传统照片内容分析所采用的模糊分类和手动编码,在研究深度与广度上难以... 详细信息

在大众摄影与互联网相互碰撞、影像采集途径多元分化的时代背景下,图像于旅游者观念表达和旅游业实践运用中更加普及,在游客端和资源端同时承担了愈益重要的角色。传统照片内容分析所采用的模糊分类和手动编码,在研究深度与广度上难以实现更新的进展。图像分割技术的发展为旅游图像的内容分析带来新机遇。文章总结了图像分割技术在旅游领域的运用原理,介绍了超像素分割和语义分割的操作途径,并通过两个实证案例分别讨论用户生成照片和专业采集图像所适用的分割技术。研究发现,图像分割技术的引入不仅在于提取照片中真实对象的类型、轮廓、面积等信息,更为不同研究所建构的指标体系提供了基础数据,是解读旅游视觉的智能工具。技术的运用可辅助旅游地景观与形象的智慧化管理,通过数据决策赋能未来旅游事业发展。

关键词：旅游图像内容分析图像分割超像素分割语义分割

来源：评论

学校读者我要写书评

暂无评论

BPMN 2.0编排的形式语义和分析

引用

软件学报 2018年第4期29卷 1094-1114页

作者：代飞赵文卓杨云莫启李彤周华西南林业大学大数据与人工智能工程学院云南昆明650091 云南大学软件学院云南昆明650091 云南省软件工程重点实验室云南昆明650091

BPMN 2.0编排已成为描述业务流程间交互事实上的标准.BPMN 2.0编排面向流的特征,使之会产生控制流方面的语义错误.因此,检查编排语义正确性是BPMN 2.0编排建模工具所期望具有的功能.但是,BPMN 2.0标准规约中的编排缺少形式语义及相应的... 详细信息

BPMN 2.0编排已成为描述业务流程间交互事实上的标准.BPMN 2.0编排面向流的特征,使之会产生控制流方面的语义错误.因此,检查编排语义正确性是BPMN 2.0编排建模工具所期望具有的功能.但是,BPMN 2.0标准规约中的编排缺少形式语义及相应的分析技术,这阻碍了对BPMN 2.0编排的语义分析.提出了一种映射,用于将BPMN 2.0编排转换为工作流网,使用Petri网来形式化定义BPMN 2.0编排的语义.借助Petri网的分析技术,这种定义的语义可用来分析BPMN 2.0编排的结构和控制流方面的错误.该映射和语义分析已被实现为一种工具.实验结果表明,这种形式化可以识别BPM AI过程模型库中编排的语义错误.

关键词：业务流程建模标注2.0 编排 Petri网形式语义语义分析

来源：评论

学校读者我要写书评

暂无评论

异步通信系统的合理性检测

引用

计算机集成制造系统 2024年第8期30卷 2936-2946页

作者：王帅代飞黄苾莫启付晓东西南林业大学大数据与智能工程学院云南昆明650224 云南大学软件学院云南昆明650091 昆明理工大学信息工程与自动化学院云南昆明650500

异步通信系统是一种并发分布式系统,由一组具有无界缓冲区的分布式组件通过异步通信构成。分析异步通信系统的核心问题是检测其合理性,即确保组成系统的分布式组件可以无错误地进行异步通信。然而,基于无界缓冲区的异步通信容易导致异... 详细信息

异步通信系统是一种并发分布式系统,由一组具有无界缓冲区的分布式组件通过异步通信构成。分析异步通信系统的核心问题是检测其合理性,即确保组成系统的分布式组件可以无错误地进行异步通信。然而,基于无界缓冲区的异步通信容易导致异步通信系统产生无穷状态空间,从而使得对无穷状态空间进行穷举分析是不可判定的。鉴于此,提出一种异步通信系统的合理性检测方法,用于分析具有无界缓冲区异步通信系统的合理性。首先,使用标号迁移系统建模分布式组件,并使用异步组合定义基于分布式组件的异步通信系统;其次,根据异步通信系统的特征,提出了三种合理性定义;然后,基于稳定性性质,提出了检测具有无界缓冲区异步通信系统合理性的充分条件;最后,使用进程分析工具实现了所提方法,实验结果表明了所提方法的有效性。

关键词：异步通信系统无界缓冲区合理性稳定性标号迁移系统

来源：评论

学校读者我要写书评

暂无评论

滇东北地区云南松地表可燃物载量及火强度研究

引用

西部林业科学 2019年第4期48卷 19-26页

作者：徐伟恒黄邵东杨磊徐盛基戴杨王秋华西南林业大学大数据与智能工程学院云南昆明650224 西南林业大学大数据与智能工程研究院云南昆明650224 西南林业大学林业生态大数据国家林业与草原局重点实验室云南昆明650224 南方航空护林总站云南昆明650021 西南林业大学土木工程学院云南昆明650224

在滇东北地区云南松纯林中设置样地、样方,并将地表凋落物划分为枯枝、地表凋落物上层和地表凋落物下层3个层级,按照比例分别选取各层部分凋落物经实验室烘干测定可燃物载量,其余部分均置于实验室燃烧床燃烧测定其火行为参数.在实验... 详细信息

在滇东北地区云南松纯林中设置样地、样方,并将地表凋落物划分为枯枝、地表凋落物上层和地表凋落物下层3个层级,按照比例分别选取各层部分凋落物经实验室烘干测定可燃物载量,其余部分均置于实验室燃烧床燃烧测定其火行为参数.在实验室燃烧床上分别以下坡点火、中间点火和上坡点火的方式,模拟实际森林样地坡度的上坡火、随机点火以及下坡火的燃烧状况,再分别测定其不同点火方式的火行为参数.结果表明,在云南松林地表凋落物中,枯枝、地表凋落物上层和地表凋落物下层可燃物载量分别为0.09kg/m2、0.50kg/m2、0.59kg/m2,上坡火、中间点火和下坡火的火强度分别为97.21kW/m、80.76kW/m和49.99kW/m,上坡火、中间点火和下坡火的热辐射分别为7.22±1.51kW/m2、6.88±1.66kW/m2和6.47±1.37kW/m2,燃除率分别为52.71%、64.5%、40.09%.可见,滇东北地区地表凋落物中枯枝的载量小,且上层和下层可燃物载量差异不大;与滇中地区的云南松计划烧除实验结果比较,可燃物载量及火强度均偏低.

关键词：云南松地表凋落物可燃物载量火强度滇东北地区

来源：评论

学校读者我要写书评

暂无评论

滇东北地区华山松与云南松的地表凋落物载量及火强度对比研究

引用

西南林业大学学报（自然科学） 2019年第5期39卷 151-156页

作者：徐伟恒吴超杨磊徐盛基秦明明王秋华西南林业大学大数据与智能工程学院云南昆明650233 西南林业大学大数据与智能工程研究院云南昆明650233 西南林业大学林业生态大数据国家林业与草原局重点实验室云南昆明650233 应急管理部南方航空护林总站云南昆明650021 西南林业大学土木工程学院云南昆明650233

通过调研、布设样地样方、取样方可燃物等过程,将滇东北地区的优势树种华山松、云南松的地表凋落物划分为枯枝、凋落物上层和凋落物下层3个层级,分别收集后在实验室燃烧床上分别以下坡点火和上坡点火的方式,模拟实际森林样地坡度的上坡... 详细信息

通过调研、布设样地样方、取样方可燃物等过程,将滇东北地区的优势树种华山松、云南松的地表凋落物划分为枯枝、凋落物上层和凋落物下层3个层级,分别收集后在实验室燃烧床上分别以下坡点火和上坡点火的方式,模拟实际森林样地坡度的上坡火和下坡火的燃烧状况,测定其不同点火方式的火行为参数。结果表明:云南松的地表凋落物烧除率远远高于华山松地表凋落物的烧除率,二者可燃物载量除凋落物下层外基本保持一致,热辐射值也基本一致,但二者均低于弱强度火界定值500 kW/m。因此,当前滇东北地区难以形成树冠火。

关键词：凋落物可燃物载量火强度华山松云南松滇东北

来源：评论

学校读者我要写书评

暂无评论

融合可见光无人机与哨兵2A影像的森林火灾迹地精细化提取

引用

西南林业大学学报（自然科学） 2021年第4期41卷 103-110页

作者：熊源徐伟恒黄邵东刘明露雷建寅吴超徐海峰王秋华西南林业大学大数据与智能工程学院云南昆明650233 西南林业大学大数据与智能工程研究院云南昆明650233 西南林业大学林业生态大数据国家林业与草原局重点实验室云南昆明650233 云南忆尘司法鉴定中心云南昆明650051 西南林业大学土木工程学院云南昆明650233

以2020年4月昆明市宜良县马街镇兴隆村森林火灾为研究对象,基于无人机的R、G、B3个波段与哨兵2A多光谱影像,分别采用格莱姆-施密特与主成分光谱锐化融合方法进行影像融合,应用6种定量评价指标分别对融合结果进行评估。基于融合影像采用... 详细信息

以2020年4月昆明市宜良县马街镇兴隆村森林火灾为研究对象,基于无人机的R、G、B3个波段与哨兵2A多光谱影像,分别采用格莱姆-施密特与主成分光谱锐化融合方法进行影像融合,应用6种定量评价指标分别对融合结果进行评估。基于融合影像采用随机森林算法实现对火场边界内的森林火灾迹地的提取,并与Sentinel-2A影像提取森林火灾迹地的精度进行比较;将2种影像提取的过火面积与鉴定人员通过实地调研、GPS坐标打点,并结合UAV影像手动矢量化森林火灾迹地面积进行对比分析。结果表明:UAV与Sentinel-2A融合影像与仅利用Sentinel-2A多光谱影像对森林火灾迹地提取的生产者精度分别为96.14%、95.18%,使用者精度分别为97.79%、96.57%,Kappa系数分别为0.83、0.76;融合影像与Sentinel-2A影像提取过火面积与统计面积相对误差分别为-3.5%、-6.2%。因此,利用可见光UAV与Sentinel-2A影像采用GS融合方法,基于RF算法可高精度、精细化提取森林火灾迹地,且边界细节效果刻画更加明显。本研究方法可大大提高林火司法鉴定效率,减少外业工作量及降低成本,使得矢量化更加精准,增加司法鉴定结果的科学性和客观性。

关键词：无人机哨兵2号影像融合森林火灾火灾迹地司法鉴定

来源：评论

学校读者我要写书评

暂无评论

太阳局部高分辨观测像的日球坐标自动标定

引用

科学通报 2019年第16期64卷 1738-1746页

作者：季凯帆刘辉金振宇尚振宏强振平中国科学院云南天文台昆明650216 昆明理工大学信息工程与自动化学院昆明650504 西南林业大学大数据与智能工程学院昆明650224

观测图像的日球坐标标定通常是处理太阳局部高分辨观测像的第一个步骤,但这也一直是很多太阳物理学家面临的困难.本文应用尺度不变特征变换来提取特征匹配点,提出了一种将局部高分辨光球和色球图像与空间/地面全日面像自动匹配以确定其... 详细信息

观测图像的日球坐标标定通常是处理太阳局部高分辨观测像的第一个步骤,但这也一直是很多太阳物理学家面临的困难.本文应用尺度不变特征变换来提取特征匹配点,提出了一种将局部高分辨光球和色球图像与空间/地面全日面像自动匹配以确定其视场在日球坐标系位置的方法.同时还总结了一套有针对性的图像预处理方案和流程,用于提高特征点检测的准确度和增加匹配点对数量,从而成功地实现了新真空太阳望远镜(New Vacuum Solar Telescope, NVST)的氧化钛(titanium dioxide, TiO)波段与太阳动力学天文台(Solar Dynamics Observatory,SDO)日震磁像仪(helioseismic and magnetic imager, HMI)连续谱、Hα波段与全球日震网(Global Oscillation Network Group, GONG)或者太阳动力学天文台/大气成像仪(atmospheric imaging assembly, AIA)304?波段的图像配准.最终结果用SDO标准关键字记录在标定后的普适图像传输系统(flexible image transport system, FITS)文件头中,以便使用通用的太阳软件包来进行各种后处理.这一工作实现了高分辨观测像的标准化日球坐标标定,为太阳物理学家更好地使用高分辨观测数据提供了极大的便利,从而提高了数据利用率和科学产出.

关键词：太阳高分辨图像全日面观测日球坐标系视场定标

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：