簡介：一直以來納稅人向稅務(wù)機(jī)關(guān)遞交的各項(xiàng)申請都以紙質(zhì)形式進(jìn)行審批這種以傳統(tǒng)紙張為載體的信息傳遞與處理方式的效率很低不僅需要花費(fèi)相當(dāng)?shù)娜肆?、物力來完成信息的處理、組織、存儲以及查詢檢索而且往往造成審批環(huán)節(jié)繁雜、時(shí)間冗長極大的影響稅務(wù)機(jī)關(guān)審批效率。目前有不少現(xiàn)成的政府公文審批系統(tǒng)在一定程度上可以解決文書的自動審批但基本都是將工作流程進(jìn)行固化后期難以對其進(jìn)行重新定義和維護(hù)。同時(shí)也缺少對原有業(yè)務(wù)流程的系統(tǒng)性分析沒有對工作流程進(jìn)行合理的優(yōu)化不能適應(yīng)稅務(wù)機(jī)關(guān)“優(yōu)化行政審批工作流程簡化辦稅服務(wù)程序”的要求。本文作者運(yùn)用基于活動網(wǎng)絡(luò)的工作流模型對現(xiàn)有稅務(wù)文書審批流程進(jìn)行分析并采用基于SOCKET通信標(biāo)準(zhǔn)的三層分布式軟件系統(tǒng)架構(gòu)將數(shù)據(jù)庫服務(wù)、服務(wù)端服務(wù)、客戶端服務(wù)和業(yè)務(wù)數(shù)據(jù)服務(wù)獨(dú)立分開符合現(xiàn)代信息系統(tǒng)松散耦合的特點(diǎn)。同時(shí)系統(tǒng)開發(fā)過程中也充分體現(xiàn)了面向?qū)ο蟮某绦蜷_發(fā)思想和科學(xué)的軟件開發(fā)方法。本系統(tǒng)開發(fā)在以下三方面有所創(chuàng)新和突破一、實(shí)用性方面通過對組織機(jī)構(gòu)、表單格式、審批流程、訪問權(quán)限等全面提供了自定義滿足各種審批項(xiàng)目的定義需要隨著稅務(wù)行政改革的不斷深入可隨時(shí)根據(jù)自定義項(xiàng)目進(jìn)行調(diào)整適應(yīng)因改革引起的變化需求避免很多審批系統(tǒng)在應(yīng)用一段時(shí)間因?yàn)樾枨蟮淖兓療o法滿足需求而無法應(yīng)用的情況增強(qiáng)了實(shí)用性。二、易用性方面可視化表單定義、工作環(huán)境圖形化審批流程定義環(huán)境可使不同應(yīng)用人員通過短期的培訓(xùn)熟練掌握各項(xiàng)應(yīng)用功能對于管理人員而言實(shí)現(xiàn)了快速部署和輕松維護(hù)。三、可靠性方面采用三層分布式系統(tǒng)架構(gòu)確保數(shù)據(jù)傳輸?shù)陌踩?、可靠同時(shí)內(nèi)部權(quán)限設(shè)置嚴(yán)密為工作人員提供身份二次認(rèn)證功能大大提高了審批系統(tǒng)安全性能。

