全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
搜索帮助
意见反馈
返回首页
  按相关度排序 | 按时间排序 共搜索到相关记录 8 条,本页显示第 1 - 8 条
 
2通用图灵机病毒模型 任意描述某种封闭计算过程的程序都可以转换为图灵机,而任意图灵机都可以用某种编程语言来实现,因此可将图灵机作为程序的抽象模型;通用图灵机能够模拟任意图灵机的计算,而计算机能够执行任意程序,因此可将通用图灵机作为计算机的抽象模型。
源自: 基于通用图灵机模型的病毒判定性定理证明  《2005年全国理论计算机科学学术年会》2005
20世纪30年代,图灵证明了一个定理,它表明存在着能够模拟任何特定图灵机的通用图灵机
源自: 计算与实在——当代计算主义思潮剖析  《哲学研究》2006年03期
必须指出,我们的通用图灵机虽然有12个带符号,但仅能够模拟具有两个带符号的图灵机
源自: 图灵机:停机问题,0型语言  《计算机工程与应用》1977年Z2期
本世纪30年代初,英国数理逻辑学家图灵在计算机出现之前,他就曾设想过一种虚拟计算机一一(人称)图灵机,分析了计算结构,在科学史上首次提出了智能机的新概念,为模拟人脑进行思维或推理的智能机器作了重要探索。
源自: 领导科学的提出与发展  《中南民族大学学报(人文社会科学版)》1988年01期
注意,j的模无是i、 定理6.4两计数器机器能够模拟任意的 图灵机
源自: 图灵机  《计算机工程与应用》1977年Z2期
他说:1960年,我引进一类铺砖问题,这也可以被看作为图灵机的一个模拟,它十分令人感兴趣,并且已经引起广泛的发展了。
源自: 美籍数理逻辑学家王浩教授在京作学术报告  《哲学研究》1978年Z1期
1引言 就像人们在计算机能否思考,能否具有像人一样的思维问题上所进行的讨论,图灵机能解决的问题是在符号系统中可以形式化表述的问题,如果某任务有一个对应的形式化的数学模型,那么对于目前的计算机来说,它就是可以模拟实现的【l】。
源自: 面向事件动态相关的情感计算模型  《第一届中国情感计算及智能交互学术会议》2003
1996年,lloyd s证明了feynman的猜想,他指出模拟量子系统的演化将成为量子计算机的一个重要用途,量子计算机可以建立在量子图灵机的基础上。
源自: 量子计算的研究与应用  《微计算机信息》2006年27期
 
 
中国经济社会发展统计数据库
中国统计年鉴(资料)及最新经济运行数据收录最齐全、功能最先进的统计数据挖掘分析平台...
http://tongji.cnki.net/


CNKI历史上的今天
搜索人物生平,事件始末,历史脉络...
http://history.cnki.net/


 
 
首页上页下页末页  / 1
相关数字:
 
图补偿费图成交量图覆盖率图登记费图附加费
图长度图经费模拟量图比率更多数字知识 >>
 
CNKI主页 设CNKI数字搜索为主页 | 收藏CNKI数字搜索| 网络统计数据资源导航
  2010 CNKI-中国知网
京ICP证040431号 京ICP证040441号 互联网出版许可证