搜索结果: 31-39 共查到“知识库 数理逻辑与数学基础其他学科”相关记录39条 . 查询时间(2.078 秒)
Growth and Decay in Life-Like Cellular Automata
Life-Like Cellular Automata semi-totalistic cellular automata
2010/4/7
We propose a four-way classification of two-dimensional semi-totalistic cellular automata that is different than Wolfram's, based on two questions with yes-or-no answers: do there exist patterns that ...
Yang-Baxter Maps from the Discrete BKP Equation
Yang-Baxter Maps Discrete BKP Equation piecewise-linear
2010/4/7
We construct rational and piecewise-linear Yang-Baxter maps for a general N-reduction of the discrete BKP equation.
Gardner's deformations of the N=2 supersymmetric a=4-KdV equation
Gardner's deformation N=2 supersymmetric a=4-KdV equation
2010/4/7
We prove that P.Mathieu's Open problem on constructing Gardner's deformation for the N=2 supersymmetric a=4-Korteweg-de Vries equation has no supersymmetry invariant solutions, whenever it is assumed ...
二值命题逻辑中有限理论的α-结论
有限理论 真度 有效度 α-结论
2009/4/28
以公式真度概念为基础,给出了二值命题逻辑系统中有限理论的α-结论的判定条件,讨论了在基本逻辑运算下理论的α-结论问题以及同一理论的结论的相似度。
本文以公式真度概念为基础,给出了二值命题逻辑系统中公式由理论逻辑推出的有效度概念及计算方法,讨论了在基本逻辑运算下理论的有效结论问题以及同一理论的结论的相似问题。
扩散过程在仿真中的应用研究
扩散过程 偏移系数 参数估计 仿真
2008/6/19
有许多实际系统都可以归结为扩散过程。如何对扩散过程进行仿真,是一个需要研究的问题。本文利用扩散过程的马尔可夫性、转移概率密度和小概率事件在一次试验中不可能发生的统计推断原理,提出了一种似然函数和对扩散过程的判别、参数估计、模型检验和仿真算法,它对提高仿真的可信度和实时性都具有一定的意义。这种方法和思想对不通历的平稳与非平稳马尔可夫过程的参数估计、模型检验也具有一定的意义。
有限可补格上的格值逻辑的特征
强特征公式 正则逻辑系统 紧致性
2008/4/28
本文给出了有限可补格上的格值逻辑的特征,即如果${\mathscr L}$是一个强于${\mathscr L}_{1}$ 的正则逻辑系统并且${\mathscr L}$有紧致性和LS性质,则${\mathscr L}\sim{\mathscr L}_{1}$.
Valiant has proposed a new theory of algorithmic computation based on perfect matchings and Pfaffians. We study the properties of matchgates—the basic building blocks in this new theory. We give a set...