簡介：片上多核作為當(dāng)今處理器設(shè)計(jì)的主流技術(shù)，依賴多線程應(yīng)用來充分發(fā)揮性能優(yōu)勢。但是傳統(tǒng)的并行編程在編程效率與正確性方面卻存在問題，嚴(yán)重制約了對多核平臺上大量計(jì)算資源的利用。事務(wù)存儲與線程級推測技術(shù)分別從顯式并行編程的同步與串行程序的并行化兩個(gè)方面入手解決傳統(tǒng)多線程編程的困難。它們均通過激進(jìn)地并行執(zhí)行來充分挖掘程序中更多的并行性，并利用硬件進(jìn)行動態(tài)數(shù)據(jù)依賴檢測以保證結(jié)果的正確性、簡化編程?，F(xiàn)有的研究往往僅專注于其中一種技術(shù)，通過復(fù)雜的硬件結(jié)構(gòu)來獲取有限的性能提升。尤其是現(xiàn)有的線程級推測方案，大都使用了緊耦合的結(jié)構(gòu)設(shè)計(jì)與復(fù)雜的緩存機(jī)制。本文通過從這兩種技術(shù)的語義模型中抽取出共同特征，嘗試設(shè)計(jì)一種具有較好可擴(kuò)放性并易于實(shí)現(xiàn)的硬件支持方案，在其上可以高效地支持推測并行與手工并行，為程序員提供豐富的語義支持以簡化并行編程的復(fù)雜度。本文在事務(wù)存儲與線程級推測技術(shù)的統(tǒng)一硬件支持方面展開了深入系統(tǒng)的研究，主要的研究成果包括1提出了支持推測并行化的可擴(kuò)展事務(wù)存儲抽象硬件結(jié)構(gòu)模型LOGSPOTM，并為該抽象模型提供了一個(gè)易于硬件實(shí)現(xiàn)的方案及其配套軟件環(huán)境。在這套推測系統(tǒng)上并行化程序執(zhí)行需要調(diào)整的代碼很少，達(dá)到了簡化并行編程的目的。2選取若干個(gè)具有不同訪存行為模式的典型應(yīng)用程序，對影響LOGSPOTM實(shí)現(xiàn)方案性能的關(guān)鍵因素進(jìn)行了詳細(xì)的評估，分析了一些設(shè)計(jì)選擇對LOGSPOTM實(shí)現(xiàn)復(fù)雜度與性能的影響。3針對軟件模擬器速度緩慢給研究工作帶來的限制，本文最后基于HASIM硬件模擬框架，設(shè)計(jì)了LOGSPOTM的硬件模擬環(huán)境。與一般的硬件原型系統(tǒng)的仿真驗(yàn)證環(huán)境設(shè)計(jì)不同，這里的硬件模擬環(huán)境是一個(gè)高度可配置的研究型模擬器，具有良好的可觀測性。在設(shè)計(jì)評測LOGSPOTM結(jié)構(gòu)模型與配套支持系統(tǒng)的過程中，本研究得到了一些關(guān)于如何有效利用線程級推測技術(shù)的認(rèn)識。首先，為了提升推測執(zhí)行性能，本文認(rèn)為更多的努力應(yīng)當(dāng)投入到軟件優(yōu)化方面，而不是激進(jìn)地調(diào)整硬件結(jié)構(gòu)和執(zhí)行機(jī)制。利用編譯器識別應(yīng)用的依賴特征、訪存模式與迭代粒度等特性，對代碼變換的優(yōu)化應(yīng)可以起到較好的效果。其次，線程級推測只在部分應(yīng)用程序上獲得最佳的效果，因而并不能讓自動并行完全取代手工并行，但可以作為手工并行的輔助工具來使用。

簡介：WEB服務(wù)是一種新型的分布式計(jì)算技術(shù)，具有可重用、自治、松耦合的特點(diǎn)。它屏蔽了應(yīng)用程序的系統(tǒng)平臺、編程語言等底層細(xì)節(jié)，通過良好定義的標(biāo)準(zhǔn)接口，使得分布式程序之間能夠進(jìn)行信息的交互。基于XML、SOAP、WSDL、UDDI等規(guī)范和協(xié)議，WEB服務(wù)通過發(fā)布、發(fā)現(xiàn)和綁定的標(biāo)準(zhǔn)模式，使企業(yè)應(yīng)用程序集成變得更加容易實(shí)現(xiàn)。事務(wù)是一系列應(yīng)用操作組成的集合，它目的是確保系統(tǒng)容錯(cuò)和并發(fā)控制的正確順利運(yùn)行從而更好地保證系統(tǒng)的可靠性。與傳統(tǒng)的事務(wù)有所不同，由于涉及商務(wù)邏輯、網(wǎng)絡(luò)狀況和用戶交互，WEB服務(wù)事務(wù)處理過程通常會持續(xù)較長的時(shí)間這使得嚴(yán)格遵從ACID特性的傳統(tǒng)事務(wù)處理模型不再適用。本文首先對課題的背景和相關(guān)研究進(jìn)行概述，接著介紹了WEB服務(wù)、事務(wù)的概念以及事務(wù)處理模型，之后重點(diǎn)介紹了WSCT和BTP兩個(gè)WEB服務(wù)事務(wù)協(xié)議，并作簡要比較。論文在WSCT協(xié)議的基礎(chǔ)上，設(shè)計(jì)了一個(gè)WEB服務(wù)事務(wù)處理模型，對處理過程中的服務(wù)協(xié)調(diào)、日志技術(shù)、故障恢復(fù)機(jī)制等進(jìn)行了研究，之后詳細(xì)描述了模型實(shí)現(xiàn)過程中用到的技術(shù)、原理、關(guān)鍵步驟，并以一個(gè)實(shí)例闡述模型分別對WEB服務(wù)原子事務(wù)和業(yè)務(wù)事務(wù)進(jìn)行處理的流程。最后通過測試，從而驗(yàn)證了WEB服務(wù)事務(wù)處理模型具備處理原子事務(wù)和業(yè)務(wù)事務(wù)的能力。

