簡(jiǎn)介：隨著互聯(lián)網(wǎng)、信息技術(shù)和數(shù)據(jù)庫(kù)技術(shù)的飛速發(fā)展，各大公司和企業(yè)紛紛建立了各自的IT信息集成系統(tǒng)，由此積累了大量異構(gòu)數(shù)據(jù)如何高效便捷的處理這些數(shù)據(jù)信息成為企業(yè)信息化進(jìn)程中的問(wèn)題之一。因此，對(duì)異構(gòu)數(shù)據(jù)集成系統(tǒng)的研究已經(jīng)成為當(dāng)今業(yè)界和學(xué)術(shù)界的研究熱點(diǎn)。本文從造成數(shù)據(jù)異構(gòu)問(wèn)題的根源出發(fā)，利用目前流行且很實(shí)用的WEB服務(wù)和中間件技術(shù)，實(shí)現(xiàn)了對(duì)關(guān)系型異構(gòu)數(shù)據(jù)庫(kù)的集成。并將其應(yīng)用于實(shí)際項(xiàng)目中，對(duì)新增添系統(tǒng)數(shù)據(jù)庫(kù)的實(shí)際集成，取得了很好的集成效果。首先介紹了異構(gòu)數(shù)據(jù)集成的研究背景、國(guó)內(nèi)外研究現(xiàn)狀以及目前異構(gòu)集成所面臨的問(wèn)題；其次，研究并分析了現(xiàn)有的數(shù)據(jù)集成方法的優(yōu)缺點(diǎn)，結(jié)合現(xiàn)狀和實(shí)際需求，采用MEDIATWRAPPER體系結(jié)構(gòu)進(jìn)行異構(gòu)數(shù)據(jù)集成系統(tǒng)的設(shè)計(jì)和開(kāi)發(fā)。重點(diǎn)討論了MEDIATWRAPPER方法中的兩大組件MEDIAT和WRAPPER。MEDIAT的設(shè)計(jì)和開(kāi)發(fā)采用了分布式技術(shù)，這種松散的架構(gòu)方式降低了業(yè)務(wù)系統(tǒng)對(duì)MEDIAT的依賴以及MEDIAT對(duì)WRAPPER系統(tǒng)的依賴，提高了系統(tǒng)整體的可擴(kuò)展性和穩(wěn)定性；WRAPPER不同于傳統(tǒng)的WRAPPER，每個(gè)WRAPPER均是獨(dú)立部署在不同的物理節(jié)點(diǎn)之上，通過(guò)調(diào)用WEBSERVICE與MEDIAT建立通信。其中，查詢處理是數(shù)據(jù)集成系統(tǒng)的研究重點(diǎn)之一，主要涉及到查詢語(yǔ)言的設(shè)計(jì)與轉(zhuǎn)化、查詢分解、查詢優(yōu)化等。參照SQL語(yǔ)言和XQUERY等查詢語(yǔ)言，并結(jié)合分布式系統(tǒng)的實(shí)際情況，設(shè)計(jì)了MINISQL作為中間查詢語(yǔ)言，小巧靈活、功能強(qiáng)大，可以適配多種數(shù)據(jù)源，從而進(jìn)行跨語(yǔ)言處理，很好的解決了模式映射和語(yǔ)言解析問(wèn)題。最后，將該集成系統(tǒng)應(yīng)用于數(shù)字圖書(shū)館數(shù)據(jù)平臺(tái)中，很好的驗(yàn)證了基于WEB服務(wù)數(shù)據(jù)集成系統(tǒng)的正確性和可行性。

簡(jiǎn)介：隨著移動(dòng)定位技術(shù)、無(wú)線通訊網(wǎng)絡(luò)、地理信息系統(tǒng)、移動(dòng)互聯(lián)技術(shù)的飛速發(fā)展，基于位置服務(wù)LOCATIONBASEDSERVICES，LBS的應(yīng)用也得到快速發(fā)展。LBS是以位置服務(wù)為核心，通過(guò)通信網(wǎng)絡(luò)獲取移動(dòng)終端用戶的位置信息經(jīng)緯度坐標(biāo)，在地理信息系統(tǒng)的支持下，為用戶提供包括信息追蹤、導(dǎo)航、移動(dòng)黃頁(yè)等多種位置服務(wù)的一種新型業(yè)務(wù)，其核心技術(shù)就是移動(dòng)定位技術(shù)。而隨著移動(dòng)定位技術(shù)的發(fā)展成熟，位置服務(wù)業(yè)務(wù)也進(jìn)入了面向市場(chǎng)高度發(fā)展的階段。本文主要介紹位置服務(wù)的各種相關(guān)技術(shù)和移動(dòng)定位技術(shù)的主要手段，然后就目前的市場(chǎng)實(shí)際提出了一個(gè)簡(jiǎn)單的定位補(bǔ)充方法即運(yùn)用里程表結(jié)合陀螺儀和精確的GIS系統(tǒng)來(lái)實(shí)現(xiàn)車輛移動(dòng)臺(tái)的自身定位，并對(duì)其基本應(yīng)用和發(fā)展提出了自己的看法。本文首先介紹了位置服務(wù)系統(tǒng)的特點(diǎn)、典型結(jié)構(gòu)和相關(guān)技術(shù)，包括移動(dòng)定位技術(shù)、移動(dòng)互聯(lián)網(wǎng)訪問(wèn)技術(shù)、地理信息系統(tǒng)等；然后對(duì)其核心技術(shù)移動(dòng)定位技術(shù)做了深入的分析闡述，就其分類、目前已有的幾種定位方式一一做了說(shuō)明；隨后根據(jù)移動(dòng)定位系統(tǒng)的設(shè)計(jì)要求，提出了一個(gè)簡(jiǎn)單的定位系統(tǒng)里程表結(jié)合陀螺儀和GIS系統(tǒng)OGG，并對(duì)其基本原理和實(shí)際應(yīng)用做了闡述。

