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

简介：通过探究烤盘形状对烤盘边缘热分布的影响,了解到方形烤盘四角容易将食物烤焦的原因,依据题目条件,提出优化模型,设计出最优布朗尼烤盘,并对上述模型进行了灵敏度分析和模型评估。在灵敏度分析中,提出了模型2在W/L和p改变时突变的现象;在模型评估中,分析了各个模型的优缺点,并对模型2提出了引入倒角和一般多边形的建议。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

简介：整体布局是超大规模集成电路设计自动化中的重要一环。简要介绍了整体布局中被广泛采用的方法:解析布局。解析布局由两部分组成:半周线长和密度约束。对两者的模型建立、光滑化、算法设计以及实现的过程进行了描述,最后给出了一个简单的算例作为演示。

简介：针对西安市城墙内区域的特点,结合对覆盖率的要求及选址原则,对如何在城墙内选取公共自行车站点进行研究,并建立相应的数学模型,求解模型得到所选区域内的站点分布。通过考虑车位数量以及人流量等因素,建立相应的线性规划模型,利用数据模拟得到应配备的自行车数量。

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

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