簡介：傳統(tǒng)的兩層結(jié)構(gòu)即基于一層服務(wù)器和一層客戶端的結(jié)構(gòu)，簡稱C／S結(jié)構(gòu)有很多弊端。傳統(tǒng)的CLIENT／SERVER體系結(jié)構(gòu)是一種將數(shù)據(jù)集中在數(shù)據(jù)庫中，然后由數(shù)據(jù)庫進(jìn)行集中統(tǒng)一管理，并將應(yīng)用邏輯分布在位于網(wǎng)絡(luò)中不同位置的客戶端的應(yīng)用結(jié)構(gòu)中。運(yùn)用多層結(jié)構(gòu)不但可以很好地克服兩層結(jié)構(gòu)的不足之處，而且給軟件工程帶來了一場新的革命。多層體系結(jié)構(gòu)是將原來的兩層結(jié)構(gòu)中的客戶端應(yīng)用分為兩部分客戶應(yīng)用和服務(wù)器應(yīng)用?？蛻魬?yīng)用是原來客戶應(yīng)用的一部分，原來客戶應(yīng)用中的另一部分被移入服務(wù)器應(yīng)用中。新的客戶應(yīng)用負(fù)責(zé)用戶界面和簡單固定的業(yè)務(wù)邏輯，新的服務(wù)器應(yīng)用中則駐留核心的、易變的業(yè)務(wù)邏輯。使多層體系結(jié)構(gòu)具有把邏輯應(yīng)用分為兩層，分別對待、具有高度的可擴(kuò)展性、提高代碼的重用率、多層體系結(jié)構(gòu)通過引入中間層組件，擴(kuò)大了傳統(tǒng)的客戶／服務(wù)器兩層計(jì)算模式等優(yōu)點(diǎn)。多層體系結(jié)構(gòu)的典型有CBA和COM／DCOM。本文主要研究了另外一種多層體系結(jié)構(gòu)JAGUARCTS。首先介紹了JAGUARCTS的主要特點(diǎn)和相關(guān)知識。

簡介：隨著計(jì)算機(jī)與網(wǎng)絡(luò)技術(shù)的廣泛應(yīng)用數(shù)據(jù)庫安全技術(shù)已成為信息安全的重要研究領(lǐng)域課題針對多級安全數(shù)據(jù)庫管理系統(tǒng)原型SDM3深入探討了多級安全事務(wù)處理機(jī)制它是多級安全數(shù)據(jù)庫管理系統(tǒng)的關(guān)鍵技術(shù)之一包括多級事務(wù)處理和安全并發(fā)控制兩個(gè)方面的研究內(nèi)容多級事務(wù)允許用戶在一個(gè)事務(wù)內(nèi)跨安全級進(jìn)行讀寫操作由于前人提出的低安全級優(yōu)先算法并設(shè)計(jì)了事務(wù)節(jié)私有緩沖區(qū)機(jī)制對數(shù)據(jù)版本進(jìn)行管理這種方法消除了先讀后寫語義依賴并能夠正確執(zhí)行任意的多級事務(wù)理論上已證明不可能同時(shí)保證多級事務(wù)的原子性和安全性該算法在確保多級事務(wù)安全性的基礎(chǔ)上能滿足基本多級原子性為了消除傳統(tǒng)的2PL并發(fā)控制協(xié)議在多級安全環(huán)境中引入的時(shí)間隱通道提出先將事務(wù)的向下讀數(shù)據(jù)讀入事務(wù)的私有緩沖區(qū)中這樣可以大大減小高安全級事務(wù)和低安全級事務(wù)發(fā)生沖突的概率一旦發(fā)生沖突還可通過隨機(jī)數(shù)的方法決定是回滾高安全級事務(wù)還是讓低安全級事務(wù)等待此方法破壞了時(shí)間隱通道的參考時(shí)間從而保證了系統(tǒng)的安全性同時(shí)還保證了較高的系統(tǒng)效率