簡(jiǎn)介：“基于P2P技術(shù)的高性能存儲(chǔ)服務(wù)器的研究與實(shí)現(xiàn)”是北京市科委“基于IPV6的下一代互聯(lián)網(wǎng)關(guān)鍵技術(shù)研發(fā)及產(chǎn)業(yè)化推進(jìn)”項(xiàng)目課題“IPV6流媒體分發(fā)應(yīng)用系統(tǒng)支撐系統(tǒng)的開(kāi)發(fā)”的一個(gè)子課題。隨著互聯(lián)網(wǎng)的飛速發(fā)展，視頻點(diǎn)播、IPTV等流媒體應(yīng)用也發(fā)展迅速，迫切需要一個(gè)高性能內(nèi)容分發(fā)系統(tǒng)來(lái)支撐業(yè)務(wù)的開(kāi)展。其中存儲(chǔ)服務(wù)器的性能是整個(gè)系統(tǒng)中最重要的環(huán)節(jié)。本文首先介紹了P2P技術(shù)的背景、發(fā)展、現(xiàn)狀，通過(guò)建模和協(xié)議仿真器對(duì)BT協(xié)議的性能進(jìn)行了研究和分析，在此基礎(chǔ)上提出一個(gè)減輕BT種子壓力的方法；對(duì)常用的網(wǎng)絡(luò)服務(wù)器內(nèi)部架構(gòu)和多種事件分派機(jī)制進(jìn)行了分析和比較，在此基礎(chǔ)上提出了一個(gè)基于LINUX平臺(tái)的，采用異步事件驅(qū)動(dòng)，遵循開(kāi)放標(biāo)準(zhǔn)的、高性能、可擴(kuò)展的存儲(chǔ)服務(wù)器。本文詳細(xì)介紹了存儲(chǔ)服務(wù)器的設(shè)計(jì)與實(shí)現(xiàn)。存儲(chǔ)服務(wù)器基于LINUX平臺(tái)，采取模塊化的思想進(jìn)行設(shè)計(jì)。系統(tǒng)各模塊運(yùn)行在一個(gè)基于異步事件驅(qū)動(dòng)的系統(tǒng)運(yùn)行框架之上?？蚣芪〕Ｓ玫木W(wǎng)絡(luò)服務(wù)器框架的經(jīng)驗(yàn)，針對(duì)高網(wǎng)絡(luò)IO、高磁盤(pán)IO的特點(diǎn)，運(yùn)用LINUX26內(nèi)核的最新特性進(jìn)行優(yōu)化，提供統(tǒng)一的事件的登記和回調(diào)接口，所有的操作都是通過(guò)登記事件，然后由框架檢測(cè)到異步事件時(shí)回調(diào)相應(yīng)的處理函數(shù)，整個(gè)過(guò)程都是異步的；通過(guò)對(duì)磁盤(pán)IO讀寫(xiě)技術(shù)進(jìn)行分析，結(jié)合異步事件驅(qū)動(dòng)的框架，設(shè)計(jì)并實(shí)現(xiàn)了高效的磁盤(pán)異步IO模塊，存儲(chǔ)服務(wù)器通過(guò)異步事件接收并處理客戶端的交互命令，通過(guò)磁盤(pán)異步工O模塊獲得數(shù)據(jù)，再通過(guò)異步事件驅(qū)動(dòng)框架發(fā)送給客戶端；對(duì)保存在磁盤(pán)上的文件采用特殊的映射機(jī)制，減少目錄的深度并使文件分布均勻；對(duì)內(nèi)存中的文件索引通過(guò)HASH表進(jìn)行管理，加快了文件索引的查詢速度；服務(wù)器內(nèi)部實(shí)現(xiàn)了對(duì)標(biāo)準(zhǔn)BT協(xié)議的解析，支持所有采用標(biāo)準(zhǔn)BT協(xié)議的客戶端；設(shè)計(jì)并實(shí)現(xiàn)了采用BT技術(shù)的文件分發(fā)功能；最后，設(shè)計(jì)并實(shí)現(xiàn)了的單連接靜態(tài)限速和多連接的動(dòng)態(tài)限速算法，經(jīng)測(cè)試表明連接的速率能非常有效地得到限制并且保持穩(wěn)定。

簡(jiǎn)介：機(jī)械設(shè)備自身的復(fù)雜結(jié)構(gòu)，故障的發(fā)生和發(fā)展、設(shè)備工況的變化導(dǎo)致其振動(dòng)信號(hào)往往具有非穩(wěn)態(tài)的復(fù)雜特性，振動(dòng)信號(hào)的非平穩(wěn)特征提取與表示關(guān)系到故障診斷的可靠性和準(zhǔn)確性。時(shí)頻分析是信號(hào)非平穩(wěn)特性分析的有力工具，但隨著設(shè)備新舊故障的不斷復(fù)雜化，使得傳統(tǒng)的時(shí)頻分析理論及方法難以完全適用于某些有用信息的捕捉和深入分析，因而有關(guān)的研究和應(yīng)用也受到了很大的限制。該文在綜述了國(guó)內(nèi)外故障診斷研究現(xiàn)狀的基礎(chǔ)上，分析了機(jī)械振動(dòng)信號(hào)的非平穩(wěn)特征及其深層次信息提取的意義；提出了在常規(guī)時(shí)頻分析結(jié)果的基礎(chǔ)上進(jìn)行更深層次的二次處理，以提取表征信號(hào)非平穩(wěn)特性的瞬時(shí)物理量的多種新方法，并以故障齒輪和故障軸承的大量振動(dòng)信號(hào)作為分析實(shí)例對(duì)這些方法進(jìn)行了一一驗(yàn)證；在理論上初步設(shè)計(jì)了電子商務(wù)環(huán)境下的遠(yuǎn)程測(cè)試診斷服務(wù)系統(tǒng)方案，并對(duì)系統(tǒng)實(shí)現(xiàn)中的關(guān)鍵技術(shù)和核心模塊進(jìn)行了詳細(xì)的論述和探討。本文主要從以下四個(gè)方面對(duì)非平穩(wěn)特征的深層次提取技術(shù)進(jìn)行了深入、細(xì)致的研究和探討1基于小波變換的非平穩(wěn)特征提取技術(shù)。對(duì)小波變換的理論方法、工程理解及小波基、小波變換尺度的選擇進(jìn)行了系統(tǒng)地分析，介紹了基于復(fù)解析小波變換的瞬時(shí)幅值及瞬時(shí)相位的提取技術(shù)，在此基礎(chǔ)上引入了基于小波脊線的瞬時(shí)頻率估計(jì)方法，提出了小波尺度能量與小波時(shí)間能量相關(guān)譜的特征表示法并用于表示軸承外圈、滾珠和內(nèi)圈的故障特征。2基于小波包分解與解調(diào)技術(shù)的非平穩(wěn)特征提取技術(shù)。利用小波包分解技術(shù)對(duì)振動(dòng)信號(hào)進(jìn)行降噪處理，并選擇特殊頻段進(jìn)行小波包重構(gòu)，有效捕捉和分離了處于信號(hào)不同頻段的故障特征分量。在此基礎(chǔ)上，對(duì)傳統(tǒng)HILBERT瞬時(shí)頻率估計(jì)方法加以改進(jìn)，并引入TEAGER能量算子解調(diào)方法，給出了適合多分量調(diào)幅調(diào)頻信號(hào)的瞬時(shí)頻率特征或調(diào)制特征的提取方法。3基于聯(lián)合時(shí)頻分析的非平穩(wěn)特征提取技術(shù)。闡述了各種線性時(shí)頻變換和非線性時(shí)頻變換的時(shí)頻聚集性和交叉干擾問(wèn)題，主要對(duì)自適應(yīng)信號(hào)分解法和徑向高斯核時(shí)頻分布這兩種時(shí)頻分析方法進(jìn)行了深入的研究與探討。在傳統(tǒng)自適應(yīng)信號(hào)分解的基礎(chǔ)上的提出了三種振動(dòng)信號(hào)處理新技術(shù)基于時(shí)頻曲面擬合的信號(hào)分解法，可有效用于非平穩(wěn)信號(hào)的噪聲抑制；對(duì)CHIRPLET基函數(shù)加以改進(jìn)，引入了二次非線性調(diào)頻參數(shù)，提高傳統(tǒng)CHIRPLET自適應(yīng)信號(hào)分解法的時(shí)頻特征刻畫(huà)能力；在時(shí)頻二維平面上采用振動(dòng)沖擊信號(hào)模型對(duì)時(shí)頻濾波后的信號(hào)分量進(jìn)行逼近，提純瞬態(tài)沖擊分量。在基于徑向高斯核時(shí)頻分布的基礎(chǔ)上，引入了時(shí)域分段方法提高了其時(shí)頻分布質(zhì)量，利用圖像處理技術(shù)提取出時(shí)頻圖像的脊線特征之后，引入HOUGH變換自動(dòng)檢測(cè)出時(shí)頻脊線的特征參數(shù)，再根據(jù)時(shí)頻脊線與瞬時(shí)頻率曲線的對(duì)應(yīng)關(guān)系來(lái)確定多分量時(shí)變信號(hào)的瞬時(shí)頻率函數(shù)表達(dá)式；繼而采用基于瞬時(shí)頻率曲線的時(shí)頻濾波方法對(duì)被分析信號(hào)進(jìn)行濾波后重構(gòu)，達(dá)到了從多分量復(fù)雜信號(hào)中分離特征分量的目的。4基于經(jīng)驗(yàn)?zāi)B(tài)分解EMD的非平穩(wěn)特征提取技術(shù)。在介紹EMD基本理論的基礎(chǔ)上，結(jié)合實(shí)際應(yīng)用中遇到的問(wèn)題，系統(tǒng)論述了EMD中存在的端點(diǎn)效應(yīng)，本征模函數(shù)的篩分迭代停止的標(biāo)準(zhǔn)和模態(tài)混疊這三大問(wèn)題，并針對(duì)這些問(wèn)題提出了相應(yīng)的解決方法。簡(jiǎn)要概述了EMD端點(diǎn)效應(yīng)產(chǎn)生的原因和目前提出的一些有效的抑制方法，并對(duì)這些方法的優(yōu)缺點(diǎn)進(jìn)行了分析比較。重點(diǎn)針對(duì)EMD中出現(xiàn)的模態(tài)混疊現(xiàn)象，提出了兩種解決方案。一種是EMD與小波包分解相結(jié)合的方法；第二種是加減掩膜信號(hào)法。仿真實(shí)驗(yàn)和應(yīng)用實(shí)踐證明這兩種方法都能較好地消除EMD中的模態(tài)混疊現(xiàn)象，可有效提高EMD的分解能力。研究振動(dòng)信號(hào)的非平穩(wěn)特征深層提取技術(shù)的最終目的是將它們應(yīng)用到遠(yuǎn)程測(cè)試診斷服務(wù)系統(tǒng)中，解決工程實(shí)際中的具體問(wèn)題，將科學(xué)技術(shù)轉(zhuǎn)化為生產(chǎn)力。因此，本文在上述理論方法的研究基礎(chǔ)上，將電子商務(wù)理念與遠(yuǎn)程測(cè)試診斷相結(jié)合，提出了電子商務(wù)環(huán)境下的個(gè)性化遠(yuǎn)程測(cè)試診斷服務(wù)系統(tǒng)的結(jié)構(gòu)模型，系統(tǒng)研究了遠(yuǎn)程測(cè)試診斷服務(wù)系統(tǒng)中的虛擬儀器、數(shù)據(jù)傳輸、神經(jīng)網(wǎng)絡(luò)學(xué)習(xí)、智能診斷、系統(tǒng)安全等關(guān)鍵技術(shù)，開(kāi)發(fā)了服務(wù)系統(tǒng)的各種功能模塊并在汽車齒輪箱和軸承等典型性設(shè)備的遠(yuǎn)程故障診斷實(shí)驗(yàn)中得到了成功應(yīng)用。本文的研究工作為非平穩(wěn)信號(hào)特征提取和故障診斷開(kāi)辟了新的途徑，其成果對(duì)于我們今后的理論研究和開(kāi)發(fā)實(shí)踐具有承上啟下的作用，對(duì)工業(yè)生產(chǎn)具有相當(dāng)?shù)膶?shí)用價(jià)值。

