南京大學碩士論文模板

PAGE南京大學碩士論文版權(quán)及論文原創(chuàng)性說明 研究生畢業(yè)論文（申請工程碩士學位）說明：1)請使用該模板，采用插入和替換的方式進行排版。同類格式要素可以采用復制或者格式刷的方式統(tǒng)一。2)本模板對各排版要點使用批注進行了說明，在你的論文排版完成之后，請刪除各項批注。說明：1)請使用該模板，采用插入和替換的方式進行排版。同類格式要素可以采用復制或者格式刷的方式統(tǒng)一。2)本模板對各排版要點使用批注進行了說明，在你的論文排版完成之后，請刪除各項批注。論文題目作者姓名張三工程碩士(軟件工程領域)研究方向指導教師金志權(quán)教授2006年5

學號：MG0432044論文答辯日期：年月日指導教師：（簽字）

基于××××的××××系統(tǒng)的設計與實現(xiàn)作者:張三指導教師:金志權(quán)教授南京大學研究生畢業(yè)論文(申請工程碩士學位)南京大學軟件學院2006年5月

TheDesignandImplementationof××××Basedon××××Zhang,SanSubmittedinpartialfulfillmentoftherequirementsforthedegreeofMasterofEngineeringSupervisedbyProfessorJIN,ZhiquanSoftwareInstituteNANJINGNanjingMay,2006PAGE15摘要摘要前插入分節(jié)符，從摘要開始至目錄頁末尾使用羅馬數(shù)字編排頁碼。摘要前不編排頁碼。摘要前插入分節(jié)符，從摘要開始至目錄頁末尾使用羅馬數(shù)字編排頁碼。摘要前不編排頁碼。機頂盒中間件系統(tǒng)是建立在數(shù)字電視接收設備驅(qū)動層之上，為交互應用提供完整的應用編程接口的軟件平臺。為了實現(xiàn)數(shù)字電視交互式功能的標準化，同時使服務項目(以應用程序的形式通過傳輸信道)下載到用戶終端機頂盒的數(shù)據(jù)量減小到最低限度，中間件平臺的設計非常重要。小四字體，1.5倍行距，小四字體，1.5倍行距，國內(nèi)目前在數(shù)字電視中間件標準的技術(shù)研究方面公開的資料較少，且沒有中國自己的數(shù)字電視中間件標準。在這樣的背景下，本文分析了國際上主流的中間件標準。詳細分析了DVB－MHP標準，包括MHP的概念和架構(gòu)，應用層次，API接口的定義以及各API的功能和MHP采用的安全策略框架。段前距0.5行。段前距0.5行。關鍵詞必須有關鍵詞：數(shù)字電視機頂盒，機頂盒中間件，中間件標準，DVB－MHP必須有關鍵詞

AbstractSet－topBox,aMiddlewareSystem,isfoundedonDriverLayerofDigitalTVReceiverandprovidesacompleteAPIinterfaceformutualapplications.ThedesignofmiddlewareplatformisimportantforthestandardizationofMutualinteractionofDigitalTVandthedataminimizationdownloadingtotheuser－endset－topboxforservicesintheformofapplicationthroughtransmissionchannel.格式：Arial字體，五號，1.5行距。英文摘要要認真檢查語法。格式：Arial字體，五號，1.5行距。英文摘要要認真檢查語法。 Currently,theresearchonDTVmiddlewarestandardinlandislimitedandChinadoesn’thaveitsownDTVmiddlewarestandard.Thispaperanalysesmiddlewarestandardsnowpopularinternationally.ItelaboratesDVB－MHPstandard,includingtheconceptandarchitectureofMHP,itsapplicationlayers,APIfunctionsandthesecuremodel. AccordingtothedevelopmentandpresenttechnologyavailableforDTVinChina,thepaperputsforwardtheSTB－MVplatformbasedontheimprovedmiddlewarestandardafteranalysisofweakpointsofMHPstandard.STB－MWplatformisbasedonJ2MEandiscompatiblewithHTML.ItusesresourcemanagerandsupportsChinesecharacter.Theplatformiscomposedofmiddlewareadaptivelayer,filemanipulationmodule,systemresourcemanagementmodule,SImodule,applicationmanagementmodule,graphicsmanipulationmodule,characterdatabaseenginemodule,CAmodule,AVmodule,debugmodule,JVMandEPGetc.layers.Thepaperanalysesthefunctionsandimplementationprinciplesofeverymoduleandimplementstheresourcemanagementmodule,applicationmanagementmoduleandaccesstoSIdatabaseofSTB－MWplatform.STB－MWplatformcanprovidesfundamentalplatformsupportfortheinter－platformservicesofmanufacturersofDTV.ThemodulardesignmakestheSTB－MVplatformindependentofOSandhardware,andgoodportabilityandexpansibility..Keywords對照必須有英文keywords：DigitalTVSet－topBox,Set－topBoxMiddleware,MiddlewareStandard,DVB－MHP.對照必須有英文keywords

