Stochastic Simulation of Turing Patterns

We investigate the effects of intrinsic noise on Turing pattern formation near the onset of bifurcation from the homogeneous state to Turing pattern in the reaction-diffusion Brusselator. By performing stochastic simulations of the master equation and using Gillespie＇s algorithm, we check the spatiotemporal behaviour influenced by internal noises. We demonstrate that the patterns of occurrence frequency for the reaction and diffusion pro- cesses are also spatially ordered and temporally stable. Turing patterns are found to be robust against intrinsic fluctuations. Sfochastic simulations also reveal that under the influence of intrinsic noises, the onset of Turing instability is advanced in comparison to that predicted deterministically.     

Max-Lukasiewicz复合推理下的模糊图灵机

研究max-Lukasiewicz复合推理下的模糊图灵机.形式化定义了模糊图灵机--确定型模糊图灵机、非确定型模糊图灵机、带部分转移函数的非确定型模糊图灵机和多带模糊图灵机,研究了这几类模糊图灵机的关系.进而定义模糊图灵机上的模糊递归可枚举语言和模糊递归语言.得出结论:当接受模糊递归可枚举语言时 ,非确定型模糊图灵机和确定型模糊图灵机不等价;而接受模糊递归语言时,它们等价.     

蕴含G?del定理抽象形式的集合论引理

本文证明了—个集合论性质的引理,由它可直接得出G?del不完全性定理的抽象形式. 文中还述及该引理的有关诸推论.     

图灵机计算实数函数的稳定性

定义在全体实数上的可计算函数是一个很重要的概念．在这以前定义可计算的实数函数有两个途径．第一个途径是首先要定义可计算实数的指标．想要确定实数函数y=f（x）是不是可以计算就要看是否存在一个自然数的（部分）递归函数将可计算实数x的指标对应到可计算实数y的指标．这样一来对实数函数的研究依赖于对自然数函数的研究．第二个定义可计算的实数函数的途径是以逼近为基础的．一个实数函数是可以计算的如果它既是序列可计算的同时也是一致连续的．用这个途径来定义可计算实数函数使用的条件过强以至于很多有用的实数函数成为不可计算的实数函数．例如“〈”和“=”的命题函数就是不可以计算的因为它们是不连续的命题函数．本文讨论了图灵机的稳定性并且给出了一个基于稳定图灵机的可计算实数函数的定义．我们的定义不需要用到自然数的（部分）递归函数．根据我们的定义很多常用实数函数特别是一些不连续的常用实数函数都是可以计算的．用我们的定义来讨论可计算实数函数的性质比原来的定义要方便得多．     

量子信息讲座第一讲 量子计算机

量子力学和计算机理论，这两个看起来互不相关的领域，其结合却产生了一门富于成效的学科：量子计算机．文章介绍了量子计算机的基本概念和历史背景，它相对于经典计算机的优越性，它的构造和实验方案，以及实现量子计算的困难及其克服途径，最后展望了量子计算机的发展前景     

道可道，非常道——从准晶体到自我意识的硬难题

 两年前,当我听到2011 年诺贝尔化学奖的消息,晚上浮想联翩,竟至失眠。脑子里涌现出一大串看似关联,又非关联的故事：准晶体、王浩瓷砖、彭罗斯地板、图灵机、哥德尔定理、意识的硬难题……次日是周五,教课开会虽然很累,但还是迫不及待地漏夜写出。今天翻出草稿,整理一下细细讲来与大家分享。     

蕴含Gdel定理抽象形式的集合论引理(英文)

本文证明了—个集合论性质的引理,由它可直接得出Godel不完全性定理的抽象形式. 文中还述及该引理的有关诸推论.     

八集科技文化片：永远的珠算——纪念周恩来总理“不要把算盘丢掉”重要指示发表三十周年

1972年10月14日下午 北京 人民大会堂 周恩来总理接见美籍华裔科学家、诺贝尔物理奖获得者李政道博士。 李博士告诉总理:“我们中国的祖先,很早就创造了最好的计算机就是到现在还在使用的算盘!”睿智的周总理马上指示“要告诉下边不要把算盘丢掉”!     

蕴含G(o)del定理抽象形式的集合论引理

本文证明了一个集合论性质的引理,由它可直接得出G(o)del不完全性定理的抽象形式.文中还述及该引理的有关诸推论.