簡(jiǎn)介：WEB服務(wù)使企業(yè)應(yīng)用集成和動(dòng)態(tài)協(xié)作成為真正可能的、同時(shí)便于實(shí)施的解決方案。使用WEB服務(wù)，通過(guò)松散的應(yīng)用集成，將各個(gè)企業(yè)間的應(yīng)用以WEB服務(wù)的方式有效組織起來(lái)，實(shí)現(xiàn)跨企業(yè)的信息共享與業(yè)務(wù)協(xié)同，并通過(guò)跨企業(yè)工作流系統(tǒng)實(shí)現(xiàn)業(yè)務(wù)流程的自動(dòng)化。隨著企業(yè)應(yīng)用系統(tǒng)的日益復(fù)雜，以及INTER環(huán)境所特有的復(fù)雜性與多變性，當(dāng)前跨企業(yè)WEB服務(wù)的業(yè)務(wù)集成系統(tǒng)依然存在的主要問(wèn)題有1WEB服務(wù)的開(kāi)發(fā)與部署沒(méi)有完全分離，缺乏一定的靈活性，限制了各自的發(fā)展；WEB服務(wù)與服務(wù)器往往是靜態(tài)綁定，不能支持分布式環(huán)境下WEB服務(wù)的動(dòng)態(tài)部署，無(wú)法將WEB服務(wù)動(dòng)態(tài)綁定在可用服務(wù)器上運(yùn)行；2在跨企業(yè)WEB服務(wù)的組合過(guò)程中，對(duì)于企業(yè)WEB服務(wù)的發(fā)現(xiàn)缺乏有效的機(jī)制保證在運(yùn)行時(shí)能夠動(dòng)態(tài)發(fā)現(xiàn)具有較高性價(jià)比的服務(wù)；3跨企業(yè)WEB服務(wù)的組合過(guò)程缺乏動(dòng)態(tài)的描述，無(wú)法對(duì)動(dòng)態(tài)變化的業(yè)務(wù)環(huán)境做出及時(shí)的應(yīng)對(duì)，從而無(wú)法進(jìn)行有效的控制與協(xié)調(diào)；4WEB服務(wù)與所需資源的靜態(tài)綁定，限制了跨企業(yè)資源的共享，無(wú)法提供安全有效的機(jī)制，根據(jù)WEB服務(wù)的實(shí)際運(yùn)行環(huán)境，實(shí)現(xiàn)跨企業(yè)的資源共享。本文通過(guò)分析WEB服務(wù)動(dòng)態(tài)組合的關(guān)鍵技術(shù)及存在的困難，結(jié)合跨企業(yè)工作流的過(guò)程模型與過(guò)程控制，在面向服務(wù)的框架體系下，對(duì)WEB服務(wù)描述進(jìn)行擴(kuò)展，將WEB服務(wù)的開(kāi)發(fā)與部署分離開(kāi)來(lái)，在面向工作流的WEB服務(wù)動(dòng)態(tài)組合過(guò)程中，根據(jù)實(shí)際的應(yīng)用需求，實(shí)現(xiàn)WEB服務(wù)的動(dòng)態(tài)部署與綁定，并提供靈活有效的容錯(cuò)策略，保證經(jīng)過(guò)動(dòng)態(tài)部署的WEB服務(wù)能夠正常運(yùn)行。與此同時(shí)，建立了基于動(dòng)態(tài)服務(wù)組合技術(shù)的動(dòng)態(tài)虛擬企業(yè)模型，針對(duì)模型的動(dòng)態(tài)管理，討論了跨企業(yè)WEB服務(wù)間資源的安全共享問(wèn)題。本文的主要研究?jī)?nèi)容及成果包括以下幾個(gè)方面1提出了WEB服務(wù)描述的擴(kuò)展模型為了支持WEB服務(wù)開(kāi)發(fā)與部署的完全分離，支持在WEB服務(wù)動(dòng)態(tài)組合過(guò)程中WEB服務(wù)的動(dòng)態(tài)部署與正常運(yùn)行，對(duì)WEB服務(wù)描述進(jìn)行了一定的擴(kuò)展，增加對(duì)服務(wù)的資源需求信息和服務(wù)安裝運(yùn)行配置信息的描述以及服務(wù)策略信息的描述如安全訪問(wèn)策略、容錯(cuò)策略、以及信任授權(quán)策略等。2提出了面向工作流的動(dòng)態(tài)WEB服務(wù)組合模型為了支持對(duì)WEB服務(wù)動(dòng)態(tài)組合過(guò)程的協(xié)調(diào)與控制，通過(guò)利用動(dòng)態(tài)工作流模型，把WEB服務(wù)的組合過(guò)程與工作流的過(guò)程模型結(jié)合起來(lái)，建立面向動(dòng)態(tài)工作流的復(fù)合服務(wù)；在復(fù)合服務(wù)的執(zhí)行過(guò)程中，通過(guò)引入服務(wù)評(píng)價(jià)函數(shù)，根據(jù)工作流過(guò)程模型中所定義的各項(xiàng)任務(wù)之間的業(yè)務(wù)邏輯與業(yè)務(wù)規(guī)則，實(shí)現(xiàn)工作流任務(wù)的動(dòng)態(tài)綁定與執(zhí)行。3提出了基于策略的多AGENT服務(wù)容錯(cuò)模型為了支持在WEB服務(wù)動(dòng)態(tài)組合過(guò)程中，WEB服務(wù)所動(dòng)態(tài)綁定的宿主服務(wù)器能夠?qū)EB服務(wù)運(yùn)行過(guò)程中所發(fā)生的錯(cuò)誤進(jìn)行及時(shí)有效的處理，在WEB服務(wù)描述中擴(kuò)展了對(duì)WEB服務(wù)容錯(cuò)策略的描述，并引入了多AGENT系統(tǒng)，在服務(wù)執(zhí)行過(guò)程中，通過(guò)多AGENT的交互與合作，能夠根據(jù)服務(wù)容錯(cuò)策略的相關(guān)信息，對(duì)各類錯(cuò)誤的發(fā)生能夠進(jìn)行有效的監(jiān)控，并做出及時(shí)正確的處理。4提出了基于動(dòng)態(tài)服務(wù)組合的虛擬企業(yè)模型為了支持對(duì)跨企業(yè)信息應(yīng)用系統(tǒng)的動(dòng)態(tài)集成與協(xié)作，對(duì)企業(yè)信息應(yīng)用系統(tǒng)實(shí)現(xiàn)WEB服務(wù)封裝，建立基于動(dòng)態(tài)服務(wù)組合的虛擬企業(yè)模型，支持虛擬企業(yè)的運(yùn)作過(guò)程中成員企業(yè)的動(dòng)態(tài)加盟與退出；同時(shí)，為了保證虛擬企業(yè)的穩(wěn)定運(yùn)作，通過(guò)引入信任授權(quán)機(jī)制，確保對(duì)跨企業(yè)WEB服務(wù)資源的安全有效使用。