簡介：WEB服務(wù)技術(shù)的出現(xiàn)標(biāo)志著互聯(lián)網(wǎng)服務(wù)新時(shí)代的到來。未來的下一代網(wǎng)絡(luò)將是一個(gè)面向用戶的、以服務(wù)為中心、實(shí)現(xiàn)資源與業(yè)務(wù)廣泛集成的平臺環(huán)境。在經(jīng)濟(jì)全球化的大背景下，WEB服務(wù)技術(shù)能夠在各個(gè)商業(yè)企業(yè)之間、各個(gè)關(guān)聯(lián)的經(jīng)濟(jì)實(shí)體之間實(shí)現(xiàn)高效實(shí)時(shí)的聯(lián)接，加快整個(gè)產(chǎn)業(yè)鏈自動化協(xié)同商務(wù)目標(biāo)的實(shí)現(xiàn)，從而有效應(yīng)對“協(xié)同商務(wù)”新經(jīng)濟(jì)時(shí)代的挑戰(zhàn)。WEB服務(wù)事務(wù)管理是整個(gè)服務(wù)計(jì)算體系中不可缺少的一個(gè)重要環(huán)節(jié)，同時(shí)也是一個(gè)多學(xué)科交叉的新興研究領(lǐng)域。雖然傳統(tǒng)的事務(wù)管理技術(shù)已經(jīng)在數(shù)據(jù)庫和分布式系統(tǒng)中得到了廣泛應(yīng)用，但是仍然無法滿足WEB服務(wù)事務(wù)管理的需要。WEB服務(wù)事務(wù)環(huán)境具有明顯區(qū)別于傳統(tǒng)分布式事務(wù)環(huán)境的特征，它們具體體現(xiàn)在自治性、交互性、模糊性和選擇性4個(gè)方面1自治性事務(wù)的參與者來自不同利益團(tuán)體，所有參與者在事務(wù)執(zhí)行過程中擁有較強(qiáng)的自主決策能力，這種能力具體體現(xiàn)在資源提供者在事務(wù)執(zhí)行過程中對資源的全面控制；2交互性人為交互是WEB服務(wù)事務(wù)的一個(gè)顯著特征，由于人為交互的原因，導(dǎo)致WEB服務(wù)事務(wù)的長期性和不確定性；3模糊性豐富的WEB服務(wù)內(nèi)容會造成事務(wù)構(gòu)成的不確定性，同時(shí)也是因?yàn)榉?wù)的多樣性，導(dǎo)致了事務(wù)結(jié)果的不確定性，在WEB服務(wù)環(huán)境中，事務(wù)成功的概念變得很模糊；4選擇性事務(wù)參與者的“服從控制”關(guān)系變成了“雙向選擇”關(guān)系。因此，WEB服務(wù)事務(wù)管理面臨著諸多挑戰(zhàn)。首先，長時(shí)間的資源隔離策略會對資源提供者造成極大的危害；其次，嚴(yán)格的原子性事務(wù)約束會浪費(fèi)事務(wù)協(xié)調(diào)者已經(jīng)取得的協(xié)調(diào)成果；再次，新型的WEB服務(wù)事務(wù)模型無法與企業(yè)使用多年的傳統(tǒng)事務(wù)管理系統(tǒng)集成等等。針對上述問題，本文在放松事務(wù)隔離性、原子性以及集成框架研究方面展開了積極的探索①在事務(wù)協(xié)調(diào)過程中，賦予事務(wù)參與者相互感知的能力，尤其是為資源提供者建立起甄選事務(wù)的評價(jià)體系，從而使資源提供者可以更加自主地參與或退出事務(wù)，確保自身利益的優(yōu)化；②將分布式人工智能技術(shù)引入WEB服務(wù)事務(wù)協(xié)調(diào)領(lǐng)域，通過資源提供者之間的緊密協(xié)作，完成整體事務(wù)資源的最優(yōu)分配；③利用移動代理技術(shù)構(gòu)建一套靈活的、可擴(kuò)展的WEB服務(wù)事務(wù)集成框架，為分階段的事務(wù)協(xié)調(diào)方法以及多種事務(wù)模型的融合提供支撐平臺。本文采用上述研究思路對相關(guān)問題展開了系統(tǒng)的研究，其主要成果與貢獻(xiàn)具體體現(xiàn)在以下三個(gè)方面1面向自治的事務(wù)協(xié)調(diào)環(huán)境，提出了一種具備個(gè)體事務(wù)感知能力的事務(wù)協(xié)調(diào)模型TATHP在充分考慮WEB服務(wù)事務(wù)環(huán)境特異性的基礎(chǔ)上，首次賦予了資源提供者主動參與事務(wù)的能力，通過資源提供者與事務(wù)協(xié)調(diào)者之間的雙向溝通，形成對事務(wù)成功概率的準(zhǔn)確估計(jì)，并以此為依據(jù)來合理完成資源的預(yù)分配過程。仿真結(jié)果證明，TATHP模型能夠在較小的候選事務(wù)范圍內(nèi)取得較好的資源分配結(jié)果。2面向協(xié)作的事務(wù)協(xié)調(diào)環(huán)境，提出了一種具備群體協(xié)作能力的事務(wù)協(xié)調(diào)模型GDCSP在基于個(gè)體感知事務(wù)協(xié)商模型的基礎(chǔ)上，提出了一種更為直接的事務(wù)協(xié)作模型，首次將分布式人工智能的方法應(yīng)用于事務(wù)管理的范疇。通過向資源提供者之間引入明確的協(xié)同機(jī)制和共同的協(xié)作目標(biāo)，來促使其共同完成事務(wù)協(xié)調(diào)過程中的資源預(yù)分配問題。仿真結(jié)果證明，GDCSP模型能夠在完全不擴(kuò)大候選事務(wù)范圍的情況下實(shí)現(xiàn)資源分配方案的優(yōu)化。3結(jié)合事務(wù)兩階段協(xié)調(diào)方法，提出了一種事務(wù)管理集成框架并完成其基于移動代理的系統(tǒng)實(shí)現(xiàn)該集成框架能夠有效支持分階段的WEB服務(wù)事務(wù)協(xié)調(diào)方法，并利用移動代理的特征，巧妙地實(shí)現(xiàn)了框架與異構(gòu)事務(wù)環(huán)境的集成。此外，基于移動代理的實(shí)現(xiàn)能夠有效降低事務(wù)協(xié)調(diào)過程中的通信開銷，尤其適用于本文提出的TATHP和GDCSP模型，而且這種實(shí)現(xiàn)框架具有顯著的靈活性和擴(kuò)展性，能夠?yàn)楸疚拈_發(fā)的開放式WEB服務(wù)流程管理平臺提供了強(qiáng)有力的事務(wù)支持，充分證實(shí)了本文的研究創(chuàng)新與應(yīng)用價(jià)值。

