計(jì)算機(jī)的發(fā)展參考文獻(xiàn)

　　下面是學(xué)習(xí)啦小編為大家整理的一些關(guān)于“計(jì)算機(jī)的發(fā)展參考文獻(xiàn)”資料，供大家參閱。

　　計(jì)算機(jī)的發(fā)展文獻(xiàn)

　　計(jì)算機(jī)論文參考文獻(xiàn)一：

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

　　[2]建模的價(jià)值IBMRational技術(shù)白皮書(shū)[R].

　　[3]邵維忠.楊芙清.面向?qū)ο蟮南到y(tǒng)分析[M].北京：清華大學(xué)出版社.2000

　　[4]鄭紅軍.張乃孝.軟件幵發(fā)中的形式化方法[J].計(jì)算機(jī)科學(xué).1997,24(6)： 90-96.

　　[5]王一川，石純一.基于n演算的一種Agent組織模型[J].計(jì)算機(jī)研宄與發(fā)展.2003, 40(2)： 163-168.

　　[6]阿麗亞娜5型火箭發(fā)射失敗的調(diào)查報(bào)告[R].

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

　　[8]陳鑫，李宣東.基于設(shè)計(jì)演算的形式化用例分析建?？蚣躘J].軟件學(xué)報(bào).2008,19(10)： 2539-2549

　　[9]夏志翔，徐中偉，陳祖希等.UML模型形式化B方法轉(zhuǎn)換的實(shí)現(xiàn)[J].計(jì)算機(jī)應(yīng)用與軟件.2011,28(11)： 15-20.

　　[10]袁曉東，鄭國(guó)梁的面向?qū)ο髷U(kuò)充COOZ的設(shè)計(jì)[J].軟件學(xué)報(bào).1997,8(9)：694-700.

　　[11]周翔.邵志清.順序圖與狀態(tài)圖的遞歸語(yǔ)義一致性研宄[J].計(jì)算機(jī)科學(xué).2010,37(8)：172-174.

　　[12]周翔，邵志清，薛炳蔚.基于ASM的活動(dòng)圖一致性規(guī)則研究[J].計(jì)算機(jī)工程與設(shè)計(jì).2009,30(19)： 4536-4539

　　[13]王紅英.基于Petri網(wǎng)的軟件模型驗(yàn)證[D].華東師范大學(xué)，2007.

　　[14]黃正寶，張廣泉.UML2.0順序圖的XYZ/E時(shí)序邏輯語(yǔ)義研究[J].計(jì)算機(jī)科學(xué).2006,33(8)： 249-251.

　　[15]汪文元，沙基昌.譚東風(fēng).基于Petri網(wǎng)和UML活動(dòng)圖工作流建模比較[J].系統(tǒng)仿真學(xué)報(bào).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

　　計(jì)算機(jī)論文參考文獻(xiàn)二：

　　[1]徐福成.基于RSSI測(cè)距的無(wú)線傳感器網(wǎng)絡(luò)定位算法研宄[D].四川：西華大學(xué)，2014

　　[2]婁彥翔.移動(dòng)無(wú)線傳感器網(wǎng)絡(luò)中節(jié)點(diǎn)復(fù)制攻擊的高效分布式檢測(cè)機(jī)制研究[D].上海交通大學(xué)、2012.

　　[3]孫琳.基于車(chē)載無(wú)線自俎網(wǎng)絡(luò)的高速公路安全信息傳輸機(jī)制研究[D].天津：南開(kāi)大學(xué)，2012.

　　[4]孫赫.物聯(lián)網(wǎng)的發(fā)展與知識(shí)產(chǎn)權(quán)保護(hù)[D].北京：北京交通大學(xué)，2014.

　　[5]孫宏偉.田新廣，李學(xué)春，等.一種改進(jìn)的IDS異常檢測(cè)模型[J].計(jì)算機(jī)學(xué)報(bào)，2004,26(11)：1450-1455.

　　[6]詹杰，吳伶錫，唐志軍.無(wú)線傳感器網(wǎng)絡(luò)RSSI測(cè)距方法與精度分析[J].電訊技術(shù)，2010,50(4)：83-87.

　　[7]國(guó)務(wù)院發(fā)展研究中心產(chǎn)業(yè)經(jīng)濟(jì)研宄部，中國(guó)汽車(chē)工程學(xué)會(huì)，大眾汽車(chē)集團(tuán)(中國(guó)).汽車(chē)藍(lán)皮書(shū).中國(guó)汽車(chē)產(chǎn)業(yè)發(fā)展報(bào)告(2014) [M].北京：社會(huì)科學(xué)文獻(xiàn)出版社，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.

　　計(jì)算機(jī)論文參考文獻(xiàn)三：

　　[1]王仁宏,數(shù)值逼近(第2版),高等教育出版社,2012.

　　[2]姚永雷.Web服務(wù)自動(dòng)協(xié)商機(jī)制研究(博士論文).北京郵電大學(xué).2007.

　　[3]程昱.面向自治計(jì)算的自動(dòng)服務(wù)協(xié)商研究(博士論文).浙江大學(xué).2008.

　　[4]程皇.高濟(jì).基于機(jī)器學(xué)習(xí)的自動(dòng)協(xié)商決策模型.軟件學(xué)報(bào).2009,20(8)：2160-2169.

　　[5]郭靜.陳英武.1-多交互協(xié)議本體的描述.計(jì)算機(jī)工程.2008,34(12)：162-166.

　　[6]翟社平.魏娟麗.李增智.基于概念語(yǔ)義協(xié)商的服務(wù)Agent劃分.電子學(xué)報(bào).2010,38(9)：2030-2034.

　　[7]張林蘭,電子市場(chǎng)中的雙邊同步自動(dòng)協(xié)商研宄(博士論文),華中科技大學(xué),2010.

　　[8]王斌.李艷.基于多Agent系統(tǒng)的自動(dòng)協(xié)商機(jī)制及通用協(xié)商框架.計(jì)算機(jī)工程與科學(xué).2009,31(1)：95-98.

　　[9]徐明.蔡鴻明.姜麗紅.基于加速遺傳模擬退火算法的協(xié)商策略研究.計(jì)算機(jī)應(yīng)用與軟件.2010,27(4)：1-3.

　　[10]甘早斌.朱春喜.馬務(wù)等.基于遺傳算法的關(guān)聯(lián)議題并發(fā)談判.軟件學(xué)報(bào).2012,23(11)：2987-2999.

　　[11]侯薇.董紅斌.印桂生.基于Bayesian學(xué)習(xí)的適應(yīng)性優(yōu)化協(xié)商模型.計(jì)算機(jī)研究與發(fā)展.2014,51(4)：721-730.

　　[12]孫天昊.電子商務(wù)中一對(duì)多協(xié)商研宄(博士論文).重慶大學(xué).2008.

　　[13]吳國(guó)全.基于模式的復(fù)合服務(wù)監(jiān)管關(guān)鍵技術(shù)研宄(博士論文).中國(guó)科學(xué)技術(shù)大學(xué).2009.

　　[14]程志文.趙俊.李田等.Web服務(wù)QoS數(shù)據(jù)多源采集方法及實(shí)現(xiàn).計(jì)算機(jī)科學(xué).2009,8(8)：180-211.

　　[15]于衛(wèi)紅.基于JADE平臺(tái)的多Agent系統(tǒng)開(kāi)發(fā)技術(shù).國(guó)防工業(yè)出版社.2011.

　　[16]甘健侯,姜躍,夏幼明,本體方法及其應(yīng)用,科學(xué)出版社,2011.