簡(jiǎn)介：隨著互聯(lián)網(wǎng)技術(shù)不斷滲入到家庭生活中用戶對(duì)家庭設(shè)備提出了更高的要求人們期望家庭中的所有設(shè)備可以通過(guò)電腦、手機(jī)等聯(lián)網(wǎng)設(shè)備進(jìn)行統(tǒng)一的訪問(wèn)和控制。在家庭安防方面人們希望獲得集本地和遠(yuǎn)程于一體的家庭安全服務(wù)實(shí)現(xiàn)聯(lián)動(dòng)報(bào)警和遠(yuǎn)程監(jiān)控。但是由于不同廠商和組織定義的設(shè)備通信協(xié)議或標(biāo)準(zhǔn)種類繁多這些協(xié)議和標(biāo)準(zhǔn)之間無(wú)法兼容給設(shè)備的協(xié)同服務(wù)和資源共享造成了困難。如何突破異構(gòu)標(biāo)準(zhǔn)之間的信息隔閡實(shí)現(xiàn)異構(gòu)設(shè)備間的高效互聯(lián)給人們的生活帶來(lái)更大的便利已經(jīng)成為智能家居領(lǐng)域的一個(gè)研究熱點(diǎn)。為了解決上述問(wèn)題人們嘗試了許多方法來(lái)屏蔽設(shè)備的異構(gòu)性但是各種方法都有其相應(yīng)的應(yīng)用范圍和實(shí)現(xiàn)難度。本文從設(shè)備服務(wù)描述方面入手試圖提供一種將基于異構(gòu)協(xié)議的設(shè)備進(jìn)行統(tǒng)一管理的方法通過(guò)文檔驅(qū)動(dòng)的方式對(duì)設(shè)備進(jìn)行描述根據(jù)實(shí)際的應(yīng)用場(chǎng)景選擇最合適的協(xié)議進(jìn)行具體的應(yīng)用。本文主要從如下方面進(jìn)行了研究討論采用何種方法建立適用于多種協(xié)議設(shè)備服務(wù)描述模型針對(duì)家庭安防領(lǐng)域提出設(shè)備服務(wù)描述模型以及該模型的各個(gè)模塊的設(shè)計(jì)和架構(gòu)如何對(duì)提出的模型和方法進(jìn)行實(shí)現(xiàn)和驗(yàn)證。具體研究成果包括1對(duì)現(xiàn)有設(shè)備服務(wù)描述方法和主流家庭網(wǎng)絡(luò)協(xié)議進(jìn)行了詳細(xì)的分析權(quán)衡利弊選擇XMLSCHEMA技術(shù)對(duì)描述文檔進(jìn)行規(guī)范選擇主流家庭網(wǎng)絡(luò)協(xié)議中應(yīng)用最廣UPNP協(xié)議來(lái)對(duì)模型進(jìn)行驗(yàn)證2提出了一種采用XMLSCHEMA技術(shù)實(shí)現(xiàn)的設(shè)備服務(wù)描述模型并詳細(xì)介紹了模型的架構(gòu)與實(shí)現(xiàn)。該服務(wù)模型專注于家庭安防領(lǐng)域提供設(shè)備的基本信息、通用屬性以及相關(guān)服務(wù)和操作在進(jìn)行異構(gòu)協(xié)議轉(zhuǎn)換時(shí)無(wú)需提供額外信息不僅方便了協(xié)議轉(zhuǎn)換還擴(kuò)大了模型的使用范圍3開(kāi)發(fā)了模型相關(guān)的所有組件包括根據(jù)描述模型開(kāi)發(fā)的設(shè)備服務(wù)描述文件生成器UPNP設(shè)備和UPNP標(biāo)準(zhǔn)控制點(diǎn)。通過(guò)本文開(kāi)發(fā)的服務(wù)描述生成器只需要在界面上的簡(jiǎn)單操作就可以生成相應(yīng)協(xié)議的設(shè)備服務(wù)描述文檔大大降低了服務(wù)描述文檔的生成難度。實(shí)驗(yàn)結(jié)果表明使用本模型開(kāi)發(fā)的設(shè)備服務(wù)描述生成器所生成的描述文檔開(kāi)發(fā)的UPNP設(shè)備能夠被UPNP標(biāo)準(zhǔn)控制點(diǎn)發(fā)現(xiàn)和控制。從而進(jìn)一步證明了模型的正確性和可行性。