簡介：點(diǎn)擊查看更多工作流管理系統(tǒng)中的事務(wù)處理.pdf精彩內(nèi)容。

簡介：粗粒度可重構(gòu)體系結(jié)構(gòu)由于其配置速度快、計(jì)算加速比高、適應(yīng)性好、低功耗特性等優(yōu)點(diǎn)已成為高性能可重構(gòu)SOC協(xié)處理器的重要解決方案?？芍貥?gòu)協(xié)處理器的性能分析，普遍使用傳統(tǒng)的寄存器傳輸級代碼仿真分析方法，存在靈活性不高、分析效率較低等不足之處。本文提出一種基于事務(wù)數(shù)據(jù)流圖的可重構(gòu)協(xié)處理器性能分析方法，該方法結(jié)合應(yīng)用程序數(shù)據(jù)流圖與體系結(jié)構(gòu)特征，得到可重構(gòu)協(xié)處理器運(yùn)行應(yīng)用程序的性能分析結(jié)果。實(shí)驗(yàn)表明所提出的方法可以較為準(zhǔn)確高效的分析可重構(gòu)協(xié)處理器體系結(jié)構(gòu)應(yīng)用計(jì)算性能，有助于可重構(gòu)SOC早期體系結(jié)構(gòu)設(shè)計(jì)和設(shè)計(jì)空間探索。本文完成的主要工作和取得的研究成果包括以下四個(gè)方面一、提出了一種反映應(yīng)用程序特征和可重構(gòu)協(xié)處理器體系結(jié)構(gòu)特征的事務(wù)數(shù)據(jù)流圖。事務(wù)數(shù)據(jù)流圖通過將可重構(gòu)協(xié)處理器的硬件模塊的功能性能特征，映射到應(yīng)用程序數(shù)據(jù)流圖之上，建立起應(yīng)用程序數(shù)據(jù)流、硬件模塊功能和性能之間的關(guān)系，為構(gòu)建性能分析模型奠定基礎(chǔ)。二、提出了一種基于事務(wù)數(shù)據(jù)流圖的可重構(gòu)協(xié)處理器性能分析模型。根據(jù)可重構(gòu)協(xié)處理器體系結(jié)構(gòu)的串行計(jì)算、循環(huán)計(jì)算、流水計(jì)算和并行計(jì)算特征，對事務(wù)數(shù)據(jù)流圖進(jìn)行劃分、歸并，即可得到與應(yīng)用程序數(shù)據(jù)流和可重構(gòu)結(jié)構(gòu)一致的可重構(gòu)協(xié)處理器性能分析模型?？捎行ПＷC了性能分析模型有較高的準(zhǔn)確度。三、在構(gòu)建性能分析模型的基礎(chǔ)上設(shè)計(jì)實(shí)現(xiàn)了一種層次化的性能分析搜索統(tǒng)計(jì)算法。該算法根據(jù)事務(wù)數(shù)據(jù)流的循環(huán)基本塊和分支特征、性能分析模型層次化特征，采用廣度優(yōu)先的搜索方法進(jìn)行搜索和統(tǒng)計(jì)。實(shí)驗(yàn)結(jié)果表明，所設(shè)計(jì)算法可高效搜索統(tǒng)計(jì)出應(yīng)用程序的可重構(gòu)計(jì)算性能。四、完成了性能分析模型的軟件原型實(shí)現(xiàn)，完成了可重構(gòu)協(xié)處理器的RTL級建模與模擬，對FFT、矩陣乘、一階平滑濾波等典型應(yīng)用進(jìn)行了性能分析。通過基于RTL級模型的模擬統(tǒng)計(jì)結(jié)果與本文提出的性能分析方法得到的性能分析結(jié)果的比較，驗(yàn)證了性能分析模型的有效性和準(zhǔn)確性，以及性能搜索算法的高效性。

簡介：在時(shí)空數(shù)據(jù)庫中引入數(shù)據(jù)區(qū)域的劃分將時(shí)空屬性視為特殊屬性數(shù)據(jù)分別存放在非時(shí)空屬性區(qū)、有效時(shí)空屬性區(qū)和歷史時(shí)空屬性區(qū)利用三字節(jié)的屬性標(biāo)識位標(biāo)識數(shù)據(jù)位置從而將時(shí)空屬性隔離犧牲一部分存儲空間避免了海量的時(shí)空屬性數(shù)據(jù)對大量非時(shí)空屬性操作的影響大大提高系統(tǒng)效率由于數(shù)據(jù)區(qū)域的相對獨(dú)立性SAIL系統(tǒng)中引入了多數(shù)據(jù)庫系統(tǒng)的事務(wù)調(diào)度機(jī)制并基于屬性標(biāo)識位進(jìn)行了有效的擴(kuò)展采用一種改進(jìn)的全局事務(wù)調(diào)度機(jī)制從而保證全局事務(wù)可串行化SAIL系統(tǒng)利用基于頁的事務(wù)恢復(fù)策略和基于位的事務(wù)標(biāo)識符分派策略實(shí)現(xiàn)了預(yù)寫式日忘記錄、嵌套事務(wù)的建立和恢復(fù)機(jī)制以及BEGIN、COMMIT、END、ABT和SPAWF等事務(wù)調(diào)度原語支持有效時(shí)間和事務(wù)時(shí)間滿足了一個(gè)時(shí)空數(shù)據(jù)庫系統(tǒng)對雙時(shí)態(tài)的復(fù)雜事務(wù)調(diào)度和并發(fā)控制的要求時(shí)空數(shù)據(jù)庫技術(shù)作為時(shí)態(tài)數(shù)據(jù)庫技術(shù)和空間數(shù)據(jù)庫技術(shù)的無縫集成將在經(jīng)濟(jì)、科研和軍事等領(lǐng)域扮演著越來越重要的角色基于標(biāo)識位的SAIL系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)也是時(shí)空研究領(lǐng)域的一次有益嘗試和探索

