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

自动化学报 2010年第11期36卷 1502-1511页

作者：田昊杨剑汪彦明李国辉国防科学技术大学信息系统与管理学院长沙410073

提出了一种先验形状约束的变分水平集模型,并将其用于单幅遥感图像多建筑物的自动提取中.将多个先验形状竞争模型引入水平集方法中,在标记函数的指导下,利用先验形状能量来约束曲线的演化,在对图像进行分割的同时完成建筑物的检测和提取... 详细信息

提出了一种先验形状约束的变分水平集模型,并将其用于单幅遥感图像多建筑物的自动提取中.将多个先验形状竞争模型引入水平集方法中,在标记函数的指导下,利用先验形状能量来约束曲线的演化,在对图像进行分割的同时完成建筑物的检测和提取.标记函数的引入,加强了先验形状与要检测目标之间的匹配关系.同时本文提出的模型具有先验形状的旋转、缩放和平移不变性.最后的实验结果及定量定性的分析说明了本文方法的可行性.

关键词：水平集先验形状标记函数建筑物检测分割变分方法

来源：评论

学校读者我要写书评

暂无评论

基于控制流信息的克里普克结构生成方法

引用

计算机科学 2012年第6期39卷 93-97页

作者：牛小鹏李清宝谢晓东解放军信息工程大学信息工程学院郑州450002

恶意程序检测是信息安全技术研究的重要内容,基于程序行为特征的检测可以弥补二进制特征码检测方法的很多不足。使用模型检验技术可以对程序的操作行为做属性验证,它需要对目标程序进行建模,得到一个符合克里普克结构的迁移系统。通过... 详细信息

恶意程序检测是信息安全技术研究的重要内容,基于程序行为特征的检测可以弥补二进制特征码检测方法的很多不足。使用模型检验技术可以对程序的操作行为做属性验证,它需要对目标程序进行建模,得到一个符合克里普克结构的迁移系统。通过对模型检验技术和克里普克结构的研究分析,提出了一种以完整控制流信息为基础、采用贪婪归一策略的克里普克迁移系统生成方法。测试分析表明,利用该方法生成的迁移系统可以完整地描述控制流信息,也可以精确地刻画系统状态的改变。

关键词：模型检测克里普克结构控制流系统状态标记函数

来源：评论

学校读者我要写书评

暂无评论

凸松弛Chan-Vese模型的快速分割方法

引用

计算机仿真 2021年第6期38卷 226-232页

作者：李青潘振宽魏伟波宋田田青岛大学计算机科学技术学院山东青岛266071

Chan-Vese模型是图像分割模型中效率较高的一种。传统的分割方法解决Chan-Vese模型出现了计算效率低、占用内存大、对于解决结构复杂的模型运行时间长等问题。针对上述问题,提出了FADMM和ACPDM两种新的快速分割方法。基于离散的二值标... 详细信息

Chan-Vese模型是图像分割模型中效率较高的一种。传统的分割方法解决Chan-Vese模型出现了计算效率低、占用内存大、对于解决结构复杂的模型运行时间长等问题。针对上述问题,提出了FADMM和ACPDM两种新的快速分割方法。基于离散的二值标记函数,将两相分割模型转化为凸优化模型,结合FISTA算法和Chambolle-Pock算法对ADMM和对偶方法进行改进,采用变分的思想,通过引入辅助变量和拉格朗日乘子,交替迭代直至收敛到泛函的极值。实验结果表明,两种方法在保持图像区域边界的条件下,收敛速度可提高两倍以上。

关键词：图像分割标记函数凸优化交替方向乘子法对偶方法

来源：评论

学校读者我要写书评

暂无评论

凸松弛Chan-Vese模型快速图像分割的算法研究

凸松弛Chan-Vese模型快速图像分割的算法研究

引用

作者：李青青岛大学

学位级别：硕士

