图灵等价性

作品数:6被引量:17H指数:2
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:何新贵梁久祯潘理郭观七丁志军更多>>
相关机构:北京系统工程研究所北京航空航天大学湖南理工学院同济大学更多>>
相关期刊:《北京航空航天大学学报》《软件学报》《电子设计工程》《计算机学报》更多>>
相关基金:软件工程国家重点实验室开放基金教育部“新世纪优秀人才支持计划”上海市青年科技启明星计划国家自然科学基金更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-6
视图:
排序:
混合语义时间Petri网模型被引量:11
《软件学报》2011年第6期1199-1209,共11页潘理 丁志军 郭观七 
国家自然科学基金(60803032;60975049);教育部新世纪优秀人才计划(NCET-10-0598);上海市重点基础研究项目基金(09JC1414200);上海市"曙光计划";上海市青年科技启明星计划(09QA1405900);武汉大学软件工程国家重点实验室开放基金项目
提出了时间Petri网的混合语义模型,通过在变迁及其非冲突变迁集的最小上界处设置强制实施点,排除冲突变迁对变迁可实施性的影响,达到既能扩大模型调度范围又可保证任务调度时限性的目的,以解决现有语义模型在调度分析上的缺陷.进一步证...
关键词:时间PETRI网 混合语义 图灵等价性 不可判定性 调度分析 
无重叠生成文法的一义可解析性及图林等价性
《电子设计工程》2009年第3期114-116,共3页张生成 张治国 
为了实现有效的文法解析,定义了一种生成规则受限的短语结构文法,称为无重叠生成文法。证明了该类文法的任何语言句子都可以被无回朔无失败地解析。尽管该类文法的生成规则受到很大的限制,但这种文法的生成能力仍然和图灵机等同。
关键词:短语结构文法 无重叠生成文法 一义可解析性 图灵等价性 
模糊神经元及其计算能力研究被引量:1
《北京航空航天大学学报》2001年第5期589-592,共4页梁久祯 何新贵 
分析了模糊神经元模型 ,指出了这种神经元模型在计算能力上的缺陷 .提出了对模糊神经元定义的两种改进方法 ,一是限制传递函数为非单调函数 ;二是修改定义域 .对改进后的模糊神经元网络证明了计算能力与图灵机的等价性 ,从而对传统的神...
关键词:神经网络 模糊算子  计算能力 图灵等价性 模糊系统 模糊神经元 
模糊极大极小算子神经元网络的图灵等价性
《北京航空航天大学学报》2001年第4期421-424,共4页梁久祯 何新贵 
将模糊Zadeh算子的定义域作了扩充 ,并重新定义为模糊极大极小算子 ,使其满足交换律、结合律和零元律 .在此基础上提出一种模糊极大极小算子型神经元网络模型 ,符合一般模糊算子型神经元网络的定义 .与传统的Zadeh算子型模糊神经网络相...
关键词:模糊算子 神经网络 递归函数 图灵等价性 
Hopfield网的图灵等价性被引量:2
《软件学报》1998年第1期43-46,共4页孟祥武 程虎 
本文给出了用Hopfield网计算部分递归函数的构造性证明.由于部分递归函数与图灵机等价,故Hopfield网与图灵机等价.
关键词:HOPFIELD网 图灵机 神经网络 图灵等价性 
线性阈值单元神经元网络的图灵等价性被引量:5
《计算机学报》1995年第6期438-442,共5页刘晓鸿 戴汝为 
关于神经元网络计算能力,其奠基人即认为神经元网络与图灵机等价.1991年,孙等给出了其与图灵机等价的一个构造性证明,只是他们的网络是完全联结的、二阶权的回归式网络,与一般讲的神经元网络不同.本文则给出了用线性头阈值单...
关键词:线性阈值单元 神经网络 图灵等价性 
检索报告 对象比较 聚类工具 使用帮助 返回顶部