簡介：電子科技大學(xué)碩士學(xué)位論文分布式并行數(shù)據(jù)庫系統(tǒng)DPSQL中分布式查詢和分布式事務(wù)的設(shè)計(jì)與實(shí)現(xiàn)姓名查小科申請學(xué)位級別碩士專業(yè)計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)指導(dǎo)教師張旭中劉心松200334ABSTRACTASTHEAPPICATONOFDISTRIBUTEDCOMPUTINGISUSEDMUCHMOREWIDELY，DISTRIBUTEDDATABASEBECOMESASIGNIFICANTPARTOFINFORMATIONMANAGEMENTITAVOIDSALOTOFDISADVANTAGESOFCONVENTIONALCENTRALIZEDDATABASEANDISAPPLICABETOMANYSITUATIONSDISTRIBUTEDDATABASEISASETOFDATAWHICHISTHEUNITYLOGIC，BUTINFACTTHESEDATAISLOCATEDONDIFFERENTSITESITISOFHIGHAVAILABILITY，EASYEXPANSIBILITY，HIGHCONCURRENCY，HIGHEFFICIENCYANDETCINDSTRIBUTEDSYSTEM，DATAREDUNDANCYISAMETHODTOIMPROVETHESPEEDOFQUERYANDTHEAVAILABILITYOFSYSTEMDISTRIBUTEDQUERYSHOULDSHIELDTHELOWERLEVELDETAILSOFDATAREDUNDANCYFROMENDUSERS，DISTRIBUTEDTRANSACTIONSHOULDENSUREDATAFROMDISACCORDTHISPAPERINTRODUCESBASICCONCEPTIONSOFDISTRIBUTEDDATABASEFIRSTLY，DISCUSSESDISTRIBUTEDTRANSACTIONANDCONCURRENTCONTROL，DESCRIBESTHEDEVELOPMENTPROTOTYPEMYSQL’SCHARACTERS，ARCHITECTUREANDEXECUTIVEMECHANISM，THENSHOWSTHESKELETONMODELOFDPSOLANDEXPOSESTHESTRATEGYANDALGORITHMOFDISTRIBUTEDQUERYANDDISTRIBUTEDTRANSACTIONATLASTANALYZESTHEEXTRAEXPENSESANDRESPONSEDELAYOFDISTRIBUTEDPROCESSESTHISPAPEREXPOSESTHEIMPLEMENTATIONMECHANISMOFDISTRIBUTEDQUERYANDDISTRIBUTEDTRANSACTIONEMPHATICALLYDISTRIBUTEDQUERYUSESTHESTRATEGYOF“READODEWRITEA11”SOINSUCHASYSTEMIFUSER’SREQUESTSAREREADONLYFORTHEMOSTPARTANDTHEDISTRIBUTIONOFDATAREDUNDANCYISPLAUSIBLE，EFFICIENCYISVERYHIGHDISTRIBUTEDTRANSACTIOILUSESTWOPHASECOMMITPROTOCOLTOENSURETHEEONSJSTENCYOF910BALDATA，WHICHHASLESSCOMMUNICATIONOVERHEADKEYWORDSDPSQL，DATAREDUNDANCYDISMBUTEDQUERYDISTRIBUTEDTRANSACTIONLI

