簡(jiǎn)介：隨著IT技術(shù)的飛速發(fā)展，社會(huì)的信息化進(jìn)程也在逐漸加快。社會(huì)信息化一方面給人們帶來了極大的方便和快捷，另一方面也帶來了一些問題和挑戰(zhàn)。其中“信息孤島”和數(shù)據(jù)訪問就是較為突出的兩個(gè)問題。解決“信息孤島”問題的難點(diǎn)在于如何使用戶以透明的方式低代價(jià)、高效率地操作異構(gòu)數(shù)據(jù)；解決數(shù)據(jù)訪問問題的難點(diǎn)在于如何提高數(shù)據(jù)資源的訪問效率及安全性能。針對(duì)這兩個(gè)問題，已有的解決方法都存在著一定的不足之處，例如數(shù)據(jù)沒有統(tǒng)一的標(biāo)準(zhǔn)進(jìn)行表示，硬編碼過多，模塊可重用度不高等，這些不足都直接制約著企業(yè)級(jí)應(yīng)用的開展。因此，本文在對(duì)服務(wù)數(shù)據(jù)對(duì)象技術(shù)研究的基礎(chǔ)上，提出了一種基于服務(wù)數(shù)據(jù)對(duì)象的異構(gòu)數(shù)據(jù)集成和數(shù)據(jù)訪問方法，并在全民醫(yī)療信息平臺(tái)中進(jìn)行了應(yīng)用。本文的研究?jī)?nèi)容和取得的成果主要體現(xiàn)在以下三個(gè)方面首先，在異構(gòu)數(shù)據(jù)集成方面，分析并比較了已有集成模式的優(yōu)缺點(diǎn)，深入研究服務(wù)數(shù)據(jù)對(duì)象技術(shù)，設(shè)計(jì)并實(shí)現(xiàn)了基于服務(wù)數(shù)據(jù)對(duì)象的異構(gòu)數(shù)據(jù)集成方法，并將該方法分為數(shù)據(jù)庫連接信息及數(shù)據(jù)抽取規(guī)則集成、數(shù)據(jù)庫異構(gòu)數(shù)據(jù)集成和中間數(shù)據(jù)模型集成三部分。這種方法對(duì)異構(gòu)數(shù)據(jù)進(jìn)行了有效的集成，從而屏蔽了物理層數(shù)據(jù)的異構(gòu)性，提高了數(shù)據(jù)訪問的透明性和通用性；其次，在數(shù)據(jù)訪問方面，分析并比較了已有訪問模式的優(yōu)缺點(diǎn)，深入研究服務(wù)數(shù)據(jù)對(duì)象技術(shù)，設(shè)計(jì)并實(shí)現(xiàn)了基于服務(wù)數(shù)據(jù)對(duì)象的數(shù)據(jù)訪問方法，并將該方法分為離線數(shù)據(jù)訪問和系統(tǒng)并發(fā)控制兩部分。這種方法提高了數(shù)據(jù)的訪問效率，降低了數(shù)據(jù)服務(wù)端的負(fù)荷，具有較高的數(shù)據(jù)安全性；最后，搭建了異構(gòu)數(shù)據(jù)集成和數(shù)據(jù)訪問開發(fā)平臺(tái)，將基于服務(wù)數(shù)據(jù)對(duì)象的異構(gòu)數(shù)據(jù)集成及數(shù)據(jù)訪問方法應(yīng)用于全民醫(yī)療信息平臺(tái)中，解決了醫(yī)療保險(xiǎn)領(lǐng)域的異構(gòu)數(shù)據(jù)集成和數(shù)據(jù)訪問問題。

簡(jiǎn)介：隨著INTER規(guī)模的不斷擴(kuò)大及其承載業(yè)務(wù)的不斷發(fā)展，傳統(tǒng)網(wǎng)絡(luò)無法提供服務(wù)質(zhì)量保證的問題也逐漸的暴露出來，在這種情況下，IPQOS的概念應(yīng)運(yùn)而生。區(qū)分服務(wù)DIFFSERV模型憑借著其實(shí)現(xiàn)簡(jiǎn)單及易擴(kuò)展等良好的特性成為解決QOS問題的首選方案，由于相對(duì)區(qū)分在網(wǎng)絡(luò)管理部署等方面較為簡(jiǎn)單已是DIFFSERV模型發(fā)展的主流，比例區(qū)分服務(wù)模型便是其中的一種。DIFFSERV模型下，隊(duì)列調(diào)度算法一直是實(shí)現(xiàn)QOS控制的熱點(diǎn)問題。本文首先介紹了DIFFSERV體系的基本原理，引入一個(gè)能夠?qū)崿F(xiàn)可預(yù)測(cè)及可控性的比例時(shí)延區(qū)分服務(wù)PDD模型，并分析總結(jié)了DIFFSERV模型下常用隊(duì)列調(diào)度算法的優(yōu)缺點(diǎn)；然后結(jié)合比例時(shí)延區(qū)分服務(wù)模型，在DWRR算法的基礎(chǔ)上提出了一個(gè)動(dòng)態(tài)權(quán)值變化的隊(duì)列調(diào)度算法PDDRR，該算法通過監(jiān)測(cè)各隊(duì)列的平均分組到達(dá)率動(dòng)態(tài)的調(diào)整各隊(duì)列的權(quán)值，從而保證在無業(yè)務(wù)流突發(fā)時(shí)任意兩個(gè)隊(duì)列的平均排隊(duì)時(shí)延保持在恒定的比例，在監(jiān)測(cè)到突發(fā)流時(shí)忽略隊(duì)列時(shí)延的比例公平原則并線性的增加所有隊(duì)列的服務(wù)權(quán)值；最后通過NS2仿真平臺(tái)對(duì)PDDRR算法及其相關(guān)算法進(jìn)行仿真比較，結(jié)果表明本算法不僅能夠在合適的參數(shù)配置下實(shí)現(xiàn)隊(duì)列間的比例時(shí)延區(qū)分，而且改善了應(yīng)對(duì)突發(fā)流的能力，在時(shí)延、平均丟包率等方面都體現(xiàn)了較強(qiáng)的可靠性。

