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

Continuous dynamical systems = 连续动力系统 /

引用

2012年

作者： Luo Albert C.J.

来源：内蒙古大学图书馆图书评论

学校读者我要写书评

暂无评论

关于连续动力系统中Banach正上密度回复点集的研究

关于连续动力系统中Banach正上密度回复点集的研究

引用

作者：马乐南昌大学

学位级别：硕士

本论文主要在连续动力系统中研究一种特别的回复性质，即Banach正上密度回复性质.类似于一般回复点集R (ψ)的研究.本论文对Banach正上密度回复点集作了系统的研究.全文共分为四章.第一章主要对本论文的研究背景作了较为详细的介绍.第... 详细信息

本论文主要在连续动力系统中研究一种特别的回复性质，即Banach正上密度回复性质.类似于一般回复点集R (ψ)的研究.本论文对Banach正上密度回复点集作了系统的研究.全文共分为四章. 第一章主要对本论文的研究背景作了较为详细的介绍. 第二章主要介绍了本论文需要用到的一些基本概念和一些已知结论. 第三章研究了Banach正上密度回复点集的性质，给出了连续动力系统中一个点是Banach正上密度回复点集的等价条件.随后，讨论了Banach正上密度回复点集与测度中心之间的关系. 第四章主要利用Banach正上密度回复点集的性质，研究一个连续动力系统是E系统的等价条件.

关键词： Banach正上密度回复点集测度中心极小吸引中心拟测度中心拟极小吸引中心 E-系统连续动力系统

来源：评论

学校读者我要写书评

暂无评论

茶树害虫防治与半连续动力系统

引用

信阳师范学院学报（自然科学版） 2012年第2期25卷 F0002-F0002页

作者：张晓博

我校数学与信息科学学院教授宋新宇博士2011年获批国家自然科学基金项目：茶树害虫防治与半连续动力系统，项目编号：11171284．

关键词：连续动力系统害虫防治茶树国家自然科学基金项目信息科学项目编号

来源：评论

学校读者我要写书评

暂无评论

一种用于非线性连续动力系统的安全验证方法

一种用于非线性连续动力系统的安全验证方法

引用

作者：张丽杨争峰曾霞曾振柄 200062 上海市普陀区中山北路3663号

本发明公开了一种用于非线性连续动力系统的安全验证方法，包括：初始化问题；输入连续动力系统后，提取系统的初始区域、不安全区域、微分方程、不变集，并将其转换成满足安全验证的不等式；构造张量表达式；建立原始模型与张量表达式... 详细信息

标准号: CN114218810A

本发明公开了一种用于非线性连续动力系统的安全验证方法，包括：初始化问题；输入连续动力系统后，提取系统的初始区域、不安全区域、微分方程、不变集，并将其转换成满足安全验证的不等式；构造张量表达式；建立原始模型与张量表达式之间的关系；划分单纯形；构造线性规划；Mosek求解器求解。本发明的优点是：将系统的初始区域和不安全区域分割开，验证系统不能进入不安全区域，降低了时间复杂度，求解速度加快。

关键词：不安全连续动力系统安全验证初始区域求解时间复杂度区域分割提取系统微分方程线性规划验证系统原始模型初始化单纯形求解器转换

来源：评论

学校读者我要写书评

暂无评论

An introduction to dynamical systems : continuous and discrete = 连续和离散动力系统引论 / 2nd ed.

引用

2017年

作者： Robinson R. Clark

来源：内蒙古大学图书馆图书评论

学校读者我要写书评

暂无评论

基于PAC学习的组合式概率障碍证书生成

引用

软件学报 2025年第5期 1907-1923页

作者：杨紫萱曾霞任勐鑫王建林曾振柄杨争峰华东师范大学软件工程学院西南大学计算机与信息科学学院河南大学计算机与信息工程学院上海大学理学院

连续动力系统安全验证是一个重要的研究问题,多年来各类验证方法所能处理的问题规模非常受限.对此,对于给定的连续动力系统,提出通过反例制导方法生成一组组合式概率近似正确(PAC)障碍证书的算法,最终给出无限时间范畴安全验证问题在概... 详细信息

连续动力系统安全验证是一个重要的研究问题,多年来各类验证方法所能处理的问题规模非常受限.对此,对于给定的连续动力系统,提出通过反例制导方法生成一组组合式概率近似正确(PAC)障碍证书的算法,最终给出无限时间范畴安全验证问题在概率统计意义下的形式化描述.通过建立和求解基于大M法的混合整数规划方法,将障碍证书的求解转化为约束优化问题.通过微分中值定理将非线性不等式进行区间线性化.最后,实现组合式PAC障碍证书生成工具CPBC,并在11个基准系统上评估其性能.实验结果表明, CPBC均能成功验证每个动力系统在指定不同的安全需求阈值下的安全性.与现有方法相比,所提方法可以更高效地为复杂系统或高维系统生成可靠的概率障碍证书,验证的样例规模已高达百维.

关键词：连续动力系统障碍证书 PAC 区间线性化混合整数规划

来源：评论

学校读者我要写书评

暂无评论

一类带参数自适应步长的快速迭代收缩阈值算法及其应用

