检索结果-维普期刊中文期刊服务平台

一类状态反馈脉冲控制的捕食者-食饵动力系统被引量：2: 1; 作者黄明湛段光爽宋新宇《应用数学》 CSCD 北大核心 2012年第3期661-666,共6页; 本文研究了具有状态反馈脉冲控制的一类捕食者-食饵动力系统.我们首先利用微分方程几何理论和后继函数的方法得到该系统阶1周期解的存在性、唯一性和轨道渐近稳定性;然后说明了该系统不存在阶k(k=2,3,…)周期解,最后简单分析了相关结论... 展开更多; 关键词半连续动力系统捕食系统周期解与稳定性.; 在线阅读下载PDF 职称材料

具有状态脉冲效应的阶段结构的害虫防治模型动力性分析(英文) 被引量：4: 2; 作者程惠东尹佐元刘洪霞《应用数学》 CSCD 北大核心 2012年第4期816-823,共8页; 本文对符合实际的具有状态脉冲效应的阶段结构的害虫防治模型进行研究,给出半连续动力系统、半连续动力系统的后继函数等的定义,根据动力系统的基本理论,采用脉冲微分方程几何理论的方法研究模型定义的半连续动力系统各种几何性质,得到... 展开更多; 关键词半连续动力系统阶一周期解后继函数轨道渐近稳定; 在线阅读下载PDF 职称材料

基于PAC学习的组合式概率障碍证书生成: 3; 作者杨紫萱曾霞 +3 位作者任勐鑫王建林曾振柄杨争峰《软件学报》北大核心 2025年第5期1907-1923,共17页; 连续动力系统安全验证是一个重要的研究问题,多年来各类验证方法所能处理的问题规模非常受限.对此,对于给定的连续动力系统,提出通过反例制导方法生成一组组合式概率近似正确(PAC)障碍证书的算法,最终给出无限时间范畴安全验证问题在概... 展开更多; 关键词连续动力系统障碍证书 PAC 区间线性化混合整数规划; 在线阅读下载PDF 职称材料

一类适于实时仿真的4阶方法: 4; 作者张德富王文强《江西师范大学学报（自然科学版）》 CAS 1999年第2期124-127,共4页; 构造了一类适于实时仿真的３步４阶混合方法（ＲＴＨＹＢ４），理论分析和数值试验表明它的稳定性和计算精度好于传统的４阶ＡｄａｍｓＢａｓｈｆｏｒｔｈ算法（ＲＴＡＢ４）．; 关键词实时仿真 RTHYB4方法稳定域连续动力系统; 在线阅读下载PDF 职称材料

