简介：研究发汗冷却控制系统中气动加热热流密度的参数辨识问题．证明了该参数辨识的存在及唯一性，给出了参数辨识所满足的充分必要条件，最后，根据得到的充分必要条件，尝试直接构造极小化序列，进而给出该系统参数辨识的算法．
简介：膜计算的研究旨在借鉴细胞、组织,以及人类大脑存储与处理信息的方式,构造高性能生物计算模型,统称为膜系统。膜系统具有分布式结构,并行计算的运行方式,以及扩展性强与容错性高的特点,为生物系统建模从生物计算角度提供了全新的工具。主要介绍代谢膜系统、随机膜系统和多重环境的概率膜系统的概念,概述了这3类膜系统在生物系统建模中的应用及其相应的仿真软件。
简介：利用形式渐进分析,我们从三维线性动态方程组得到二维膜壳和弯壳的方程组.
发汗冷却控制系统的参数辨识问题
基于膜计算的生物系统建模方法
二维线性弹性动态膜壳和弯壳的形式渐进展开