簡(jiǎn)介：本文旨在通過對(duì)各種請(qǐng)求代理服務(wù)技術(shù)實(shí)現(xiàn)方發(fā)的分析和比較，提供一個(gè)能夠滿足與操作系統(tǒng)無關(guān)、與開發(fā)語言無關(guān)、與數(shù)據(jù)庫種類無關(guān)、與數(shù)據(jù)庫結(jié)構(gòu)無關(guān)的設(shè)計(jì)方案，并在此方案的基礎(chǔ)上開發(fā)設(shè)計(jì)“分布式應(yīng)用系統(tǒng)互操作平臺(tái)”實(shí)現(xiàn)分布式應(yīng)用系統(tǒng)之間的集成和整合。論文首先對(duì)請(qǐng)求代理服務(wù)技術(shù)進(jìn)行了多方面的綜合研究，井重點(diǎn)對(duì)當(dāng)前最先進(jìn)、最重要的SOA體系結(jié)構(gòu)、WEBSERVICE技術(shù)規(guī)范、應(yīng)用模式進(jìn)行了詳細(xì)的研究，指出了現(xiàn)有模式在我國(guó)電子政務(wù)應(yīng)用體系上存在的缺陷。本文以公安部、省、市三級(jí)應(yīng)用體系為背景，提出了利用請(qǐng)求代服務(wù)技術(shù)、WEBSERVICE技術(shù)、MXL標(biāo)記語言等技術(shù)為基礎(chǔ)，建立一個(gè)面向電子政務(wù)的多級(jí)應(yīng)用體系的分布式應(yīng)用系統(tǒng)互操作平臺(tái)的設(shè)計(jì)思想和框架結(jié)構(gòu)。并提出一套與互操作平臺(tái)整體框架相配套的，以XML標(biāo)記語言定義描述的，通用的數(shù)據(jù)請(qǐng)求、數(shù)據(jù)流轉(zhuǎn)協(xié)議、數(shù)據(jù)路由、數(shù)據(jù)調(diào)度標(biāo)準(zhǔn)協(xié)議，通過這套協(xié)議可以實(shí)現(xiàn)大范圍的跨地區(qū)跨部門數(shù)據(jù)復(fù)用、數(shù)據(jù)流轉(zhuǎn)、業(yè)務(wù)協(xié)同。針對(duì)互操作平臺(tái)通用化、產(chǎn)品化設(shè)計(jì)的要求，本文還提出了模型化、平臺(tái)化的設(shè)計(jì)思想，實(shí)現(xiàn)了數(shù)據(jù)的“即插即用”和服務(wù)的“即插即用”，從而大大簡(jiǎn)化了應(yīng)用集成的實(shí)施難度，成為真正意義下的產(chǎn)品化軟件。通過應(yīng)用系統(tǒng)互操作平臺(tái)，實(shí)現(xiàn)了異構(gòu)、分布式應(yīng)用系統(tǒng)的集成與協(xié)同，使不同開發(fā)語言、不同操作系統(tǒng)、不同數(shù)據(jù)庫種類、不同庫表結(jié)構(gòu)的應(yīng)用系統(tǒng)能夠有機(jī)的實(shí)現(xiàn)協(xié)同工作，使多級(jí)分布的、彼此孤立的、異構(gòu)的應(yīng)用系統(tǒng)有序的集成到一個(gè)協(xié)作網(wǎng)中，形成一個(gè)整體協(xié)調(diào)互動(dòng)的“大”系統(tǒng)，進(jìn)而充分發(fā)揮應(yīng)用系統(tǒng)的綜合效益和規(guī)模效益。本文詳細(xì)介紹該平臺(tái)的設(shè)計(jì)思想、結(jié)構(gòu)模型、組成模塊和標(biāo)準(zhǔn)協(xié)議，本文最后通過三個(gè)實(shí)際案例說明分布式應(yīng)用系統(tǒng)互操作平臺(tái)的應(yīng)用前景。

