本文選題：邏輯式編程語言 + 操作語義��； 參考：《軟件學(xué)報》2014年02期

【摘要】：無線傳感網(wǎng)的發(fā)展,使其需要具有高效地更新其上運(yùn)行的應(yīng)用軟件的能力.為了解決這個問題,提出了一種面向無線傳感網(wǎng)應(yīng)用重編程的邏輯式編程語言及其處理系統(tǒng)ReLog.ReLog語言根據(jù)無線傳感網(wǎng)應(yīng)用的普遍特點(diǎn),基于傳統(tǒng)邏輯式語言進(jìn)行擴(kuò)展,并提供合適的編程抽象,方便程序員高效地構(gòu)建、修改程序.同時,語言的處理系統(tǒng)使用中間代碼將應(yīng)用程序與系統(tǒng)軟件解耦,從而減少應(yīng)用更新時所需傳輸?shù)母麓a的規(guī)模,提高更新效率.通過一個數(shù)據(jù)收集應(yīng)用案例評估了ReLog語言及其執(zhí)行機(jī)制,結(jié)果表明:使用ReLog語言能夠獲得簡潔、易修改的程序;同時,語言的執(zhí)行機(jī)制能夠顯著降低傳輸應(yīng)用更新代碼的能量和時間開銷.
[Abstract]:With the development of wireless sensor network, it needs the ability to update the application software efficiently. In order to solve this problem, a logic programming language and its processing system, ReLog.ReLog, which is oriented to the reprogramming of wireless sensor network applications, is proposed. According to the general characteristics of wireless sensor network applications, the logic programming language is extended based on the traditional logic language. And provides the appropriate programming abstract, convenient programmer to build, modify program efficiently. At the same time, the language processing system uses intermediate code to decouple the application program from the system software, thus reducing the size of the update code needed to be transmitted when the application updates, and improving the update efficiency. The ReLog language and its execution mechanism are evaluated by a data collection application case. The results show that simple and easily modified programs can be obtained by using the ReLog language. The execution mechanism of the language can significantly reduce the energy and time cost of the transmission application update code.
【作者單位】： 計算機(jī)軟件新技術(shù)國家重點(diǎn)實(shí)驗(yàn)室(南京大學(xué));
【基金】：國家自然科學(xué)基金(61073031,61021062) 國家高技術(shù)研究發(fā)展計劃(863)(2012AA011205)
【分類號】：TP212.9;TN929.5;TP311.1

【共引文獻(xiàn)】

相關(guān)期刊論文 前10條

1 文晟;張鐵民;盧玉華;楊秀麗;曹飛;;基于卡門渦街原理的諧振型風(fēng)力壓電俘能器研究[J];傳感技術(shù)學(xué)報;2013年09期

2 方遠(yuǎn);劉強(qiáng);趙澤;崔莉;;物聯(lián)網(wǎng)即加即用及其智能配置技術(shù)研究[J];電子學(xué)報;2013年09期

3 徐菲;;基于無線傳感器網(wǎng)絡(luò)的人員定位系統(tǒng)軟件設(shè)計[J];電腦知識與技術(shù);2013年29期

4 王章權(quán);陳友榮;任條娟;許森;;移動無線傳感網(wǎng)的生存時間優(yōu)化算法研究[J];電信科學(xué);2013年10期

5 馬德新;徐鵬民;許金普;龐英;;無線傳感器網(wǎng)絡(luò)在環(huán)境監(jiān)測中的應(yīng)用[J];電子元件與材料;2013年12期

6 段文杰;胡月明;陳聯(lián)誠;張飛揚(yáng);郭立宏;余平祥;;基于云計算技術(shù)的家禽養(yǎng)殖管理系統(tǒng)研究與實(shí)現(xiàn)[J];廣東農(nóng)業(yè)科學(xué);2014年01期

