南京大學(xué)碩士論文模板.doc

《南京大學(xué)碩士論文模板.doc》由會(huì)員分享，可在線(xiàn)閱讀，更多相關(guān)《南京大學(xué)碩士論文模板.doc（26頁(yè)珍藏版）》請(qǐng)?jiān)谘b配圖網(wǎng)上搜索。

研 究 生 畢 業(yè) 論 文 （申請(qǐng)工程碩士學(xué)位）說(shuō)明： 1) 請(qǐng)使用該模板，采用插入和替換的方式進(jìn)行排版。同類(lèi)格式要素可以采用復(fù)制或者格式刷的方式統(tǒng)一。 2) 本模板對(duì)各排版要點(diǎn)使用批注進(jìn)行了說(shuō)明，在你的論文排版完成之后，請(qǐng)刪除各項(xiàng)批注。 論文題目 基于的系統(tǒng) 設(shè)計(jì)與實(shí)現(xiàn) 作者姓名 張 三 學(xué)科、專(zhuān)業(yè)名稱(chēng) 工程碩士(軟件工程領(lǐng)域) 研究方向 軟件工程 指導(dǎo)教師 金志權(quán)　教授 2006年 5 月 19 日  學(xué) 號(hào)： MG0432044 論文答辯日期： 年 月 日 指 導(dǎo) 教 師： （簽字）  基于的系統(tǒng)的 設(shè)計(jì)與實(shí)現(xiàn) 作 者: 張三 指導(dǎo)教師: 金志權(quán)　教授 南京大學(xué)研究生畢業(yè)論文 (申請(qǐng)工程碩士學(xué)位) 南京大學(xué)軟件學(xué)院 2006年5月 The Design and Implementation of Based on Zhang, San Submitted in partial fulfillment of the requirements for the degree of Master of Engineering Supervised by Professor JIN, Zhiquan Software Institute NANJING UNIVERSITY Nanjing, China May, 2006 摘 要摘要前插入分節(jié)符，從摘要開(kāi)始至目錄頁(yè)末尾使用羅馬數(shù)字編排頁(yè)碼。摘要前不編排頁(yè)碼。 機(jī)頂盒中間件系統(tǒng)是建立在數(shù)字電視接收設(shè)備驅(qū)動(dòng)層之上，為交互應(yīng)用提供完整的應(yīng)用編程接口的軟件平臺(tái)。為了實(shí)現(xiàn)數(shù)字電視交互式功能的標(biāo)準(zhǔn)化，同時(shí)使服務(wù)項(xiàng)目(以應(yīng)用程序的形式通過(guò)傳輸信道)下載到用戶(hù)終端機(jī)頂盒的數(shù)據(jù)量減小到最低限度，中間件平臺(tái)的設(shè)計(jì)非常重要。小四字體，1.5倍行距， 國(guó)內(nèi)目前在數(shù)字電視中間件標(biāo)準(zhǔn)的技術(shù)研究方面公開(kāi)的資料較少，且沒(méi)有中國(guó)自己的數(shù)字電視中間件標(biāo)準(zhǔn)。在這樣的背景下，本文分析了國(guó)際上主流的中間件標(biāo)準(zhǔn)。詳細(xì)分析了DVB－MHP標(biāo)準(zhǔn)，包括MHP的概念和架構(gòu)，應(yīng)用層次，API接口的定義以及各API的功能和MHP采用的安全策略框架。段前距0.5行。 關(guān)鍵詞必須有關(guān)鍵詞 ：數(shù)字電視機(jī)頂盒，機(jī)頂盒中間件，中間件標(biāo)準(zhǔn)，DVB－MHP Abstract Set－top Box, a Middleware System, is founded on Driver Layer of Digital TV Receiver and provides a complete API interface for mutual applications. The design of middleware platform is important for the standardization of Mutual interaction of Digital TV and the data minimization downloading to the user－end set－top box for services in the form of application through transmission channel.格式：Arial字體，五號(hào)，1.5行距。英文摘要要認(rèn)真檢查語(yǔ)法。 Currently, the research on DTV middleware standard inland is limited and China doesn’t have its own DTV middleware standard. This paper analyses middleware standards now popular internationally. It elaborates DVB－MHP standard, including the concept and architecture of MHP, its application layers, API functions and the secure model. According to the development and present technology available for DTV in China, the paper puts forward the STB－MV platform based on the improved middleware standard after analysis of weak points of MHP standard. STB－MW platform is based on J2ME and is compatible with HTML. It uses resource manager and supports Chinese character. The platform is composed of middleware adaptive layer, file manipulation module, system resource management module, SI module, application management module, graphics manipulation module, character database engine module, CA module, AV module, debug module, JVM and EPG etc. layers. The paper analyses the functions and implementation principles of every module and implements the resource management module, application management module and access to SI database of STB－MW platform. STB－MW platform can provides fundamental platform support for the inter－platform services of manufacturers of DTV. The modular design makes the STB－MV platform independent of OS and hardware, and good portability and expansibility. . Keywords對(duì)照必須有英文keywords ：Digital TV Set－top Box, Set－top Box Middleware, Middleware Standard, DVB－MHP. 目 錄目錄自動(dòng)生成，參照此模板，使用插入替換法法寫(xiě)好正文之后，可以選中目錄區(qū)域，右鍵菜單更新域，即可獲得新的目錄。檢查新目錄，消除自動(dòng)生成目錄中不正確的行。 摘 要 I Abstract II 目 錄 III 圖目錄 V 表目錄 2 第一章 引言 1 1.1 數(shù)字電視系統(tǒng) 1 1.2 中間件的概念 2 1.3 中間件系統(tǒng)的主要模塊和功能 2 1.3.1 機(jī)頂盒驅(qū)動(dòng)層及CA接口(STB Driver Layer) 2 1.3.2 核心系統(tǒng)模塊(Core System Modules) 2 1.4 本文的工作 2 第二章 數(shù)字電視中間件標(biāo)準(zhǔn) 4 2.1 國(guó)際相關(guān)標(biāo)準(zhǔn) 4 2.2 DVB－MHP 4 第三章 基于J2ME的機(jī)頂盒中間件平臺(tái)（STB－MW） 5 3.1 DVB－MHP標(biāo)準(zhǔn)分析 5 3.1.1 MHP的Java 平臺(tái) 5 3.1.2 DVB－HTML標(biāo)準(zhǔn) 5 3.4 小結(jié) 5 第四章 實(shí)現(xiàn) 6 4.1 資源管理模塊 6 4.1.1 客戶(hù)端資源 6 4.1.2 接收端資源 6 4.1.3 資源管理器和監(jiān)控程序 6 4.2 SI模塊 7 4.2.1 SI庫(kù)的訪(fǎng)問(wèn) 7 4.2.2 緩存模塊的實(shí)現(xiàn) 7 4.3 應(yīng)用管理器 7 4.3.1 JVM應(yīng)用的狀態(tài)機(jī) 7 4.3.2 多應(yīng)用支持 8 第五章 總結(jié)和展望 9 5.1 論文小結(jié) 9 5.2 工作展望 9 參 考 文 獻(xiàn) 10 致 謝 13 附 錄 14 參 與 項(xiàng) 目 15 版權(quán)及論文原創(chuàng)性說(shuō)明 16 圖目錄 圖1.1 數(shù)字電視系統(tǒng)主要構(gòu)成 1 圖4.1 ResourceContentionManager定義 6 表目錄 表4.1 Java應(yīng)用執(zhí)行序列 8 第一章 引言 1） 格式為：標(biāo)題1+黑體，二號(hào)字體。每章一級(jí)標(biāo)題的標(biāo)題格式類(lèi)似。 2） 第一章之前從從中文摘要到目錄頁(yè)，使用羅馬數(shù)字編排頁(yè)碼，從第一章往后使用阿拉伯?dāng)?shù)字編排頁(yè)碼。 3） 在第一章標(biāo)題另起一頁(yè)，插入分節(jié)符和分頁(yè)符。菜單操作：插入分隔符對(duì)話(huà)框中選擇下面的“分節(jié)符類(lèi)型”-“下一頁(yè)”。 4） 每一章都使用了分節(jié)符，在插入頁(yè)眉的時(shí)候必須區(qū)分不同章的頁(yè)眉不一樣。頁(yè)眉的格式：左側(cè)為“南京大學(xué)碩士論文”，右側(cè)為“本章章序號(hào)與標(biāo)題” 1.1 數(shù)字電視系統(tǒng) 數(shù)字電視被稱(chēng)作繼黑白電視和彩色電視之后的第三代電視，是電視技術(shù)發(fā)展史上的一個(gè)重大進(jìn)步。數(shù)字電視是數(shù)字技術(shù)、微電子技術(shù)、網(wǎng)絡(luò)技術(shù)和軟件技術(shù)等高新技術(shù)的綜合應(yīng)用，在信息化社會(huì)中占有重要的地位。 數(shù)字電視系統(tǒng)[陳熙霖等，2001] 的構(gòu)成如圖1.1所示，視、音頻信號(hào)經(jīng)編碼器編碼后與數(shù)據(jù)廣播信號(hào)及條件接收系統(tǒng)產(chǎn)生的信息一起送入復(fù)用器，再經(jīng)過(guò)調(diào)制器調(diào)制后進(jìn)入傳輸通道。在用戶(hù)接收端，數(shù)字機(jī)頂盒[姜秀華等, 2003]完成解調(diào)、解復(fù)用和解碼的工作，利用本機(jī)存儲(chǔ)的應(yīng)用和可下載的應(yīng)用程序，實(shí)現(xiàn)了機(jī)頂盒的各種功能。數(shù)字機(jī)頂盒理論上可以支持所有的廣播和交互式多媒體應(yīng)用。隨著數(shù)字電視收費(fèi)業(yè)務(wù)推廣和互動(dòng)電視的成熟，條件接收系統(tǒng)技術(shù)和數(shù)字機(jī)頂盒中間件技術(shù)的研究和開(kāi)發(fā)就得到了越來(lái)越多的重視。 圖1.1說(shuō)明： 1) 給插圖編號(hào)，x表示該圖所在章號(hào)，y表示該圖在該章中出現(xiàn)序號(hào)。除界面圖以外的插圖,原則上不得使用截屏方式。 2) 插圖的幅面如果超過(guò)A4頁(yè)面豎排的寬度,將插圖向左旋轉(zhuǎn)90度。 3) 每幅圖必須有圖序號(hào)與圖名，并且圖序號(hào)位于圖的下方。且在正文必須有關(guān)于每幅圖的文字描述，即必須有類(lèi)似“如圖x.y所示”的文字。 4) 圖居中對(duì)齊，圖名與圖序號(hào)居中對(duì)齊。 5) 在遇到圖的篇幅過(guò)大的情況時(shí)，需要縮小圖的篇幅或者調(diào)整圖與上下文的位置，使得版面緊湊，以免在頁(yè)面的下方留下太大篇幅的空白。 數(shù)字電視系統(tǒng)主要構(gòu)成 隨著數(shù)字電視技術(shù)的發(fā)展，開(kāi)放式業(yè)務(wù)系統(tǒng)成為數(shù)字電視發(fā)展的主流，互動(dòng)電視是數(shù)字電視技術(shù)發(fā)展引發(fā)的一場(chǎng)革命，是數(shù)字電視發(fā)展的產(chǎn)業(yè)方向，而其核心技術(shù)之一就是中間件技術(shù)。 1.2 中間件的概念 1.3 中間件系統(tǒng)的主要模塊和功能二級(jí)標(biāo)題格式：黑體三號(hào)，1.73行距，段前段后各13磅行距。 中間件系統(tǒng)一般包含下列模塊[廖洪濤, 2003]注意正確使用參考文獻(xiàn)的標(biāo)法，格式為：[作者名，年份]，如果同一作者同一年份有多篇文獻(xiàn)，請(qǐng)?jiān)谀攴莺蠹觓、b字母后綴區(qū)分。例如，[張三，2002a]，[張三2002b] 。 1.3.1 機(jī)頂盒驅(qū)動(dòng)層及CA接口(STB Driver Layer)二級(jí)標(biāo)題格式：1） 黑體三號(hào)，1.73行距，段前段后各13磅行距。 2） 最多三級(jí)標(biāo)題，不可以使用四級(jí)標(biāo)題。 3） 不要有孤立的三級(jí)標(biāo)題，例如：如果沒(méi)有1.3.2，就不要出現(xiàn)1.3.1 此層的功能由系統(tǒng)移植接口定義，提供MPEG－2表格數(shù)據(jù)提取、條件接收和智能卡控制、信道參數(shù)設(shè)定、音／視頻流控制、Modem管理、Flash存儲(chǔ)管理以及其他功能。 1.3.2 核心系統(tǒng)模塊(Core System Modules) 核心管理模塊由一系列模塊組成，包括內(nèi)存管理、線(xiàn)程調(diào)控、事件管理、安全性控制、數(shù)據(jù)下載管理及網(wǎng)絡(luò)協(xié)議管理（TCP／IP、PPP、HTTP）等。在核心模塊中，典型的有圖像與多媒體處理模塊以及SI引擎模塊。 l 圖像與多媒體模塊(Graphics ＆ AVsystem)為了排版效果清晰，可以使用項(xiàng)目符。 圖像與多媒體模塊與下層平臺(tái)接口，提供高級(jí)函數(shù)用于繪圖、多視窗管理以及音／視頻控制等。 l SI引擎(Service Information Engine) SI模塊用于管理服務(wù)信息（SI）數(shù)據(jù)庫(kù)，負(fù)責(zé)提取事件信息表（Event Information Table ，EIT）、節(jié)目映射表（Program Map Table ，PMT）等常用SI表格數(shù)據(jù)，并且具有監(jiān)察功能。可提供頻道搜尋時(shí)已儲(chǔ)存的數(shù)據(jù)，如頻道名稱(chēng)等。 1.4 本文的工作 國(guó)內(nèi)目前在數(shù)字電視中間件標(biāo)準(zhǔn)的技術(shù)研究方面公開(kāi)的資料很少，且沒(méi)有中國(guó)自己的數(shù)字電視中間件標(biāo)準(zhǔn)。本文正是在這樣的背景下，首先分析了國(guó)際上主流的中間件標(biāo)準(zhǔn)?！? 本文的組織結(jié)構(gòu)如下： 第一章 引言部分，對(duì)數(shù)字電視系統(tǒng)，數(shù)字電視中間件以及中間件系統(tǒng)的主要模塊和功能做了一個(gè)簡(jiǎn)單的介紹。 第二章 分析了國(guó)際上主流的中間件標(biāo)準(zhǔn)，深入分析了DVB－MHP標(biāo)準(zhǔn)。 第三章 分析了DVB－MHP標(biāo)準(zhǔn)的弱點(diǎn)，并且提出了解決方案，依據(jù)改進(jìn)的中間件標(biāo)準(zhǔn)設(shè)計(jì)了STB－MW平臺(tái)，并對(duì)平臺(tái)的各組成模塊進(jìn)行了功能和實(shí)現(xiàn)原理的分析。 第四章 對(duì)STB－MW平臺(tái)的資源管理模塊，應(yīng)用管理模塊以及SI庫(kù)的訪(fǎng)問(wèn)做了更進(jìn)一步的實(shí)現(xiàn)。 第五章 對(duì)論文期間所做工作進(jìn)行了總結(jié)，分析了下一步的工作，對(duì)數(shù)字電視機(jī)頂盒中間件未來(lái)作了一個(gè)展望。 簡(jiǎn)述各章的內(nèi)容梗概。 第二章 數(shù)字電視中間件標(biāo)準(zhǔn)同之前的一級(jí)標(biāo)題。 2.1 國(guó)際相關(guān)標(biāo)準(zhǔn)同之前的二級(jí)標(biāo)題。 正文部分：小四字體，1.5倍行距。 2.2 DVB－MHP 下面的篇幅省略，作者根據(jù)自己的論文采用與上文類(lèi)似的方式排版。 第三章 基于J2ME的機(jī)頂盒中間件平臺(tái)（STB－MW） 3.1 DVB－MHP標(biāo)準(zhǔn)分析 3.1.1 MHP的Java 平臺(tái) 3.1.2 DVB－HTML標(biāo)準(zhǔn) 下面的篇幅省略，作者根據(jù)自己的論文采用與上文類(lèi)似的方式排版。 …………. 3.4 小結(jié) 第四章 實(shí)現(xiàn) 4.1 資源管理模塊 4.1.1 客戶(hù)端資源 4.1.2 接收端資源 4.1.3 資源管理器和監(jiān)控程序 監(jiān)控程序通過(guò)ResourceContentionManager類(lèi)完成ResourceContentionHandle，ResourceContentionManager定義如下： public class ResourceContentionManager { public static ResourceContentionManager getInstance(); public void setResourceContentionHandler( ResourceContentionHandler handler) throws SecurityException; public void setResourceFilter( org.DVB.application.AppsDatabaseFilter filter, Java.lang.String resourceProxy) throws SecurityException; } 圖4.1 ResourceContentionManager定義代碼行格式： 1） 菜單：表格插入表格，使用1行*1列的表格框，將代碼行貼入表格中，段落行距單倍，字體五號(hào)。 2） 代碼行的表格下方必須標(biāo)注圖名與圖序號(hào)。 3） 代碼行原則上不宜過(guò)長(zhǎng)，不宜超出一頁(yè)，如果過(guò)長(zhǎng)，可以省略其中的部分代碼行，可以使用注釋?zhuān)梢允褂脗未a等。 4.2 SI模塊 4.2.1 SI庫(kù)的訪(fǎng)問(wèn) 4.2.2 緩存模塊的實(shí)現(xiàn) 4.3 應(yīng)用管理器 應(yīng)用分為兩種：Java應(yīng)用和HTML應(yīng)用。Java應(yīng)用是用Java語(yǔ)言實(shí)現(xiàn)的過(guò)程性應(yīng)用；HTML應(yīng)用是文檔類(lèi)內(nèi)容的集合，文檔內(nèi)容由標(biāo)記語(yǔ)言書(shū)寫(xiě)。接收機(jī)中間件系統(tǒng)中包含的應(yīng)用程序管理器，負(fù)責(zé)啟動(dòng)應(yīng)用程序，管理所有應(yīng)用程序的生命周期，包括彼此之間的相互操作，便于各種應(yīng)用程序能夠協(xié)調(diào)地執(zhí)行。 應(yīng)用以數(shù)據(jù)廣播的形式傳送到接收端，其運(yùn)行狀態(tài)由廣播信令和用戶(hù)干預(yù)兩方面決定，但實(shí)施均通過(guò)應(yīng)用程序管理器來(lái)完成。 4.3.1 JVM應(yīng)用的狀態(tài)機(jī) 就緒狀態(tài)：JVM被加載并開(kāi)始初始化（采用init方法初始化），每個(gè)Java應(yīng)用必須實(shí)現(xiàn)統(tǒng)一的接口。如果init方法并未產(chǎn)生任何異常，成功返回，則進(jìn)入就緒狀態(tài)。如果init拋出了某種異常，應(yīng)用應(yīng)該進(jìn)入刪除狀態(tài)并被丟棄。 運(yùn)行狀態(tài)：JVM正在正常運(yùn)行和提供服務(wù)。在就緒狀態(tài)和等待狀態(tài)，應(yīng)用管理器調(diào)用方法start使應(yīng)用程序進(jìn)入運(yùn)行狀態(tài)。 等待狀態(tài)：當(dāng)資源得不到或者其他因素的影響，本來(lái)在運(yùn)行中的應(yīng)用會(huì)進(jìn)入等候狀態(tài)，其本身占有的資源會(huì)臨時(shí)釋放出去。運(yùn)行中的應(yīng)用程序通過(guò)調(diào)用wait程序進(jìn)入等待，并通過(guò)start重新進(jìn)入運(yùn)行。 刪除狀態(tài)：應(yīng)用釋放掉所有資源，然后終止退出。 可導(dǎo)致應(yīng)用改變狀態(tài)的各種因素包括： ●應(yīng)用程序管理器使用API去通知應(yīng)用改變狀態(tài)； ●許多因素促使應(yīng)用管理器改變，比如： 通過(guò)用戶(hù)界面，用戶(hù)選擇了一個(gè)新的應(yīng)用。 ●應(yīng)用自身決定改變狀態(tài)： 應(yīng)用使用應(yīng)用上下文對(duì)象（Context）通知或者請(qǐng)求應(yīng)用管理器改變自己的狀態(tài)。 ●一個(gè)應(yīng)用通過(guò)調(diào)用特定API來(lái)改變另一個(gè)應(yīng)用的狀態(tài)。 典型的Java應(yīng)用執(zhí)行的序列如表4.1所示： 表4.1 Java應(yīng)用執(zhí)行序列 應(yīng)用管理器 Java應(yīng)用 應(yīng)用管理器創(chuàng)建的新的應(yīng)用實(shí)例 應(yīng)用缺省構(gòu)造器（無(wú)任何參數(shù)）被調(diào)用 應(yīng)用管理器為Java應(yīng)用的運(yùn)行創(chuàng)建必要的上下文對(duì)象，同時(shí)初始化應(yīng)用。 Java應(yīng)用使用上下文對(duì)象去初始化自身，使處于就緒狀態(tài) 當(dāng)應(yīng)用管理器判斷出合適的時(shí)機(jī)時(shí)，即通知應(yīng)用進(jìn)入運(yùn)行狀態(tài)，并使應(yīng)用提供服務(wù) Java應(yīng)用獲得任何它所需的資源，開(kāi)始運(yùn)行服務(wù) 應(yīng)用管理器不再需要Java應(yīng)用提供服務(wù)時(shí)，通知它終止運(yùn)行 Java應(yīng)用停止運(yùn)行它的業(yè)務(wù)，同時(shí)可能會(huì)選擇釋放掉當(dāng)前占用的某些資源 應(yīng)用管理器認(rèn)為Java應(yīng)用已不在需要，或需要為擁有更高權(quán)限的應(yīng)用騰出資源，將Java應(yīng)用標(biāo)記為候選刪除 Java應(yīng)用保存狀態(tài)或用戶(hù)選擇，并做清理工作 1) 每張表都要有表名和表序，表序?yàn)楸韝.y，x表示該表位于第x章，y表示該表是第x章的第y張表。且位于表的上方。 2) 表中的段落設(shè)置1.25倍行距。 4.3.2 多應(yīng)用支持 STB－MW平臺(tái)允許同時(shí)運(yùn)行多個(gè)Java應(yīng)用。 允許多個(gè)Java應(yīng)用同步運(yùn)行意味著這些Java應(yīng)用共享STB－MW平臺(tái)的資源，特別是它們共享輸入焦點(diǎn)和輸出焦點(diǎn)。 第五章 總結(jié)和展望 5.1 論文小結(jié) 正文部分：小四字體，1.5倍行距。 5.2 工作展望 參 考 文 獻(xiàn)一級(jí)標(biāo)題，插入分節(jié)符、分頁(yè)符。 參考文獻(xiàn)中的每一篇文獻(xiàn)在正文必須出現(xiàn)標(biāo)引。 [陳煥經(jīng)等, 2003] 陳煥經(jīng)，王振強(qiáng)，數(shù)字電視中間件綜述，中國(guó)有線(xiàn)電視，2003，(11)：15-17。文獻(xiàn)格式： 3) 文獻(xiàn)的索引采用格式 [作者名，年份]。 4) 菜單：格式段落縮進(jìn)與行間距特殊格式選擇“首行縮進(jìn)”—10字符。 5) 參考文獻(xiàn)的段落采用1.5行距，小四字體。 期刊文獻(xiàn)樣例 [鄭志航, 2001] 鄭志航，數(shù)字電視原理與應(yīng)用，北京：中國(guó)廣播電視出版社，2001.書(shū)或者教材文獻(xiàn)樣例。更詳細(xì)的各種參考文獻(xiàn)格式要求，請(qǐng)參考“碩士學(xué)位論文編寫(xiě)格式規(guī)定” [張三, 2002a] 張三，文章名稱(chēng)1，期刊名1，期刊期號(hào)1，2002(年份)。 [張三, 2002b] 張三，文章名稱(chēng)2，期刊名2，期刊期號(hào)2，2002(年份)。 如果同一作者同一年份有多篇文獻(xiàn)，請(qǐng)?jiān)谀攴莺蠹觓、b字母后綴區(qū)分。例如，[張三，2002a]，[張三2002b] 參考文獻(xiàn)的前置標(biāo)識(shí)采用作者加年份的方式,中文文獻(xiàn)與英文文獻(xiàn)分開(kāi)排序,中文文獻(xiàn)按照作者名的拼音字母順序排列, 英文文獻(xiàn)按照作者名的字母順序排列,中文文獻(xiàn)排在英文文獻(xiàn)的前面,正文中引用文獻(xiàn)時(shí)需寫(xiě)出文獻(xiàn)的前置標(biāo)識(shí)。參考文獻(xiàn)的段落設(shè)置采用首行縮進(jìn)10字符。 第1類(lèi)、專(zhuān)著著錄格式 (含教材，專(zhuān)著，標(biāo)準(zhǔn)等) 主要責(zé)任者，其他責(zé)任者，書(shū)名(斜體)，版本，出版地：出版者，出版年 例：[徐家福等, 1992] 徐家福，王志堅(jiān)，翟成祥，對(duì)象式程序設(shè)計(jì)語(yǔ)言，南京：南京大學(xué)出版社，1992。 [孫鐘秀等, 2003] 孫鐘秀，費(fèi)翔林，駱斌，謝立，操作系統(tǒng)教程，第3版，北京：高等教育出版社，2003。 例: [Clarke et al., 1991] E. M. Clarke, O. Grumberg, and D. A. Peled, Model Checking, Cambridge: MIT Press, 2001. [IEEE, 1991] IEEE, IEEE Standard 829-1991: Standard for Software Test Documentation. New York: IEEE Press, 1991. 說(shuō)明: 英文文獻(xiàn)作者名的寫(xiě)法：First name采用首字母縮寫(xiě),Last Name 使用全拼，放置在First name 后面，多個(gè)作者之間使用逗號(hào)格開(kāi)，最后兩個(gè)作者名之間使用and鏈接, 書(shū)名使用斜體。 第2類(lèi)、 期刊中析出的文獻(xiàn)著錄格式 (Journals or Magazines) 析出文獻(xiàn)責(zé)任者，析出文獻(xiàn)其他責(zé)任者，析出題名，刊名，年份，卷號(hào)，期號(hào)，頁(yè)碼。 例： [任豐原, 2003] 任豐原, 黃海寧, 林闖，無(wú)線(xiàn)傳感器網(wǎng)絡(luò)，軟件學(xué)報(bào), 2003, 14(7):1282-1291。 [Hoare, 1969] C. A. R. Hoare, An axiomatic basis for computer programming, Communication of ACM, 1969, 12(10): 576–583. 說(shuō)明: 期刊名使用斜體。 第3類(lèi)、會(huì)議論文集的單篇文獻(xiàn)中析出的文獻(xiàn)著錄格式 (Proceedings) 析出文獻(xiàn)責(zé)任者，析出文獻(xiàn)其他責(zé)任者，析出題名，會(huì)議論文集名稱(chēng)，頁(yè)碼，出版者，年份。 例： [彭龍根, 2006] 彭龍根，吳志兵，陳忠平，基于分布式中間件的傳感器網(wǎng)絡(luò)軟件體系結(jié)構(gòu)研究，2006年全國(guó)軟件與應(yīng)用學(xué)術(shù)會(huì)議(NASAC’2006)，計(jì)算機(jī)工程與科學(xué)，2006，28(z2): 6-8. [Jagadeesan, 1997] L. J. Jagadeesan, A. A. Porter, C. Puchol, J. C. Ramming, and L. G. Votta, Specification-based testing of reactive software: Tools and experiments, In Proceedings of International Conference on Software Engineering (ICSE’1997), pages 525–535, 1997. [Owre, 1996] S. Owre, S. Rajan, J. Rushby, N. Shankar, and M. Srivas, PVS: Combining specification, proof checking, and model checking, In Proceedings of Computer-Aided Verification, CAV’96, volume 1102 of LNCS, pages 411-414, Berlin: Springer-Verlag, 1996. 說(shuō)明: 會(huì)議論文集名稱(chēng)使用斜體。 第4類(lèi)、技術(shù)報(bào)告中析出的文獻(xiàn)著錄格式 (Technical Reports) 析出文獻(xiàn)責(zé)任者，析出文獻(xiàn)其他責(zé)任者，析出題名，大學(xué)院系或者研究機(jī)構(gòu)名稱(chēng), 技術(shù)報(bào)告編號(hào),年份。 例： [呂建等, 2003] 呂建，陶先平，馬曉星等，基于Agent的多模式軟件協(xié)同技術(shù)研究，技術(shù)報(bào)告，南京大學(xué)計(jì)算機(jī)軟件研究所，2003。 [Milner et al., 1986] R. Milner, J. Parrow and D. Walker，A Calculus of Mobile Processes，Laboratory for Foundations of Computer Sciences (Part 1 & 2), University of Edinburgh, ECS-LFCS-89-85 and ECS-LFCS-89-86, 1986. 說(shuō)明: 技術(shù)報(bào)告題名使用斜體。 第5類(lèi)、學(xué)位論文中析出的文獻(xiàn)著錄格式 (Theses or Dissertations) 析出文獻(xiàn)責(zé)任者，析出文獻(xiàn)其他責(zé)任者，析出題名，大學(xué)院系或者研究機(jī)構(gòu)名稱(chēng),年份。 例： [黃罡, 2003] 黃罡，反射式軟件中間件原理與技術(shù)研究，博士論文，北京大學(xué)信息科學(xué)技術(shù)學(xué)院，2003。 [Ballarini, 2004] P. Ballarini, Towards compositional CSL model-checking, PhD thesis, Laboratory for Foundations of Computer Sciences, University of Edinburgh, 2004. 說(shuō)明: 學(xué)位論文題名使用斜體。 第6類(lèi)、網(wǎng)站URL中析出的文獻(xiàn)著錄格式 析出URL，網(wǎng)站主題簡(jiǎn)介，維護(hù)人或者公司。 例：[Spin, 2000] http://www.spinroot.com/, Spin Model Checker maintained by G. J. Holzmann, 2000. [DASE, 2002] http://www.atsc.org/standards.html，DASE規(guī)范，DTV Application Software Environment, 2002。 致 謝一級(jí)標(biāo)題，插入分節(jié)符、分頁(yè)符。 首先感謝自己的指導(dǎo)老師，感謝與本文相關(guān)的其他工作人員，感謝他們?cè)诒疚墓ぷ鬟^(guò)程中提供的幫助與鼓勵(lì)。 附 錄一級(jí)標(biāo)題，插入分節(jié)符、分頁(yè)符。 非必須成分。列出與本文內(nèi)容相關(guān)的附錄文檔，一般為篇幅較長(zhǎng)的技術(shù)規(guī)范或者數(shù)據(jù)表。 參 與 項(xiàng) 目一級(jí)標(biāo)題，插入分節(jié)符、分頁(yè)符。 列出在攻讀碩士論文期間參與的項(xiàng)目。 版權(quán)及論文原創(chuàng)性說(shuō)明 任何收存和保管本論文的單位和個(gè)人，未經(jīng)作者本人授權(quán)，不得將本論文轉(zhuǎn)借他人并復(fù)印、抄錄、拍照或以任何方式傳播，否則，引起有礙作者著作權(quán)益的問(wèn)題，將可能承擔(dān)法律責(zé)任。 本人鄭重聲明：所呈交的學(xué)位論文，是本人在導(dǎo)師的指導(dǎo)下，獨(dú)立進(jìn)行研究工作所取得的成果。除文中已經(jīng)注明引用的內(nèi)容外，本論文不包含其他個(gè)人或集體已經(jīng)發(fā)表或撰寫(xiě)的作品成果。本文所引用的重要文獻(xiàn)，均已在文中以明確方式標(biāo)明。本聲明的法律結(jié)果由本人承擔(dān)。 作者簽名： 日期： 年 月 日