簡(jiǎn)介：隨著服務(wù)經(jīng)濟(jì)的快速發(fā)展，現(xiàn)代服務(wù)逐漸區(qū)別于傳統(tǒng)服務(wù)，其最主要的特征是充分利用了網(wǎng)絡(luò)與IT技術(shù)，現(xiàn)代服務(wù)通常用網(wǎng)絡(luò)來發(fā)布和公告服務(wù)以及利用軟件系統(tǒng)來管理服務(wù)甚至直接在網(wǎng)絡(luò)上就完成服務(wù)查找和交易。因此從互聯(lián)網(wǎng)中發(fā)現(xiàn)并提取服務(wù)及服務(wù)提供者信息已成為需求。然而，由于服務(wù)分屬不同領(lǐng)域，服務(wù)提供者各自發(fā)布和管理自己的服務(wù)信息，這些信息分散在互聯(lián)網(wǎng)的各個(gè)角落，且服務(wù)的種類和數(shù)量又十分龐大，這對(duì)如何快速和精準(zhǔn)地發(fā)現(xiàn)服務(wù)和服務(wù)提供者提出了巨大挑戰(zhàn)。本文提出的搜索引擎正是解決這個(gè)問題的有效方法，該搜索引擎避免了傳統(tǒng)搜索引擎基于關(guān)鍵字匹配的搜索，首先建立服務(wù)本體，包括按領(lǐng)域和服務(wù)內(nèi)容建立的領(lǐng)域主題類，并以此建立存儲(chǔ)目錄。在利用互聯(lián)網(wǎng)爬蟲下載網(wǎng)頁后，利用鏈接文本與主題及主題特征匹配，再利用網(wǎng)頁內(nèi)容和網(wǎng)頁結(jié)構(gòu)識(shí)別網(wǎng)頁主題，將鏈接存儲(chǔ)在不同主題目錄下，以便采取不同的信息抽取方案。信息抽取主要是從網(wǎng)頁提取服務(wù)提供者基本屬性和服務(wù)提供者之間的關(guān)系信息，利用人名特征識(shí)別詞性標(biāo)注、正則表達(dá)式、本體匹配等智能技術(shù)識(shí)別服務(wù)提供者的基本信息，利用鏈接之間的結(jié)構(gòu)關(guān)系和抽象服務(wù)類建立服務(wù)提供者之間的關(guān)系。將得到的服務(wù)提供者的基本屬性和關(guān)系存儲(chǔ)到具體服務(wù)提供者和具體服務(wù)提供者關(guān)系本體中。本文的主要研究?jī)?nèi)容就是面向服務(wù)的語義爬蟲和基于本體的信息抽取，爬蟲可以實(shí)現(xiàn)從互聯(lián)網(wǎng)中識(shí)別服務(wù)相關(guān)網(wǎng)頁并下載到本地，信息抽取是為從網(wǎng)頁中將服務(wù)提供者的基本信息和服務(wù)信息以及服務(wù)提供者之間的關(guān)系提取到結(jié)構(gòu)化的數(shù)據(jù)庫（本體）當(dāng)中，為服務(wù)的檢索提供數(shù)據(jù)來源。本文對(duì)基于本體的服務(wù)搜索引擎進(jìn)行了研究和部分功能的實(shí)現(xiàn)，并進(jìn)行大量驗(yàn)證，主要以醫(yī)院網(wǎng)站為源，通過對(duì)服務(wù)提供者（包括個(gè)人服務(wù)提供者和組織服務(wù)提供者）各種屬性信息的抽取，驗(yàn)證該搜索引擎的功能及性能。通過實(shí)驗(yàn)數(shù)據(jù)表明，基于本體的服務(wù)搜索引擎對(duì)測(cè)試用服務(wù)網(wǎng)站的服務(wù)提供者信息的識(shí)別基本能夠達(dá)到90％以上，個(gè)別實(shí)例達(dá)到98的準(zhǔn)確率。

簡(jiǎn)介：近幾年來隨著WEB服務(wù)技術(shù)的發(fā)展服務(wù)組合已被工業(yè)界、學(xué)術(shù)界普遍認(rèn)為是WEB服務(wù)的重要支撐技術(shù)之一。與此同時(shí)由于WEB服務(wù)的廣泛使用其領(lǐng)域內(nèi)也出現(xiàn)了規(guī)模較大的組合服務(wù)。因此大規(guī)模組合服務(wù)的能耗也相應(yīng)迅速增加這極大地影響了服務(wù)組合的整體性能。為了更好地發(fā)揮服務(wù)組合的作用提高系統(tǒng)效率以能耗優(yōu)化為目標(biāo)的服務(wù)組合研究刻不容緩。傳統(tǒng)的能耗優(yōu)化理論并不完全適用于服務(wù)組合領(lǐng)域需要對(duì)其作進(jìn)一步的拓展和改進(jìn)。目前在服務(wù)組合領(lǐng)域內(nèi)涉及能耗優(yōu)化的研究?jī)?nèi)容十分匱乏仍有很多問題急待解決。在綠色計(jì)算的大背景下本研究以服務(wù)組合運(yùn)行中的能耗優(yōu)化為目標(biāo)在滿足用戶全局QOS約束的前提下實(shí)現(xiàn)能耗感知的服務(wù)組合。在當(dāng)前的服務(wù)計(jì)算環(huán)境下降低服務(wù)組合過程中的能耗不僅可以提高服務(wù)組合的效率同時(shí)也提高了系統(tǒng)資源的利用率以此形成一個(gè)高效、節(jié)能的服務(wù)組合機(jī)制。本文從能耗的角度出發(fā)首先對(duì)單個(gè)服務(wù)進(jìn)行能耗建模。接著根據(jù)服務(wù)組合的特點(diǎn)推導(dǎo)出組合服務(wù)的能耗模型該模型適用于面對(duì)同一個(gè)用戶請(qǐng)求存在多個(gè)可行路徑的情況。然后基于這一能耗模型給出了非功能屬性QOS約束并得出基于狀態(tài)空間模型的對(duì)應(yīng)約束方程。完成整個(gè)建模過程后繼續(xù)對(duì)該服務(wù)組合能耗模型進(jìn)行了計(jì)算求解同時(shí)也給出了能耗比、QOS約束兩個(gè)計(jì)算條件。計(jì)算過程分為兩步分別是可行路徑的查找和請(qǐng)求速率的分配?？紤]到前者過程較為復(fù)雜后文將單獨(dú)列出一章來講述具體的查找算法而后者則直接利用混沌理論來計(jì)算以服務(wù)組合的總能耗為目標(biāo)函數(shù)請(qǐng)求速率為自變量來求解。在可行路徑的查找部分文章給出了一個(gè)基于規(guī)劃圖的服務(wù)組合方法利用規(guī)劃圖的分層概念來求解。算法過程分為三步分別是分層搜索階段、最優(yōu)QOS值計(jì)算階段以及可行路徑選取階段。文章最后通過仿真實(shí)驗(yàn)對(duì)所提出的方法進(jìn)行了正確性與有效性的驗(yàn)證。實(shí)驗(yàn)表明與傳統(tǒng)方法相比本文提出的能耗感知的服務(wù)組合方法在用戶全局QOS為約束的基礎(chǔ)上不僅能保證用戶需求的滿足同時(shí)也有效減少了組合服務(wù)的總能耗。

簡(jiǎn)介：點(diǎn)擊查看更多基于語義的服務(wù)流程復(fù)用技術(shù)研究.pdf精彩內(nèi)容。