7 胡升澤;包衛(wèi)東;王博;樂俊;葛斌;;無線傳感器網(wǎng)絡(luò)基于多元簇首的分簇數(shù)據(jù)收集算法[J];電子與信息學(xué)報;2014年02期

8 鄭亞紅;王彩芬;李旭;杜秋菊;;基于矩陣的無線傳感器網(wǎng)絡(luò)密鑰預(yù)分配[J];計算機(jī)應(yīng)用研究;2013年09期

9 林喜輝;;無線傳感器網(wǎng)絡(luò)應(yīng)用技術(shù)研究[J];計算機(jī)與網(wǎng)絡(luò);2013年17期

10 李洪兵;熊慶宇;石為人;陳強(qiáng);蔣億松;何棟;;MPE~2S:基于多路徑糾刪編碼的無線傳感器網(wǎng)絡(luò)可靠傳輸策略[J];自動化學(xué)報;2013年10期

相關(guān)會議論文 前3條

1 Zhengdao Zhang;Zhiping Zhou;;Distributed Audit Secure Data Aggregation for Wireless Sensor Networks[A];2013年中國智能自動化學(xué)術(shù)會議論文集（第二分冊）[C];2013年

2 Yang Jing;Li Zetao;Lin Yi;;An Improved Routing Algorithm Based on LEACH for Wireless Sensor Networks[A];第25屆中國控制與決策會議論文集[C];2013年

3 Xiuwen Fu;Wenfeng Li;Lin Yang;;Design and Implementation of Fire-Alarming System for Indoor Environment Based on Wireless Sensor Networks[A];2013年中國智能自動化學(xué)術(shù)會議論文集（第一分冊）[C];2013年

相關(guān)博士學(xué)位論文 前10條

1 吳宣夠;基于壓縮感知的大規(guī)模無線傳感器網(wǎng)數(shù)據(jù)收集研究[D];中國科學(xué)技術(shù)大學(xué);2013年

2 張勇;密鑰管理中的若干問題研究[D];華東師范大學(xué);2013年

3 王正杰;礦井復(fù)雜環(huán)境無線傳感器網(wǎng)絡(luò)部署策略關(guān)鍵技術(shù)研究[D];中國礦業(yè)大學(xué)（北京）;2013年

4 李麗芬;基于無線傳感網(wǎng)絡(luò)的輸電線路狀態(tài)監(jiān)測數(shù)據(jù)傳輸?shù)难芯縖D];華北電力大學(xué);2013年

5 秦智超;無線傳感器網(wǎng)絡(luò)中節(jié)能關(guān)鍵技術(shù)的研究[D];北京郵電大學(xué);2013年

6 李棟;無線傳感器網(wǎng)絡(luò)中能量優(yōu)化與安全方案研究[D];北京郵電大學(xué);2013年

7 喬舉義;物聯(lián)網(wǎng)感知層中資源分配與調(diào)度算法研究[D];北京郵電大學(xué);2013年

8 李文霽;延遲容忍移動傳感器網(wǎng)絡(luò)數(shù)據(jù)傳輸技術(shù)研究[D];北京郵電大學(xué);2013年

9 于博;無線傳感器網(wǎng)絡(luò)數(shù)據(jù)聚集調(diào)度技術(shù)的研究[D];哈爾濱工業(yè)大學(xué);2013年

10 黃守志;無線傳感器網(wǎng)絡(luò)低耗節(jié)能機(jī)制研究及在工業(yè)監(jiān)測中的應(yīng)用[D];哈爾濱工業(yè)大學(xué);2013年

相關(guān)碩士學(xué)位論文 前10條

1 王鐸;基于傳感器的室內(nèi)輸電線路老化檢測設(shè)計與實(shí)現(xiàn)[D];吉林大學(xué);2013年

2 于皓;面向WMSN的多等級優(yōu)先機(jī)制擁塞控制算法[D];廣東工業(yè)大學(xué);2013年

