我國儲蓄函數(shù)的多元線性回歸分析我國儲蓄函數(shù)的多元線[精選]

1、 本 科 畢 業(yè) 論 文 （設 計）我國儲蓄函數(shù)的多元線性回歸小3號宋體，加下劃線分析我國儲蓄函數(shù)的多元線a multivariate linear regression 小3號times new roman，加下劃線analysis of chinas savings function作 者專 業(yè)商務1126財務管理張目 副教授系 部金融系二一五年五月 誠信聲明本人鄭重聲明：本人所呈交的畢業(yè)論文，是在導師 指導下獨立研究取得的成果。畢業(yè)論文中凡引用他人已經(jīng)發(fā)表的成果、數(shù)據(jù)、觀點等，均已明確注明出處。除文中已注明引用的內(nèi)容外，不包含任何其他個人或集體已發(fā)表的論文。若有抄襲，愿承擔一切后果。特此

2、聲明作者簽名： 簽字日期：貴州財經(jīng)大學商務學院本科畢業(yè)論文授權使用聲明公開 保密( 年)作 者 簽 名： 簽字日期：四號、黑體、加粗、居中摘要本文主要對邏輯方法與模型檢測技術及其在電子商務協(xié)議并形式化分析中的應用進行了系統(tǒng)研究。總的來說，從理論到實踐兩個層面上研究了電子商務協(xié)議的形式化分析的相關技術，其工作主要有以下幾個方面:1.對電子商務協(xié)議的基本理論和基本性質(zhì)進行了分析和討論，包括：安全性、保密性、完整性、可認證性、非否認性、公平性、時效性等，并對其中一些重要性質(zhì)做新的定義，提出電子商務協(xié)議設計的基本準則。2.對當前流行的電子商務協(xié)議形式化分析方法進行重點研究，包括ban邏輯、kailar

3、邏輯及周卿方法。采用這些較新的形式化分析方法對幾個典型協(xié)議進行分析，找出設計缺陷并提出新的公平非否認性協(xié)議。五號、宋體、用逗號分隔關鍵詞：電子商務協(xié)議，形式化分析，邏輯方法，模型檢測，博弈邏輯四號、黑體、加粗四號，timesnewroman加粗、居中abstractthe dissertation mainly studies the applications of logic and model checking methods in formal analysis of e-commerce protocols. in general, the author studies the rel

4、ated formal analysis technology of e-commerce protocols from two aspects, theory and applications. the main works and results are as follows:1.analyzes and discusses the basic theories and characters of e-commerce protocols, includes: security, secrecy, integrity, authentication, non-repudiation, fa

5、irness, timeliness and etc. redefine some key significant characters, and bring forward some new rules of e-commerce protocols design.2.studies the current formal analysis methods for e-commerce protocols: ban logic、kailar logic and zhou-qing approach. use the above methods to analyzing some importa

6、nt protocols, find out its limitations and bring forward a new fair non-repudiation protocol.五號，timesnewroman，用逗號分隔開五號，timesnewroman加粗keywords：e-commerce protocols, formal analysis, logic method, symbolic model checking, game logic目錄 摘要iabstractii1.緒論1課題背景12.電子商務協(xié)議2密碼協(xié)議27 結束語37.1 主要研究工作37.2 下一步工作3參考

7、文獻4致 謝5附錄1:參考文獻基本格式1附錄2:論文目錄和頁碼的設置方法4 一級標題 四號 宋體 加粗 正文部分宋體 五號字 1.5倍行距，段首縮進兩個字符最近幾年來，隨著計算機與網(wǎng)絡技術的飛速發(fā)展和廣泛應用，使得信息的流通與存取變得更為快速與便捷。例如:政府積極推進電子政務、企業(yè)公司間電子商務(electronic commerce)、個人在線購物(on-line shopping)、信息家電(information appliance)、電子商務等，這些都是計算機與網(wǎng)絡技術的重大應用的結果。因此可以說，在過去的十幾年里，計算機與計算機網(wǎng)絡技術帶給人類社會的重大影響，不亞于工業(yè)革命，意義重大

8、而深遠。二級標題 宋體 五號 加粗自從美國前總統(tǒng)克林頓發(fā)表了“電子商務白皮書”之后，各國都加快步伐來構建電子商務系統(tǒng)，以迎接全球信息化、網(wǎng)絡商業(yè)化的到來。沖繩八國集團發(fā)表的全球信息化宣言其核心的內(nèi)容就是電子商務(electronic commerce)，據(jù)idc公布的數(shù)據(jù)，全球電子商務的規(guī)模2003年已突破1萬億美元，2004年已超過萬億美元.“上網(wǎng)的企業(yè)不一定能成功，但不上網(wǎng)的企業(yè)將會被淘汰出局”這已經(jīng)成為大多數(shù)人的共識。世界上許多大的公司都將電子商務列為主要的發(fā)展方向。ibm公司25%的收入來自于電子商務；cisco公司85%的交易在線完成，電子商務使其銷售額增加了500%，而人員僅增加了

