简介：微生物以极大的数量统治了全球海洋,但是对其群体动力学、代谢复杂性以及协同作用等仍知之甚少。近年来,大规模测序技术的应用,尤其是宏基因组测序和16SrRNA测序已经逐渐成为研究海洋微生物生态系统的主要工具。这种不培养单个物种,而是直接通过测序提取所有微生物个体的遗传信息去研究微生物生态系统的成分和功能的方法,极大地促进了人们对海洋微生物世界的认识。本文简要介绍海洋生态系统学中的基本问题和最新计算分析方法。

简介：一、引言中国经济在不断发展的同时,各种人为活动和突发事件导致的资源损害情形十分严重,自然资源约束趋紧、环境污染严重、生态系统持续退化,国民经济发展和资源环境保护利用的矛盾日益突出。资源环境的可持续开发利用问题逐步受到党中央、国务院的高度关注,2013年,党的十八届三中全会通过的《中共中央关于全面深化改革若干重大问题的决定》（以下简称《决定》）中指出“探索编制自然资源资产负债表，对领导干部实行自然资源资产离任审计，建立生态环境损害责任终身追究制。”

简介：研究节能刮板沉降箱式除尘可修复系统，运用泛函分析的方法，特别是Banach空间上的线性算子半群理论，证明了严格占优本征值的存在性，并通过分析本质谱界经过扰动后的变化，进一步表明在一定的条件下，系统的动态解以指数形式收敛于系统的稳态解.并研究了该系统算子预解式的特性.对任意给定的δ〉0，γ=a＋bi，-μ＋δ〈a1≤a≤a2，得到｜｜R（γ；A＋B）｜｜=0.进而得到在Rγ≥a1的右半平面内相应于系统算子A＋B的谱点由有限个本征值组成.

简介：研究具有周期修复函数的机器人与其连带的安全装置构成的系统的可靠性．运用泛函分析的方法，特别是Banach空间上的线性算子半群C0理论，证明了系统的适定性，并通过分析系统本质谱和经过扰动后半群的本质谱半径的变化，给出解的有限展开式。并进一步证明，O是系统的严格占优本征值，系统的非零本征值至多有两个，从而表明系统解以指数形式收敛．

简介：讨论了具有热储备和两个独立相同部件的平行系统在由常规错误引起失效下的渐进稳定性.首先,利用Banach空间的Volttera算子方程得到了非负动态解的存在唯一性;然后,利用强连续线性算子半群理论证明了系统正的动态解的存在唯一性,而由于初始值不在定义域内,故得到的是mild解.但在t＞0时系统古典解存在唯一,所以此时mild解即为古典解.最后,利用线性算子半群稳定性的结果,证明了该动态解在范数意义下收敛到稳态解,进而得到了系统的渐进稳定性.