簡(jiǎn)介：隨著電子服務(wù)的發(fā)展，對(duì)服務(wù)的訪問控制研究越來越受到人們的重視。除了要拒絕非法訪問，面向電子服務(wù)的訪問控制還要滿足由服務(wù)特征所帶來的對(duì)訪問的特殊性要求，需要適應(yīng)不同網(wǎng)絡(luò)架構(gòu)、不同服務(wù)關(guān)系，考慮多樣化的個(gè)體和服務(wù)主體屬性要求，提供安全、可靠、靈活和分級(jí)的服務(wù)訪問。本文以旅游電子服務(wù)為典型應(yīng)用場(chǎng)景，針對(duì)電子服務(wù)環(huán)境下訪問控制的熱點(diǎn)和關(guān)鍵技術(shù)問題進(jìn)行深入研究。論文的研究?jī)?nèi)容和主要貢獻(xiàn)如下1、通過對(duì)服務(wù)概念、電子服務(wù)共性特征的闡述，詳細(xì)分析了電子服務(wù)環(huán)境下訪問控制面臨的信任、動(dòng)態(tài)性、智能性、分布式、規(guī)模性等問題。2、為了實(shí)現(xiàn)電子服務(wù)環(huán)境下服務(wù)的動(dòng)態(tài)綁定和個(gè)性化訪問目的，提出了一種基于實(shí)體狀態(tài)和上下文約束的訪問控制模型。該模型擴(kuò)展了RBAC模型，使系統(tǒng)可以根據(jù)外部環(huán)境和內(nèi)部約束做出訪問控制的動(dòng)態(tài)調(diào)整；適合建立以服務(wù)為主導(dǎo)的上下文訪問控制執(zhí)行模式，實(shí)現(xiàn)訪問控制中服務(wù)客體的動(dòng)態(tài)綁定和訪問主體的分級(jí)服務(wù)。在旅游電子服務(wù)中的實(shí)驗(yàn)結(jié)果表明該模型可以滿足對(duì)訪問主體的個(gè)性化訪問需求。3、依據(jù)上下文約束做出選擇和調(diào)整是實(shí)現(xiàn)電子服務(wù)動(dòng)態(tài)性的一個(gè)重要方法。為了能夠依據(jù)上下文進(jìn)行有選擇性的服務(wù)，并實(shí)現(xiàn)服務(wù)聯(lián)盟關(guān)系下上下文約束條件在服務(wù)執(zhí)行過程中的動(dòng)態(tài)調(diào)整，本文提出了服務(wù)聯(lián)盟關(guān)系下的上下文感知和推理的訪問控制模型，解決了服務(wù)內(nèi)部約束條件動(dòng)態(tài)調(diào)整的智能性問題，并且例示了在導(dǎo)游資格認(rèn)證服務(wù)中的規(guī)則定義和異常處理等。此外，為解決該模型中上下文感知信息傳輸?shù)陌踩詥栴}，設(shè)計(jì)了基于IBE的輕量級(jí)安全傳輸協(xié)議，并分析了協(xié)議的安全性。通過對(duì)信息加密計(jì)算性能的實(shí)驗(yàn)驗(yàn)證，表明了該協(xié)議在受限環(huán)境中加密信息的可行性。4、利用信任度作為閥值進(jìn)行訪問控制，是目前電子服務(wù)領(lǐng)域?qū)崿F(xiàn)開放式服務(wù)訪問的一個(gè)重要方法。但是現(xiàn)有信任度計(jì)算很少考慮委托關(guān)系，容易造成合謀攻擊的可能性。通過旅游電子服務(wù)中委托場(chǎng)景的應(yīng)用分析，本文給出了電子服務(wù)環(huán)境中的委托關(guān)系、委托信任度定義及其基本特征描述，并提出了一種基于服務(wù)委托關(guān)系的信任度計(jì)算方法。該信任度計(jì)算方法分別從自治域用戶直接交往、委托信任度以及協(xié)作域間的信任度三個(gè)方面進(jìn)行計(jì)算。最后利用該信任度計(jì)算方法對(duì)UCON模型進(jìn)行擴(kuò)展，解決了存在跨域委托情況下的訪問控制問題，促使委托實(shí)體在執(zhí)行任務(wù)時(shí)更注重服務(wù)質(zhì)量，降低合謀攻擊的可能性。

簡(jiǎn)介：隨著互聯(lián)網(wǎng)的迅速發(fā)展，維基類站點(diǎn)作為WEB20的后起之秀，已經(jīng)遍布世界各地。大地百科是一個(gè)維基類的WEB20型站點(diǎn)，該站點(diǎn)由于用戶訪問量的增大出現(xiàn)了訪問變慢甚至當(dāng)機(jī)的情況，由于大地百科自身架構(gòu)的限制，已經(jīng)不能滿足后續(xù)發(fā)展的需要，重新架構(gòu)優(yōu)化大地百科站點(diǎn)成為迫在眉睫的任務(wù)。本文首先分析了目前大地百科站點(diǎn)存在的性能和擴(kuò)展性方面的缺陷，發(fā)現(xiàn)了一些問題，如PHP程序文件全部從磁盤讀取，在高訪問量時(shí)增加了系統(tǒng)IO開銷；系統(tǒng)缺少OPCODE緩存機(jī)制，導(dǎo)致PHP代碼每次執(zhí)行時(shí)重復(fù)解釋編譯產(chǎn)生額外的開銷；架構(gòu)中缺少數(shù)據(jù)庫前端緩存機(jī)制，使得讀取數(shù)據(jù)庫時(shí)壓力過大；在擴(kuò)展性方面沒有考慮到多服務(wù)器協(xié)同工作的情況。在分析了這些問題后，本文針對(duì)這些問題提出了一些解決方案，并對(duì)這些方案進(jìn)行了實(shí)地測(cè)試和總結(jié)，最后結(jié)合測(cè)試結(jié)果確定了適合大地百科站點(diǎn)的系統(tǒng)架構(gòu)。該架構(gòu)將大地百科系統(tǒng)結(jié)構(gòu)分為負(fù)載均衡模塊、應(yīng)用程序?qū)?、?shù)據(jù)接入層、數(shù)據(jù)存儲(chǔ)層、緩存等層次，最終將這些層次分別實(shí)現(xiàn)，重構(gòu)了大地百科系統(tǒng)架構(gòu)，在重構(gòu)的同時(shí)筆者對(duì)瀏覽器緩存、WEB前端等方面進(jìn)行了很好的優(yōu)化。在用戶狀態(tài)跟蹤方面，筆者放棄了APACHE自帶的解決方案，重新實(shí)現(xiàn)了更加高效的分布式的用戶狀態(tài)跟蹤方法，為以后多服務(wù)器協(xié)同工作創(chuàng)造了有更利條件。本次對(duì)大地百科站點(diǎn)的重構(gòu)沒有增加任何服務(wù)器，但使得大地百科系統(tǒng)不僅在效率上得到大大提升，而且為以后多服務(wù)器協(xié)同工作做了鋪墊，最終使得大地百科站點(diǎn)變成一個(gè)高吞吐率容易擴(kuò)展的站點(diǎn)。能夠應(yīng)對(duì)目前和未來一定時(shí)間內(nèi)用戶增長(zhǎng)的需要，提升了站點(diǎn)的用戶體驗(yàn)和服務(wù)質(zhì)量，促進(jìn)了大地百科站點(diǎn)今后的發(fā)展。