9、100%，交貨期也由原來的3周變?yōu)?天。電子商務在增加賣方的銷售機會的同時，也同樣增加了買方購買的機會，例如企業(yè)采購時利用電子商務可以找到新的供應商和貿(mào)易伙伴。另外在電子商務中，討價和還價的傳遞也十分快捷?？偟目磥恚绹碾娮由虅盏膯悠跒?991-1995, 1996-1999為其高速增長期，從2000年開始進入穩(wěn)定的成長期。我國政府也積極推動電子商務發(fā)展，1997年10月，標志著中國政府在電子商務領域?qū)嵸|(zhì)性突破，1996-1999年為啟動期，從1999年開始進入高速增長期，而后隨著網(wǎng)絡經(jīng)濟的“泡沫”現(xiàn)象，全球的電子商務活動暫時陷入了“寒冬”，現(xiàn)已恢復進入了健康的發(fā)展階段。密碼協(xié)議是以密碼學

10、為基礎的消息交換協(xié)議，其目的是在網(wǎng)絡環(huán)境中提供各種安全服務1。安全目標是多種多樣的。例如，認證協(xié)議的目標是認證參加協(xié)議的主體的身份。此外，許多認證協(xié)議還有一個附加的目標，即在主體之間安全地分配密鑰或其他各種秘密。密碼協(xié)議的主要目的是利用密碼技術實現(xiàn)密鑰交換、身份認證和安全支付，在安全領域中協(xié)議同密碼算法同樣重要。若密碼算法十分先進，但密碼協(xié)議的設計有缺陷，該密碼體系仍存在嚴重的安全隱患。當前關于安全問題的研究熱點之一是涉及密鑰分布、身份驗證、數(shù)字簽名和公證的密碼協(xié)議的建模與形式化分析1。 密碼協(xié)議基本概念密碼協(xié)議是密碼參與者采取的一系列步驟，它包括兩方或多方密碼參與者，設計它的目的是要完成一項

11、任務?！耙幌盗胁襟E”意味著協(xié)議是從開始到結束的一個序列，每一步必須按嚴格的規(guī)定依次執(zhí)行，在前一步完成前，后面的步驟都不能執(zhí)行 ；“包括兩方或多方”意味著完成這個協(xié)議至少需要兩個人，單獨的一個人不能構成協(xié)議，當然單獨的一個人也可采取一系列步驟去完成一個任務，但這不是協(xié)議（另外一些人必須完成某件事才構成協(xié)議）；最后，“設計它的目的是要完成一項任務”意味著協(xié)議必須做一些事。有些東西看起來像協(xié)議，但不完成一個任務，那也不是一個完整的協(xié)議，只是浪費時間而已2。為了分析方便和書寫統(tǒng)一，我們對本書中用到的關于協(xié)議形式分析中的符號說明如表2-1所示：表名稱位于表格上方 宋體，五號 居中 表2-1 協(xié)議形式分析

12、中的符號說明a system principal a ( alice )b system principal b (bob)s trusted serverab: m a sending a message m to b m可放箭頭上m,n concatenation of message m and n 可用逗點代逗號ks public key of the trusted servermk encrypt m using key kmk decrypt m using key k bit-wise exclusive-or operation (xor) 三級標題 宋體 五號2.1.3 電

13、子商務協(xié)議介紹本文只考慮協(xié)議的非否認性和公平性，假定協(xié)議是安全的，并不引入第三方攻擊者模型，因而參與協(xié)議的主體集合為：付款人a，收款人b、貨幣服務方cs 。其中貨幣服務方cs是誠實公正的，將嚴格執(zhí)行協(xié)議運行，而a和b則不一定誠實有可能為了自己的利益中斷協(xié)議執(zhí)行。協(xié)議中三個參與主體在smv系統(tǒng)中都對應一個fsm, 這三個fsm在同一module之內(nèi)，每個主體都是這個module的一個實例(instance),這三個實例分別為payer，payee和coinservice。在協(xié)議運行的時候，每個主體選擇各自相應的自動機運行，其狀態(tài)轉(zhuǎn)移圖分別示于圖2-1、圖2-2和圖2-3（其中，！表示發(fā)送消息；？

