Questions tagged «ar.hardware-architecture»

1
哥德尔机器的可行性
最近,我偶然发现了一个有趣的理论结构。所谓的 哥德尔机器 这是一个能够自我优化的通用问题解决器。适用于反应性环境。 据我了解,它可以作为通用图灵机的程序来实现,尽管它的要求远远超出了当前可用的硬件。我找不到很多细节。 这样的机器可以在实践中制造吗?它们至少在我们的宇宙中可行吗?


3
可以机械地实施任何程序吗?
是否可以构建一个单一目的的(非图灵完整的)机械实现,例如Microsoft Word?是否可以实现诸如迭代器,一阶函数以及整个编程技术之类的东西?齿轮和其他机械零件能否代表数据结构甚至是程序对象?在某种程度上,这是否有必要建造一台通用的图灵等效机器,或者每个功能,变量等都可以以飞轮和/或齿轮,棘轮的形式拥有自己独特的机械结构,那么您呢?总之,我想知道标准计算机上的任何给定软件是否可以编译为机械蓝图。

1
人们会看布尔电路中的回路嵌套吗?
在EE本科生期间,我参加了一些讲座,就布尔电路有多少个嵌套循环的角度很好地描述了布尔电路。在复杂性方面,布尔电路通常被认为是dags,但在实际硬件周期中却很常见。现在,对关于什么是循环以及什么构成嵌套循环的一些技术进行模运算,声称基本上是为了在硬件中实现自动机需要两个嵌套循环,而为了实现处理器则需要三个嵌套循环。(我可能会与这些计数一一对应。) 两件事困扰着我: 没有什么比正式的证明更合适了。 我没有在其他地方看到这个。 有人调查过这种精确的陈述吗? 在搜寻教授的名字时,我发现了一本关于这种分类法的小网页和一本书(第4章)。 背景知识:如果您想知道为什么循环在实际的硬件中根本没有用,这里是一个简单的示例。循环连接两个逆变器。(逆变器是计算布尔函数NOT的门。)该电路具有两个稳定的平衡点(和一个不稳定的平衡点)。在没有任何外部干预的情况下,电路将仅停留在两种状态之一。但是,可以通过施加外部信号将电路强制为一种特定状态。情况可以这样看:当循环连接到外部信号“我们读取输入”时,否则我们仅“记住我们看到的最后一个值”。因此,一个循环可以帮助我们记住东西。
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.