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

简介：八年级上册第一章学习《勾股定理》，勾股定理有一个重要应用就是求解立体图形中两点之间的最短路径。解立体图形上两点间最短路径问题的步骤：1．将立体图形中与两点相关的面展开，转化为平面几何图形；2．根据“平面上两点之间，线段最短”确定最短路线；3．以最短路线为边构造直角三角形，利用勾股定理来解决．长方体表面的最短路径问题的解法与此相同．下面举例说明如何快速求解长方体表面的最短路径问题．

简介：本文研究的是由记忆热方程和Euler-Bernoulli梁方程构成的传输系统,其中热方程作为梁方程的控制器.通过频域上的能量乘子法,我们建立了耦合系统的指数稳定性.

简介：利用形式渐进分析,我们从三维线性动态方程组得到二维膜壳和弯壳的方程组.

简介：研究了一类星形弹性网络系统在热效应影响以及边界反馈作用下的稳定性问题及系统相应（广义）特征向量的Riesz基性质．基于Green和Naghdi第二类热弹性理论，假设在该热弹性系统中热以有限波速传播，并且在传播过程中无能量耗散．证明了该热弹性网络系统能量渐近衰减到零．并进一步通过系统算子谱分析，讨论得出该系统算子的（广义）特征向量构成状态空间的一组Riesz基．

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