Apis mellifera capensis蜜蜂失控自复制导致的正常群落破坏

提出对Apis mellifera capensis蜂造成Apis mellifera scutellata蜂群破坏的机制的一种新猜测，并根据logistic模型分别讨论这种猜测和已有的MARTIN猜测所导致的不同性质和规律，对2种猜测进行了比较．加强对社会成员之间信息网络的管理和监督，这也许是更加有效地防止破坏性子群体泛滥的途径．     

232规则元胞自动机的稳定性

研究满足三重局部变换规则——232规则的一维有限元胞自动机分别在固定边界条件和周期边界条件下的稳定性，刻划了该类元胞自动机中不动点的个数及它们的瞬时长度．     

具变时滞细胞神经网络的指数稳定性与正周期解

利用Lyapunov函数研究具变时滞细胞神经网络的指数稳定性，获得新的判据，利用重合度理论得到了该神经网络正周期解存在的充分条件．     

具时滞的细胞神经网络的全局稳定性的新定理

提出了判定具有时滞的细胞神经网络渐近稳定性的一条新定理，可以证明，该定理的结论使得直到目前为止的所有全局渐近稳定性定理或推论均为其特例，并且证明简单，条件判定也较容易实现。     

无壳弹枪自动机动力耦合关系研究

该文通过建立动力学模型对无壳弹枪新型自动机结构的动力耦合关系进行了理论手数值计算，分析和比较数值仿直结果，揭示了自动机，发射运动体和转膛之间的运动相互影响和参数匹配关系及某些参数对３发点射工作性能的影响规律，并讨论了由于参数不匹配而引起的武器工作异常情况及解决途径，为正确设计高频点射武器中此类新型结构提供了动力学理论分析与计算机数值仿真的研究方法。     

细胞自动机的演化与计算理论’

本文介绍一细胞自动机的基础原理，讨论了细胞自动演化位形序列与形式语言的等价性，并给出９０规则与１５０规则的正则语言集，则时还建立了Ｔｕｒｉｎｇ机仿真９０规则的程序并给出相应的状态转移图。     

基于UPPAAL的虚拟生产系统仿真

虚拟生产系统(VPSs)是一种为应对易变的和不确定的制造环境而提出的新型生产资源结构形式.针对VPSs的特点,提出了基于自治与协调机制的控制结构.应用赋时自动机理论以及在UPPAAL的辅助下,对VPSs进行了DEDS的建模.为获得期望的性能(生产流程和时间)和行为特性(避免冲突和死锁),设计了基于启发式调度规则的自治与协调监控器,并进行了系统分析和时间最优调度的计算与仿真,从而构建起兼顾控制和调度问题的VPSs闭环监控系统.     

线性有限自动机零状态的作用

通过零状态研究了线性有限自动机的一些性质,得到了线性有限自动机弱可逆的一些结果,并给出了最小线性子有限自动机的描述,最后给出了算法实现。     

Using of the surface plasmon resonance cytosensor for real-time and non-invasive monitoring of cellular effects in living C6 cells induced by PMA

By cell and molecular biology, the traditional life science research has been improved into modern ex-perimental science. Because cell is the basic structural and functional unit of the mysterious life, the study of life phenomena will be ultimately embodied into the study of cell biology. How to acquire a dynamic knowledge of the intricate biomolecular reactivity and process in living cells has become one of the hotspots in recent biological researches. For the complexity of cellular effects,…     

一种改进的实时系统可达性分析算法

首先简介了时间自动机、时钟区域、区域等价、时钟带的概念.利用时钟带,可以将时间自动机的无穷状态空间转化为有穷.实时系统的绝大多数安全性和部分活性可以通过可达性分析算法来验证.然而,当系统时钟个数较多时,用DBM存储时钟带,会造成内存空间的很大耗费.该文提出了用邻接表存储时钟带,给出了改进的算法,并对算法的空间复杂度作了分析.实验表明,当时钟个数大于5时能节约很大的内存空间,从而在一定程度上缓解了状态爆炸.