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

简介：本文利用侯振挺等提出的马尔可夫骨架过程理论讨论了串一并联系统的可靠性．

简介：讨论具有非线性耗散项P系统的Caucby问题．在一些较为合理的假设下．证明了其光滑解的整体存在性及其解的奇性形成．

简介：系统的不确定和外部干扰是控制理论的主要敌手。最近二十年出现了一个新的对付不确定的控制方法称为自抗扰控制。本文旨在介绍一本这方面的新书：ActiveDisturbanceRejectionControlforNonlinearSystems：AnIntroduction,及其相关的背景。该书是一本自抗扰控制数学理论著作。为了引出本书的主要内容,我们扼要介绍了几种其他的对付系统不确定的控制方法,包括鲁棒H∞-控制、滑模控制、自适应控制以及内模原理,说明自抗扰控制的主要思想和与这些方法的异同之处。特别是指出了自适应控制、内模原理的估计和消除策略及其在自抗扰控制中的大规模应用。

简介：珠算是一个独立的计算技术系统张镜珠珠算是一个独立的计算技术系统。它既有别于笔算计算系统，更与电子计算机的计算系统大相径庭。但是，不论是哪种计算系统，都必须解决数学中数的表达方式和数的运算这两个最基本的问题。珠算之所以自成计算技术系统，就是因为它以自己...

简介：利用Logistic映射和一个超混沌系统产生一个复杂的混沌时间序列,对图像进行置乱操作,重新排列图像的各像素,再进行两轮扩散操作,得到一个新的基于Logistic映射和超混沌系统的图像加密方案,并进行仿真实验和性能测试。实验证明,该加密方案有较好的密码学特性,能够对抗统计分析攻击、差分攻击等。

简介：用多目标规划方法研究相互屏蔽的M\D＼2排队系统，得到关于系统优化的若干定理及其规划模型，在给定参数条件下得到了模型的数值解．

简介：本文用李雅普诺夫函数法和Brouwer不动点定理究研某些高维非线性周期系统的周期解问题,得到了一些存在唯一稳定周期解的充分条件。

简介：利用渐近方法和对角化技巧研究了伴有边界摄动的高维非线性系统边值问题的奇摄动，在适当的假设下，证得摄动问题解的存在并导出其解关于ε的高阶近似。

简介：本文利用重合度理理论中的延拓定理，得到了类食物链条系统正周期解存在的充分条件。

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

简介：在机动车保险中，仅仅基于索赔次数的奖惩系统对那些有着小索赔的保单持有人不公平。在本文，我们考虑索赔额的大小及责任归属，建立一个基于索赔额与应负责任的奖惩系统。

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

简介：本文讨论随机动态线性经济系统：Ｙｔ＝ＡＹ＿（ｔ－１）＋ｂ十μ＿ｔ在矩阵Ａ为一般情形下的稳定性问题。并给出该系统稳定的充要条件。

简介：本文主要在原有的G／G／1排队系统的模型中，引入“成批”到达的概念，引入一次到达人数的随机变量ξ，讨论忙期闲期有关的情况．并通过对模型的讨论解决了带有选择的排队过程的分布情况．

简介：本质上,分子系统生物学就是要研究分子水平上的各种层次网络,并整合这些网络信息为系统信息。广泛使用的化学主方程为研究生物分子网络提供了一个建模框架,但应用起来具有局限性;传统的矩封闭方法可以简化生物分子网络的研究,但并没有解决反应物种的联合概率分布的重构问题。本文简单介绍了生物分子网络的数学建模与分析,特别地,对生化反应系统提出二项矩的分析方法,它与传统方法相比具有许多优势,如能够降低计算复杂度、方便联合概率分布的重构,甚至可用于非线性行为的线性逼近等。

简介：本文用Laplace变换法把RDDE振动的充要条件推广到广义情形。

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

简介：本文给出了判定强非零线系统有正解的一系列结果。

简介：本文讨论形如d/dt(x(t)+D(t)x(t-k)=f(t,x(t),x(t-h),u(t))的非线性中立型控制系统函数能控性，给出该类系统的函数能控性和零函数能控性的判定定理，所得结果在实际系统的设计、分析等方面是非常实用的。