目錄目錄自動生成，參照此模板，使用插入替換法法寫好正文之后，可以選中目錄區(qū)域，右鍵菜單更新域，即可獲得新的目錄。檢查新目錄，消除自動生成目錄中不正確的行。目錄自動生成，參照此模板，使用插入替換法法寫好正文之后，可以選中目錄區(qū)域，右鍵菜單更新域，即可獲得新的目錄。檢查新目錄，消除自動生成目錄中不正確的行。摘要 IAbstract II目錄 III圖目錄 V表目錄 2第一章引言 11.1數(shù)字電視系統(tǒng) 11.2中間件的概念 21.3中間件系統(tǒng)的主要模塊和功能 21.3.1機頂盒驅(qū)動層及CA接口(STBDriverLayer) 21.3.2核心系統(tǒng)模塊(CoreSystemModules) 21.4本文的工作 2第二章數(shù)字電視中間件標準 42.1國際相關標準 42.2DVB－MHP 4第三章基于J2ME的機頂盒中間件平臺（STB－MW） 53.1DVB－MHP標準分析 53.1.1 MHP的Java平臺 53.1.2 DVB－HTML標準 53.4小結(jié) 5第四章實現(xiàn) 64.1資源管理模塊 64.1.1 客戶端資源 64.1.2 接收端資源 64.1.3 資源管理器和監(jiān)控程序 64.2SI模塊 74.2.1 SI庫的訪問 74.2.2 緩存模塊的實現(xiàn) 74.3應用管理器 74.3.1 JVM應用的狀態(tài)機 74.3.2 多應用支持 8第五章總結(jié)和展望 95.1論文小結(jié) 95.2工作展望 9參考文獻 10致謝 13附錄 14參與項目 15版權(quán)及論文原創(chuàng)性說明 16

圖目錄TOC\fF\h\z\t"圖"\c圖1.1數(shù)字電視系統(tǒng)主要構(gòu)成 1圖4.1ResourceContentionManager定義 6南京大學碩士論文第二章數(shù)字電視中間件標準