簡(jiǎn)介：點(diǎn)擊查看更多基于UML的服務(wù)描述和服務(wù)組合生成技術(shù)研究.pdf精彩內(nèi)容。

簡(jiǎn)介：西南交通大學(xué)碩士學(xué)位論文基于位置服務(wù)的移動(dòng)GIS關(guān)鍵技術(shù)研究姓名羅文彬申請(qǐng)學(xué)位級(jí)別碩士專業(yè)地圖制圖學(xué)與地理信息工程指導(dǎo)教師張獻(xiàn)州20060301西南交通大學(xué)碩士研究生學(xué)位論文第Ⅱ頁(yè)ABSTRACTWITHTHEWIRELESSNETWORKCOMMUNICATIONTECHNOLOGY，MOBILEPOSITIONINGTECHN0109YANDEMBEDDEDSYSTEMAPPEARINGANDGOINGTOMATURITY，THEMOBILEGEOGRAPHICINFORMATIONSYSTEMGISBASEDONLOCATIONSERVERHASBEENRAPIDLYDEVELOPEDHOWTODROVIDEGISSERVERINTHEMOBILECIRCUMSTANCESBECOMEONEOFTHEHOTSPOTPROBLEMSINGISANDONEOFTHEMAINSTREAMTECHN0109YFORTHEPUBLICTHEMOBILECHARACTERISTICOFMOBILEINTELLIGENTTERMINALPROVIDESWELLSUPPORTFORTHEDEVELOPINGOFMOBILEGISMOBILEGISTAKESMOBILEINTELLIGENTTERMINALASCARRIEROFINFORMATIONANDINTEGRATESTHEEMBEDDEDGISTECHNOLOGY，MOBILEPOSITIONINGTECHNOLOGYANDTHEWIRELESSNETWORKCOⅢMUNICATIONTECHNOLOGY，THEREFORE，PEOPLENOTONLYCANANYWHERE，ANYTIMETOGATHERANDUPDATEGISDATA，BUTA1SOCANANYWHERE，ANYTIMEACCESSGISSERVICEFIRSTOFALL，THEPAPERREVIEWSTHEHISTORYANDSTATUSINQUOOFMOBILEGISANDOPENOUTTHEWIDEFOREGR。UNDOFMOBILEGISAPPLICATION，THENDISCUSSESTHEKEYTECHN0109YOFMOBILEGIS，SUCHASEMBEDDEDGISTECHN0109Y，MOBILECOMPUTETECHN0109Y，EMBEDDEDMOBILEDATABASE，WIRELESSNETWORKCOMMUNICATIONTECHNOLOGYANDSPATIALPOSITIONINGTECHN。LOGYTHISESSAYISCONEERNEDWITHMAINCHARACTERISTICANDRELEVANTTECHN0109YOFMOBILEGISINTHEORYANDPROBESINTOTHESYSTEMATICCOMPONENTANDAPPLIEDMODELSOFMOBILEGIS0NTHLSBASISTAKINGMOBILEINTELLIGENTPATROLLINGANDCHECKINGSVSTEMASTHEEXAMDLEOFMOBILEGIS，CARRYINGONRESEARCHANDDESIGNTOLTITISEXPECTEDTOFULFILLDATACOLLECTIONINFIELD，POSITIONINGANDNAVIGATIONBESIDESTHETRADLTIDNALFUNCTIONS。SUCHASSPATIALINFORMATION

簡(jiǎn)介：隨著WEB服務(wù)技術(shù)的不斷成熟與發(fā)展，越來(lái)越多的企業(yè)將自己的業(yè)務(wù)封裝成WEB服務(wù)向外發(fā)布，使得INTER正由傳統(tǒng)的信息發(fā)布平臺(tái)逐漸演變?yōu)橐粋€(gè)開(kāi)放的分布式計(jì)算環(huán)境。在這樣一個(gè)開(kāi)放網(wǎng)絡(luò)環(huán)境下實(shí)現(xiàn)跨組織和跨企業(yè)的應(yīng)用集成已成為商業(yè)、政府、科學(xué)研究、軍事等各個(gè)領(lǐng)域中具有廣泛需求的基礎(chǔ)性研究課題。服務(wù)組合技術(shù)通過(guò)把相對(duì)簡(jiǎn)單的WEB服務(wù)，按照一定的業(yè)務(wù)邏輯組合起來(lái)以提供更強(qiáng)大、更完整的業(yè)務(wù)功能，已經(jīng)成為企業(yè)應(yīng)用集成發(fā)展的趨勢(shì)。以開(kāi)放網(wǎng)絡(luò)環(huán)境下跨組織和跨企業(yè)的應(yīng)用集成需求為背景，本人所在項(xiàng)目組開(kāi)發(fā)了一個(gè)以服務(wù)組合及其關(guān)鍵技術(shù)為基礎(chǔ)的企業(yè)應(yīng)用集成平臺(tái)，并在多個(gè)單位進(jìn)行了實(shí)際應(yīng)用。本文針對(duì)于該平臺(tái)在實(shí)際項(xiàng)目實(shí)施過(guò)程中所面臨的組合服務(wù)執(zhí)行效率保證、人工任務(wù)支持以及面向組合服務(wù)可靠運(yùn)行的異常分析診斷等問(wèn)題，在機(jī)制、算法、模型理論等方面展開(kāi)了工作，給出了相應(yīng)的問(wèn)題解決方案，主要工作包括1針對(duì)于組合服務(wù)執(zhí)行效率保證問(wèn)題，研究了基于控制流數(shù)據(jù)流全集中執(zhí)行模式和控制流集中數(shù)據(jù)流分散執(zhí)行模式的組合服務(wù)混合執(zhí)行機(jī)制，以通過(guò)執(zhí)行模式間的動(dòng)態(tài)選擇和切換保證組合服務(wù)執(zhí)行效率。首先，給出了該機(jī)制的分層結(jié)構(gòu)然后，建立了面向混合執(zhí)行的組合服務(wù)執(zhí)行引擎和服務(wù)代理間的交互協(xié)議，以實(shí)現(xiàn)不同執(zhí)行模式的靈活切換接下來(lái)，提出了執(zhí)行環(huán)境特征模型并在該模型的基礎(chǔ)上提出了執(zhí)行模式兩階段選擇算法，包括執(zhí)行模式預(yù)選擇和動(dòng)態(tài)選擇算法，以實(shí)現(xiàn)執(zhí)行模式在不同網(wǎng)絡(luò)和業(yè)務(wù)環(huán)境上下文中的自適應(yīng)選擇最后，通過(guò)實(shí)驗(yàn)驗(yàn)證了所提出的混合執(zhí)行機(jī)制的有效性。2針對(duì)于組合服務(wù)執(zhí)行過(guò)程中的人工任務(wù)支持以及有效調(diào)度問(wèn)題，研究了人工任務(wù)執(zhí)行機(jī)制及調(diào)度算法。首先，給出了面向人工任務(wù)執(zhí)行的人工服務(wù)容器的體系結(jié)構(gòu)，以保證組合服務(wù)執(zhí)行引擎對(duì)人工服務(wù)資源的靈活調(diào)用，實(shí)現(xiàn)組合服務(wù)執(zhí)行環(huán)境對(duì)人工任務(wù)的支持然后，建立了人工服務(wù)資源執(zhí)行性能評(píng)價(jià)模型以反映人工服務(wù)資源的實(shí)際執(zhí)行效果接下來(lái)，給出了人工任務(wù)調(diào)度問(wèn)題的目標(biāo)函數(shù)并提出了求解該問(wèn)題的人工任務(wù)兩階段調(diào)度算法，包括人工任務(wù)初始調(diào)度和基于委托授權(quán)的人工任務(wù)重調(diào)度算法，以保證人工任務(wù)的執(zhí)行效果最后，通過(guò)實(shí)驗(yàn)驗(yàn)證了所提出的人工任務(wù)兩階段調(diào)度算法的有效性。3針對(duì)于面向組合服務(wù)可靠運(yùn)行的異常分析診斷問(wèn)題，研究了組合服務(wù)異常診斷算法。首先，對(duì)組合服務(wù)中服務(wù)間的錯(cuò)誤傳播關(guān)系進(jìn)行了分析，給出了全局和局部異常診斷相結(jié)合的組合服務(wù)異常診斷方法的實(shí)現(xiàn)框架然后，針對(duì)于組合服務(wù)的全局異常診斷問(wèn)題，給出了錯(cuò)誤傳播度的計(jì)算方法并通過(guò)錯(cuò)誤傳播度反映服務(wù)與異常間的不確定因果關(guān)系，以保證組合服務(wù)異常診斷的準(zhǔn)確性接下來(lái)，以錯(cuò)誤傳播度計(jì)算為基礎(chǔ)，構(gòu)建基于錯(cuò)誤依賴矩陣的異常診斷模型，從而通過(guò)基于模糊邏輯的診斷推理，得到最有可能的錯(cuò)誤源最后，通過(guò)實(shí)驗(yàn)驗(yàn)證了所提出的異常診斷算法的有效性。4為了驗(yàn)證本文所提出的實(shí)現(xiàn)機(jī)制、模型理論、核心算法等關(guān)鍵技術(shù)的實(shí)際應(yīng)用效果，在所構(gòu)建的基于SOA的企業(yè)應(yīng)用集成平臺(tái)的基礎(chǔ)上，結(jié)合實(shí)際應(yīng)用案例，給出了所研究的關(guān)鍵技術(shù)的具體實(shí)現(xiàn)方案并對(duì)其實(shí)際應(yīng)用效果進(jìn)行了評(píng)價(jià)。實(shí)際應(yīng)用效果表明所研究的組合服務(wù)混合執(zhí)行機(jī)制、人工任務(wù)執(zhí)行機(jī)制及調(diào)度算法、組合服務(wù)異常診斷技術(shù)能夠有效解決實(shí)際應(yīng)用過(guò)程中所面臨的組合服務(wù)執(zhí)行效率保證、人工任務(wù)支持及有效調(diào)度、組合服務(wù)異常診斷分析等問(wèn)題。