引用

数学学报（中文版） 2024年第6期67卷 1163-1178页

作者：唐艳张叶雨吉智慧邹雨阳重庆工商大学数学与统计学院重庆400067 经济社会应用统计重庆市重点实验室重庆400067 重庆市渝北区实验中学校重庆401120

本文针对非光滑凸优化问题提出了一种带参数的自适应步长的快速迭代收缩阈值算法.利用参数化策略带来的自由度在实Hilbert空间上分别研究了目标函数O(1/k^(2))和迭代算法o(1/k^(2))的收敛速率,并在目标函数F一致凸的条件下获得了算法的... 详细信息

本文针对非光滑凸优化问题提出了一种带参数的自适应步长的快速迭代收缩阈值算法.利用参数化策略带来的自由度在实Hilbert空间上分别研究了目标函数O(1/k^(2))和迭代算法o(1/k^(2))的收敛速率,并在目标函数F一致凸的条件下获得了算法的强收敛性.此外,在该算法的基础上建立了连续动力系统模型,并获得了连续动力系统解的逼近性质.最后通过图像去噪实例验证了算法的优越性.

关键词：快速迭代收缩阈值算法自适应步长连续动力系统图像去噪

来源：评论

学校读者我要写书评

暂无评论

Minimax神经网络收敛性分析

引用

信息与控制 1997年第1期26卷 1-6页

作者：叶仲泉张邦礼曹长修重庆大学应用数学系重庆大学自动化系

ｍｉｎｉｍａｘ问题的研究不仅在对策论、数学规划和最优控制中具有重要意义，而且许多类型的问题都需要寻求ｍｉｎｉｍａｘ问题的数值解．本文建立了连续动力系统神经网络来探讨ｍｉｎ－ｉｍａｘ问题，在适当的条件下利用Ｌｙａｐｕｎ... 详细信息

ｍｉｎｉｍａｘ问题的研究不仅在对策论、数学规划和最优控制中具有重要意义，而且许多类型的问题都需要寻求ｍｉｎｉｍａｘ问题的数值解．本文建立了连续动力系统神经网络来探讨ｍｉｎ－ｉｍａｘ问题，在适当的条件下利用Ｌｙａｐｕｎｏｖ函数讨论了网络的稳定性和收敛性，并证明了神经网络的稳定平衡点即为ｍｉｎｉｍａｘ问题的鞍点．这样的网络可由ＶＬＳＩ技术实现，且具有实时动力学行为，它们也很象生物处理的动力学．在适当的条件下，利用Ｌｙａｐｕｎｏｖ函数稳定性理论证明了该网络是Ｌｙａｐｕｎｏｖ稳定的。

关键词：极小极大问题连续动力系统神经网络收敛性

来源：评论

学校读者我要写书评

暂无评论

一类带参数自适应步长的快速迭代收缩阈值算法及其应用

引用

数学学报(中文版) 2023年

作者：张叶雨唐艳吉智慧邹雨阳重庆工商大学数学与统计学院经济社会应用统计重庆市重点实验室重庆市渝北区实验中学校

本文针对非光滑凸优化问题提出了一种带参数的自适应步长的快速迭代收缩阈值算法.利用参数化策略带来的自由度在实Hilbert空间上分别研究了目标函数O(1/k2)和迭代算法o(1/k2)的收敛速率,并在目标函数F—致凸的条件下获得了算法的强收敛... 详细信息

本文针对非光滑凸优化问题提出了一种带参数的自适应步长的快速迭代收缩阈值算法.利用参数化策略带来的自由度在实Hilbert空间上分别研究了目标函数O(1/k2)和迭代算法o(1/k2)的收敛速率,并在目标函数F—致凸的条件下获得了算法的强收敛性.此外,在该算法的基础上建立了连续动力系统模型,并获得了连续动力系统解的逼近性质.最后通过图像去噪实例验证了算法的优越性.

关键词：快速迭代收缩阈值算法自适应步长连续动力系统图像去噪

来源：评论

学校读者我要写书评

暂无评论

一类生物流体力学连续系统的分岔研究

引用

力学季刊 2000年第3期21卷 288-293页

作者：罗祖军徐健学西北工业大学翼型研究中心西安710072 西安交通大学建力学院西安710049

连续动力系统的非线性动力学研究,由于其应用的广泛性与问题的复杂性,近年来越来越受到重视。本文对一类生物流体力学中的连续系统——动脉局部狭窄时血液流动的分岔特性进行了研究,采用有限差分方法,将由偏微分方程组描述的连续动力系... 详细信息

连续动力系统的非线性动力学研究,由于其应用的广泛性与问题的复杂性,近年来越来越受到重视。本文对一类生物流体力学中的连续系统——动脉局部狭窄时血液流动的分岔特性进行了研究,采用有限差分方法,将由偏微分方程组描述的连续动力系统约化为由常微分方程组描述的高维离散动力系统。求得了离散动力系统的平衡解并分析其稳定性,同时讨论了流场中变量空间分布的变化情况。求得了离散动力系统的前三个Lyapunov指数,以此作为系统是否发生混沌的判别条件。

关键词：生物流体力学连续动力系统稳定性分岔

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：