表目錄TOC\fF\h\z\t"圖"\c表4.1Java應用執(zhí)行序列 8TOC\fF\h\z\t"圖"\c南京大學碩士論文第一章引言第一章引言格式為：標題1+黑體，二號字體。每章一級標題的標題格式類似。第一章之前從從中文摘要到目錄頁，使用羅馬數(shù)字編排頁碼，從第一章往后使用阿拉伯數(shù)字編排頁碼。在第一章標題另起一頁，插入分節(jié)符和分頁符。菜單操作：插入分隔符格式為：標題1+黑體，二號字體。每章一級標題的標題格式類似。第一章之前從從中文摘要到目錄頁，使用羅馬數(shù)字編排頁碼，從第一章往后使用阿拉伯數(shù)字編排頁碼。在第一章標題另起一頁，插入分節(jié)符和分頁符。菜單操作：插入分隔符對話框中選擇下面的“分節(jié)符類型”-“下一頁”。每一章都使用了分節(jié)符，在插入頁眉的時候必須區(qū)分不同章的頁眉不一樣。頁眉的格式：左側(cè)為“南京大學碩士論文”，右側(cè)為“本章章序號與標題”1.1數(shù)字電視系統(tǒng)數(shù)字電視被稱作繼黑白電視和彩色電視之后的第三代電視，是電視技術(shù)發(fā)展史上的一個重大進步。數(shù)字電視是數(shù)字技術(shù)、微電子技術(shù)、網(wǎng)絡技術(shù)和軟件技術(shù)等高新技術(shù)的綜合應用，在信息化社會中占有重要的地位。數(shù)字電視系統(tǒng)[陳熙霖等，2001]的構(gòu)成如圖1.1所示，視、音頻信號經(jīng)編碼器編碼后與數(shù)據(jù)廣播信號及條件接收系統(tǒng)產(chǎn)生的信息一起送入復用器，再經(jīng)過調(diào)制器調(diào)制后進入傳輸通道。在用戶接收端，數(shù)字機頂盒[姜秀華等,2003]完成解調(diào)、解復用和解碼的工作，利用本機存儲的應用和可下載的應用程序，實現(xiàn)了機頂盒的各種功能。數(shù)字機頂盒理論上可以支持所有的廣播和交互式多媒體應用。隨著數(shù)字電視收費業(yè)務推廣和互動電視的成熟，條件接收系統(tǒng)技術(shù)和數(shù)字機頂盒中間件技術(shù)的研究和開發(fā)就得到了越來越多的重視。圖1.1說明：給插圖編號，x表示該圖所在章號，y表示該圖在該章中出現(xiàn)序號。除界面圖以外的插圖,原則上不得使用截屏方式。插圖的幅面如果超過A4頁面豎排的寬度,將插圖向左旋轉(zhuǎn)90度。每幅圖必須有圖序號與圖名，并且圖序號位于圖的下方。且在正文必須有關于每幅圖的文字描述，即必須有類似“如圖x.y所示說明：給插圖編號，x表示該圖所在章號，y表示該圖在該章中出現(xiàn)序號。除界面圖以外的插圖,原則上不得使用截屏方式。插圖的幅面如果超過A4頁面豎排的寬度,將插圖向左旋轉(zhuǎn)90度。每幅圖必須有圖序號與圖名，并且圖序號位于圖的下方。且在正文必須有關于每幅圖的文字描述，即必須有類似“如圖x.y所示”的文字。圖居中對齊，圖名與圖序號居中對齊。在遇到圖的篇幅過大的情況時，需要縮小圖的篇幅或者調(diào)整圖與上下文的位置，使得版面緊湊，以免在頁面的下方留下太大篇幅的空白。隨著數(shù)字電視技術(shù)的發(fā)展，開放式業(yè)務系統(tǒng)成為數(shù)字電視發(fā)展的主流，互動電視是數(shù)字電視技術(shù)發(fā)展引發(fā)的一場革命，是數(shù)字電視發(fā)展的產(chǎn)業(yè)方向，而其核心技術(shù)之一就是中間件技術(shù)。1.2中間件的概念1.3中間件系統(tǒng)的主要模塊和功能二級標題格式：黑體三號，1.73行距，段前段后各13磅行距。二級標題格式：黑體三號，1.73行距，段前段后各13磅行距。中間件系統(tǒng)一般包含下列模塊[廖洪濤,2003]注意正確使用參考文獻的標法，格式為：[作者名，年份]，如果同一作者同一年份有多篇文獻，請在年份后加a、b字母后綴區(qū)分。例如，[張三，2002a]，[張三2002b]。注意正確使用參考文獻的標法，格式為：[作者名，年份]，如果同一作者同一年份有多篇文獻，請在年份后加a、b字母后綴區(qū)分。例如，[張三，2002a]，[張三2002b]1.3.1機頂盒驅(qū)動層及CA接口(STBDriverLayer)二級標題格式：1）黑體三號，1.73行距，段前段后各13磅行距。2）最多三級標題，不可以使用四級標題。3）不要有孤立的三級標題，例如：如果沒有1.3.2二級標題格式：1）黑體三號，1.73行距，段前段后各13磅行距。2）最多三級標題，不可以使用四級標題。3）不要有孤立的三級標題，例如：如果沒有1.3.2，就不要出現(xiàn)1.3.1此層的功能由系統(tǒng)移植接口定義，提供MPEG－2表格數(shù)據(jù)提取、條件接收和智能卡控制、信道參數(shù)設定、音／視頻流控制、Modem管理、Flash存儲管理以及其他功能。1.3.2核心系統(tǒng)模塊(CoreSystemModules)核心管理模塊由一系列模塊組成，包括內(nèi)存管理、線程調(diào)控、事件管理、安全性控制、數(shù)據(jù)下載管理及網(wǎng)絡協(xié)議管理（TCP／IP、PPP、HTTP）等。在核心模塊中，典型的有圖像與多媒體處理模塊以及SI引擎模塊。圖像與多媒體模塊(Graphics＆AVsystem)為了排版效果清晰，可以使用項目符。為了排版效果清晰，可以使用項目符。圖像與多媒體模塊與下層平臺接口，提供高級函數(shù)用于繪圖、多視窗管理以及音／視頻控制等。SI引擎(ServiceInformationEngine)SI模塊用于管理服務信息（SI）數(shù)據(jù)庫，負責提取事件信息表（EventInformationTable，EIT）、節(jié)目映射表（ProgramMapTable，PMT）等常用SI表格數(shù)據(jù)，并且具有監(jiān)察功能?？商峁╊l道搜尋時已儲存的數(shù)據(jù)，如頻道名稱等。1.4本文的工作國內(nèi)目前在數(shù)字電視中間件標準的技術(shù)研究方面公開的資料很少，且沒有中國自己的數(shù)字電視中間件標準。本文正是在這樣的背景下，首先分析了國際上主流的中間件標準?！疚牡慕M織結(jié)構(gòu)如下：第一章引言部分，對數(shù)字電視系統(tǒng)，數(shù)字電視中間件以及中間件系統(tǒng)的主要模塊和功能做了一個簡單的介紹。第二章分析了國際上主流的中間件標準，深入分析了DVB－MHP標準。第三章分析了DVB－MHP標準的弱點，并且提出了解決方案，依據(jù)改進的中間件標準設計了STB－MW平臺，并對平臺的各組成模塊進行了功能和實現(xiàn)原理的分析。第四章 對STB－MW平臺的資源管理模塊，應用管理模塊以及SI庫的訪問做了更進一步的實現(xiàn)。第五章對論文期間所做工作進行了總結(jié)，分析了下一步的工作，對數(shù)字電視機頂盒中間件未來作了一個展望。簡述各章的內(nèi)容梗概。簡述各章的內(nèi)容梗概。南京大學碩士論文第二章數(shù)字電視中間件標準

