A minimal pair joining to a plus cupping Turing degree

A computably enumerable (c.e.) degree a is called nonbounding, if it bounds no minimal pair, and plus cupping, if every nonzero c.e. degree x below a is cuppable. Let NB and PC be the sets of all nonbounding and plus cupping c.e. degrees, respectively. Both NB and PC are well understood, but it has not been possible so far to distinguish between the two classes. In the present paper, we investigate the relationship between the classes NB and PC , and show that there exists a minimal pair which join to a plus cupping degree, so that PC ? NB . This gives a first known difference between NB and PC . (© 2003 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

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

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

修正的Leslie-Gower捕食者-食饵扩散模型解的整体性态

讨论带有一般扩散的修正的Leslie-Gower捕食者-食饵模型解的整体性态。发现仅带有一般扩散的系统与相应的常微分系统解的动力学行为相似。所以，一般扩散不能导致Turing不稳定现象发生。     

Bifurcation analysis of a diffusive predator–prey system with a herd behavior and quadratic mortality

In this paper, a diffusive predator–prey system, in which the prey species exhibits herd behavior and the predator species with quadratic mortality, has been studied. The stability of positive constant equilibrium, Hopf bifurcations, and diffusion‐driven Turing instability are investigated under the Neumann boundary condition. The explicit condition for the occurrence of the diffusion‐driven Turing instability is derived, which is determined by the relationship of the diffusion rates of two species. The formulas determining the direction and the stability of Hopf bifurcations depending on the parameters of the system are derived. Finally, numerical simulations are carried out to verify and extend the theoretical results and show the existence of spatially homogeneous periodic solutions and nonconstant steady states. Copyright © 2014 John Wiley & Sons, Ltd.     

Modeling and analysis of a marine plankton system with nutrient recycling and diffusion

This article describes a nutrient‐phytoplankton‐zooplankton system with nutrient recycling in the presence of toxicity. We have studied the dynamical behavior of the system with delayed nutrient recycling in the first part of the article. Uniform persistent of the system is examined. In the second part of the article, we have incorporated diffusion of the plankton population to the system and dynamical behavior of the system is analyzed with instantaneous nutrient recycling. The condition of the diffusion driven instability is obtained. The conditions for the occurrence of Hopf and Turing bifurcation critical line in a spatial domain are derived. Variation of the system with small periodicity of diffusive coefficient has been studied. Stability condition of the plankton system subject to the periodic diffusion coefficient of the zooplankton is derived. It is observed that nutrient‐phytoplankton‐zooplankton interactions are very complex and situation specific. Moreover, we have obtained different exciting results, ranging from stable situation to cyclic oscillatory behavior may occur under different favorable conditions, which may give some insights for predictive management. © 2014 Wiley Periodicals, Inc. Complexity 21: 229–241, 2015     

Non-Uniformity and Generalised Sacks Splitting

We show that there do not exist computable functions f ₁(e, i), f ₂(e, i), g ₁(e, i), g ₂(e, i) such that for all e, i ∈ ω, (1) $ {\left( {W_{{f_{1} {\left( {e,i} \right)}}} - W_{{f_{2} {\left( {e,i} \right)}}} } \right)} \leqslant _{{\rm T}} {\left( {W_{e} - W_{i} } \right)}; $ (2) $ {\left( {W_{{g_{1} {\left( {e,i} \right)}}} - W_{{g_{2} {\left( {e,i} \right)}}} } \right)} \leqslant _{{\rm T}} {\left( {W_{e} - W_{i} } \right)}; $ (3) $ {\left( {W_{e} - W_{i} } \right)} \not\leqslant _{{\rm T}} {\left( {W_{{f_{1} {\left( {e,i} \right)}}} - W_{{f_{2} {\left( {e,i} \right)}}} } \right)} \oplus {\left( {W_{{g_{1} {\left( {e,i} \right)}}} - W_{{g_{2} {\left( {e,i} \right)}}} } \right)}; $ (4) $ {\left( {W_{e} - W_{i} } \right)} \not\leqslant _{{\rm T}} {\left( {W_{{f_{1} {\left( {e,i} \right)}}} - W_{{f_{2} {\left( {e,i} \right)}}} } \right)}{\text{unless}}{\left( {W_{e} - W_{i} } \right)} \leqslant _{{\rm T}} {\emptyset};{\text{and}} $ (5) $ {\left( {W_{e} - W_{i} } \right)} \leqslant _{{\rm T}} {\left( {W_{{g_{1} {\left( {e,i} \right)}}} - W_{{g_{2} {\left( {e,i} \right)}}} } \right)}{\text{unless}}{\left( {W_{e} - W_{i} } \right)} \leqslant _{{\rm T}} {\emptyset}. $ It follows that the splitting theorems of Sacks and Cooper cannot be combined uniformly.     

Quantum Principles and Mathematical Computability

Taking the view that computation is after all physical, we argue that physics, particularly quantum physics, could help extend the notion of computability. Here, we list the important and unique features of quantum mechanics and then outline a quantum mechanical “algorithm” for one of the insoluble problems of mathematics, the Hilbert's tenth and equivalently the Turing halting problem. The key element of this algorithm is the computability and measurability of both the values of physical observables and of the quantum-mechanical probability distributions for these values.     

Infimum Properties Differ in the Weak Truth-table Degrees and the Turing Degrees

Abstract We prove that there are non-recursive r.e. sets A and C with A < _T C such that for every set . Both authors are supported by “863” and the National Science Foundation of China