簡介：現(xiàn)代數(shù)據(jù)庫應(yīng)用領(lǐng)域要求數(shù)據(jù)庫系統(tǒng)既具有高性能的事務(wù)處理能力又能滿足實(shí)時(shí)應(yīng)用需求將并行數(shù)據(jù)庫與實(shí)時(shí)數(shù)據(jù)庫理論結(jié)合起來的井行實(shí)時(shí)數(shù)據(jù)庫系統(tǒng)正好能滿足人們的需求并行實(shí)時(shí)數(shù)據(jù)庫系統(tǒng)不是傳統(tǒng)的并行數(shù)據(jù)庫與實(shí)時(shí)數(shù)據(jù)庫在概念、原理、技術(shù)和方法等各方面的簡單拼湊將實(shí)時(shí)機(jī)制引入并行數(shù)據(jù)庫系統(tǒng)后系統(tǒng)的數(shù)據(jù)劃分策略、查詢優(yōu)化機(jī)制、事務(wù)模型、事務(wù)特性、事務(wù)并發(fā)控制策略及調(diào)度策略都發(fā)生了根本性的改變事務(wù)調(diào)度是所有數(shù)據(jù)庫管理系統(tǒng)的核心功能模塊它對一個(gè)數(shù)據(jù)庫管理系統(tǒng)的性能有至關(guān)重要的影響井行實(shí)時(shí)數(shù)據(jù)庫系統(tǒng)中的事務(wù)具有并行性和實(shí)時(shí)性兩方面的特性事務(wù)的并行性是指一個(gè)事務(wù)被劃分成多個(gè)子事務(wù)子事務(wù)被分派到不同的處理機(jī)上并行執(zhí)行事務(wù)的實(shí)時(shí)性是指事務(wù)及其子事務(wù)都要在截止期內(nèi)完成并行實(shí)時(shí)事務(wù)調(diào)度算法的設(shè)計(jì)應(yīng)充分考慮這兩個(gè)特性、ATSP算法是一種基于事務(wù)優(yōu)先級的并行實(shí)時(shí)事務(wù)調(diào)度算法它通過調(diào)節(jié)平衡因子Α的值決定事務(wù)調(diào)度算法測重點(diǎn)偏重于并行還是偏重于實(shí)時(shí)同時(shí)算法還考慮了實(shí)時(shí)事務(wù)的剩余執(zhí)行時(shí)間、空余時(shí)間等因素的影響根據(jù)各種不同的情況采用了不同的優(yōu)先級分派策略ATSP算法具有高度的靈活性和優(yōu)良的性能是一個(gè)完全基于優(yōu)先級的事務(wù)調(diào)度算法它沒有考慮節(jié)點(diǎn)負(fù)載均衡問題和事務(wù)價(jià)值所產(chǎn)生的影響這些問題是以后研究工作的重點(diǎn)

簡介：隨著嵌入式系統(tǒng)在消費(fèi)類電子產(chǎn)品、數(shù)據(jù)采集系統(tǒng)以及工業(yè)控制系統(tǒng)中的廣泛應(yīng)用，作為嵌入式系統(tǒng)中最常用的存儲設(shè)備，基于硅存儲介質(zhì)的海量閃速存儲器的應(yīng)用也日益廣泛。閃速存儲器具有存儲密度高、數(shù)據(jù)存取速率快以及能耗小等特點(diǎn)，但其所固有的擦除一寫入更新機(jī)制以及高壞塊率等特性卻又成為其在應(yīng)用中的障礙，另外，對于嵌入式系統(tǒng)中的數(shù)據(jù)存儲而言，實(shí)現(xiàn)數(shù)據(jù)的高速存儲是系統(tǒng)的主要要求，但由于嵌入式系統(tǒng)的應(yīng)用環(huán)境變化較大，容易遇到突發(fā)情況而導(dǎo)致系統(tǒng)斷電，從而導(dǎo)致文件系統(tǒng)的破壞和信息的丟失。因此需要采取措施以在遇到突發(fā)事件時(shí)保證數(shù)據(jù)存儲的完整性和數(shù)據(jù)間的關(guān)聯(lián)性，并進(jìn)一步均衡存儲區(qū)負(fù)載以延長系統(tǒng)壽命。WOLFISTFSWOLFINTRINSICSECURETRANSACTEDFLASHFILESYSTEM文件系統(tǒng)是針對于嵌入式系統(tǒng)中的閃存介質(zhì)開發(fā)的數(shù)據(jù)存儲管理系統(tǒng)。系統(tǒng)采用日志數(shù)據(jù)存儲結(jié)構(gòu)作為系統(tǒng)中的核心數(shù)據(jù)管理結(jié)構(gòu)以實(shí)現(xiàn)數(shù)據(jù)快速寫入與存儲區(qū)負(fù)載均衡。系統(tǒng)中構(gòu)建了事務(wù)處理機(jī)制以加強(qiáng)數(shù)據(jù)存儲完整性與一致性，同時(shí)提供對流媒體傳輸與大容量數(shù)據(jù)轉(zhuǎn)儲的延續(xù)傳輸管理。系統(tǒng)中還建立了存儲區(qū)隱藏、本質(zhì)安全加密以及數(shù)字水印等機(jī)制以實(shí)現(xiàn)數(shù)據(jù)存儲的安全性并保護(hù)被存儲的數(shù)字作品的版權(quán)信息。WOLFISTFS采用層次化設(shè)計(jì)與實(shí)現(xiàn)。系統(tǒng)從上到下分為負(fù)責(zé)向操作系統(tǒng)掛接和注冊的GENERALAPI層，負(fù)責(zé)創(chuàng)建文件數(shù)據(jù)流，進(jìn)行存儲空間分配與管理并實(shí)現(xiàn)數(shù)據(jù)流結(jié)構(gòu)化處理的CEFUNCTIONS層，以及負(fù)責(zé)將結(jié)構(gòu)化數(shù)據(jù)具體寫入存儲空間的DEVICEI／O層等三個(gè)層次。WOLFISTFS文件系統(tǒng)在WINDOWS操作系統(tǒng)中實(shí)現(xiàn)，并結(jié)合基準(zhǔn)測試程序?qū)ο到y(tǒng)各組成部分進(jìn)行了性能評測。測試結(jié)果證明了系統(tǒng)設(shè)計(jì)的正確性以及系統(tǒng)實(shí)現(xiàn)的高效性。

