注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. Petri网综合的行为理论 蒋昌俊

  2. 自Petri 先生开创性的工作之后，网论得到了长足进展，至今已形成了相当规模的研究领域。在理论方面，Petri网模型和分析技术的研究取得了许多有价值的成果，Petri网作为一种全新的自动机被开发出来，研究者对此充满了希望，认为Petri网比下推自动机有用，原因是它不存在图灵机所具有的那些可判定问题。在这期间，MIT出现了许多博士论文都是以Petri网为专题的。于是人们也象发现FSM自动机与普通语言之间的关系一样展开了对Petri网语言的研究，研制出了一些复杂的译码方法，并且定义了一些使其证明较

  3. 所属分类：嵌入式

    • 发布日期：2010-05-08
    • 文件大小：1mb
    • 提供者：basaka11

  1. 逆向编译技术

  2. 第 1 章 反编译导言 编译器的编写技术在计算机界广为人知；而反编译器的编写技术还不这么被人熟悉。本论文说明了一个相当有趣的事实，即反编译器的编写技术乃是基于编译器的编写技术。这一章通过描述一个反编译器的组成和一个二进制程序的反编译环境，简单介绍一下反编译这个主题。 1.1 反编译器 反编译器是这样一个程序，它读入一个机器语言的程序 - 源语言 - 并把它翻译为一个等价的高级语言程序 - 目标语言 (见图1-1)。反编译器或反向编译器，尝试逆向一个编译器的过程：把一个高级语言程序翻译成一个二进

  3. 所属分类：网络攻防

    • 发布日期：2012-03-07
    • 文件大小：800kb
    • 提供者：fei958

  1. 图灵的秘密:他的生平、思想及论文解读

  2. 图灵机是英国数学家阿兰•图灵提出的一种抽象计算模型，本书深入剖析了图灵这篇描述图灵机和可计算性的原始论文《论可计算数及其在判定性问题上的应用》。书中在详解论文的同时，也附带了大量的历史背景资料、图灵的个人经历，以及图灵机对于人们理解计算机、人类意识和宇宙所产生的影响。 本书适合所有计算机科学专业的学生、程序员或其他技术人员，同时也适合欲了解图灵生平及其构建图灵机的思维的读者阅读。

  3. 所属分类：互联网

    • 发布日期：2013-05-30
    • 文件大小：22mb
    • 提供者：hfutjokker

  1. 图灵的秘密:他的生平、思想及论文解读

  2. 一本不错的书,适合刚接触专业的学生阅读,内容比较有趣

  3. 所属分类：讲义

    • 发布日期：2018-10-30
    • 文件大小：58mb
    • 提供者：tran_s

  1. Turing

  2. 图灵于1936年发布的关于如何通过自动机表示可计算实数的论文，篇幅较长，内容较为晦涩，如果您想要了解最开始的计算机思想可以从此开始，本人在第一篇博文对于论文进行了部分的解读，想要深入理解，可以关注我并且与我交流，欢迎

  3. 所属分类：机器学习

  1. On Computable Numbers, with an Application to the Entscheidungsproblem

  2. 图灵提出图灵机的论文103页 ON COMPUTABLE NUMBERS, WITH AN APPLICATION TO THE ENTSCHEIDUNGSPROBLEM《论数字计算在决断难题中的应用》 讲述清晰的经典文章

  3. 所属分类：讲义

    • 发布日期：2018-11-28
    • 文件大小：935kb
    • 提供者：qq_40284427

  1. 图灵经典论文《ON COMPUTABLE NUMBERS, WITH AN APPLICATION TO THE ENTSCHEIDUNGSPROBLEM》

  2. 本文是阿兰图灵的经典代表论文，文中对图灵机概念进行了细致阐述。本文论述的计算机概念为后来人类使用的各种现代计算机的设计提供了重要的思路来源

  3. 所属分类：机器学习

    • 发布日期：2019-01-29
    • 文件大小：2mb
    • 提供者：csgzjs

  1. Keras中文文档.pdf

  2. Keras官方文档PDF版，带书签，一共307页，完整版，目前最好的版本！欢迎下载！model train on batch(x batch, y batch) 只需一行代码就能评估模型性能: loss and metrics modelevaluate(x test, y test, batch size=128) 或者对新的数据生成预测: classes =model predictx test, batch size=128) 构建一个问答系统,一个图像分类模型,一个神经图灵机,或者其他的

  3. 所属分类：深度学习

    • 发布日期：2019-09-03
    • 文件大小：12mb
    • 提供者：dzgybd

  1. 从图灵机、图灵测试到人工智能：什么决定了AI能否取代人类？

  2. 导读：美国电视剧《西部世界》第二季的第一集一经播出就引起热议。一时间，人和人工智能这个话题又重新被辩论。由于程序功能越来越强大，人们开始担心：“人工智能程序会不会全面取代人类？” 人工智能是否会取代人类这个问题，实际上涉及对于认知的无穷边界的考量：图灵机能表达的带有人工智能模型的可计算数（程序）无穷大，人的思考过程也无穷大，哪个无穷大更大？ 作者：冯雷 姚延栋 高小明 杨瑜 如需转载请联系大数据（ID：hzdashuju） ▲美剧《西部世界》第二季剧照 01 图灵机和可计算数 图灵的论文《可

  3. 所属分类：其它

    • 发布日期：2021-01-07
    • 文件大小：582kb
    • 提供者：weixin_38629939

  1. ntm-pytorch:Pytorch中的神经图灵机-源码

  2. 神经图灵机（Pytorch） 论文代码 亚历克斯·格雷夫斯，格雷格·韦恩，伊沃·丹尼赫尔卡 神经图灵机（NTM）包含与外部存储资源耦合的循环网络，可以通过注意力过程与之交互。因此，NTM可以称为记忆增强神经网络。它们是端到端可区分的，因此被假定为能够学习简单的算法。由于在没有增加参数和计算的情况下存在外部存储器，因此它们在学习几种算法任务方面胜过LSTM。 该存储库是神经图灵机的稳定的Pytorch实现，并且包含用于训练，评估和可视化“复制”，“重复复制”，“关联召回”和“优先排序”任务的结果的

  3. 所属分类：其它

  1. 动态无状态计算机：我提出了一种仅基于连接，链接或指针在“逻辑几何”上运行的“动态无状态计算机”，这比在数学二进制位上运行的三个基本布尔逻辑门更简单每个电脑都在那里吗-源码

  2. 动态无状态计算机 我的系统仅使用一个没有数字变量且没有逻辑运算符的命令来执行排列。 这是数字或模拟逻辑。 这是纯粹的联系主义。 请在查看Calculator_simple.cfg和Calculator_complex.cfg之后阅读dynamicstatelesscomputer.pdf。 我们不是数字的，自然界中没有什么是数字的。 牛津大学量子物理学教授安德鲁·史坦（Andrew Steane）在他的有关量子信息系统的论文中写道：“量子计算”，为 ： “ Church-Turing论文的

  3. 所属分类：其它

    • 发布日期：2021-02-16
    • 文件大小：253kb
    • 提供者：weixin_42134537

  1. Animated-visual-toolkit-for-Turing-machines-源码

  2. 旋转机器的动画视觉工具包 大学论文项目：目标是创建一个动画学习应用程序，用于研究，创建和模拟图灵机的执行

  3. 所属分类：其它

    • 发布日期：2021-03-31
    • 文件大小：224kb
    • 提供者：weixin_42109545