摘要：選取了環(huán)境演算作為移動計(jì)算形式理論基礎(chǔ)，研究移動計(jì)算中資源發(fā)現(xiàn)場景下的環(huán)境演算描述方法。完成了環(huán)境演算中對資源及參與實(shí)體的標(biāo)識，建立了能顯式表達(dá)通信各方及通訊內(nèi)容的通信模型，對環(huán)境演算在表述能力上進(jìn)行了擴(kuò)充，得到了能夠描述資源發(fā)現(xiàn)的動態(tài)過程的演算模型。給出了新演算和原有演算在描述同一過程的比較，并給出了資源發(fā)現(xiàn)過程的描述范例。

關(guān)鍵字：移動計(jì)算；資源發(fā)現(xiàn)；環(huán)境演算；通信機(jī)制

“注：本文中所涉及到的圖表、注解、公式等內(nèi)容請以PDF格式閱讀原文”。