不动点算法

作品数:42被引量:33H指数:3
导出分析报告
相关领域:理学更多>>
相关作者:殷洪友高云开王希云李广振胡新生更多>>
相关机构:大连理工大学上海交通大学南京航空航天大学太原科技大学更多>>
相关期刊:《无线电工程》《计算机应用研究》《大连理工大学学报》《应用数学》更多>>
相关基金:国家自然科学基金山西省自然科学基金江西省自然科学基金北京市自然科学基金更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-10
视图:
排序:
一种超松弛原始对偶不动点算法及其应用
《工程数学学报》2022年第2期237-264,共28页黄文丽 唐玉超 文萌 
国家自然科学基金(12061045;12001416;11661056);南昌大学研究生创新专项基金(CX2019056)。
近年来,关于两个凸函数和的优化问题受到极大关注,其中一凸函数可微且其梯度满足Lipschitz连续性,另一凸函数包含有界线性算子。提出一种超松弛原始对偶不动点算法求解这一类问题,相比于原始对偶不动点算法,所提算法扩展了松弛参数的选...
关键词:原始对偶方法 不动点算法 邻近算子 超松弛 
模糊计算树逻辑的符号模型检测被引量:1
《计算机应用研究》2021年第8期2381-2385,共5页聂朋展 姜久雷 马占有 
国家自然科学基金资助项目(61762002,61962001);宁夏自然科学基金资助项目(2018AAC03127);北方民族大学研究生创新项目(YCX20068)。
对含有模糊不确定性信息的系统进行模型检测时,状态空间爆炸问题成为了亟待解决的主要问题。将形式化的系统模型用拟布尔公式表示,用多终端二叉决策图来对拟布尔公式进行存储。对模糊计算树逻辑的不动点语义给出了解释和证明,然后给出...
关键词:模糊计算树逻辑 不动点算法 多终端二叉决策图 符号模型检测 
一类低秩矩阵填充问题的快速优化算法
《赣南师范大学学报》2020年第3期19-25,共7页郑伟东 李声豪 涂志辉 胡文玉 喻高航 
国家自然科学基金(61863001);江西省自然科学基金(20181BAB202021);江西省研究生创新专项资金项目(YC2019-S393)。
低秩矩阵填充问题是一个秩最小化问题,通常凸松弛为核范数最小化问题来求解.该问题针对有无噪声或有无约束的情形需要分开求解,这使得求解过程变得繁琐.本文建立了一个基于核范数最小化的低秩矩阵填充统一模型,借助临近算子,设计了一种...
关键词:矩阵填充 核范数 临近算子 不动点算法 
一种改进的彩色图像去马赛克总变分模型被引量:3
《山西师范大学学报(自然科学版)》2019年第3期25-29,共5页刘铭丽 王希云 
山西省自然科学基金(2008011013);山西省“131”领军人才工程项目
针对去马赛克总变分正则化模型的不足,提出了一种改进的彩色图像去马赛克总变分模型,将彩色图像的灰度化图像引入到传统彩色图像去马赛克总变分正则化模型中,利用原始对偶不动点算法求解该模型.数值实验结果表明了该模型和算法的有效性...
关键词:去马赛克 总变分 灰度图像 原始对偶不动点算法 
一种改进的高阶全变差正则化彩色图像去马赛克被引量:2
《宁夏师范学院学报》2018年第10期84-89,共6页刘铭丽 王希云 
山西省自然科学基金(2008011013);山西省"131"领军人才工程项目
针对高阶全变差正则化彩色图像去马赛克模型的不足,提出了一种改进的彩色图像去马赛克总变分模型,将彩色图像的灰度化图像引入到高阶彩色图像去马赛克正则化模型中,利用原始对偶不动点算法求解该模型.数值实验结果表明了该模型和算法的...
关键词:去马赛克 总变分 灰度图像 原始对偶不动点算法 
一个求解绝对值方程组稀疏解问题的不动点算法被引量:1
《首都师范大学学报(自然科学版)》2018年第4期22-26,共5页王鹏 任天 
本文提出基于prox算子不动点算法(fixed-point algorithm)求解NP难的绝对值方程组Ax-x=b的最稀疏解.该算法首先将问题松弛为l1范数最小化问题,利用外罚函数法进一步松弛为一个无约束优化问题,其次求解近似后的无约束优化问题.
关键词:l1范数最小化 稀疏解 prox算子 绝对值方程组 
广义F-互补问题及其不动点算法
《西安文理学院学报(自然科学版)》2017年第6期5-7,10,共4页邵如月 殷洪友 
国家自然科学基金资助项目(11471159)
引入了广义F-互补问题的概念,新问题是经典互补问题和F-互补问题的推广,证明了广义F-互补问题与不动点问题的等价性,并设计了求解广义F-互补问题的不动点算法,证明了算法的收敛性.
关键词:广义F-互补问题 等价性 不动点算法 收敛性 
一种图像分割的快速不动点算法被引量:1
《电子与信息学报》2015年第10期2390-2396,共7页李伟斌 易贤 宋松和 
国家自然科学基金(11172314)~~
该文在去除背景便能获得目标的分割思想之上,提出了一个凸的无约束最小化问题。证明了问题提出过程中添加惩罚项的合理性,并通过实验验证了证明结果。在最小化求解方面,应用次微分和近似算子的相关理论,构造了求解的不动点算子,进而结合...
关键词:图像处理 图像分割 凸优化问题 不动点算法 
基于四阶PDE模型的修正不动点图像复原方法研究
《激光杂志》2015年第10期36-40,共5页顾锦江 
江苏经贸职业技术学院重点课题(JSJM014)
图像在传输、扫描、显示等过程中,由于各种随机噪声的影响,导致图像质量下降。针对此问题,本文结合四阶模型和偏微分方程(PDE)提出了一种图像复原方法。首先分析了四阶PDE模型的不动点算法,为提高算法效率,基于各向同性扩散的LLT模型提...
关键词:图像复原 修正不动点算法 PDE 收敛性 
一种基于上下文的精简控制流图方法的研究
《价值工程》2014年第29期217-220,共4页李金诺 陆育锋 汤云杰 张开元 
很多静态代码分析的方法都以控制流图作为基础,本文采用一种加入上下文的基于约束的分析技术k-CFA并使用不动点算法求出约束集的最小解并生成控制流图,比0-CFA,加入数据流的约束分析更精确地约减不可达分支,生成较少冗余的控制流图。以...
关键词:静态分析 基于约束的分析 控制流分析 不动点算法 
检索报告 对象比较 聚类工具 使用帮助 返回顶部