题名一类状态反馈脉冲控制的捕食者-食饵动力系统被引量：2: 1; 作者黄明湛段光爽宋新宇; 机构信阳师范学院数学与信息科学学院; 出处《应用数学》 CSCD 北大核心 2012年第3期661-666,共6页; 基金国家自然科学基金(11171284) 河南省科技创新杰出人才支持计划(104200510011) +1 种基金信阳师范学院青年骨干教师资助计划(2011077); 文摘本文研究了具有状态反馈脉冲控制的一类捕食者-食饵动力系统.我们首先利用微分方程几何理论和后继函数的方法得到该系统阶1周期解的存在性、唯一性和轨道渐近稳定性;然后说明了该系统不存在阶k(k=2,3,…)周期解,最后简单分析了相关结论在实践中的应用.; 关键词半连续动力系统捕食系统周期解与稳定性.; Keywords Semi-continuous dynamical system Predator-prey system Periodic solutionand stability; 分类号 O175 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名具有状态脉冲效应的阶段结构的害虫防治模型动力性分析(英文) 被引量：4: 2; 作者程惠东尹佐元刘洪霞; 机构山东科技大学理学院山东科技大学信电学院; 出处《应用数学》 CSCD 北大核心 2012年第4期816-823,共8页; 基金 Supported by the National Natural Science Foundation of China (10872118); 文摘本文对符合实际的具有状态脉冲效应的阶段结构的害虫防治模型进行研究,给出半连续动力系统、半连续动力系统的后继函数等的定义,根据动力系统的基本理论,采用脉冲微分方程几何理论的方法研究模型定义的半连续动力系统各种几何性质,得到系统存在阶1周期解的充分条件,阶1周期解全局轨道渐近稳定性的充分条件.获得的理论结果说明我们可以经过一次脉冲、两次脉冲、多次脉冲就能完全控制害虫使之不超过阖值.最后,我们用数值模拟的方法说明结果的正确性.; 关键词半连续动力系统阶一周期解后继函数轨道渐近稳定; Keywords Semi-continuous dynamic system Order one periodic solution Successorfunction Orbitally asymptotical stable; 分类号 O175 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名基于PAC学习的组合式概率障碍证书生成: 3; 作者杨紫萱曾霞任勐鑫王建林曾振柄杨争峰; 机构华东师范大学软件工程学院西南大学计算机与信息科学学院河南大学计算机与信息工程学院上海大学理学院; 出处《软件学报》北大核心 2025年第5期1907-1923,共17页; 基金国家重点研发计划(2022YFA1005101) 国家自然科学基金(12171159,62272397) +1 种基金 “数字丝绸之路”上海市可信智能软件国际联合实验室项目(22510750100)。; 文摘连续动力系统安全验证是一个重要的研究问题,多年来各类验证方法所能处理的问题规模非常受限.对此,对于给定的连续动力系统,提出通过反例制导方法生成一组组合式概率近似正确(PAC)障碍证书的算法,最终给出无限时间范畴安全验证问题在概率统计意义下的形式化描述.通过建立和求解基于大M法的混合整数规划方法,将障碍证书的求解转化为约束优化问题.通过微分中值定理将非线性不等式进行区间线性化.最后,实现组合式PAC障碍证书生成工具CPBC,并在11个基准系统上评估其性能.实验结果表明,CPBC均能成功验证每个动力系统在指定不同的安全需求阈值下的安全性.与现有方法相比,所提方法可以更高效地为复杂系统或高维系统生成可靠的概率障碍证书,验证的样例规模已高达百维.; 关键词连续动力系统障碍证书 PAC 区间线性化混合整数规划; Keywords continuous dynamical system barrier certificate probably approximately correct(PAC) interval linearization mixed-integer programming; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名一类适于实时仿真的4阶方法: 4; 作者张德富王文强; 机构湘潭大学计算与应用数学研究所; 出处《江西师范大学学报（自然科学版）》 CAS 1999年第2期124-127,共4页; 文摘构造了一类适于实时仿真的３步４阶混合方法（ＲＴＨＹＢ４），理论分析和数值试验表明它的稳定性和计算精度好于传统的４阶ＡｄａｍｓＢａｓｈｆｏｒｔｈ算法（ＲＴＡＢ４）．; 关键词实时仿真 RTHYB4方法稳定域连续动力系统; Keywords real time simulation RTHYB4 methods stability; 分类号 TP15 [自动化与计算机技术—控制理论与控制工程] O175.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	一类状态反馈脉冲控制的捕食者-食饵动力系统	黄明湛段光爽宋新宇	《应用数学》 CSCD 北大核心	2012	2	在线阅读下载PDF 职称材料
2	具有状态脉冲效应的阶段结构的害虫防治模型动力性分析(英文)	程惠东尹佐元刘洪霞	《应用数学》 CSCD 北大核心	2012	4	在线阅读下载PDF 职称材料
3	基于PAC学习的组合式概率障碍证书生成	杨紫萱曾霞任勐鑫王建林曾振柄杨争峰	《软件学报》北大核心	2025	0	在线阅读下载PDF 职称材料
4	一类适于实时仿真的4阶方法	张德富王文强	《江西师范大学学报（自然科学版）》 CAS	1999	0	在线阅读下载PDF 职称材料