郑作环
- 作品数：7 被引量：9H指数：2
- 供职机构：中国科学院数学与系统科学研究院应用数学研究所更多>>
- 发文基金：中国博士后科学基金海南省教育厅高等学校科学研究项目国家自然科学基金更多>>
- 相关领域：理学生物学航空宇航科学技术更多>>
- 俄勒冈振子极限环的唯一性被引量：2
- 1999年
- 本文证明了俄勒冈振子中极限环的唯一性．
- 周天寿张子范郑作环张锁春
- 关键词：极限环唯一性
- 深空探测自主运行的一种可信性技术体系
- 2024年
- 未认知与不确定性是深空探测任务的基本特征.本文基于战略导向的体系化基础研究,建立了一种面向科学价值最大化的探测场景和以可靠性为核心技术基础的深空探测自主运行可信性技术体系.分析研究了深空探测场景下的可靠性概念;面向精确感知、最优计算、准确决策、快精准执行的目标要素,提出了深空探测自主运行的可信性体系框架以及“需求-认知-工程”总体技术架构;针对自主运行可信性的关键技术难点,开展了可靠性导向的多物理场、强耦合白盒建模,复杂网络故障传播机制分析,COTS元器件深空探测应用的高可靠保证,以及“模型+数据+知识”一体的融合机制分析等研究.对该技术体系的关键技术验证策略及其最小系统在卫星星座中的应用进行了验证,结果表明,所提出的技术体系具有较高的工程价值.
- 党炜骆军委骆军委敖亮郑作环李鹏熊盛阳李博李博胡剑桥李鹏
- 关键词：深空探测可靠性复杂网络
- 半群中的Lipschitz各态历经和广义各态历经
- 2017年
- 本文利用链回复性研究连续映射迭代形成的半群上Lipschitz各态历经和广义各态历经,分别给出Lipschitz各态历经和广义各态历经的充分必要条件,并举例说明各态历经、广义各态历经和Lipschitz各态历经性的关系.
- 夏旭郑作环周喆
- 一类生态系统中孤立不变集的指标和联络被引量：1
- 2000年
- 对于一类生态模型产生的流，本文通过计算流的孤立不变集的Ｃｏｎｌｅｙ指标来分析它的结构．当流的休止点都是双曲时，进一步讨论了这些休止点间联络的唯一性。
- 郑作环赵呈东乔京成
- 关键词：生态系统孤立不变集CONLEY指标
- 流中的吸引子、链回复集和极限集被引量：6
- 1999年
- 讨论紧度量空间上流的吸引子、链回复集和极限集的一些性质 .
- 郑作环
- 关键词：吸引子极限集动力系统
- 一类单调斜积半流的ω-极限集的提升动力学行为
- 2009年
- 本文研究了一类具有极小基流的单调斜积半流.在假定半流存在一个半连续的半平衡的前提下,我们证明了具有某种一致稳定性的正半轨线的ω-极限集具有1-covering性质,这为理解系统的全局动力学提供了几何洞察.
- 李希亮郑作环
- 关键词：Ω-极限集
- 强似梯度流的存在性
- 1999年
- 对于定义在拓扑空间上的流，我们证明了这个流限制在紧不变集上为强似梯度流的两个判定定理，推广了Conley的结果．当流的休止点都是孤立时，我们得到了它是强似梯度流的一个充要条件．
- 郑作环
- 关键词：拓扑空间存在性