簡(jiǎn)介：隨著現(xiàn)代信息技術(shù)、電子技術(shù)、計(jì)算機(jī)控制技術(shù)、以及汽車裝備技術(shù)的不斷發(fā)展，新興的電子應(yīng)用系統(tǒng)車載視頻點(diǎn)播系統(tǒng)應(yīng)運(yùn)而生，且越來(lái)越受到市場(chǎng)的關(guān)注。目前的車載視頻點(diǎn)播系統(tǒng)大多數(shù)用PC機(jī)作為視頻點(diǎn)播服務(wù)器，這些系統(tǒng)體積龐大，而且安裝和維護(hù)都比較復(fù)雜，只能應(yīng)用在鐵路客車的車廂上，還無(wú)法安裝在公路客車或者飛機(jī)等這類對(duì)體積和重量有特殊要求的場(chǎng)所。本論文中根據(jù)國(guó)內(nèi)市場(chǎng)的現(xiàn)狀，車載視頻點(diǎn)播系統(tǒng)的發(fā)展趨勢(shì)以及人們對(duì)車載電子系統(tǒng)能具備的功能需求和期盼，提出了用嵌入式系統(tǒng)實(shí)現(xiàn)功能整合的綜合性解決方案。論文詳細(xì)介紹了車載視頻點(diǎn)播系統(tǒng)中視頻點(diǎn)播服務(wù)器所涉及的關(guān)鍵技術(shù)、軟硬件設(shè)計(jì)方法及實(shí)現(xiàn)方案。在方案中，選用FPGA系統(tǒng)作為硬件開(kāi)發(fā)平臺(tái)。以FPGA作為車載視頻點(diǎn)播系統(tǒng)視頻點(diǎn)播服務(wù)器的主控芯片，利用FPGA技術(shù)進(jìn)行硬件和軟件協(xié)同設(shè)計(jì)，以滿足高性能處理要求、靈活性要求及降低成本的目標(biāo)。系統(tǒng)的主要功能有1視頻點(diǎn)播功能，一個(gè)視頻點(diǎn)播服務(wù)器可以處理至少六十四個(gè)視頻點(diǎn)播終端的并發(fā)點(diǎn)播請(qǐng)求。2視頻廣播功能。3綜合信息服務(wù)，包括天氣預(yù)報(bào)、航班時(shí)刻及周邊環(huán)境介紹等。4滾動(dòng)字幕顯示，將即時(shí)信息以游動(dòng)字幕的方式疊加在視頻點(diǎn)播系統(tǒng)的電視圖像上。論文的第一個(gè)重要研究?jī)?nèi)容是如何利用FPGA將視頻數(shù)據(jù)流從硬盤(pán)中讀出，包括FAT32文件存儲(chǔ)系統(tǒng)、硬盤(pán)數(shù)據(jù)讀寫(xiě)原理、DMA控制器的設(shè)計(jì)以及軟件程序設(shè)計(jì)等。論文的第二個(gè)重要研究?jī)?nèi)容是視頻服務(wù)器和各點(diǎn)播終端之間通訊網(wǎng)絡(luò)的實(shí)現(xiàn)，視頻數(shù)據(jù)流通過(guò)光纖發(fā)送到各個(gè)終端，每個(gè)終端的點(diǎn)播信息通過(guò)CAN總線發(fā)送到視頻服務(wù)器。最后，根據(jù)本系統(tǒng)實(shí)際運(yùn)行取得的結(jié)果，總結(jié)分析了本系統(tǒng)的特點(diǎn)。

