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

简介：膜计算的研究旨在借鉴细胞、组织,以及人类大脑存储与处理信息的方式,构造高性能生物计算模型,统称为膜系统。膜系统具有分布式结构,并行计算的运行方式,以及扩展性强与容错性高的特点,为生物系统建模从生物计算角度提供了全新的工具。主要介绍代谢膜系统、随机膜系统和多重环境的概率膜系统的概念,概述了这3类膜系统在生物系统建模中的应用及其相应的仿真软件。

简介：研究了一种Gnedenko系统,即由3个串联部件,一个温储备部件及一个修理工组成的系统,其中修理工可以单重休假.运用C0半群的理论,证明了系统算子是稠定的预解正算子,得出了系统算子的共轭算子及其定义域,并证明了系统算子的增长界为0.最后运用了预解正算子中共尾的概念及相关理论,证明了系统算子的谱上界也是0.

简介：研究了由两个同型部件、一个转换开关和一个修理工组成的电站单元机组辅助设备的冷贮备系统.通过选取空间及定义算子,将模型方程转化成了Banach空间中的抽象Cauchy问题.通过分析系统主算子的谱分布,求出主算子的谱上界.利用预解正算子及共尾理论,证明了主算子的谱上界和增长界相等.

简介：首先介绍了2013年高教社杯全国大学生数学建模竞赛D题'公共自行车系统'的命题背景、立意和解题思路;然后说明了评阅要点,评述了获奖优秀论文概况,并且对国家级获奖论文的评阅中存在的不足进行了分析;最后对各省赛区的数学建模竞赛导师的培训提出了一些建议。

简介：若（X，Y）服从二元Marshall-Olkin型指数分布，则X，Y相互独立与不相关是等价的．

简介：参与式教学是全体师生共同建立民主、和谐、热烈的教学氛围，让不同层次的学生都拥有同等参与和发展机会的一种教学方式．它以学习者为中心，充分应用灵活多样、直观形象的教学手段，鼓励学习者积极参与教学过程，以加强教学者和学习者之间以及学习者与学习者之间的信息交流和反馈，使学习者能深刻领会和掌握所学知识，并能灵活运用所学知识解决实际问题．

简介：极限论是微积分中基础和重要的概念.数列极限的迫敛性定理既能判断数列的收敛性,也给出其极限值。通过对数列极限迫敛性定理的条件加以改进,得到了它的推论,并用一个例子说明了该推论的应用。

简介：本文考虑具有张量积结构线性系统的数值解法．该线性系统常常来源于高维立方体上线性偏微分方程的有限差分离散化．利用张量一矩阵乘法，给出了基于张量格式的求解这类线性系统的共轭梯度法．与求解标准线性系统的共轭梯度法比较，新的算法能够节约大量的计算量及存储空间．

简介：主要研究了φ^~混合序列的大数定律和完全收敛性，获得了与独立情形一样的大数定律和完全收敛定理．

简介：讨论了具有时滞和反馈控制的离散Leslie概周期捕食与被捕食系统.利用差分不等式和通过构造适当的Lyapunov函数,得到了系统持久性和全局吸引的充分条件.利用泛函概周期的壳理论,得到了系统存在唯一全局吸引概周期解的充分条件.

简介：我们推导出两类四角系统的Wiener数和Hyper—Wiener数的计算公式．

简介：针对评委聘请问题建立了综合评估模型,得出了各位评委的打分能力的评价分数,分析了评委淘汰的各种原因。就打分机制的公平性评价问题,定义了公平偏移度,建立概率统计模型,量化给出了几种打分机制的公平性的评价结果。

简介：讨论数学期望的两种定义，运用积分转换定理，证明了两种定义的等价性．

简介：本文给出算子迹的三个不等式,利用柯西推理方法证明其等价性,且推广了一些文献的结果.

简介：利用广义鞍点定理研究非自治二阶系统周期解的存在性.在具有部分周期位势和次线性增长非线性项时,给出了多重周期解存在的充分条件,所得结论推广了已知结果.

简介：利用临界点理论研究带阻尼项的二阶Hamilton系统周期解的存在性．在具有部分周期位势和线性增长非线性项时，根据广义鞍点定理定理，得到了系统多重周期解存在的充分条件．

简介：当下，如何让学生学会学习，提高教学效果是每位教师都认真研究的课题．在新课程标准中也提出“以学生的终身发展为本”的理念，可见让学生学会学习是十分重要的，因为学生是学习的主人，教师的教不能代替学生的学，应把学习的主动权交给学生．本文就数学教学中如何培养和发展学生学习的主动性谈几点看．

简介：在锥序Banach空间中引入了集值映射ε-严有效意义下的广义梯度.在连通性条件下,利用凸集分离定理证明了该广义梯度的存在性.作为应用,给出了用广义梯度刻画集值优化问题ε-严有效解的充分和必要条件.

简介：研究了线性等式约束下线性模型中BLu估计关于协方差的稳健性，得到了在协方差发生变化时，条件可估函数c’β的条件BLU估计具有稳健性的充要条件．