簡介：WEB服務(wù)的出現(xiàn)是INTER技術(shù)發(fā)展的一次革命，WEB服務(wù)技術(shù)作為一種新型的面向服務(wù)的分布式計(jì)算模式，可以方便地實(shí)現(xiàn)INTER上跨平臺、語言獨(dú)立、松散耦合的異構(gòu)應(yīng)用的交互和集成。它的出現(xiàn)改變了以往分布式系統(tǒng)間的集成方式，它以XML作為數(shù)據(jù)交換標(biāo)準(zhǔn)，使用SOAP、WSDL以及UDDI等協(xié)議來描述、發(fā)布、發(fā)現(xiàn)和調(diào)用服務(wù)，使得運(yùn)用不同分布式集成架構(gòu)的系統(tǒng)之間可以容易地相互溝通。當(dāng)前INTER的發(fā)展趨勢之一是事務(wù)性WEB，這需要解決相關(guān)的WEB服務(wù)中的事務(wù)處理問題，以保證WEB服務(wù)在整個(gè)處理流程的完整性和可靠性。事務(wù)處理技術(shù)是保證信息可靠性和一致性的關(guān)鍵技術(shù)，是WEB服務(wù)能否用于電子商務(wù)的關(guān)鍵技術(shù)之一。本文分析了事務(wù)的概念、特性、以及WEB服務(wù)環(huán)境下的傳統(tǒng)事務(wù)和長事務(wù)，并對他們的處理進(jìn)行了比較分析。目前的WEB服務(wù)缺乏全局的事務(wù)環(huán)境，傳統(tǒng)的事務(wù)模型不再適用于新的WEB環(huán)境下的要求，WEB服務(wù)事務(wù)處理的研究還處于初級階段。傳統(tǒng)事務(wù)在支持長時(shí)間運(yùn)行事務(wù)方面存在缺陷，也不能適用于WEB服務(wù)流程協(xié)作。在業(yè)務(wù)流程管理中，事務(wù)為流程協(xié)作提供了可靠性保障。由于WEB服務(wù)所處的松耦合環(huán)境，對于長運(yùn)行的流程事務(wù)，事務(wù)處理時(shí)很難保證其嚴(yán)格的ACID事務(wù)屬性，而需要保證其放松的原子性和一致性。WEB服務(wù)事務(wù)處理除了需要一套合理的事務(wù)處理方案，更要制定相應(yīng)的事務(wù)協(xié)調(diào)信息交換的標(biāo)準(zhǔn)協(xié)議。針對WEB服務(wù)中事務(wù)處理的問題，本文介紹開發(fā)小組在分析總結(jié)現(xiàn)有事務(wù)處理模型、事務(wù)服務(wù)規(guī)范和一些有代表性的WEB事務(wù)處理協(xié)議的基礎(chǔ)上，提出了一個(gè)基于WST協(xié)議簇的長事務(wù)處理協(xié)調(diào)框架，并對長事務(wù)處理的協(xié)調(diào)算法、狀態(tài)轉(zhuǎn)換、補(bǔ)償機(jī)制等進(jìn)行了研究，使其具備協(xié)調(diào)短期事務(wù)與長事務(wù)的能力，協(xié)調(diào)框架的設(shè)計(jì)實(shí)現(xiàn)和測試驗(yàn)證了開發(fā)小組提出的框架的可行性和有效性。本人參與了整個(gè)框架的預(yù)研和設(shè)計(jì)工作，協(xié)助提出了完整的實(shí)現(xiàn)方案，并具體負(fù)責(zé)自治服務(wù)協(xié)調(diào)支持模塊和原子事務(wù)支持模塊的設(shè)計(jì)與實(shí)現(xiàn)工作。最后，本文總結(jié)了開發(fā)小組提出的基于WST協(xié)議簇的長事務(wù)處理協(xié)調(diào)框架的成果，以及需要進(jìn)一步開展的研究工作。

簡介：點(diǎn)擊查看更多基于替代-補(bǔ)償?shù)那度胧綄?shí)時(shí)事務(wù)模型及其處理技術(shù).pdf精彩內(nèi)容。

簡介：點(diǎn)擊查看更多嵌入式主動實(shí)時(shí)數(shù)據(jù)庫事務(wù)調(diào)度策略的研究與實(shí)現(xiàn).pdf精彩內(nèi)容。