在博士后研究的两年期间,作者延续了博士论文的主题,主要关注交互式模型的研究。本研究报告提出了对应于经典计算框架中的图灵机模型的交互式框架下的交互式机器模型,探讨了交互式机器模型的概念及模型性质的研究。　　 在经典的计算理论中,作为机器模型的图灵机被认为是计算理论最重大的贡献之一,而且伴随着图灵机的定义、Church论题的提出,计算理论最终走向成熟和完整,成为指导整个计算机学科的理论基础。然而,当今世界的计算已不再是简单的封闭系统的计算,我们更多地面向一个开放的互联网式的计算,因而交互式理论框架开始引起人们的重视。　　 本研究针对交互式理论的研究现状以及交互式机器模型的缺乏,旨在寻找对应经典计算理论中图灵机或RAM机的机器模型,该机器模型将同时具备交互和计算能力,是图灵机的扩展。我们从确定性与不确定性的角度来研究该机器模型的性质,并研究多台机器组成的机器网络的性质。同时,我们用研究表达能力的方法进行了交互式机器模型与现有交互式模型的比较,更好地统一交互式理论框架下的模型。　　 不论是从经典计算理论发展的经验出发,还是从目前交互式模型的现状来看,机器模型都是交互理论形成的基础,是统一交互式模型工作的重中之重。