图像分割技术研究的重点在于分割目标的精度和速度。目前已出现多种边缘提取及区域分割的模型和方法,但很多方法仍然存在着计算效率低、分割精度不高、鲁棒性差等问题,所以分割的精度和速度还是有待研究和改进。Chan-Vese模型是经典的... 详细信息

图像分割技术研究的重点在于分割目标的精度和速度。目前已出现多种边缘提取及区域分割的模型和方法,但很多方法仍然存在着计算效率低、分割精度不高、鲁棒性差等问题,所以分割的精度和速度还是有待研究和改进。Chan-Vese模型是经典的图像分割变分模型,多相图像分割是Chan-Vese模型的成功延伸。本文以Chan-Vese模型为例,提出两种快速迭代求解方法,该算法适用于Chan-Vese模型的图像分割,并易于运用扩展到其它复杂模型中。本文的研究方法依赖于凸松弛法求解基于全变差的能量最小化的问题。以Chan-Vese模型为例,通过离散的二值标记函数将经典的Chan-Vese图像分割模型转化为凸优化模型,使用交替优化的方式并引用投影方法进行约束,最后进行阈值化处理。主要创新点和实现工作如下:(1)提出了基于变分的快速迭代交替方向乘子法(Fast Iterative Alternating Direction Method of Multipliers,FIADMM)。此方法结合快速迭代收缩阈值算法(Fast Iterative Shrinkage-thresholding Algorithm,FISTA),引入加速变量,使公式在交叉迭代的过程中加速变量的迭代过程,降低迭代次数。(2)提出了基于变分的加速对偶投影方法(Acceleration of Chambolle-Pock Dual Method,ACPDM)。在对偶算法框架的基础上,结合Chambolle-Pock算法,通过引入对偶变量的方式将最优化问题转化为对对偶变量和原变量的计算,从而提升整个迭代过程的速度。(3)将两种快速分割算法应用于Chan-Vese图像分割模型,实验中对两相图像采用一个二值标记函数,对多相图像采用多个二值标记函数,两种快速迭代算法均能检测出不同标记函数的区域。最后通过大量的数值实验,配合多组图像和已有模型结合,同传统的方法进行比较。实验数据表明两种方法在保持图像区域边界的条件下,最终收敛速度可提高两倍以上。实验结果直观地验证了方法的有效性,表明新方法的数值算法简单、运算速度较快、分割精度较高。

关键词：图像分割变分模型凸松弛标记函数

来源：评论

学校读者我要写书评

暂无评论

基于变分水平集方法的城市遥感建筑物提取技术研究

基于变分水平集方法的城市遥感建筑物提取技术研究

引用

作者：杨剑国防科学技术大学

学位级别：硕士

从高分辨率遥感影像中提取建筑物目标是高分辨率遥感影像处理与理解领域的一个热点和难点问题,建筑物作为人类改变自然界的标志性地物之一,其快速自动提取是地形测图和城市地理数据更新的重要步骤,更是未来GIS系统、数字地球、数字城市... 详细信息

从高分辨率遥感影像中提取建筑物目标是高分辨率遥感影像处理与理解领域的一个热点和难点问题,建筑物作为人类改变自然界的标志性地物之一,其快速自动提取是地形测图和城市地理数据更新的重要步骤,更是未来GIS系统、数字地球、数字城市系统的关键技术,也是衡量人类活动的主要因素之一。本论文针对高分辨率遥感影像中建筑物目标提取,创新性的引入基于变分水平集方法的检测模型,变分水平集方法因其形式的灵活性和基于偏微分方程的理论性在图像处理领域得到广泛的应用,并在逐步实验中针对存在的问题改进检测模型实现了对建筑物目标的提取工作。本论文研究工作如下: (1)对基于变分水平集方法的Chan-Vese(C-V)检测模型进行了深入的理论分析,并从中总结出其适应在城市遥感影像建筑物目标检测的特性,同时对已有的遥感影像建筑物目标检测方法进行了归纳,给出了应用变分水平集方法处理遥感影像建筑物目标的解决方案。 (2)提出了一种结合先验形状模型的改进C-V检测模型。本文对传统的C-V分割方法中出现的目标过检测问题进行改进,提出加入先验形状信息的思路,通过能量泛函的形式将其融入到已有模型中,较好的解决了存在的问题。 (3)提出了一种多目标建筑物检测的检测方法。针对遥感影像中含有多个待检测目标,而之前的方法不能很好解决的情形,引入一种叫做标记函数的参数,通过其对已建立先验形状模板的动态选择,较好的完成了多个建筑物目标的同时检测。最后通过实验,对提出的遥感影像建筑物目标提取方法进行了验证,获得了较为满意的结果。

