Stability and cross-diffusion-driven instability in a diffusive predator–prey system with hunting cooperation functional response

This paper presents a qualitative study of a diffusive predator–prey system with the hunting cooperation functional response. For the system without diffusion, the existence, stability and Hopf bifurcation of the positive equilibrium are explicitly determined. It is shown that the hunting cooperation affects not only the existence of the positive equilibrium but also the stability. For the diffusive system, the stability and cross-diffusion driven Turing instability are investigated according to the relationship of the self-diffusion and the cross-diffusion coefficients. Stability and cross-diffusion instability regions are theoretically determined in the plane of the cross-diffusion coefficients. The technique of multiple time scale is employed to deduce the amplitude equation of Turing bifurcation and then pattern dynamics driven by the cross-diffusion is also investigated by the corresponding amplitude equation.     

不同图灵模作用的几种斑图

采用双层耦合的CIMA模型,研究了不同图灵模相互作用时斑图的选择、形成机制.结果表明:当2个子系统分别处在超临界和次临界分岔点附近时,超临界图灵模和次临界图灵模相互作用产生耦合,得到六边形和超六边斑图;当2个子系统激发的图灵模均为超临界模时,二者之间不发生耦合,每个子系统各自形成简单的条纹斑图;当2个子系统激发的图灵模均为次临界模时,2个模产生相互作用,系统最终选择完全相同的"豆角"斑图.此外,图灵模的分岔类型还改变斑图的空间对称性.     

一类递归函数的符号计算

针对有限状态自动机只能识别正规集合和计算一些相对简单函数的问题，给出了一类递归函数的符号计算方法。该方法把递归函数和图灵机结合起来，通过符号处理可以用接受自变量的图灵机来模拟后继函数的计算过程，对计算机病毒程序及自复制／自传播的研究具有一定的参考价值。     

Horn clause computability

It is proved that a Turing computable functionf is computable in binary Horn clauses, which are a subset of first order logic. Moreover, it is proved that the binary Horn clauses do not need more than one function symbol. The proofs comprise computable relations that can be run efficiently as logic programs on a computer.     

Dynamical study of nutrient-phytoplankton model with toxicity: Effect of diffusion and time delay

A harmful algal bloom is one of the significant concerns of marine biodiversity. The control of such algal bloom is required for the conservation of marine ecology. The proposed work discusses a model for interacting nutrient phytoplankton systems with the effect of toxic chemicals released by phytoplankton and time delay in toxin liberation. Our main aim is to provide a great insight into the impact of toxins and time delay on the dynamics of nutrient-phytoplankton. We investigate the stability of system dynamics, and the condition for the existence of Turing instability is obtained. The role of time delay is also investigated for the proposed system. The numerical simulation shows that toxin release rate, the diffusion coefficient of nutrients, and time delay significantly impact system dynamics. We observe that increasing values of toxin release results in the system dynamics show stable and oscillatory behavior without diffusion. The spatial and spatio-temporal patterns show that the higher value of the rate of toxin release lead to periodic and standing waves. Finally, we observe that the time delay in toxin distribution term stabilizes and destabilizes the system dynamics.     

Turing incomparability in Scott sets

For every Scott set and every nonrecursive set in , there is a such that and are Turing incomparable.

     

具有饱和效应的任意阶自催化反应扩散模型的Turing不稳定性和Hopf分支

利用Hopf分支理论,研究一类具有饱和效应的任意阶自催化反应扩散模型.首先,对常微分系统给出正平衡点的稳定性,且以a为分支参数给出Hopf分支的存在性及稳定性;其次,对扩散系统建立由扩散引起的Turing不稳定性,同时给出Hopf分支的存在性;最后,用数值模拟实例验证理论分析结果的正确性.     

金属胶束催化体系中经Turing分支形成的空间有序结构与催化活性

摘要基于金属胶束催化反应的三元复合物动力学模型, 分析了金属胶束作为一类特殊的超分子体系, 其参与催化反应的特殊动力学行为与体系中可能出现的自组织结构的关系. 研究结果表明, 在一定的边界条件下, 即使基元反应是线性化学反应步骤, 由于扩散步骤与化学反应的耦合, 以及非理想性的组分热力学行为, 也将不可避免地出现经Turing分支形成的浓度场空间自组织. 计算结果表明, 这种宏观有序结构的形成将使金属胶束催化体系中呈现出以存在反应活性极高的位点为特征的反应活性的空间有序分布; 从自组织理论的角度对这类胶束体系催化活性的时空有序特征给予一定程度的阐释.