A new type of localized oscillatory pattern is presented in a two-layer coupled reaction-diffusion system under conditions in which no Hopf instability can be discerned in either layer.The transitions from stationary ...A new type of localized oscillatory pattern is presented in a two-layer coupled reaction-diffusion system under conditions in which no Hopf instability can be discerned in either layer.The transitions from stationary patterns to asynchronous and synchronous oscillatory patterns are obtained.A novel method based on decomposing coupled systems into two associated subsystems has been proposed to elucidate the mechanism of formation of oscillating patterns.Linear stability analysis of the associated subsystems reveals that the Turing pattern in one layer induces the other layer locally,undergoes a supercritical Hopf bifurcation and gives rise to localized oscillations.It is found that the sizes and positions of oscillations are determined by the spatial distribution of the Turing patterns.When the size is large,localized traveling waves such as spirals and targets emerge.These results may be useful for deeper understanding of pattern formation in complex systems,particularly multilayered systems.展开更多
In this paper, we study a modified Leslie-Gower predator-prey model with Smith growth subject to homogeneous Neumann boundary condition, in which the functional response is the Crowley-Martin functional response term....In this paper, we study a modified Leslie-Gower predator-prey model with Smith growth subject to homogeneous Neumann boundary condition, in which the functional response is the Crowley-Martin functional response term. Firstly, for ODE model, the local stability of equilibrium point is given. And by using bifurcation theory and selecting suitable bifurcation parameters, we find many kinds of bifurcation phenomena, including Transcritical bifurcation and Hopf bifurcation. For the reaction-diffusion model, we find that Turing instability occurs. Besides, it is proved that Hopf bifurcation exists in the model. Finally, numerical simulations are presented to verify and illustrate the theoretical results.展开更多
本文研究了一类具有Michaelis-Menten饱和函数的趋化模型,以趋化性系数为参数,分析了系统在齐次Neumann边界条件下的Turing分岔行为。首先通过对系统在正平衡点处的特征方程进行讨论,得到了正平衡点的稳定性和Turing分岔的存在性。其次...本文研究了一类具有Michaelis-Menten饱和函数的趋化模型,以趋化性系数为参数,分析了系统在齐次Neumann边界条件下的Turing分岔行为。首先通过对系统在正平衡点处的特征方程进行讨论,得到了正平衡点的稳定性和Turing分岔的存在性。其次利用中心流形和正则形式理论,得到了Turing分岔的稳定性和分岔方向。最后,通过数值模拟验证了理论分析结果。In this paper, we investigate a chemotaxis models with Michaelis-Menten saturation functions subject to the homogeneous Neumann boundary condition. And discussed the Turing bifurcation by choosing the chemotaxis coefficient as the bifurcation parameter. The stability of the positive equilibrium and the existence of Turing bifurcation are obtained by the analysis of the corresponding characteristic equation. Moreover, we derive the stability and direction of the Turing bifurcation by using center manifold and normal form theory. Some numerical simulations are also carried out to illustrate the theoretical results.展开更多
A previous paper showed that the real numbers between 0 and 1 could be represented by an infinite tree structure, called the ‘infinity tree’, which contains only a countably infinite number of nodes and arcs. This p...A previous paper showed that the real numbers between 0 and 1 could be represented by an infinite tree structure, called the ‘infinity tree’, which contains only a countably infinite number of nodes and arcs. This paper discusses how a finite-state Turing machine could, in a countably infinite number of state transitions, write all the infinite paths in the infinity tree to a countably infinite tape. Hence it is argued that the real numbers in the interval [0, 1] are countably infinite in a non-Cantorian theory of infinity based on Turing machines using countably infinite space and time. In this theory, Cantor’s Continuum Hypothesis can also be proved. And in this theory, it follows that the power set of the natural numbers P(ℕ) is countably infinite, which contradicts the claim of Cantor’s Theorem for the natural numbers. However, this paper does not claim there is an error in Cantor’s arguments that [0, 1] is uncountably infinite. Rather, this paper considers the situation as a paradox, resulting from different choices about how to represent and count the continuum of real numbers.展开更多
A scheme that can realize homomorphic Turing- equivalent privacy-preserving computations is proposed, where the encoding of the Turing machine is independent of its inputs and running time. Several extended private in...A scheme that can realize homomorphic Turing- equivalent privacy-preserving computations is proposed, where the encoding of the Turing machine is independent of its inputs and running time. Several extended private information retrieval protocols based on fully homomorphic encryption are designed, so that the reading and writing of the tape of the Turing machine, as well as the evaluation of the transition function of the Turing machine, can be performed by the permitted Boolean circuits of fully homomorphic encryption schemes. This scheme overwhelms the Turing-machine-to- circuit conversion approach, which also implements the Turing-equivalent computation. The encoding of a Turing- machine-to-circuit conversion approach is dependent on both the input data and the worst-case runtime. The proposed scheme efficiently provides the confidentiality of both program and data of the delegator in the delegator-worker model of outsourced computation against semi-honest workers.展开更多
In this paper, superlattice patterns have been investigated by using a two linearly coupled Brusselator model. It is found that superlattice patterns can only be induced in the sub-system with the short wavelength. Th...In this paper, superlattice patterns have been investigated by using a two linearly coupled Brusselator model. It is found that superlattice patterns can only be induced in the sub-system with the short wavelength. Three different coupling methods have been used in order to investigate the mode interaction between the two Turing modes. It is proved in the simulations that interaction between activators in the two sub-systems leads to spontaneous formation of black eye pattern and/or white eye patterns while interaction between inhibitors leads to spontaneous formation of super-hexagonal pattern. It is also demonstrated that the same symmetries of the two modes and suitable wavelength ratio of the two modes should also be satisfied to form superlattice patterns.展开更多
The controllable transition between Turing and antispiral patterns is studied by using a time-delayed-feedback strategy in a FitzHugh-Nagumo model. We treat the time delay as a perturbation and analyse the effect of t...The controllable transition between Turing and antispiral patterns is studied by using a time-delayed-feedback strategy in a FitzHugh-Nagumo model. We treat the time delay as a perturbation and analyse the effect of the time delay on the Turing and Hopf instabilities near the Turing Hopf codimension-two phase space. Numerical simulations show that the transition between the Turing patterns （hexagon, stripe, and honeycomb）, the dual-mode antispiral, and the antispiral by applying appropriate feedback parameters. The dual-mode antispiral pattern originates from the competition between the Turing and Hopf instabilities. Our results have shown the flexibility of the time delay on controlling the pattern formations near the Turing-Hopf codimension-two phase space.展开更多
Data sparseness has been an inherited issue of statistical language models and smoothing method is usually used to resolve the zero count problems. In this paper, we studied empirically and analyzed the well-known smo...Data sparseness has been an inherited issue of statistical language models and smoothing method is usually used to resolve the zero count problems. In this paper, we studied empirically and analyzed the well-known smoothing methods of Good-Turing and advanced Good-Turing for language models on large sizes Chinese corpus. In the paper, ten models are generated sequentially on various size of corpus, from 30 M to 300 M Chinese words of CGW corpus. In our experiments, the smoothing methods;Good-Turing and Advanced Good-Turing smoothing are evaluated on inside testing and outside testing. Based on experiments results, we analyzed further the trends of perplexity of smoothing methods, which are useful for employing the effective smoothing methods to alleviate the issue of data sparseness on various sizes of language models. Finally, some helpful observations are described in detail.展开更多
基金Project supported by the National Natural Science Foundation of China(Grant Nos.12275065,12275064,12475203)the Natural Science Foundation of Hebei Province(Grant Nos.A2021201010 and A2024201020)+3 种基金Interdisciplinary Research Program of Natural Science of Hebei University(Grant No.DXK202108)Hebei Provincial Central Government Guiding Local Science and Technology Development Funds(Grant No.236Z1501G)Scientific Research and Innovation Team Foundation of Hebei University(Grant No.IT2023B03)the Excellent Youth Research Innovation Team of Hebei University(Grant No.QNTD202402)。
文摘A new type of localized oscillatory pattern is presented in a two-layer coupled reaction-diffusion system under conditions in which no Hopf instability can be discerned in either layer.The transitions from stationary patterns to asynchronous and synchronous oscillatory patterns are obtained.A novel method based on decomposing coupled systems into two associated subsystems has been proposed to elucidate the mechanism of formation of oscillating patterns.Linear stability analysis of the associated subsystems reveals that the Turing pattern in one layer induces the other layer locally,undergoes a supercritical Hopf bifurcation and gives rise to localized oscillations.It is found that the sizes and positions of oscillations are determined by the spatial distribution of the Turing patterns.When the size is large,localized traveling waves such as spirals and targets emerge.These results may be useful for deeper understanding of pattern formation in complex systems,particularly multilayered systems.
文摘In this paper, we study a modified Leslie-Gower predator-prey model with Smith growth subject to homogeneous Neumann boundary condition, in which the functional response is the Crowley-Martin functional response term. Firstly, for ODE model, the local stability of equilibrium point is given. And by using bifurcation theory and selecting suitable bifurcation parameters, we find many kinds of bifurcation phenomena, including Transcritical bifurcation and Hopf bifurcation. For the reaction-diffusion model, we find that Turing instability occurs. Besides, it is proved that Hopf bifurcation exists in the model. Finally, numerical simulations are presented to verify and illustrate the theoretical results.
文摘本文研究了一类具有Michaelis-Menten饱和函数的趋化模型,以趋化性系数为参数,分析了系统在齐次Neumann边界条件下的Turing分岔行为。首先通过对系统在正平衡点处的特征方程进行讨论,得到了正平衡点的稳定性和Turing分岔的存在性。其次利用中心流形和正则形式理论,得到了Turing分岔的稳定性和分岔方向。最后,通过数值模拟验证了理论分析结果。In this paper, we investigate a chemotaxis models with Michaelis-Menten saturation functions subject to the homogeneous Neumann boundary condition. And discussed the Turing bifurcation by choosing the chemotaxis coefficient as the bifurcation parameter. The stability of the positive equilibrium and the existence of Turing bifurcation are obtained by the analysis of the corresponding characteristic equation. Moreover, we derive the stability and direction of the Turing bifurcation by using center manifold and normal form theory. Some numerical simulations are also carried out to illustrate the theoretical results.
文摘A previous paper showed that the real numbers between 0 and 1 could be represented by an infinite tree structure, called the ‘infinity tree’, which contains only a countably infinite number of nodes and arcs. This paper discusses how a finite-state Turing machine could, in a countably infinite number of state transitions, write all the infinite paths in the infinity tree to a countably infinite tape. Hence it is argued that the real numbers in the interval [0, 1] are countably infinite in a non-Cantorian theory of infinity based on Turing machines using countably infinite space and time. In this theory, Cantor’s Continuum Hypothesis can also be proved. And in this theory, it follows that the power set of the natural numbers P(ℕ) is countably infinite, which contradicts the claim of Cantor’s Theorem for the natural numbers. However, this paper does not claim there is an error in Cantor’s arguments that [0, 1] is uncountably infinite. Rather, this paper considers the situation as a paradox, resulting from different choices about how to represent and count the continuum of real numbers.
基金The National Basic Research Program of China(973Program)(No.2013CB338003)
文摘A scheme that can realize homomorphic Turing- equivalent privacy-preserving computations is proposed, where the encoding of the Turing machine is independent of its inputs and running time. Several extended private information retrieval protocols based on fully homomorphic encryption are designed, so that the reading and writing of the tape of the Turing machine, as well as the evaluation of the transition function of the Turing machine, can be performed by the permitted Boolean circuits of fully homomorphic encryption schemes. This scheme overwhelms the Turing-machine-to- circuit conversion approach, which also implements the Turing-equivalent computation. The encoding of a Turing- machine-to-circuit conversion approach is dependent on both the input data and the worst-case runtime. The proposed scheme efficiently provides the confidentiality of both program and data of the delegator in the delegator-worker model of outsourced computation against semi-honest workers.
基金Supported by the National Natural Science Foundation of China under Grant Nos. 10975043, 10947166 and 10775037the Foundation of Bureau of Education, Hebei Province, China under Grant No. 2009108the Natural Science Foundation of Hebei Province, China under Grant No. A2008000564)
文摘In this paper, superlattice patterns have been investigated by using a two linearly coupled Brusselator model. It is found that superlattice patterns can only be induced in the sub-system with the short wavelength. Three different coupling methods have been used in order to investigate the mode interaction between the two Turing modes. It is proved in the simulations that interaction between activators in the two sub-systems leads to spontaneous formation of black eye pattern and/or white eye patterns while interaction between inhibitors leads to spontaneous formation of super-hexagonal pattern. It is also demonstrated that the same symmetries of the two modes and suitable wavelength ratio of the two modes should also be satisfied to form superlattice patterns.
基金Project supported by the National Natural Science Foundation of China (Grant Nos. 10975043 and 10947166)the Natural Science Foundation of Hebei Province,China (Grant Nos. A2011201006 and A2010000185)the Science Foundation of Hebei University
文摘The controllable transition between Turing and antispiral patterns is studied by using a time-delayed-feedback strategy in a FitzHugh-Nagumo model. We treat the time delay as a perturbation and analyse the effect of the time delay on the Turing and Hopf instabilities near the Turing Hopf codimension-two phase space. Numerical simulations show that the transition between the Turing patterns （hexagon, stripe, and honeycomb）, the dual-mode antispiral, and the antispiral by applying appropriate feedback parameters. The dual-mode antispiral pattern originates from the competition between the Turing and Hopf instabilities. Our results have shown the flexibility of the time delay on controlling the pattern formations near the Turing-Hopf codimension-two phase space.
文摘Data sparseness has been an inherited issue of statistical language models and smoothing method is usually used to resolve the zero count problems. In this paper, we studied empirically and analyzed the well-known smoothing methods of Good-Turing and advanced Good-Turing for language models on large sizes Chinese corpus. In the paper, ten models are generated sequentially on various size of corpus, from 30 M to 300 M Chinese words of CGW corpus. In our experiments, the smoothing methods;Good-Turing and Advanced Good-Turing smoothing are evaluated on inside testing and outside testing. Based on experiments results, we analyzed further the trends of perplexity of smoothing methods, which are useful for employing the effective smoothing methods to alleviate the issue of data sparseness on various sizes of language models. Finally, some helpful observations are described in detail.