关键词：遥感影像建筑物提取曲线演化理论水平集方法 Chan-Vese模型先验形状建模标记函数

来源：评论

学校读者我要写书评

暂无评论

多先验形状模型变分水平集建筑物检测

引用

科学技术与工程 2010年第4期10卷 914-921页

作者：杨剑田昊李国辉国防科学技术大学信息系统与管理学院长沙410073

提出了针对城市遥感影像中建筑物目标分割的一种新的方法。该方法在简化Mumford-Shah模型的水平集方法(Chan-Vese模型方法)的基础上,加入建筑物先验形状模型信息,并引入标记函数来动态选择先验形状,最后通过推演新的模型更好地实现了多... 详细信息

提出了针对城市遥感影像中建筑物目标分割的一种新的方法。该方法在简化Mumford-Shah模型的水平集方法(Chan-Vese模型方法)的基础上,加入建筑物先验形状模型信息,并引入标记函数来动态选择先验形状,最后通过推演新的模型更好地实现了多个建筑物目标的分割。

关键词：图像分割城市遥感影像 Chan-Vese模型先验形状模型标记函数

来源：评论

学校读者我要写书评

暂无评论

一种基于迁移学习的类干涉信号解相方法

一种基于迁移学习的类干涉信号解相方法

引用

作者：陈俊雹王新猛吴育宝杨一涛邱明月李禹志 210023 江苏省南京市栖霞区文澜路28号

本发明公开了一种基于迁移学习的类干涉信号解相方法，该方法利用迁移学习的思想，利用仿真数据作为模型的训练集，同时提出一种解相神经网络模型结构，最后训练出神经网络，而该神经网络可以直接用于实际测量中的类干涉信号的解相，进... 详细信息

标准号: CN114444293B

本发明公开了一种基于迁移学习的类干涉信号解相方法，该方法利用迁移学习的思想，利用仿真数据作为模型的训练集，同时提出一种解相神经网络模型结构，最后训练出神经网络，而该神经网络可以直接用于实际测量中的类干涉信号的解相，进而用于实际测量中的位移重构。本发明利用仿真数据形成数据集，避免了构建模型过程中耗时耗力的数据集准备过程，极大节省了模型的开发周期。本发明标记函数生成过程即适用于模型训练，也适用于解相过程中标记信号的生成。本发明生成出的模型可以匹配类干涉信号，只要信号可以表示为cos(φ_t)的形式的都可以利用此模型进行解相。

关键词：干涉信号仿真数据神经网络实际测量数据集迁移神经网络模型标记函数标记信号开发周期模型过程模型训练训练集构建重构匹配耗时学习

来源：评论

学校读者我要写书评

暂无评论

一种半导体器件制造生产线的故障诊断方法及系统

一种半导体器件制造生产线的故障诊断方法及系统

引用

作者：刘志刚 214124 江苏省无锡市高浪东路999-8-D2-801-803

本发明公开了一种半导体器件制造生产线的故障诊断方法及系统，属于半导体器件、数据处理技术领域，方法包括：根据半导体器件制造生产线中各个生产环节的加工设备、加工流程以及运行逻辑，构建网络模型；将可能发生故障的变迁设置为故... 详细信息

标准号: CN116611670A