簡(jiǎn)介：WEB服務(wù)WEBSERVICE是一種自包含、自描述、模塊化的應(yīng)用程序，它吸收了分布式計(jì)算、網(wǎng)格計(jì)算和XML等各種技術(shù)的優(yōu)點(diǎn)，解決了異構(gòu)分布式計(jì)算以及代碼與數(shù)據(jù)重用等問題，具有高度的互操作性、跨平臺(tái)性和松耦合性，已經(jīng)在電子商務(wù)、企業(yè)應(yīng)用集成等領(lǐng)域發(fā)揮著重要作用，特別是WEB服務(wù)組合技術(shù)，因其能實(shí)現(xiàn)服務(wù)的重用和增值而引起了世界范圍內(nèi)學(xué)術(shù)界和工業(yè)界的關(guān)注。WEB服務(wù)組合本身是一項(xiàng)易于產(chǎn)生錯(cuò)誤的任務(wù)，因?yàn)樵诮M合中候選的服務(wù)之間進(jìn)行復(fù)雜的交互。WEB服務(wù)業(yè)務(wù)流程執(zhí)行語言WEBSERVICEBUSINESSPROCESSEXECUTIONLANGUAGE，WSBPEL，簡(jiǎn)稱BPEL用于實(shí)現(xiàn)WEB服務(wù)的組合和合并，它建立在IBM的WEB服務(wù)流語言WEBSERVICESFLOWLANGUAGE，WSFL和MICROSOFT的XML業(yè)務(wù)流程語言XMLBUSINESSPROCESSLANGUAGE，XLANG之上，結(jié)合了這兩種語言的特性，這樣就引起了某些方面的不一致和語義的模糊；BPEL的語義是用英語定義的，這樣無法避免其二義性、模糊性和不完全性。WSBPEL技術(shù)委員會(huì)公認(rèn)為需要對(duì)BPEL語義給出形式化定義。由于要處理并發(fā)，具有復(fù)雜特性，如補(bǔ)償處理、相關(guān)性、死路徑刪除DEADPATHELIMINATION，DPE等，BPEL過程是容易出錯(cuò)的。本文主要研究由BPEL生成的WEB服務(wù)組合流程的建模、驗(yàn)證、測(cè)試問題。針對(duì)BPEL流程建模，目前采用的方法有PETRI網(wǎng)、SPIN工具、進(jìn)程代數(shù)、抽象狀態(tài)機(jī)和自動(dòng)機(jī)等方法。本文采用賦時(shí)有色PETRI網(wǎng)對(duì)BPEL流程建模。首先對(duì)BPEL的各種活動(dòng)建模，將BPEL流程看作是活動(dòng)的嵌套，將嵌套關(guān)系對(duì)應(yīng)于層次化有色PETRI網(wǎng)的層次關(guān)系緩解了有色PETRI網(wǎng)模型過于龐大以及狀態(tài)爆炸問題。本文提出的層次化有色PETRI網(wǎng)的展開算法，使層次化PETRI網(wǎng)可以展開成等價(jià)的非層次化PETRI網(wǎng)，能夠呈現(xiàn)出模型的細(xì)節(jié)。本文還完善了層次化有色PETRI網(wǎng)的定義。WEB服務(wù)的形式化驗(yàn)證是近年來才開始進(jìn)入研究領(lǐng)域的，但是已經(jīng)獲得了很多研究人員的關(guān)注。針對(duì)BPEL模型驗(yàn)證，本文給出了利用有色PETRI網(wǎng)的屬性對(duì)BPEL流程的基本屬性進(jìn)行驗(yàn)證，使用擴(kuò)展時(shí)態(tài)邏輯ASKCTL來描述要驗(yàn)證的屬性，對(duì)模型的動(dòng)態(tài)屬性進(jìn)行驗(yàn)證的一種方法。為了處理程序驗(yàn)證過程中出現(xiàn)的狀態(tài)爆炸問題，本文還對(duì)謂詞抽象技術(shù)和惰性抽象技術(shù)進(jìn)行了研究，將CPS的狀態(tài)圖生成過程，以及狀態(tài)圖的謂詞抽象過程合為一體，在狀態(tài)生成過程中形成抽象狀態(tài)圖，從而避免了狀態(tài)爆炸問題。本文將惰性抽象用于BPEL流程的安全性驗(yàn)證方法CEGAR中，優(yōu)化了“抽象驗(yàn)證反例”中的前兩個(gè)步驟，使得這個(gè)方法可以用于規(guī)模較大的程序上。WEB服務(wù)為分布式計(jì)算提供了靈活的、可重用的、松散耦合的模型，BPEL是半形式化的、具有復(fù)雜特性的、易含有錯(cuò)誤行為的語言。在WEB服務(wù)發(fā)布之前對(duì)服務(wù)進(jìn)行驗(yàn)證、測(cè)試，確認(rèn)服務(wù)符合設(shè)計(jì)模型是必需的。本文針對(duì)BPEL流程的CPS模型，提出了模型的可執(zhí)行程序單元概念，基于可執(zhí)行程序單元，給出了BPEL程序的測(cè)試用例生成方法，該方法可以有效的處理BPEL的并發(fā)、DPE等特性。