14、表示接收消息）。圖名稱位于圖示下方 宋體，五號，居中 圖2-1 付款人a的狀態(tài)轉(zhuǎn)換圖7 結束語形式化描述方法是連接協(xié)議工程各個階段的紐帶，是協(xié)議工程中的核心問題。電子商務協(xié)議是實現(xiàn)電子商務的重要技術基礎，而安全性、公平性和可追究性又是電子商務協(xié)議安全中最重要的性質(zhì)?；谶壿嫷男问椒治龇椒ㄒ殉蔀槟壳半娮由虅諈f(xié)議研究的主要熱點，也是設計電子商務協(xié)議中值得研究的重要課題。本章將對全文的研究工作及創(chuàng)新點進行總結，并且提出一些需要進一步深入研究的問題。7.1 主要研究工作7.2 下一步工作參考文獻1 昂溫 g，昂溫p s外國出版史m陳生錚，譯北京：中國書籍出版社，1988 2 馬克思關于工資、價格和利潤

15、的報告札記m/馬克思，恩格斯馬克思恩格斯全集：第44卷北京：人民出版社，1982：505 3 中國地質(zhì)學會地質(zhì)論評j1936，1（1）北京：地質(zhì)出版社，1936四號、黑體、加粗、居中 4 李炳穆理想的圖書館員和信息專家的素質(zhì)與形象j圖書情報工作，2000(2)：5-8 5 姜錫洲一種溫熱外敷藥制備方案：中國，88105607.3p1989-07-26中文采用：五號宋體；英文采用：五號times newroman 6 metcalf s w四號、黑體、加粗、居中致 謝感謝我的導師xxx教授，他自學嚴謹、一絲不茍的作風一直是我以后工作、學習中的榜樣；他循循善誘的教導和不拘一格的思路給予我無盡的啟迪

16、。感謝我的白老師，這片論文的每個實驗細節(jié)和每個數(shù)據(jù)，都離不開你的細心指導。而你開朗的個性和寬容的態(tài)度，幫助我能夠很快的融入我們這個新的實驗室。感謝我的室友們，從遙遠的家來到這個陌生的城市里，是你們和我共同維系著彼此之間兄弟般的感情，維系著寢室那份家的融洽。四年了，仿佛就在昨天。四年里，我們沒有紅過臉，沒有吵過嘴，沒有發(fā)生上大學前所擔心的任何不開心的事情。只是今后大家就難得再聚在一起吃每年元旦那頓飯了吧，沒關系，各奔前程，大家珍重。但愿遠赴米國的c平平安安，留守復旦快快樂樂，揮師北上的順順利利，也愿離開我們寢室的開開心心。我們在一起的日子，我會記一輩子的。感謝我的爸爸媽媽，焉得諼草，言樹之背，養(yǎng)

17、育之恩，無以回報，你們永遠健康快樂是我最大的心愿。在論文即將完成之際，我的心情無法平靜，從開始進入課題到論文的順利完成，有多少可敬的師長、同學、朋友給了我無言的幫助，在這里請接受我誠摯的謝意！附錄1:參考文獻基本格式 一、參考文獻是對期刊論文引文進行統(tǒng)計和分析的重要信息源之一 ，在本規(guī)范中采用 gb 7714推薦的順序編碼制編排。 二、參考文獻著錄項目 a. 主要責任者 (專著作者、論文集主編、學位申報人、專利申請人、報告撰寫人、期刊文章作者、析出文章作者)。多個責任者之間以“，”分隔，注意在本項數(shù)據(jù)中不得出現(xiàn)縮寫點“.”“著”、“編”、“主編”、“合編”等責任說明。 b. 文獻題名及版本(初

18、版省略)。 c. 文獻類型及載體類型標識。 d. 出版項(出版地、出版者、出版年)。 e. 文獻出處或電子文獻的可獲得地址。 f. 文獻起止頁碼。 g. 文獻標準編號(標準號、專利號)。 三、參考文獻類型及其標識 1、根據(jù) gb 3469規(guī)定，以單字母方式標識以下各種參考文獻類型：參考文獻類型專著論文集報紙文章期刊文章學位論文報告標準專利文獻類型標識mcnjdrsp注：m（monograph）,c(collection),n(newspaper),j(journal),d(dissertation),r(report), s(standard),p(patent).2、對于專著、論文集中的析出

19、文獻，其文獻類型標識建議采用單字母“a”；對于其他未說明的文獻類型，建議采用單字母“z”。 3、對于數(shù)據(jù)庫 (database) 、計算機程序 (computer program) 及電子公告 (electronic bulletin board)等電子文獻類型的參考文獻，建議以下列雙字母作為標識： 電子參考文獻類型數(shù)據(jù)庫計算機程序電子公告電子文獻類型標識dbcpeb4、電子文獻的載體類型及其標識 對于非紙張型載體的電子文獻，當被引用為參考文獻時需要在參考文獻類型標識中同時標明其載體類型 。本規(guī)范建議采用雙字母表示電子文獻載體類型：磁帶(magnetic tape)mt，磁盤(disk)dk，

