郑作环
- 作品数：8 被引量：10H指数：2
- 供职机构：中国科学院数学与系统科学研究院更多>>
- 发文基金：中国博士后科学基金海南省教育厅高等学校科学研究项目国家自然科学基金更多>>
- 相关领域：理学航空宇航科学技术生物学更多>>
- 俄勒冈振子极限环的唯一性被引量：2
- 1999年
- 本文证明了俄勒冈振子中极限环的唯一性．
- 周天寿张子范郑作环张锁春
- 关键词：极限环唯一性
- 深空探测自主运行的一种可信性技术体系被引量：1
- 2024年
- 未认知与不确定性是深空探测任务的基本特征.本文基于战略导向的体系化基础研究,建立了一种面向科学价值最大化的探测场景和以可靠性为核心技术基础的深空探测自主运行可信性技术体系.分析研究了深空探测场景下的可靠性概念;面向精确感知、最优计算、准确决策、快精准执行的目标要素,提出了深空探测自主运行的可信性体系框架以及“需求-认知-工程”总体技术架构;针对自主运行可信性的关键技术难点,开展了可靠性导向的多物理场、强耦合白盒建模,复杂网络故障传播机制分析,COTS元器件深空探测应用的高可靠保证,以及“模型+数据+知识”一体的融合机制分析等研究.对该技术体系的关键技术验证策略及其最小系统在卫星星座中的应用进行了验证,结果表明,所提出的技术体系具有较高的工程价值.
- 党炜骆军委骆军委敖亮郑作环李鹏熊盛阳李博李博胡剑桥李鹏
- 关键词：深空探测可靠性复杂网络
- 半群中的Lipschitz各态历经和广义各态历经
- 2017年
- 本文利用链回复性研究连续映射迭代形成的半群上Lipschitz各态历经和广义各态历经,分别给出Lipschitz各态历经和广义各态历经的充分必要条件,并举例说明各态历经、广义各态历经和Lipschitz各态历经性的关系.
- 夏旭郑作环周喆
- 一类生态系统中孤立不变集的指标和联络被引量：1
- 2000年
- 对于一类生态模型产生的流，本文通过计算流的孤立不变集的Ｃｏｎｌｅｙ指标来分析它的结构．当流的休止点都是双曲时，进一步讨论了这些休止点间联络的唯一性。
- 郑作环赵呈东乔京成
- 关键词：生态系统孤立不变集CONLEY指标
- 价值可持续太空探索的系统工程--理念、架构与实践
- 2025年
- 太空探索活动进入价值可持续发展模式阶段,航天大国率先降低全生命周期成本以驱动可持续发展,以价值引领的“无人区”式目标强化驱动力,自然需要解决在探索性目标牵引下太空探索的任务宏观和微观、系统内部和外部存在未知状态的认知自适应可持续这一重要理论问题。本文基于钱学森工程控制论、系统工程、系统科学等学术发展逻辑和相关理论原理,结合中国载人航天工程在空间科学与应用领域超过30年的工程实践,从源头和底层出发总结规律、融合理论/原理、演绎发展;以系统论、大成智慧学思想为指导,构建了价值可持续太空探索的系统工程(TSE)方法体系,涵盖人工智能技术驱动的“物穷其理、宏微交替”理念,基于数据‒知识‒逻辑的认知三维结构和总体基本原理及其架构,三重嵌套自适应控制原理结构及其数学物理基础要点,针对存在未知状态的系统韧性构建原理。载人航天工程空间科学应用任务在降低成本、科学探索方面的全面实践以及月球相关探索项目中的前瞻应用,表明TSE方法体系能够显著提升太空探索活动的价值可持续性,为推进钱学森“创建系统学”进程、新时期航天强国建设提供了方法论与工程实践支撑。
- 党炜许鹏程郑作环张竞菲郑作环陈英武张雯陈英武张雯宋恒旭骆军委李京苑林宝军任羿
- 关键词：太空探索自适应控制深空探测航天强国
- 流中的吸引子、链回复集和极限集被引量：6
- 1999年
- 讨论紧度量空间上流的吸引子、链回复集和极限集的一些性质 .
- 郑作环
- 关键词：吸引子极限集动力系统
- 一类单调斜积半流的ω-极限集的提升动力学行为
- 2009年
- 本文研究了一类具有极小基流的单调斜积半流.在假定半流存在一个半连续的半平衡的前提下,我们证明了具有某种一致稳定性的正半轨线的ω-极限集具有1-covering性质,这为理解系统的全局动力学提供了几何洞察.
- 李希亮郑作环
- 关键词：Ω-极限集
- 强似梯度流的存在性
- 1999年
- 对于定义在拓扑空间上的流，我们证明了这个流限制在紧不变集上为强似梯度流的两个判定定理，推广了Conley的结果．当流的休止点都是孤立时，我们得到了它是强似梯度流的一个充要条件．
- 郑作环
- 关键词：拓扑空间存在性