簡(jiǎn)介：WEB服務(wù)技術(shù)作為程序設(shè)計(jì)領(lǐng)域中的一項(xiàng)新技術(shù)，能夠使不同的平臺(tái)具有互操作性，通過(guò)遍布全球的因特網(wǎng)，實(shí)現(xiàn)應(yīng)用程序之間的遠(yuǎn)程過(guò)程調(diào)用。但單一的WEB服務(wù)已經(jīng)難以滿足日益廣泛的WEB服務(wù)應(yīng)用需求，因此從整體上架構(gòu)一個(gè)WEB服務(wù)組合框架將WEB服務(wù)組合起來(lái)，提供更為強(qiáng)大的WEB服務(wù)體系，對(duì)于WEB服務(wù)技術(shù)的發(fā)展和應(yīng)用有著深遠(yuǎn)的意義。在對(duì)WEB服務(wù)和現(xiàn)有WEB服務(wù)組合技術(shù)進(jìn)行概括分析的基礎(chǔ)上，利用業(yè)務(wù)流程執(zhí)行語(yǔ)言BPEL（BUSINESSPROCESSEXECUTIONLANGUAGE）良好的WEB服務(wù)組合能力，針對(duì)BPEL組合WEB服務(wù)容錯(cuò)性不高的缺陷，給出了一個(gè)基于BPEL的WEB服務(wù)組合系統(tǒng)B_WSCS（BPELBASEDWEBSERVICECOMPOSITIONSYSTEM）的總體架構(gòu)，闡述了WEB服務(wù)組合流程及運(yùn)行時(shí)異常恢復(fù)過(guò)程，針對(duì)流程模板注冊(cè)中心、代理和引擎三個(gè)核心模塊及交互過(guò)程，分別進(jìn)行了相應(yīng)的設(shè)計(jì)。為提高WEB服務(wù)組合的容錯(cuò)性，保障服務(wù)組合的靈活方便，B_WSCS不僅整合了現(xiàn)有的補(bǔ)償措施，而且在現(xiàn)有BPEL基礎(chǔ)上，利用統(tǒng)一描述、發(fā)現(xiàn)和集成UDDI（UNIVERSALDEION，DISCOVERYINTEGRATION）注冊(cè)中心、功能強(qiáng)大的代理、改進(jìn)的引擎等核心模塊，提供了較好的容錯(cuò)方法。使業(yè)務(wù)流程在運(yùn)行過(guò)程中不再受單個(gè)WEB服務(wù)異常的影響，而是通過(guò)向UDDI注冊(cè)中心查詢可替換的WEB服務(wù)列表，并根據(jù)靈活性較好的服務(wù)選擇策略選擇合適服務(wù)代替產(chǎn)生異常的服務(wù)執(zhí)行任務(wù)。實(shí)際測(cè)試結(jié)果表明，B_WSCS既具有與BPEL相同的WEB服務(wù)組合能力，又解決了BPEL故障處理和補(bǔ)償處理僅限于撤銷操作的局限性，較好地提高了業(yè)務(wù)流程的容錯(cuò)性。

簡(jiǎn)介：現(xiàn)在的通信市場(chǎng)競(jìng)爭(zhēng)非常激烈不管是傳統(tǒng)的互聯(lián)網(wǎng)通信還是現(xiàn)在發(fā)展勢(shì)頭強(qiáng)勁的移動(dòng)互聯(lián)網(wǎng)通信要想脫穎而出商家最終都得從“平臺(tái)”和“管道”提供商的角色向“服務(wù)”提供商轉(zhuǎn)變。只有為用戶提供高質(zhì)量的服務(wù)才能保證用戶粘性而打造一個(gè)高可用性的服務(wù)平臺(tái)就是其中最關(guān)鍵的一步?，F(xiàn)在的移動(dòng)互聯(lián)網(wǎng)業(yè)務(wù)主要由SIP作為控制信令協(xié)議而基于SIP的多媒體會(huì)話具有實(shí)時(shí)性高等特點(diǎn)因此相比傳統(tǒng)的WEB集群、數(shù)據(jù)庫(kù)集群以及文件系統(tǒng)集群SIP集群系統(tǒng)在系統(tǒng)吞吐量、系統(tǒng)響應(yīng)時(shí)間以及容錯(cuò)等方面都面臨著很多新的挑戰(zhàn)。首先通過(guò)分析現(xiàn)有國(guó)內(nèi)外商用系統(tǒng)和開(kāi)源項(xiàng)目的SIP集群系統(tǒng)解決方案了解到其中使用的相關(guān)技術(shù)以及系統(tǒng)還存在的缺陷然后又具體分析了SIP服務(wù)集群系統(tǒng)中使用的關(guān)鍵技術(shù)。在此基礎(chǔ)上又重點(diǎn)研究了SIP服務(wù)器集群系統(tǒng)的核心技術(shù)即負(fù)載均衡技術(shù)對(duì)現(xiàn)有的幾種SIP環(huán)境下常用的負(fù)載均衡技術(shù)方案進(jìn)行了對(duì)比分析然后在此基礎(chǔ)上提出了一種新的負(fù)載均衡算法并在理論上進(jìn)行了算法性能的對(duì)比和評(píng)估。最后為了驗(yàn)證這種新的負(fù)載均衡算法給出了該系統(tǒng)的詳細(xì)設(shè)計(jì)與實(shí)現(xiàn)主要包括SIP服務(wù)器和負(fù)載均衡器兩大網(wǎng)元的設(shè)計(jì)與實(shí)現(xiàn)并對(duì)通過(guò)系統(tǒng)測(cè)試驗(yàn)證了系統(tǒng)的各種功能重點(diǎn)評(píng)估了幾種負(fù)載均衡算法的性能。文中設(shè)計(jì)的SIP服務(wù)器集群系統(tǒng)除了支持負(fù)載均衡還實(shí)現(xiàn)了負(fù)載均衡器的冗余備份和故障切換以及服務(wù)節(jié)點(diǎn)的智能管理。系統(tǒng)中提出的負(fù)載均衡技術(shù)不僅可以實(shí)現(xiàn)負(fù)載的均衡分發(fā)還能夠感知服務(wù)節(jié)點(diǎn)的變化支持系統(tǒng)的動(dòng)態(tài)擴(kuò)展。系統(tǒng)采用了一種新的基于SIP事務(wù)的負(fù)載均衡調(diào)度算法可以更精確地衡量服務(wù)節(jié)點(diǎn)的負(fù)載量有助于負(fù)載均衡策略的制定和執(zhí)行測(cè)試證明該算法比一些傳統(tǒng)的調(diào)度算法性能更高。

簡(jiǎn)介：WEBSERVICESWEB服務(wù)是基于網(wǎng)絡(luò)的、分布式模塊化組件，是建立可互操作的分布式應(yīng)用程序的新平臺(tái)。WEB服務(wù)作為新一代分布式技術(shù)，一經(jīng)推出，便以它的松散耦合性、跨平臺(tái)及語(yǔ)言性而得到廣大用戶的喜愛(ài)和眾多企業(yè)的支持。盡管WEB服務(wù)有很多優(yōu)點(diǎn)，但是WEB服務(wù)在實(shí)際應(yīng)用中遇到的安全問(wèn)題，越來(lái)越制約其發(fā)展和應(yīng)用推廣。光依靠傳統(tǒng)的安全傳輸方案，如SSL、TLS等已不能滿足WEB服務(wù)的安全需要，需要增加消息安全來(lái)保證WEB服務(wù)的核心－SOAP消息的安全。自從SOAP規(guī)范發(fā)布以來(lái)，在消息級(jí)安全上對(duì)SOAP規(guī)范的加密、認(rèn)證和授權(quán)等安全機(jī)制一直受到人們的廣泛關(guān)注。目前，SOAP規(guī)范的加密及認(rèn)證國(guó)內(nèi)已經(jīng)取得了很多的研究成果，并提供了很好的實(shí)現(xiàn)機(jī)制，而對(duì)WEB服務(wù)調(diào)用授權(quán)問(wèn)題的卻不夠重視，造成對(duì)這方面的研究很少，并沒(méi)有具體的實(shí)施方案及實(shí)現(xiàn)方法。本課題“基于SOAP的WEB服務(wù)訪問(wèn)控制技術(shù)的研究”就是在此背景下提出的。為達(dá)到課題的研究目的，本文主要做了以下工作首先詳細(xì)了解了訪問(wèn)控制的基本原理及各種訪問(wèn)策略，然后針對(duì)WEB服務(wù)的訪問(wèn)控制、安全理論及安全模型進(jìn)行了深入研究。在此基礎(chǔ)上參考NISTRBACWEB模型提出了一個(gè)基于SOAP擴(kuò)展的WEB服務(wù)安全模型。論文中主要對(duì)該WEB服務(wù)安全模型中的基于角色的WEB服務(wù)訪問(wèn)控制模型進(jìn)行了詳細(xì)的研究和設(shè)計(jì)，并以電子商務(wù)平臺(tái)中的商品信息管理為例，對(duì)該訪問(wèn)控制模型進(jìn)行了應(yīng)用研究，證明了該模型的可行性及正確性。