簡(jiǎn)介：碩士學(xué)位論文碩士學(xué)位論文基于車聯(lián)網(wǎng)的音頻服務(wù)系統(tǒng)云端關(guān)鍵技術(shù)研究RESEARCHOFTHEKEYTECHNOLOGYOFAUDIOSERVICECLOUDSERVERBASEDONVEHICLEWKING徐帥徐帥哈爾濱工業(yè)大學(xué)哈爾濱工業(yè)大學(xué)2014年12月CLASSIFIEDINDEXTP3115UDC6213DISSERTATIONFTHEMASTERDEGREEINENGINEERINGRESEARCHOFTHEKEYTECHNOLOGYOFAUDIOSERVICECLOUDSERVERBASEDONVEHICLEWKINGCIDATEXUSHUAISUPERVISASSISTANTPROFWUZEJUNACADEMICDEGREEAPPLIEDFMASTERDEGREEINENGINEERINGSPECIALTYMICROELECTRONICSSOLIDSTATEELECTRONICSAFFILIATIONSHENZHENGRADUATESCHOOLDATEOFDEFENCEDECEMBER2014DEGREECONFERRINGINSTITUTIONHARBININSTITUTEOFTECHNOLOGY

簡(jiǎn)介：隨著互聯(lián)網(wǎng)技術(shù)的不斷發(fā)展與成熟，云計(jì)算技術(shù)已經(jīng)成為新一輪IT信息技術(shù)革命浪潮中研究的熱點(diǎn)。云計(jì)算已經(jīng)不僅僅走進(jìn)了我們的生活，而且還開始扮演著重要的角色。在過去的幾年中，由于互聯(lián)網(wǎng)中的信息量爆炸式地增長(zhǎng)，作為云計(jì)算概念的延伸和發(fā)展云存儲(chǔ)技術(shù)已開始受到越來越多的企業(yè)和高校的關(guān)注。人們迫切地想利用這門新興技術(shù)來更好地存儲(chǔ)和管理不斷增長(zhǎng)的數(shù)據(jù)。如今，云存儲(chǔ)相關(guān)的技術(shù)發(fā)展迅速，國(guó)內(nèi)外產(chǎn)品層出不窮。云存儲(chǔ)技術(shù)具有良好的研究前景和研究?jī)r(jià)值。塊級(jí)別云存儲(chǔ)是云存儲(chǔ)系統(tǒng)中的一個(gè)重要分支，由于它可以提供給用戶原始的塊存儲(chǔ)設(shè)備，因此塊級(jí)別云存儲(chǔ)系統(tǒng)在許多領(lǐng)域都有較廣泛的應(yīng)用。本文在分析、研究和比較國(guó)內(nèi)外主流的塊級(jí)別云存儲(chǔ)系統(tǒng)的優(yōu)缺點(diǎn)后，在THRUS系統(tǒng)原型之上，對(duì)其存在的缺乏細(xì)化統(tǒng)一管理異構(gòu)存儲(chǔ)設(shè)備、負(fù)載均衡局部最優(yōu)以及斷點(diǎn)重傳等問題上提出了改進(jìn)策略，設(shè)計(jì)并實(shí)現(xiàn)了基于負(fù)載均衡的多卷服務(wù)器塊級(jí)別分級(jí)云存儲(chǔ)系統(tǒng)THRUSPLUS。首先，介紹了云存儲(chǔ)技術(shù)目前的發(fā)展?fàn)顩r，討論了THRUSPLUS系統(tǒng)實(shí)現(xiàn)過程中所涉及到的相關(guān)技術(shù)。其次，設(shè)計(jì)并實(shí)現(xiàn)了THRUSPLUS系統(tǒng)的多卷服務(wù)器架構(gòu)及其存儲(chǔ)工作流。系統(tǒng)使用CLVM讓卷服務(wù)器集群共同管理后端存儲(chǔ)池，使用XEN和KVM虛擬化技術(shù)來管理用戶虛擬機(jī)，利用ISCSI技術(shù)為用戶虛擬機(jī)提供塊級(jí)別存儲(chǔ)的連接訪問服務(wù)，通過WEBSERVICE技術(shù)來實(shí)現(xiàn)各節(jié)點(diǎn)中模塊接口的相互調(diào)用。同時(shí)，利用現(xiàn)有的異構(gòu)存儲(chǔ)環(huán)境，提出了一種基于卷生命周期的分級(jí)存儲(chǔ)管理機(jī)制，充分利用不同存儲(chǔ)設(shè)備的優(yōu)勢(shì)和特點(diǎn)，進(jìn)一步提高系統(tǒng)訪問效率。實(shí)驗(yàn)證明，實(shí)行分級(jí)存儲(chǔ)管理的THRUSPLUS系統(tǒng)較THRUS系統(tǒng)有更高的讀寫性能，在IO吞吐率上提高了36％左右。然后，在對(duì)卷服務(wù)器性能和負(fù)載進(jìn)行建模的基礎(chǔ)上，實(shí)現(xiàn)了基于遺傳算法的負(fù)載均衡策略。該負(fù)載均衡策略采用了交叉率自適應(yīng)模型，盡可能地提高了其搜索全局最優(yōu)解的準(zhǔn)確性。同時(shí)，設(shè)計(jì)了一種面向ISCSI的斷點(diǎn)續(xù)傳功能，在重新選擇卷服務(wù)器進(jìn)行ISCSI重連時(shí)，正在上傳數(shù)據(jù)的用戶無需將數(shù)據(jù)重新上傳，系統(tǒng)自動(dòng)會(huì)從斷點(diǎn)處繼續(xù)上傳。實(shí)驗(yàn)證明，THRUSPLUS系統(tǒng)中使用的負(fù)載均衡策略在較大數(shù)據(jù)量時(shí)，較THRUS更可靠更高效。最后，對(duì)本文在塊級(jí)別云存儲(chǔ)系統(tǒng)中所做的主要工作和貢獻(xiàn)進(jìn)行了總結(jié)，并對(duì)THRUSPLUS系統(tǒng)未來工作的方向提出了幾點(diǎn)展望。