3 林慧琳;基于物聯(lián)網(wǎng)的社區(qū)信息化綜合信息服務(wù)系統(tǒng)的實(shí)現(xiàn)[D];山東大學(xué);2013年

4 薛俏;基于IPv6的無線傳感器網(wǎng)絡(luò)網(wǎng)關(guān)協(xié)議棧的研究[D];北京化工大學(xué);2013年

5 周蕓;無線傳感器節(jié)點(diǎn)自定位算法研究[D];北京郵電大學(xué);2013年

6 仇必青;移動傳感器網(wǎng)絡(luò)的分簇機(jī)制研究[D];北京郵電大學(xué);2013年

7 劉朝敬;面向物聯(lián)網(wǎng)應(yīng)用的無線Mesh網(wǎng)絡(luò)路由及資源優(yōu)化策略研究[D];天津理工大學(xué);2013年

8 陳小慶;基于能量圖和節(jié)點(diǎn)移動的無線傳感器網(wǎng)絡(luò)覆蓋算法研究[D];北京交通大學(xué);2013年

9 杜開拓;無線傳感器網(wǎng)絡(luò)部署優(yōu)化研究及應(yīng)用[D];安徽建筑大學(xué);2013年

10 閆志文;基于無線Mesh的無線體域網(wǎng)關(guān)鍵問題研究[D];浙江理工大學(xué);2013年

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 葉曉波;王松;支蕾;;用操作語義解讀程序設(shè)計語言中的while循環(huán)結(jié)構(gòu)[J];楚雄師范學(xué)院學(xué)報;2010年12期

2 錢俊彥;趙嶺忠;;基于LTS的Statecharts操作語義研究[J];計算機(jī)工程;2006年22期

3 劉曉平;李忠澤;;基于操作語義的線束工藝設(shè)計系統(tǒng)研究[J];廣西大學(xué)學(xué)報(自然科學(xué)版);2010年05期

4 葉曉波;支蕾;;用形式語義探討局部變量的作用域[J];楚雄師范學(xué)院學(xué)報;2011年06期

5 張衛(wèi)星,蔣凡;并發(fā)TTCN的操作語義及相關(guān)算法[J];計算機(jī)工程;2003年04期

6 林敬恩;滕忠堅;陳圣群;;一種基于狀態(tài)機(jī)的形式化驗(yàn)證技術(shù)[J];電腦知識與技術(shù);2008年13期

7 陳純;張申生;李磊;張敬誼;王晨;;協(xié)同CAD系統(tǒng)中操作語義共享技術(shù)研究[J];計算機(jī)工程;2006年06期

8 胡豐全;趙群飛;;決策融合算法在車輛類型判斷中的應(yīng)用[J];微計算機(jī)信息;2008年31期

9 姚怡;徐成;李向華;趙進(jìn)創(chuàng);;應(yīng)用于精準(zhǔn)灌溉的無線傳感網(wǎng)定位技術(shù)[J];計算機(jī)工程與應(yīng)用;2010年05期

10 吳迅兮;華宏偉;;基于無線傳感網(wǎng)壓縮機(jī)遠(yuǎn)程監(jiān)測與故障診斷系統(tǒng)[J];無錫職業(yè)技術(shù)學(xué)院學(xué)報;2010年05期

相關(guān)會議論文 前10條

1 潘傳英;藍(lán)賢勇;陳宏;Colin E Bishop;;利用特定因子誘導(dǎo)293T細(xì)胞的重編程研究[A];第十二次全國畜禽遺傳標(biāo)記研討會論文集[C];2010年

2 汪彩珠;楊素芳;陳思蓓;鄧彥飛;劉慶友;羅嬋;石德順;;堿性成纖維細(xì)胞生長因子促進(jìn)水牛類胚胎生殖干細(xì)胞形成的初步研究[A];“細(xì)胞活動 生命活力”——中國細(xì)胞生物學(xué)學(xué)會全體會員代表大會暨第十二次學(xué)術(shù)大會論文摘要集[C];2011年

