交互式機(jī)器模型.pdf

1、在博士后研究的兩年期間,作者延續(xù)了博士論文的主題,主要關(guān)注交互式模型的研究。本研究報(bào)告提出了對(duì)應(yīng)于經(jīng)典計(jì)算框架中的圖靈機(jī)模型的交互式框架下的交互式機(jī)器模型,探討了交互式機(jī)器模型的概念及模型性質(zhì)的研究。
　　 在經(jīng)典的計(jì)算理論中,作為機(jī)器模型的圖靈機(jī)被認(rèn)為是計(jì)算理論最重大的貢獻(xiàn)之一,而且伴隨著圖靈機(jī)的定義、Church論題的提出,計(jì)算理論最終走向成熟和完整,成為指導(dǎo)整個(gè)計(jì)算機(jī)學(xué)科的理論基礎(chǔ)。然而,當(dāng)今世界的計(jì)算已不再是簡(jiǎn)單的封閉系

2、統(tǒng)的計(jì)算,我們更多地面向一個(gè)開(kāi)放的互聯(lián)網(wǎng)式的計(jì)算,因而交互式理論框架開(kāi)始引起人們的重視。
　　 本研究針對(duì)交互式理論的研究現(xiàn)狀以及交互式機(jī)器模型的缺乏,旨在尋找對(duì)應(yīng)經(jīng)典計(jì)算理論中圖靈機(jī)或RAM機(jī)的機(jī)器模型,該機(jī)器模型將同時(shí)具備交互和計(jì)算能力,是圖靈機(jī)的擴(kuò)展。我們從確定性與不確定性的角度來(lái)研究該機(jī)器模型的性質(zhì),并研究多臺(tái)機(jī)器組成的機(jī)器網(wǎng)絡(luò)的性質(zhì)。同時(shí),我們用研究表達(dá)能力的方法進(jìn)行了交互式機(jī)器模型與現(xiàn)有交互式模型的比較,更好地統(tǒng)一交