簡(jiǎn)介：未經(jīng)任何處理的數(shù)字話音數(shù)據(jù)量很大，直接傳輸和存儲(chǔ)會(huì)占用大量的信道資源和存儲(chǔ)空間。在保證一定的編碼質(zhì)量的前提下如何高效率地進(jìn)行壓縮編碼，或者在給定信息速率的前提下如何提高編碼后的語音質(zhì)量，是語音編碼研究的重點(diǎn)。在數(shù)字移動(dòng)通信系統(tǒng)中，語音編碼技術(shù)具有相當(dāng)關(guān)鍵的作用。隨著3G移動(dòng)通信技術(shù)的逐步實(shí)現(xiàn)以及移動(dòng)通信與互聯(lián)網(wǎng)的融合，全球正迅速步入移動(dòng)信息時(shí)代，向個(gè)人通信的時(shí)代又邁出了重要的一步。本文全面介紹了3G移動(dòng)通信中所采用的語音編碼算法。尤其重點(diǎn)介紹了AMR和AMR2算法，并研究了AMR算法IP承載的關(guān)鍵技術(shù)。根據(jù)河南移動(dòng)彩鈴系統(tǒng)IP化需求，設(shè)計(jì)并實(shí)現(xiàn)了媒體服務(wù)器中語音編解碼模塊和NB接口模塊。本文的主要工作內(nèi)容如下（1）研究變速率語音編解碼相關(guān)知識(shí)，剖析G711，AMR和AMR2語音編解碼算法結(jié)構(gòu)，以及對(duì)其速率控制，話音激活檢測(cè)（VAD）等關(guān)鍵技術(shù)進(jìn)行深入研究。（2）對(duì)移動(dòng)通信網(wǎng)絡(luò)以及媒體網(wǎng)關(guān)（MGW），媒體服務(wù)器（MS）進(jìn)行了深入的學(xué)習(xí)和討論，并實(shí)現(xiàn)了AMR2語音的IP承載。（3）針對(duì)河南移動(dòng)彩鈴業(yè)務(wù)的鈴音實(shí)時(shí)轉(zhuǎn)換需求以及傳輸速率的要求，提出了使用AMR2語音編解碼格式為鈴音編碼格式，設(shè)計(jì)了AMR2語音編解碼流程并實(shí)現(xiàn)了AMR2語音編碼器。（4）認(rèn)真分析河南移動(dòng)彩鈴IP化需求，研究了MGW間通信的NB接口協(xié)議，設(shè)計(jì)并實(shí)現(xiàn)了NBUP處理流程，完成了NB接口模塊。

簡(jiǎn)介：信息技術(shù)的巨大發(fā)展以及網(wǎng)絡(luò)的日益普及，以面向服務(wù)體系架構(gòu)為代表的軟件服務(wù)協(xié)同已成為開放協(xié)同網(wǎng)絡(luò)環(huán)境下一種典型的INTER應(yīng)用形態(tài)。一方面SOA為資源共享、協(xié)同計(jì)算、系統(tǒng)集成提供了便利，但另一方面也帶來了訪問控制等新型的安全問題，而傳統(tǒng)的基于身份的安全機(jī)制無法完全滿足SOA安全的這一特定需求，要實(shí)現(xiàn)SOA的大規(guī)模應(yīng)用安全部署，急需一套適應(yīng)環(huán)境特點(diǎn)的新型的安全解決方案。本文工作源于某國(guó)家預(yù)研項(xiàng)目，針對(duì)SOA的特定安全需求，設(shè)計(jì)了一種基于SYNAPSE網(wǎng)關(guān)代理的服務(wù)訪問模型，研究了該模型下的服務(wù)調(diào)度、端到端消息安全傳輸、跨域訪問信任值計(jì)算等方面的問題，并進(jìn)行了深入的分析與實(shí)現(xiàn)。該模型通過SYNAPSE網(wǎng)關(guān)代理進(jìn)行安全調(diào)度，針對(duì)服務(wù)請(qǐng)求者發(fā)送的服務(wù)訪問請(qǐng)求調(diào)用認(rèn)證權(quán)威的認(rèn)證服務(wù)進(jìn)行認(rèn)證，通過調(diào)用授權(quán)中心的授權(quán)服務(wù)對(duì)服務(wù)請(qǐng)求者進(jìn)行授權(quán)，最終對(duì)通過授權(quán)的服務(wù)請(qǐng)求者，通過網(wǎng)關(guān)代理訪問請(qǐng)求的資源。為了保證端到端傳輸?shù)陌踩?，本文引入RAMPART安全模塊，通過加解密、數(shù)字簽名實(shí)現(xiàn)消息級(jí)的安全傳輸。對(duì)于跨域訪問的情況，本文提出了一種針對(duì)SOA分布式環(huán)境的信任度評(píng)估模型，針對(duì)該模型，引入轉(zhuǎn)換因子、時(shí)間衰減函數(shù)等內(nèi)容，設(shè)計(jì)了一種基本準(zhǔn)確反映真實(shí)世界的信任值計(jì)算方法。本文最后進(jìn)行了相關(guān)測(cè)試，并對(duì)測(cè)試結(jié)果進(jìn)行了分析。從而證明該模型能夠有效提高SOA的安全性，基本能夠滿足實(shí)際應(yīng)用需求。