3 柳永坡;晏海華;張懋;劉雪梅;;測試流程管理與監(jiān)控技術(shù)的研究與實(shí)現(xiàn)[A];第五屆中國測試學(xué)術(shù)會議論文集[C];2008年

4 陳曉琳;姜志明;王守巖;;iPS細(xì)胞生產(chǎn)的指導(dǎo)原則和技術(shù)[A];第五屆全國中醫(yī)藥免疫學(xué)術(shù)研討會——暨環(huán)境·免疫與腫瘤防治綜合交叉會議論文匯編[C];2009年

5 葛敏;馬智剛;郭軍華;;無線傳感網(wǎng)絡(luò)在空調(diào)能耗監(jiān)測系統(tǒng)中的應(yīng)用[A];四川省電工技術(shù)學(xué)會第九屆學(xué)術(shù)年會論文集[C];2008年

6 卞合濤;黃衛(wèi);;誘導(dǎo)性多能干細(xì)胞[A];中華醫(yī)學(xué)會第十三次全國神經(jīng)病學(xué)學(xué)術(shù)會議論文匯編[C];2010年

7 李忠澤;徐本柱;劉曉平;;基于操作語義的線束工藝設(shè)計系統(tǒng)研究[A];全國第20屆計算機(jī)技術(shù)與應(yīng)用學(xué)術(shù)會議(CACIS·2009)暨全國第1屆安全關(guān)鍵技術(shù)與應(yīng)用學(xué)術(shù)會議論文集（下冊）[C];2009年

8 沈佳棟;唐明浩;章力;;無線傳感網(wǎng)在智能樓宇系統(tǒng)中的應(yīng)用[A];'2008系統(tǒng)仿真技術(shù)及其應(yīng)用學(xué)術(shù)會議論文集[C];2008年

9 姚海雷;張文成;王思涵;李保偉;張銳;習(xí)佳飛;周軍年;呂洋;曾泉;施雙雙;何麗娟;南雪;李艷華;岳文;裴雪濤;;誘導(dǎo)臍帶血來源的CD34+細(xì)胞重編程獲得誘導(dǎo)性多能干細(xì)胞(iPS cells)[A];第12屆全國實(shí)驗(yàn)血液學(xué)會議論文摘要[C];2009年

10 趙振宇;陳金鷹;;傳感網(wǎng)及3G新商機(jī)[A];四川省通信學(xué)會2009年學(xué)術(shù)年會論文集[C];2009年

相關(guān)重要報紙文章 前10條

1 譚薇　編譯;細(xì)胞重編程助力干細(xì)胞研發(fā)[N];第一財經(jīng)日報;2009年

2 記者 胡德榮;高效誘導(dǎo)體細(xì)胞重編程有新法[N];健康報;2010年

3 胡德榮;體細(xì)胞重編程研究有新發(fā)現(xiàn)[N];健康報;2004年

4 胡德榮;體細(xì)胞重編程分子機(jī)制研究獲突破[N];中國醫(yī)藥報;2004年

5 記者胡德榮;我國科學(xué)家培育出豬“萬能”干細(xì)胞[N];健康報;2009年

6 崔昕;表觀遺傳機(jī)制重大研究計劃啟動[N];中國醫(yī)藥報;2008年

7 胡德榮;羊水細(xì)胞能高效快速重編程為誘導(dǎo)多能干細(xì)胞[N];中國醫(yī)藥報;2009年

8 記者胡德榮;羊水細(xì)胞可快速重編程為誘導(dǎo)多能干細(xì)胞[N];健康報;2009年

9 王雪飛;表觀遺傳機(jī)制重大研究計劃“招兵買馬”[N];健康報;2008年

10 趙永新;我科學(xué)家培育出世界首個豬干細(xì)胞[N];保健時報;2009年

相關(guān)博士學(xué)位論文 前10條