第二章數(shù)字電視中間件標準同之前的一級標題。同之前的一級標題。2.1國際相關標準同之前的二級標題。同之前的二級標題。正文部分：小四字體，1.5倍行距。2.2DVB－MHP下面的篇幅省略，作者根據(jù)自己的論文采用與上文類似的方式排版。南京大學碩士論文第三章基于J2ME的機頂盒中間件平臺（STB－MW）

第三章基于J2ME的機頂盒中間件平臺（STB－MW）3.1DVB－MHP標準分析3.1.1 MHP的Java平臺3.1.2 DVB－HTML標準下面的篇幅省略，作者根據(jù)自己的論文采用與上文類似的方式排版。………….3.4小結(jié)南京大學碩士論文第四章實現(xiàn)

第四章實現(xiàn)4.1資源管理模塊4.1.1 客戶端資源 4.1.2 接收端資源4.1.3 資源管理器和監(jiān)控程序監(jiān)控程序通過ResourceContentionManager類完成ResourceContentionHandle，ResourceContentionManager定義如下：publicclassResourceContentionManager{publicstaticResourceContentionManagergetInstance();publicvoidsetResourceContentionHandler(ResourceContentionHandlerhandler)throwsSecurityException;publicvoidsetResourceFilter(org.DVB.application.AppsDatabaseFilterfilter,Java.lang.StringresourceProxy)throwsSecurityException;}圖4.1ResourceContentionManager定義代碼行格式：菜單：表格插入代碼行格式：菜單：表格插入表格，使用1行*1列的表格框，將代碼行貼入表格中，段落行距單倍，字體五號。代碼行的表格下方必須標注圖名與圖序號。代碼行原則上不宜過長，不宜超出一頁，如果過長，可以省略其中的部分代碼行，可以使用注釋，可以使用偽代碼等。4.2SI模塊4.2.1 SI庫的訪問4.2.2 緩存模塊的實現(xiàn)4.3應用管理器 應用分為兩種：Java應用和HTML應用。Java應用是用Java語言實現(xiàn)的過程性應用；HTML應用是文檔類內(nèi)容的集合，文檔內(nèi)容由標記語言書寫。接收機中間件系統(tǒng)中包含的應用程序管理器，負責啟動應用程序，管理所有應用程序的生命周期，包括彼此之間的相互操作，便于各種應用程序能夠協(xié)調(diào)地執(zhí)行。 應用以數(shù)據(jù)廣播的形式傳送到接收端，其運行狀態(tài)由廣播信令和用戶干預兩方面決定，但實施均通過應用程序管理器來完成。4.3.1 JVM應用的狀態(tài)機 就緒狀態(tài)：JVM被加載并開始初始化（采用init方法初始化），每個Java應用必須實現(xiàn)統(tǒng)一的接口。如果init方法并未產(chǎn)生任何異常，成功返回，則進入就緒狀態(tài)。如果init拋出了某種異常，應用應該進入刪除狀態(tài)并被丟棄。 運行狀態(tài)：JVM正在正常運行和提供服務。在就緒狀態(tài)和等待狀態(tài)，應用管理器調(diào)用方法start使應用程序進入運行狀態(tài)。等待狀態(tài)：當資源得不到或者其他因素的影響，本來在運行中的應用會進入等候狀態(tài)，其本身占有的資源會臨時釋放出去。運行中的應用程序通過調(diào)用wait程序進入等待，并通過start重新進入運行。刪除狀態(tài)：應用釋放掉所有資源，然后終止退出?？蓪е聭酶淖儬顟B(tài)的各種因素包括：●應用程序管理器使用API去通知應用改變狀態(tài)；●許多因素促使應用管理器改變，比如： 通過用戶界面，用戶選擇了一個新的應用?！駪米陨頉Q定改變狀態(tài)：應用使用應用上下文對象（Context）通知或者請求應用管理器改變自己的狀態(tài)。 ●一個應用通過調(diào)用特定API來改變另一個應用的狀態(tài)。 典型的Java應用執(zhí)行的序列如表4.1所示：表4.1Java應用執(zhí)行序列應用管理器Java應用應用管理器創(chuàng)建的新的應用實例應用缺省構(gòu)造器（無任何參數(shù)）被調(diào)用應用管理器為Java應用的運行創(chuàng)建必要的上下文對象，同時初始化應用。Java應用使用上下文對象去初始化自身，使處于就緒狀態(tài)當應用管理器判斷出合適的時機時，即通知應用進入運行狀態(tài)，并使應用提供服務Java應用獲得任何它所需的資源，開始運行服務應用管理器不再需要Java應用提供服務時，通知它終止運行Java應用停止運行它的業(yè)務，同時可能會選擇釋放掉當前占用的某些資源應用管理器認為Java應用已不在需要，或需要為擁有更高權(quán)限的應用騰出資源，將Java應用標記為候選刪除Java應用保存狀態(tài)或用戶選擇，并做清理工作每張表都要有表名和表序，表序為表x.y，x表示該表位于第x章，y表示該表是第x章的第y張表。且位于表的上方。表中的段落設置1.25倍行距。4.3.2 多應用支持每張表都要有表名和表序，表序為表x.y，x表示該表位于第x章，y表示該表是第x章的第y張表。且位于表的上方。表中的段落設置1.25倍行距。 STB－MW平臺允許同時運行多個Java應用。 允許多個Java應用同步運行意味著這些Java應用共享STB－MW平臺的資源，特別是它們共享輸入焦點和輸出焦點。南京大學碩士論文第五章總結(jié)和展望