本发明公开了一种半导体器件制造生产线的故障诊断方法及系统，属于半导体器件、数据处理技术领域，方法包括：根据半导体器件制造生产线中各个生产环节的加工设备、加工流程以及运行逻辑，构建网络模型；将可能发生故障的变迁设置为故障变迁；构建变迁关系矩阵描述各个所述生产环节之间的流程关系；获取变迁信号序列；通过所述标记函数，将所述变迁信号序列转换为标签序列；判断所述标签序列中的第μ个标签前是否存在使能故障变迁的空标签；根据所述变迁关系矩阵，计算第μ个变迁信号发生后的系统到达标识；再次判断第μ个标签前是否存在使能所述故障变迁的空标签；若是，确定半导体器件制造生产线存在故障，输出所述故障变迁对应的故障类型。

关键词：变迁半导体器件制造标签标签序列关系矩阵生产环节信号序列构建使能数据处理技术半导体器件标记函数发生故障故障类型故障诊断加工流程加工设备流程关系网络模型信号发生输出转换

来源：评论

学校读者我要写书评

暂无评论

光场图像处理方法和装置

光场图像处理方法和装置

引用

作者：徐晶许之敏林彦民 518129 广东省深圳市龙岗区坂田华为总部办公楼

本发明提供一种光场图像处理方法和装置。该方法包括：获取光场图像；获取所述光场图像中各单元图像的遮挡标记函数，根据所述光场图像中各单元图像的强度变化信息和梯度变化信息以及所述各单元图像的遮挡标记函数，确定所述各单元图像... 详细信息

标准号: CN104735360B

本发明提供一种光场图像处理方法和装置。该方法包括：获取光场图像；获取所述光场图像中各单元图像的遮挡标记函数，根据所述光场图像中各单元图像的强度变化信息和梯度变化信息以及所述各单元图像的遮挡标记函数，确定所述各单元图像的偏移量估计的成本函数；采用所述成本函数，获取所述光场图像中各单元图像的偏移量；采用所述各单元图像的偏移量，重建高分辨率光场。本发明在重建高分辨率光场时，可以先根据光场图像的光流变化信息，获取光场图像中各单元图像的偏移量，并采用各单元图像的偏移量，来重建高分辨率光场，从而可以有效提高空间分辨率。

关键词：单元图像光场图像偏移量高分辨率光场标记函数成本函数遮挡重建方法和装置空间分辨率偏移量估计变化信息强度变化梯度变化光流

来源：评论

学校读者我要写书评

暂无评论

一种分布式有源电网供电路径优化方法及实现该方法的系统

一种分布式有源电网供电路径优化方法及实现该方法的系统

引用

作者：刘扬钱学卿陈哲浩刘智涯吴文娟王忠秋杜宇航唐爱强沈晓斌 313000 浙江省湖州市环城西路345号4-8层

本发明提出了一种分布式有源电网供电路径优化方法及实现该方法的系统，通过综合线路损耗和路径最短的技术方案建立数学模型，优化架设路径，从而降低电网架设成本，提高经济效益。其中所述方法实现方式为：首先，利用标记函数，初始化... 详细信息

标准号: CN112541614B

本发明提出了一种分布式有源电网供电路径优化方法及实现该方法的系统，通过综合线路损耗和路径最短的技术方案建立数学模型，优化架设路径，从而降低电网架设成本，提高经济效益。其中所述方法实现方式为：首先，利用标记函数，初始化创建架设网点的位置参数；其次，读取架设网点的经纬度数据；再次，计算两个架设网点之间的距离，以及架设线路的损耗情况；从次，结合距离和线损情况，构建数学模型对架设线路的综合权重进行计算，并通过遍历寻找最优路径；最后，突出显示最优的架设路径，并将最优架设方案以可视化的形式呈现至用户可视化界面，此作为路径架设决策过程中的参考依据。

关键词：架设数学模型网点读取经纬度数据可视化界面标记函数参考依据电网供电电网架设方案建立决策过程路径优化突出显示位置参数综合权重综合线路最优路径初始化可视化遍历构建线损创建优化

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：