1 廖寶劍;微核糖核酸簇miR-302-367和miR-106a-363促進(jìn)iPS細(xì)胞生成及其機(jī)制[D];中國科學(xué)技術(shù)大學(xué);2011年

2 李遠(yuǎn);雜合型重編程Oct4聯(lián)合多能干細(xì)胞因子表現(xiàn)重編程人腦膠質(zhì)瘤細(xì)胞的研究[D];鄭州大學(xué);2013年

3 董福祿;小鼠體細(xì)胞重編程過程中基因表達(dá)及H2A.Z摻入的變化[D];南京農(nóng)業(yè)大學(xué);2012年

4 梁素麗;牛體細(xì)胞核移植重編程研究[D];西北農(nóng)林科技大學(xué);2011年

5 張鑫淼;豬源多能性基因的克隆與豬Oct4基因的重編程功能研究[D];東北農(nóng)業(yè)大學(xué);2012年

6 鮑習(xí)琛;MicroRNA-302-367簇促進(jìn)體細(xì)胞重編程和microRNA-145抑制肺癌細(xì)胞增殖的研究[D];中國科學(xué)技術(shù)大學(xué);2011年

7 王佳旭;P53通過調(diào)控miR-199a-3p影響體細(xì)胞重編程[D];中國科學(xué)技術(shù)大學(xué);2013年

8 張慧;TAT蛋白轉(zhuǎn)運(yùn)結(jié)構(gòu)域介導(dǎo)的重組蛋白誘導(dǎo)成體細(xì)胞重編程[D];華東師范大學(xué);2013年

9 許杰;小鼠iPS細(xì)胞的誘導(dǎo)以及白血病抑制因子在細(xì)胞重編程過程中的作用機(jī)制研究[D];華中科技大學(xué);2010年

10 紀(jì)光臻;豬誘導(dǎo)多能性干細(xì)胞及端粒重編程研究[D];南開大學(xué);2013年

相關(guān)碩士學(xué)位論文 前10條

1 張淑金;定量分析誘導(dǎo)山羊體細(xì)胞重編程過程中端粒酶的表達(dá)變化[D];西北農(nóng)林科技大學(xué);2010年

2 劉坤;小鼠部分重編程細(xì)胞系的建立及其可塑性研究[D];內(nèi)蒙古大學(xué);2013年

3 李珍珍;成體細(xì)胞重編程的技術(shù)方法研究[D];西北農(nóng)林科技大學(xué);2012年

4 高yN;豬多能干細(xì)胞誘導(dǎo)培養(yǎng)體系的研究[D];西北農(nóng)林科技大學(xué);2013年

5 柳亞南;細(xì)胞重編程因子在肝癌細(xì)胞系中的表達(dá)及其效應(yīng)[D];第四軍醫(yī)大學(xué);2013年

6 劉曉鵬;線粒體生物發(fā)生和能量代謝相關(guān)基因在小鼠iPS誘導(dǎo)過程的變化和機(jī)理的初步研究[D];中國科學(xué)技術(shù)大學(xué);2011年

7 范宗興;非洲爪蟾卵母細(xì)胞抽提物誘導(dǎo)和牛體細(xì)胞重編程及其對核移植胚胎生產(chǎn)效率影響[D];中國農(nóng)業(yè)科學(xué)院;2013年

8 吳畏;基于微流控芯片的細(xì)胞電融合誘導(dǎo)小鼠體細(xì)胞重編程的去甲基化機(jī)制研究[D];第三軍醫(yī)大學(xué);2013年

9 孫昊;LSD1在小鼠胚胎成纖維細(xì)胞重編程中的功能研究[D];北京林業(yè)大學(xué);2013年

10 卿小兵;ClassIIa家族組蛋白去乙�；刚{(diào)控小鼠體細(xì)胞重編程的研究[D];中國科學(xué)技術(shù)大學(xué);2011年

，

本文編號：1867111