交互可计算性和拓扑方法的研究-计算机系统结构专业论文.docxVIP

巾Ⅲl：}擘硫竹I中扣廿Z～，c『1吖计博竹和拓扑方法的埘究摘要 巾Ⅲl：}擘硫竹I中扣廿Z～，c『1吖计博竹和拓扑方法的埘究 摘要 传统的可计算性理论以图必机为壤础模型。而当代计算却呈现出交互性、正限性、 演化性的特点，从呵超出了图灵机的表达能力；由于交互性是其中最根本的特点．所以 需要建立交互计算模式下的可计算性理论，即交互可计算性理论。 交互，就是系统在计算过程中的输入和输出操作。有交互操作的系统称为交互式系 统。多个交互式系统之问可以利川一定的交互机制组成复合系统。 交互可计算性理论的问题归结为一点，就是研究交互式系统和交互机制的计算能 力。该问题又可以分解为以下四个小『口】题；什么是交互计算的形式模型?什么是交互式 系统和交互机制的能力指标?什么问题是交互可解的，什么不是?怎么评价交互计算的 复杂度? 本文对耵两个问题主要沿用现有的一些成果，而着重于以织女星网格项目为背景对 后两个问题开展研究。主要内容与创新点如下： 1．顺序的II型交互式系统的计算能力。在织女星网格项目的研究中，提出了II型交 互模式，即通过交互不仅可以改变系统的数据部分，还能修改其控制部分(即程序)． II型交互在服务计算、远程协作等方面都有应用价值。基于对RASP模型的交互扩展， 我们建立了顺序的II型交互式系统的理论模型，并证明了它与持续图灵机的等价性。对 交互可计算性理论的贡献在于：确定了顺序的II型交互式系统的计算能力，而相关工作 主要集中于顺序的I型交互式系统的计算能力。 2．交互积的计算能力。为了尽可能简化明格服务和应用的开发以及基础设施的搭 建，我们设计了一种异步的、非交替的、基于共享R／W存储器的交互机制——交互积， 发现了一类等价于有限状态机的机器——广义有隈状态机，证明了任何图灵机可以被三 个广义有限状悫机的交互积模拟。後结论一定程度上分离出了计算的基本元素，有助于 网格计算的低成本和易用性，还有町能导致一种降低对程序员的知识需求的编程模式。 对交互可计算性理论的贡献在于：给出了一种非交替交互机制的计算能力的非平凡下 界，而相关工作主要集中于交替的交互机制及其计算能力． 3．交互复杂度．基于交互积模型，提出了衡量算法问题在服务计算等分布式环境中 求解所需要的交互代价的指标——交互复杂度Ic。Ic表明通过广义有限状态机的交互 积解决一个算法问题需要交互的最少次数。与类似复杂度指标的关键区别是：其它指标 都允许至少一个交互参与者是不可计算的，而Ic要求所有参与者都是广义有限状态机， 所以更适合于机·机交互的场景。论文还证明了Ic至多是算法时『日】复杂度的指数，而算 法时恻复杂度至多是Ic的线性多项式。 此外。在深入剖析交互计算、拓扑学以及代数学的基础上，本文探索了拓扑学和交 互计算的内在联系，并通过研究持续圈灵机和GSML语言初步探索了应用的途径。 关键词：交互；可计算性；复杂度：轧扑：GSML 中周科学院竹I擘忙诊乏—一空且Ⅱ』计算{4=即拓扑方法的研究Research 中周科学院竹I擘忙诊乏—一空且Ⅱ』计算{4=即拓扑方法的研究 Research 09 Interactive Computability and Its Topological Approaches Liu Xingwu(Computer Architecture) 7：Directed By Xu Zhiwei The traditional theory of computability is based on Tl埘ng machines．However, contemporary computing goes beyond the capability of Turing machines because of its properties of interaction,infinity,and evolution,among which interaction is fundamental，SO ^-I‘IlJ it’S necessary to establish interactive computability theory,i．e。a theory of computability dedicated to interactive computing． Interaction is defined to be the input and output operations of a system during its computation,and such a system is called all interactive one．Multiple interactive systems constitute a composed syst