計算機的發展參考文獻

　　下面是小編為大家整理的一些關於“”資料，供大家參閱。

　　計算機的發展文獻

　　計算機論文參考文獻一：

　　[1]Booch G. Object-Oriented design[J]. ACM SIGAda Ada Letters. 1982,1***3***： 64-76.

　　[2]建模的價值IBMRational技術白皮書[R].

　　[3]邵維忠.楊芙清.面向物件的系統分析[M].北京：清華大學出版社.2000

　　[4]鄭紅軍.張乃孝.軟體幵發中的形式化方法[J].電腦科學.1997,24***6***： 90-96.

　　[5]王一川，石純一.基於n演算的一種Agent組織模型[J].計算機研宄與發展.2003, 40***2***： 163-168.

　　[6]阿麗亞娜5型火箭發射失敗的調查報告[R].

　　[7]Booch G. Object-Oriented design[J]. ACM SIGAda Ada Letters. 1982,1***3***： 64-76.

　　[8]陳鑫，李宣東.基於設計演算的形式化用例分析建模框架[J].軟體學報.2008,19***10***： 2539-2549

　　[9]夏志翔，徐中偉，陳祖希等.UML模型形式化B方法轉換的實現[J].計算機應用與軟體.2011,28***11***： 15-20.

　　[10]袁曉東，鄭國樑的面向物件擴充COOZ的設計[J].軟體學報.1997,8***9***：694-700.

　　[11]周翔.邵志清.順序圖與狀態圖的遞迴語義一致性研宄[J].電腦科學.2010,37***8***：172-174.

　　[12]周翔，邵志清，薛炳蔚.基於ASM的活動圖一致性規則研究[J].計算機工程與設計.2009,30***19***： 4536-4539

　　[13]王紅英.基於Petri網的軟體模型驗證[D].華東師範大學，2007.

　　[14]黃正寶，張廣泉.UML2.0順序圖的XYZ/E時序邏輯語義研究[J].電腦科學.2006,33***8***： 249-251.

　　[15]汪文元，沙基昌.譚東風.基於Petri網和UML活動圖工作流建模比較[J].系統模擬學報.2006, 18***2***： 504-510

　　[16]Kroll P,Kruchten P. The rational unified process made easy: a practitioner's guide to the RUP[M]. Addison-Wesley Professional. 2003.

　　[17]Seung Mo Cho,Hyung Ho Kim, Sung Deok Cha etc al. A semantics of sequence diagrams [J]. Information Processing Letters 84. 2002: 125-130

　　計算機論文參考文獻二：

　　[1]徐福成.基於RSSI測距的無線感測器網路定位演算法研宄[D].四川：西華大學，2014

　　[2]婁彥翔.移動無線感測器網路中節點複製攻擊的高效分散式檢測機制研究[D].上海交通大學、2012.

　　[3]孫琳.基於車載無線自俎網路的高速公路安全資訊傳輸機制研究[D].天津：南開大學，2012.

　　[4]孫赫.物聯網的發展與智慧財產權保護[D].北京：北京交通大學，2014.

　　[5]孫巨集偉.田新廣，李學春，等.一種改進的IDS異常檢測模型[J].計算機學報，2004,26***11***：1450-1455.

　　[6]詹傑，吳伶錫，唐志軍.無線感測器網路RSSI測距方法與精度分析[J].電訊技術，2010,50***4***：83-87.

　　[7]國務院發展研究中心產業經濟研宄部，中國汽車工程學會，大眾汽車集團***中國***.汽車藍皮書.中國汽車產業發展報告***2014*** [M].北京：社會科學文獻出版社，2014

　　[8]Chlamtac I, Conti M, Liu J J N. Mobile ad-hoc networking: imperatives and challenges[J]. Ad-hoc Networks,2003, 1***1***： 13-64.

　　[9]Choi S J, Youn H Y. An efficient key pre-distribution scheme for secure distributed sensor networks[C]//Embedded and Ubiquitous Computing-EUC 2005 Workshops. Springer Berlin Heidelberg, 2005;1088-1097.[39]Naor M,Pinkas B. Efficient trace and revoke schemes[C]//Financial cryptography. Springer Berlin Heidelberg,2001:1-20.

　　[10]Katsaros D, Dimokas N,Tassiulas L. Social network analysis concepts in the design of wireless ad-hoc network protocoIs[J]. Network, IEEE, 2010,24***6***： 23-29.

　　計算機論文參考文獻三：

　　[1]王仁巨集,數值逼近***第2版***,高等教育出版社,2012.

　　[2]姚永雷.Web服務自動協商機制研究***博士論文***.北京郵電大學.2007.

　　[3]程昱.面向自治計算的自動服務協商研究***博士論文***.浙江大學.2008.

　　[4]程皇.高濟.基於機器學習的自動協商決策模型.軟體學報.2009,20***8***：2160-2169.

　　[5]郭靜.陳英武.1-多互動協議本體的描述.計算機工程.2008,34***12***：162-166.

　　[6]翟社平.魏娟麗.李增智.基於概念語義協商的服務Agent劃分.電子學報.2010,38***9***：2030-2034.

　　[7]張林蘭,電子市場中的雙邊同步自動協商研宄***博士論文***,華中科技大學,2010.

　　[8]王斌.李豔.基於多Agent系統的自動協商機制及通用協商框架.計算機工程與科學.2009,31***1***：95-98.

　　[9]徐明.蔡鴻明.姜麗紅.基於加速遺傳模擬退火演算法的協商策略研究.計算機應用與軟體.2010,27***4***：1-3.

　　[10]甘早斌.朱春喜.馬務等.基於遺傳演算法的關聯議題併發談判.軟體學報.2012,23***11***：2987-2999.

　　[11]侯薇.董紅斌.印桂生.基於Bayesian學習的適應性優化協商模型.計算機研究與發展.2014,51***4***：721-730.