公共文化服务平台

搜索到9篇“ 图灵等价性“的相关文章

模糊极大极小算子神经元网络的图灵等价性被引量：1: 2001年; 将模糊Zadeh算子的定义域作了扩充 ,并重新定义为模糊极大极小算子 ,使其满足交换律、结合律和零元律 .在此基础上提出一种模糊极大极小算子型神经元网络模型 ,符合一般模糊算子型神经元网络的定义 .与传统的Zadeh算子型模糊神经网络相比具有较强的映射能力 .详细证明了用该模糊极大极小算子神经元网络可以计算与图灵机等价的部分递归函数 ,从而表明模糊极大极小算子神经元网络的计算能力等价于图灵机 .将传统神经元M; 梁久祯何新贵; 关键词：模糊算子神经网络递归函数图灵等价性

Hopfield网的图灵等价性被引量：4: 1998年; 本文给出了用Ｈｏｐｆｉｅｌｄ网计算部分递归函数的构造性证明．由于部分递归函数与图灵机等价，故Ｈｏｐｆｉｅｌｄ网与图灵机等价．; 孟祥武程虎; 关键词：HOPFIELD网图灵机神经网络图灵等价性

线性阈值单元神经元网络的图灵等价性被引量：7: 1995年; 关于神经元网络计算能力，其奠基人即认为神经元网络与图灵机等价．１９９１年，孙等给出了其与图灵机等价的一个构造性证明，只是他们的网络是完全联结的、二阶权的回归式网络，与一般讲的神经元网络不同．本文则给出了用线性头阈值单元构成的神经元网络去计算部分递归函数的构造性证明，由于部分递归函数与图灵机等价，从而这样的神经元网络与图灵机等价．; 刘晓鸿戴汝为; 关键词：神经网络图灵等价性

混合语义时间Petri网模型被引量：11: 2011年; 提出了时间Petri网的混合语义模型,通过在变迁及其非冲突变迁集的最小上界处设置强制实施点,排除冲突变迁对变迁可实施性的影响,达到既能扩大模型调度范围又可保证任务调度时限性的目的,以解决现有语义模型在调度分析上的缺陷.进一步证明了混合语义模型的图灵等价性及标识可达性问题的不可判定性,然后界定了3种语义模型的时间语言接受能力.最后提出了状态类分析方法,用于模型的可调度性分析和时间计算,并以一个柔性制造系统为例,比较和验证了3种语义模型的调度分析能力.; 潘理丁志军郭观七; 关键词：时间PETRI网图灵等价性不可判定性调度分析

无重叠生成文法的一义可解析性及图林等价性: 2009年; 为了实现有效的文法解析,定义了一种生成规则受限的短语结构文法,称为无重叠生成文法。证明了该类文法的任何语言句子都可以被无回朔无失败地解析。尽管该类文法的生成规则受到很大的限制,但这种文法的生成能力仍然和图灵机等同。; 张生成张治国; 关键词：短语结构文法图灵等价性

基于重写规则P系统的程序设计研究: 生物计算在当今计算机科学研究领域蓬勃发展，倍受关注。很多生物计算模型已经开始被应用于实际生活中，解决一些实际问题。比如DNA计算，神经网络等。这些从生物结构或概念中抽象出来的计算模型具有广泛而深刻的表达能力，并且它们相对...; 黄春毅; 关键词：程序设计图灵等价性; 文献传递

模糊神经元及其计算能力研究被引量：5: 2001年; 分析了模糊神经元模型 ,指出了这种神经元模型在计算能力上的缺陷 .提出了对模糊神经元定义的两种改进方法 ,一是限制传递函数为非单调函数 ;二是修改定义域 .对改进后的模糊神经元网络证明了计算能力与图灵机的等价性 ,从而对传统的神经网络作了进一步推广 .; 梁久祯何新贵; 关键词：神经网络模糊算子图灵等价性模糊系统模糊神经元

四元图灵机与五元图灵机的等价性: 图灵机是图灵(A.Turing)于1936年提出的一种数学模型,它很好地描述了计算过程。本文给出了两种常见图灵机的等价性的证明,并给出两个例子验证了这种等价性。; 王强; 关键词：等价; 文献传递

模糊图灵机的逼近性与通用性被引量：7: 2008年; 模糊图灵机是模糊算法或模糊计算的形式模型.文中研究了模糊图灵机的几种变形,这包括基于max-★复合运算的非确定型模糊图灵机(简写为NFTM★,其中★为t-模),非确定型模糊图灵机(简写为NFTM),确定型模糊图灵机(简写为DFTM),以及这些变形的多带版本.得到了以下一些结论:第1,若t-模★不满足有限生成条件,则NFTM★,NFTM和DFTM一般不等价,这里等价指的是识别相同的模糊语言.但在逼近意义下等价,也即,NFTM★可以被NFTM以任意精度逼近,并给出了相关的构造.引入了模糊递归可枚举语言与模糊递归语言的概念,并利用递归可枚举语言与递归语言对其进行层次刻画.第2,如果限制NFTM★的模糊隶属函数的取值域为单位区间[0,1]的一个固定的有限子集D,则存在通用模糊图灵机,用该通用模糊图灵机可以模拟上述类型的限制型模糊图灵机.一般地,通用模糊图灵机在逼近意义下存在,该通用模糊图灵机可以以给定精度模拟任意类型的模糊图灵机.; 李永明; 关键词：模糊算法

相关作者