第五章總結(jié)和展望5.1論文小結(jié)正文部分：小四字體，1.5倍行距。5.2工作展望南京大學碩士論文參考文獻

參考文獻一級標題，插入分節(jié)符、分頁符。參考文獻中的每一篇文獻在正文必須出現(xiàn)標引。一級標題，插入分節(jié)符、分頁符。參考文獻中的每一篇文獻在正文必須出現(xiàn)標引。[陳煥經(jīng)等,2003] 陳煥經(jīng)，王振強，數(shù)字電視中間件綜述，中國有線電視，2003，(11)：15-17。文獻格式：文獻的索引采用格式[作者名，年份]。菜單：格式段落文獻格式：文獻的索引采用格式[作者名，年份]。菜單：格式段落縮進與行間距特殊格式選擇“首行縮進”—10字符。參考文獻的段落采用1.5行距，小四字體。期刊文獻樣例[鄭志航,2001] 鄭志航，數(shù)字電視原理與應用，北京：中國廣播電視出版社，2001.書或者教材文獻樣例。更詳細的各種參考文獻格式要求，請參考“碩士學位論文編寫格式規(guī)定書或者教材文獻樣例。更詳細的各種參考文獻格式要求，請參考“碩士學位論文編寫格式規(guī)定”[張三,2002a] 張三，文章名稱1，期刊名1，期刊期號1，2002(年份)。[張三,2002b] 張三，文章名稱2，期刊名2，期刊期號2，2002(年份)。如果同一作者同一年份有多篇文獻，請在年份后加a、b字母后綴區(qū)分。例如，[張三，2002a如果同一作者同一年份有多篇文獻，請在年份后加a、b字母后綴區(qū)分。例如，[張三，2002a]，[張三2002b]參考文獻的前置標識采用作者加年份的方式,中文文獻與英文文獻分開排序,中文文獻按照作者名的拼音字母順序排列,英文文獻按照作者名的字母順序排列,中文文獻排在英文文獻的前面,正文中引用文獻時需寫出文獻的前置標識。參考文獻的段落設置采用首行縮進10字符。第1類、專著著錄格式(含教材，專著，標準等)主要責任者，其他責任者，書名(斜體)，版本，出版地：出版者，出版年例：[徐家福等,1992]徐家福，王志堅，翟成祥，對象式程序設計語言，南京：南京大學出版社，1992。[孫鐘秀等,2003]孫鐘秀，費翔林，駱斌，謝立，操作系統(tǒng)教程，第3版，北京：高等教育出版社，2003。例:[Clarkeetal.,1991]E.M.Clarke,O.Grumberg,andD.A.Peled,ModelChecking,Cambridge:MITPress,2001.[IEEE,1991]IEEE,IEEEStandard829-1991:StandardforSoftwareTestDocumentation.NewYork:IEEEPress,1991.說明:英文文獻作者名的寫法：Firstname采用首字母縮寫,LastName使用全拼，放置在Firstname后面，多個作者之間使用逗號格開，最后兩個作者名之間使用and鏈接,書名使用斜體。第2類、期刊中析出的文獻著錄格式(JournalsorMagazines)析出文獻責任者，析出文獻其他責任者，析出題名，刊名，年份，卷號，期號，頁碼。例：[任豐原,2003]任豐原,黃海寧,林闖，無線傳感器網(wǎng)絡，軟件學報,2003,14(7):1282-1291。[Hoare,1969]C.A.R.Hoare,Anaxiomaticbasisforcomputerprogramming,CommunicationofACM,1969,12(10):576–583.說明:期刊名使用斜體。第3類、會議論文集的單篇文獻中析出的文獻著錄格式(Proceedings)析出文獻責任者，析出文獻其他責任者，析出題名，會議論文集名稱，頁碼，出版者，年份。例：[彭龍根,2006]彭龍根，吳志兵，陳忠平，基于分布式中間件的傳感器網(wǎng)絡軟件體系結(jié)構(gòu)研究，2006年全國軟件與應用學術(shù)會議(NASAC’2006)，計算機工程與科學，2006，28(z2):6-8.[Jagadeesan,1997]L.J.Jagadeesan,A.A.Porter,C.Puchol,J.C.Ramming,andL.G.Votta,Specification-basedtestingofreactivesoftware:Toolsandexperiments,InProceedingsofInternationalConferenceonSoftwareEngineering(ICSE’1997),pages525–535,1997.[Owre,1996]S.Owre,S.Rajan,J.Rushby,N.Shankar,andM.Srivas,PVS:Combiningspecification,proofchecking,andmodelchecking,InProceedingsofComputer-AidedVerification,CAV’96,volume1102ofLNCS,pages411-414,Berlin:Springer-Verlag,1996.說明:會議論文集名稱使用斜體。第4類、技術(shù)報告中析出的文獻著錄格式(TechnicalReports)析出文獻責任者，析出文獻其他責任者，析出題名，大學院系或者研究機構(gòu)名稱,技術(shù)報告編號,年份。例：[呂建等,2003]呂建，陶先平，馬曉星等，基于Agent的多模式軟件協(xié)同技術(shù)研究，技術(shù)報告，南京大學計算機軟件研究所，2003。[Milneretal.,1986]R.Milner,J.ParrowandD.Walker，ACalculusofMobileProcesses，LaboratoryforFoundationsofComputerSciences(Part1&2),Uni