簡(jiǎn)介：重慶大學(xué)博士學(xué)位論文面向服務(wù)質(zhì)量的網(wǎng)絡(luò)擁塞控制技術(shù)研究姓名李世暢申請(qǐng)學(xué)位級(jí)別博士專業(yè)指導(dǎo)教師朱慶生20110601重慶大學(xué)博士學(xué)位論文確保流量來為確保流量獲得的所需的服務(wù)質(zhì)量需求。在非確保流量與確保流量的時(shí)延和包丟失之間建立模型，通過該模型控制充滿競(jìng)爭(zhēng)性的非確保流量以獲得所需的確保流量的延遲和數(shù)據(jù)包丟失率，并給出健壯估計(jì)和控制的整個(gè)設(shè)計(jì)和分析。并與其他調(diào)度算法如基于類的隊(duì)列、加權(quán)公平隊(duì)列以及隨機(jī)早期探測(cè)等的實(shí)驗(yàn)比較分析，表明所提出網(wǎng)絡(luò)服務(wù)控制機(jī)制的有效性及優(yōu)勢(shì)。4、提出一種支持全局的網(wǎng)絡(luò)鏈路資源動(dòng)態(tài)分配實(shí)現(xiàn)機(jī)制。網(wǎng)絡(luò)適應(yīng)承載業(yè)務(wù)量不確定性變化而采取網(wǎng)絡(luò)資源進(jìn)行動(dòng)態(tài)調(diào)整分配策略的研究依然是一個(gè)值得探索的方向，在相關(guān)研究的基礎(chǔ)上，針對(duì)鏈路資源分配不均而引起的網(wǎng)絡(luò)擁塞以及網(wǎng)絡(luò)服務(wù)質(zhì)量難以確保問題，給出了基于蟻群優(yōu)化的資源分配策略及動(dòng)態(tài)優(yōu)化算法以及節(jié)點(diǎn)多處理實(shí)現(xiàn)方法。在分析了蟻群智能原理及其算法在實(shí)現(xiàn)網(wǎng)絡(luò)鏈路資源重配置基礎(chǔ)上，利用蟻群尋求最優(yōu)路徑及相互排斥，通過釋放人工螞蟻定期進(jìn)行全局配置，實(shí)時(shí)調(diào)度網(wǎng)絡(luò)流量策略。試驗(yàn)結(jié)果表明，算法對(duì)網(wǎng)絡(luò)業(yè)務(wù)鏈接流量請(qǐng)求越是頻繁的情況，其體現(xiàn)出業(yè)務(wù)流量動(dòng)態(tài)平衡度和業(yè)務(wù)流量到達(dá)率的優(yōu)越性和有效性特點(diǎn)。關(guān)鍵詞網(wǎng)絡(luò)擁塞控制，服務(wù)質(zhì)量，流量控制，區(qū)分服務(wù)，公平性Ⅱ

簡(jiǎn)介：全球IPV4地址已經(jīng)于2011年全部分配完畢，IPV6作為下一代互聯(lián)網(wǎng)的核心走上歷史的舞臺(tái)。IPV6技術(shù)采用了新的網(wǎng)絡(luò)理念，提供了近乎無窮的地址空間的同時(shí)，還提高了網(wǎng)絡(luò)的安全性、擴(kuò)展性、移動(dòng)性和服務(wù)質(zhì)量。十多年來，經(jīng)過全球網(wǎng)絡(luò)專家的努力，IPV6的技術(shù)規(guī)范已經(jīng)相當(dāng)成熟，硬件設(shè)備早有量產(chǎn)，IPV6的實(shí)驗(yàn)室也十分眾多，IPV6的粉絲及使用者人數(shù)越來越龐大。IPV6協(xié)議功能雖強(qiáng)，但由于無法直接兼容IPV4協(xié)議，使得它無法迅速取代IPV4的地位，兩種網(wǎng)絡(luò)技術(shù)必將有一個(gè)漫長(zhǎng)的共存過渡期。選擇合理的過渡方案使IPV4網(wǎng)絡(luò)與IPV6網(wǎng)絡(luò)互連、互通并平穩(wěn)過渡到純IPV6網(wǎng)絡(luò)，是過渡期最重要的任務(wù)。本文認(rèn)為一種網(wǎng)絡(luò)能否有堅(jiān)強(qiáng)的生命力，取決于該網(wǎng)絡(luò)的可連通性和服務(wù)質(zhì)量。本文首先對(duì)服務(wù)質(zhì)量和IPV6技術(shù)的特點(diǎn)做了介紹，對(duì)過渡技術(shù)中雙棧技術(shù)、隧道技術(shù)和轉(zhuǎn)換技術(shù)進(jìn)行了介紹和分析，重點(diǎn)對(duì)NATPT技術(shù)進(jìn)行了剖析，并在實(shí)驗(yàn)中實(shí)現(xiàn)了這幾種過渡技術(shù)。本文利用NATPT技術(shù)獨(dú)有的優(yōu)勢(shì)，創(chuàng)新性的構(gòu)建了雙NATPT模型，實(shí)現(xiàn)新的功能，完善了該技術(shù)的互通能力。在實(shí)驗(yàn)環(huán)境中實(shí)現(xiàn)了這幾種過渡技術(shù)的同時(shí)，對(duì)各種過渡技術(shù)的配置復(fù)雜度、連通能力和服務(wù)質(zhì)量進(jìn)行了測(cè)試、比較和分析。根據(jù)過渡期的特點(diǎn)，提出了NATPT技術(shù)值得推廣的合理化建議，并設(shè)計(jì)了一個(gè)配套服務(wù)器，將有助于IPV6的平穩(wěn)過渡。最后對(duì)論文進(jìn)行了總結(jié)和展望。