20、光盤(cd-rom)cd，聯(lián)機網(wǎng)絡(online)ol，并以下列格式表示包括了文獻載體類型的參考文獻類型標識： 文獻類型標識/載體類型標識 如：db/ol聯(lián)機網(wǎng)上數(shù)據(jù)庫(database online) db/mt磁帶數(shù)據(jù)庫(database on magnetic tape) m/cd 光盤圖書(monograph on cd-rom) cp/dk磁盤軟件(computer program on disk) j/ol 網(wǎng)上期刊(serial online) eb/ol網(wǎng)上電子公告(electronic bulletin board online) 以紙張為載體的傳統(tǒng)文獻在引作參考文獻時不必注

21、明其載體類型。 四、文后參考文獻表編排格式 參考文獻按在正文中出現(xiàn)的先后次序列表于文后；表上以 “參考文獻：”(左頂格)或 “參考文獻” (居中)作為標識；參考文獻的序號左頂格，并用數(shù)字加方括號表示，如1、2、，以與正文中的指示序號格式一致 。參照iso 690及iso 690-2，每一參考文獻條目的最后均以“.”結束。各類參考文獻條目的編排格式及示例如下： a. 專著、論文集、學位論文、報告序號 主要責任者. 文獻題名 文獻類型標識. 出版地： 出版者， 出版年. 起止頁碼(任選). 1劉國鈞， 陳紹業(yè)，王鳳翥. 圖書館目錄m. 北京：高等教育出版社，1957. 15-18. 2辛希孟. 信

22、息技術與信息服務國際研討會論文集：a集c.北京： 中國社會科學出版社，1994. 3張筑生. 微分半動力系統(tǒng)的不變集d. 北京：北京大學數(shù)學系數(shù)學研究所，1983.4馮西橋. 核反應堆壓力管道與壓力容器的lbb分析r. 北京 ：清華大學核能技術設計研究院，1997. b. 期刊文章 序號 主要責任者.文獻題名j. 刊名，年，卷(期)： 起止頁碼. 5何齡修. 讀顧城南明史j. 中國史研究，1998，(3)：167-173. 6金顯賀，王昌長，王忠東，等. 一種用于在線檢測局部放電的數(shù)字濾波技術 j. 清華大學學報(自然科學版)， 1993， 33(4)： 62-67. c. 論文集中的析出文獻

23、序號 析出文獻主要責任者. 析出文獻題名 a. 原文獻主要責任者(任選) . 原文獻題名 c. 出版地：出版者，出版年. 析出文獻起止頁碼.7鐘文發(fā). 非線性規(guī)劃在可燃毒物配置中的應用a. 趙瑋. 運籌學的理論與應用中國運籌學會第五屆大會論文集c. 西安：西安電子科技大學出版社，1996. 468-471. d.報紙文章序號 主要責任者. 文獻題名 n. 報紙名，出版日期 (版次). 8 謝希德. 創(chuàng)造學習的新思路n. 人民日報，1998-12-25(10). e. 國際、國家標準 序號 標準編號，標準名稱s. 9 gb/t 16159-1996，漢語拼音正詞法基本規(guī)則s. f.專利 序號 專

24、利所有者. 專利題名 p. 專利國別：專利號，出版日期. 10 姜錫洲. 一種溫熱外敷藥制備方案 p. 中國專利：881056073，1989-07-26. g.電子文獻 序號 主要責任者.電子文獻題名 電子文獻及載體類型標識.電子文獻的出處或可獲得地址，發(fā)表或更新日期/引用日期(任選). 11 王明亮. 關于中國學術期刊標準化數(shù)據(jù)庫系統(tǒng)工程的進展 eb/ol 12萬錦坤. 中國大學學報論文文摘(1983-1993). 英文版 db/cd. 北京:中國大百科全書出版社，1996. h.各種未定義類型的文獻 序號 主要責任者.文獻題名 z. 出版地：出版者，出版年. 五、參考文獻與注釋的區(qū)別 參考文獻是作者寫作論著時所參考的文獻書目，一般集中列表于文末；注釋是對論著正文中某一特定內(nèi)容的進一步解釋或補充說明 ，一般排印在該頁地腳 。參考文獻序號用方括號標注，而注釋用數(shù)字加圓圈標注(如、)。附錄2:論文目錄和頁碼的設置方法畢業(yè)論文寫完后，要設置頁碼和生成目錄。步驟如下：1、 封面封面不設置頁碼。點擊菜單欄的“插入”“頁碼”取消“首頁顯示頁碼”中的綠“確定”。2、 內(nèi)頁的頁碼設置內(nèi)頁一般包含“致謝”、“中英文摘要”、“中英文關鍵詞”和“目錄”?？煞謩e對這四個項目設