簡(jiǎn)介：面向服務(wù)體系結(jié)構(gòu)SOA是繼面向?qū)ο?、基于?gòu)件開(kāi)發(fā)之后的一種新型軟件開(kāi)發(fā)、部署和集成模式，為軟件開(kāi)發(fā)提供了靈活的設(shè)計(jì)和開(kāi)發(fā)方案。WEB服務(wù)作為SOA的一種實(shí)現(xiàn)方法，突破了傳統(tǒng)的分布式計(jì)算模型在通信、應(yīng)用范圍等方面的限制，通過(guò)服務(wù)組合的方式，靈活、快速構(gòu)建的網(wǎng)絡(luò)應(yīng)用已經(jīng)滲透到國(guó)民經(jīng)濟(jì)的許多關(guān)鍵行業(yè)。在現(xiàn)有的WEB服務(wù)驗(yàn)證方法中，模型檢測(cè)因其自動(dòng)化程度高、能夠提供反例路徑等優(yōu)勢(shì)，得到了廣泛應(yīng)用。但在模型檢測(cè)過(guò)程中，會(huì)因系統(tǒng)規(guī)模龐大而導(dǎo)致?tīng)顟B(tài)爆炸問(wèn)題，如何選取合適的方法緩解狀態(tài)爆炸已成為服務(wù)驗(yàn)證領(lǐng)域的一個(gè)研究熱點(diǎn)。本文在傳統(tǒng)的模型檢測(cè)方法中引入謂詞抽象和精化技術(shù)，提出一種用于WEB服務(wù)驗(yàn)證的抽象精化驗(yàn)證框架，用以驗(yàn)證WEB服務(wù)內(nèi)部流程邏輯的安全性和組合服務(wù)間的兼容性。主要工作如下1使用KRIPKE結(jié)構(gòu)對(duì)WEB服務(wù)建模，通過(guò)分解待驗(yàn)證性質(zhì)得到原子命題從而獲取謂詞公式集合，使用謂詞抽象技術(shù)建立WEB服務(wù)的抽象模型，再將各抽象模型組合得到待驗(yàn)證系統(tǒng)的組合抽象模型。2給出抽象模型到PROMELA語(yǔ)言的轉(zhuǎn)換規(guī)則，使用模型檢測(cè)工具SPIN驗(yàn)證模型是否滿足待驗(yàn)證性質(zhì)，如果不滿足，則給出反例。將得到的反例在WEB服務(wù)上做投影操作，進(jìn)行反例確認(rèn)，對(duì)產(chǎn)生偽反例的WEB服務(wù)抽象模型進(jìn)行精化，生成新的組合抽象模型，再次對(duì)性質(zhì)進(jìn)行驗(yàn)證。3基于上述兩方面工作，提出WEB服務(wù)抽象精化驗(yàn)證框架，并通過(guò)實(shí)例說(shuō)明其在緩解狀態(tài)爆炸方面的可行性。

簡(jiǎn)介：西南交通大學(xué)碩士學(xué)位論文基于J2EE技術(shù)的無(wú)線停車誘導(dǎo)服務(wù)信息系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)姓名張森林申請(qǐng)學(xué)位級(jí)別碩士專業(yè)通信與信息系統(tǒng)指導(dǎo)教師嚴(yán)余松20070301西南交通大學(xué)碩士研究生學(xué)位論文第1I頁(yè)ABSTRACTWITHTHECONTINUINGGROWTHOFMOTORVEHICLESINOURCOUNTRYTHEPROBLEMOFFINDINGAPARKINGPLACEINTHEBIGCITIESISBECOMINGMOREANDMOREDIFFICULT，NEPARKINGGUIDANCESYSTEMPOSISALLEFFECTIVEWAYTOSOLVETHEPROBLEMOFFINDINGPARKINGPLACE，TOEASETHECROWDED廿AFFIC，TEDUCETHEAIRPOLLUTIONANDTOHELPTHEDRIVERFINDPARKINGSPACEMOREQUICKLYAIMINGATTHECURRANTSITUATIONOFHARDPARKINGINBIGCITIESTHISTHESISSTUDIEDANDISSUEDTHESYSTEMATICALCONSTRUCTIONANDITSDESIGNINGMETHODOFTHEPARKINGGUIDANCESYSTEM，COMBININGWITHTHEIMERNCTANDMOBILECOMMUNICATIONTECHNOLOGYTHISTHESISDESIGNEDTHEWIRELESSAPPLICATIONSYSTEMBASED011THESHORTMESSAGESERVICESMSANDWAPSERVICEOFGSMINTEMETANDMADEITCOMETRUEFIRSTLYTHISTHESISDISCUSSEDTHEARTICLE’SPRACTICALSIGNIFICANCEANDTHECURRENTSITUATIONOFPGSCONSIDERINGTHECITIES’STREETSCONSTRUCTIONANDITSMANAGEMENTSTYLEITPUTFORWARDTHATWESHOULDADOPTTHECONTROLMODECOMBININGDISTRIBUTIONWITHINTEGRATIONAND3LEVELGUIDANCESTYLEFORPGSINBIGCITIESMEANWHILE，ITANALYZEDANDDESIGNEDTHECONSTRUC血GPROGRAMANDSYSTEMATICALS仃UCTURETHEPARKINGGUIDANCESYSTEMCONSISTSOFTHEINFORMATIONCOLLECTIONSUBSYSTEM，THEINFORMATIONPROCESSINGANDCONTROLLINGSUBSYSTEM，THEINFORMATIONTRANSMISSIONSUBSYSTEMANDTHEINFORMATIONDISTRIBUTIONSUBSYSTEMACCORDINGTOTHECHARACTERISTICSTHATTHEPGSHASLARGEAMOUNTOFINFORMATIONTHEINFORMATIONCONCEMEDINTHEPARKINGGUIDANCESYSTEMISCLASSIFIEDANDSTUDIEDTHEFUNCTIONOFEVERYSUBSYSTEMSECONDLYONTHEBASEOFSTUDYINGSYSTEMCONSTRUCTIONOFSHORTMESSAGESERVICEINGSMINTERACT，PROTOCOLSTRATIFIESOFSHORTMESSAGEANDSENDING／RECEIVINGSHORTMESSAGEINTHEFORMOFPDU，THISTHESISDESIGNEDANDDEVELOPEDTHEAPPLICATIONSYSTEMOFSHORTMESSAGESERVICEBASEDONTHEWIRELESSMODEMWHICHINCLUDESTHEFUNCTIONOFSENDING／RECEIVINGSHORTMESSAGEINQUIRINGABOUTAPPLICATIONASWELIASORDERINGTHESHORTMESSAGEANDSOONFINALLYONTHEBASEOFSTUDYINGTHEWIRELESSAPPLICATIONPROTOCOLANDWAPI蕾AMCWORK，THISTHESISANALYZEDTHECHARACTERSANDLIMITSOFWAPFURTHERMORE，ON