簡介：嵌入式實時數(shù)據(jù)庫系統(tǒng)是近幾年才興起的一項新的數(shù)據(jù)管理技術(shù)。它以目前成熟的數(shù)據(jù)庫技術(shù)為基礎(chǔ)，針對嵌入式設(shè)備的具體特點，實現(xiàn)對移動設(shè)備和嵌入式設(shè)備上的數(shù)據(jù)存儲、組織和管理。嵌入式實時數(shù)據(jù)庫系統(tǒng)除了具備一般實時數(shù)據(jù)庫系統(tǒng)的特點外，它還具備以下特點可伸縮性、可裁減性、高可靠性、體積小、較高的可預見能力和應變能力、開放的設(shè)備驅(qū)動程序、廣泛的硬件支持、開放的用戶接口等，然而傳統(tǒng)的實時數(shù)據(jù)庫系統(tǒng)和目前所使用的嵌入式數(shù)據(jù)庫系統(tǒng)不能滿足這些要求。為此，我們需要從事務(wù)模型、并發(fā)控制機制、調(diào)度策略、恢復等各方面進行研究，提供新的適合嵌入式實時數(shù)據(jù)庫系統(tǒng)的機制和策略。本文首先對基于功能替代的實時事務(wù)模型進行了研究。功能替代性使事務(wù)的執(zhí)行具有多條路徑，提高了事務(wù)的適應能力和應變能力，從而提高了事務(wù)的成功率。通過對該事務(wù)模型的研究，針對事務(wù)具有功能替代的特點，提出了一個新的實時事務(wù)預分析方法，將預分析分為四個方面靜態(tài)預分析，事務(wù)分解，構(gòu)造影子替代，可調(diào)度性分析。該方法引入了“影子替代”的概念，使得在替代執(zhí)行時保證所需的數(shù)據(jù)均在內(nèi)存，減少了IO操作，提高了系統(tǒng)的效率。通過對常見的實時并發(fā)控制協(xié)議的研究，本文提出了一個基于最優(yōu)替代的并發(fā)控制協(xié)議。該協(xié)議綜合了CCCP協(xié)議和可推測的并發(fā)控制協(xié)議SCC2S的優(yōu)點，利用事務(wù)可替代的特性，盡量避免沖突事務(wù)的產(chǎn)生。即使沖突不可避免，也可以選擇最優(yōu)替代參與并發(fā)控制，減少沖突的數(shù)量。在進行沖突消解時采用可推測的并發(fā)控制協(xié)議SCC2S。最后，本文通過模擬實驗對提出的預分析方法和并發(fā)控制協(xié)議進行了性能分析，并繪制了性能測試圖，實驗結(jié)果證明，本文所提出的預分析方法和并發(fā)控制協(xié)議在降低事務(wù)的錯失率、提高系統(tǒng)成功率等方面具有一定的優(yōu)越性。

簡介：目前，長事務(wù)管理在CAD數(shù)據(jù)庫和工作流等系統(tǒng)中得到了廣泛的應甩。長事務(wù)管理的研究具有很重要的意義。對于運行在異構(gòu)，自治，分布的復雜環(huán)境中的長事務(wù)來說，為了保證數(shù)據(jù)的完整性和一致性，提高事務(wù)處理效率，必須解決好長事務(wù)管理中的并發(fā)控制和異?；謴?。本文著重研究了并發(fā)控制技術(shù)。目前的商業(yè)系統(tǒng)主要使用的封鎖技術(shù)。封鎖方法雖然能夠保證數(shù)據(jù)的完整性和一致性，但是處理數(shù)據(jù)時需要加鎖，封鎖了資源，占用了時間，效率低下。對于需要運行較長時間的長事務(wù)來說，處理效率就是其最大的問題。本文基于時間戳排序算法，提出了一種改進策略。事務(wù)管理器通過修改長事務(wù)時間戳來保證該事務(wù)能夠不被撤消，同時進行部分回滾，然后重做的方法來實現(xiàn)對更新的數(shù)據(jù)響應。根據(jù)這種改進的時間戳算法，既保證了事務(wù)不會被撤消，也提高了事務(wù)的處理效率，解決了長事務(wù)與短事務(wù)之間的并發(fā)協(xié)調(diào)。在文中，還概要地介紹了長事務(wù)的其它管理機制重啟暫停。銀行系統(tǒng)中的絕大部分事務(wù)是短事務(wù)，事務(wù)管理比較簡單。現(xiàn)在，代交業(yè)務(wù)等工作流系統(tǒng)越來越普遍，傳統(tǒng)的事務(wù)管理方法面臨著挑戰(zhàn)。本文中提出的改進的時間戳方法正是為了解決銀行事務(wù)中出現(xiàn)的關(guān)于長事務(wù)與短事務(wù)并發(fā)協(xié)調(diào)和恢復的問題。

簡介：本文對事務(wù)相關(guān)技術(shù)進行了研究，特別是對并發(fā)控制技術(shù)做了深入的研究，對失敗恢復機制也進行了一定的研究。并介紹了本項目組的MMDB事務(wù)管理的設(shè)計和實現(xiàn)。本文首先回顧了內(nèi)存數(shù)據(jù)庫技術(shù)的發(fā)展，隨著硬件的飛速發(fā)展，使用大容量內(nèi)存已經(jīng)成為可能，使本來無法實現(xiàn)的設(shè)計成為可能，推動了內(nèi)存數(shù)據(jù)庫技術(shù)的發(fā)展。由于內(nèi)存數(shù)據(jù)庫技術(shù)在處理實時事務(wù)方面相對傳統(tǒng)磁盤數(shù)據(jù)庫的性能優(yōu)勢，內(nèi)存數(shù)據(jù)庫技術(shù)的研究成為了數(shù)據(jù)庫研究領(lǐng)域的研究熱點。接著，本文設(shè)計了MMDB的總體架構(gòu)，為了提高MMDB的性能在設(shè)計各個層次進行了優(yōu)化。在操作系統(tǒng)層對內(nèi)存統(tǒng)一管理，加快了內(nèi)存的分配和釋放。然后介紹了表管理設(shè)計和行管理的設(shè)計。經(jīng)過充分的測試這種設(shè)計的性能能滿足實際應用的需要。本文接著介紹了事務(wù)處理的相關(guān)概念和技術(shù)。由于數(shù)據(jù)貯存在內(nèi)存中，在MMDB中要保持數(shù)據(jù)的一致性和持久性相對磁盤數(shù)據(jù)庫增加了不少難度。事務(wù)處理主要包括并發(fā)控制和事務(wù)恢復這兩個密切相關(guān)的技術(shù)。事務(wù)處理無論在傳統(tǒng)磁盤數(shù)據(jù)庫中還是內(nèi)存數(shù)據(jù)庫中都是對性能起著決定作用的核心技術(shù)。在研究了事務(wù)管理的相關(guān)技術(shù)后，對事務(wù)管理中核心的技術(shù)“并發(fā)控制”這個專題進行了深入的研究。在并發(fā)控制方面的設(shè)計考慮的也主要是在對性能的影響上。本文首先介紹了傳統(tǒng)的并發(fā)控制技術(shù)，分別為基于鎖、基于時間戳、基于有效性檢查三種并發(fā)控制技術(shù)，在綜合考慮的效率和實現(xiàn)難度后，選擇了MMDB的并發(fā)控制主要采取基于鎖的并發(fā)控制技術(shù)。本文對鎖表管理進行了深入研究并提出了一些改進。在前面研究的基礎(chǔ)上，介紹了在項目實踐中MMDB事務(wù)管理的設(shè)計與具體實現(xiàn)本文對MMDB事務(wù)相關(guān)的理論進行了系統(tǒng)的研究和總結(jié)，并探討了今后的研究方向。

簡介：近幾年來隨著專用集成電路ASICAPPLICATIONSPECIFICINTEGRATEDCIRCUIT的迅速發(fā)展和系統(tǒng)芯片SOCSYSTEMONACHIP復雜度的不斷提高，芯片驗證，尤其是功能驗證日益成為電子產(chǎn)品開發(fā)和設(shè)計的瓶頸。驗證做為芯片設(shè)計領(lǐng)域中最困難和最具挑戰(zhàn)性的課題之一，它貫穿了芯片設(shè)計的整個流程，是芯片設(shè)計過程中發(fā)現(xiàn)概念和功能上錯誤的唯一手段。在SOC設(shè)計中，IPINTELLIGENTPROPERTY重用設(shè)計方法學和大量新設(shè)計技術(shù)的采用，對傳統(tǒng)功能驗證方法提出了新的挑戰(zhàn)。如何快速的驗證這些IP模塊和整個系統(tǒng)已成為系統(tǒng)芯片驗證的難點和熱點。大量實踐證明，基于事務(wù)的驗證重用方法學是提高功能驗證效率最有效的方法之一。本論文描述了對SOC進行事務(wù)驗證的一般流程和設(shè)計方法；在驗證方法學和重用方法學基礎(chǔ)上，提出了采用SYSTEMC和SCV驗證庫來創(chuàng)建模塊化事務(wù)級驗證平臺的設(shè)計方法，方便了驗證平臺的重用，提高了驗證的效率；分析了兩種總線功能模型的實現(xiàn)方式；引入隨機測試的理論，根據(jù)SCV驗證庫的隨機機制給出了三種隨機測試向量的生成方法；在討論監(jiān)視器可重用設(shè)計規(guī)則的基礎(chǔ)上，提出了一種監(jiān)視器的設(shè)計方法，采取對物理信號的監(jiān)測和數(shù)據(jù)的接收分離開來，加快了驗證的調(diào)試過程。最后討論了驗證平臺的組織結(jié)構(gòu)，通過對44PACKETSWITCH模型進行一系列的驗證實驗，完成了對驗證對象的功能驗證，證實了模塊化事務(wù)級驗證方法是可行的。結(jié)果表明，使用此模塊化的驗證平臺有效地降低了驗證人員的工作量，提高了驗證的效率。

簡介：數(shù)據(jù)庫技術(shù)的發(fā)展與推廣使越來越多的應用領(lǐng)域在信息化的過程中受益。而隨著一些新型領(lǐng)域的興起，為適應其發(fā)展需求，數(shù)據(jù)庫技術(shù)也在不斷地擴展和豐富。其中，分布式實時數(shù)據(jù)庫就是數(shù)據(jù)庫技術(shù)結(jié)合實時技術(shù)、分布式技術(shù)而生成的新型數(shù)據(jù)庫系統(tǒng)。它由若干個相互自主的單節(jié)點實時數(shù)據(jù)庫通過網(wǎng)絡(luò)松散耦合而成。在分布式實時的特殊環(huán)境下，事務(wù)管理一方面要保證事務(wù)的定時限制截止期，另一方面又要保證分布式事務(wù)的全局可串行化和各子事務(wù)的局部可串行化。而維護全局可串行化需要在各節(jié)點之間交換很多消息，由此而導致的時間延遲大大增加了事務(wù)的執(zhí)行開銷，這必將影響實時事務(wù)的響應時間。因此，為了滿足分布式實時應用的需求，傳統(tǒng)的分布式事務(wù)管理機制已不再適用，必須對其改進。其中，并發(fā)控制和提交處理是事務(wù)管理中最重要的兩部分，是事務(wù)執(zhí)行過程中經(jīng)歷的主要環(huán)節(jié)。于是長期以來，國內(nèi)外許多文獻都針對這兩方面進行改進。它們要么單純地改善并發(fā)控制協(xié)議的并發(fā)度，要么單純地改良提交協(xié)議來提高事務(wù)管理的實時性水平，從而使其適用于分布式實時數(shù)據(jù)庫系統(tǒng)。然而，在分布式實時事務(wù)的生命期中，并發(fā)控制和提交處理是相互協(xié)調(diào)，相互融合的兩個工作階段，對兩者綜合考慮才能較全面地解決截止期問題。況且，這兩種機制工作在一起，可能會出現(xiàn)新的問題，孤立地對兩者之一進行改進是不明智的。所以本文將從一個全新的角度出發(fā)，針對事務(wù)的整個生命期進行研究，對事務(wù)管理機制中的并發(fā)控制和提交處理進行綜合考慮，研究影響實時性能的因素和相應的解決方法，并以提高系統(tǒng)的實時性能為目標對傳統(tǒng)的協(xié)議進行了改進。并發(fā)控制方面借鑒了DHP2PL協(xié)議，但是用它來解決執(zhí)行執(zhí)行沖突以避開其重啟策略極大浪費系統(tǒng)資源的缺點；提交處理方面回歸到最簡單實用的兩階段提交協(xié)議并對其進行擴展，使其提高了故障修復能力另外再采用改進的OPT解決這兩個協(xié)議共同工作時出現(xiàn)的問題執(zhí)行提交沖突；從而使事務(wù)管理在采用這一整套改進的協(xié)議后，能夠很好地勝任于分布式實時環(huán)境。本文的最后建立了一個分布式實時數(shù)據(jù)庫系統(tǒng)的試驗模型，以模擬這套改進的分布式實時數(shù)據(jù)庫系統(tǒng)事務(wù)管理機制的運行，并特別針對其工作原理和步驟繪制了流程圖。本文的研究成果為進一步研究探討分布式實時數(shù)據(jù)庫系統(tǒng)及分布式實時事務(wù)的調(diào)度與管理，以及對移動數(shù)據(jù)庫等相關(guān)數(shù)據(jù)庫技術(shù)研究提供了良好的基礎(chǔ)。

簡介：工作流高級事務(wù)模型往往因為結(jié)構(gòu)過于復雜，或者實現(xiàn)起來過于困難，而很難應用到實際的工作流系統(tǒng)中。而且在目前的工作流產(chǎn)品以及工作流原型系統(tǒng)中，大多都沒有對工作流事務(wù)即長事務(wù)有比較多的研究和實現(xiàn)。因此研究一種能夠應用到現(xiàn)實工作流系統(tǒng)中并能解決系統(tǒng)中長事務(wù)的高級事務(wù)模型尤為重要。論文詳細介紹了與事務(wù)處理相關(guān)的基本概念、事務(wù)屬性以及幾種事務(wù)模型。對工作流中的錯誤進行了詳細的分析，著重研究了長事務(wù)處理的關(guān)鍵技術(shù)和長事務(wù)恢復技術(shù)。在此基礎(chǔ)上，借鑒多智能體MULTIAGENT協(xié)同工作的思想，進而提出了一種工作流系統(tǒng)中應用AGENT改進的高級事務(wù)模型LTMAGENT。該模型建立在CBA對象事務(wù)服務(wù)模型OTS基礎(chǔ)之上，具有平臺獨立和語言獨立等特點。論文給出了與模型實現(xiàn)相關(guān)的實現(xiàn)平臺、長事務(wù)控制方式、長事務(wù)處理接口和關(guān)鍵數(shù)據(jù)結(jié)構(gòu)；對模型的長事務(wù)管理器和事務(wù)智能體進行了詳細分析、設(shè)計和實現(xiàn)；模型的實際應用和長事務(wù)處理特色用一個實例進行了驗證和展示。

簡介：點擊查看更多基于Web服務(wù)的工作流事務(wù)處理研究與實現(xiàn).pdf精彩內(nèi)容。

簡介：點擊查看更多基于Web服務(wù)的工作流事務(wù)研究.pdf精彩內(nèi)容。

簡介：近年來，隨著對實時數(shù)據(jù)庫服務(wù)的需求越來越多，實時事務(wù)調(diào)度逐漸成為一個研究的熱點。先前的研究大都集中在單個或多個類型的實時事務(wù)的調(diào)度與并發(fā)控制上，但是由于實時數(shù)據(jù)庫的應用中將面臨著大量的服務(wù)請求，系統(tǒng)可能會出現(xiàn)超載，結(jié)果導致許多事務(wù)錯過它們的截至期或者違反數(shù)據(jù)的時序一致性約束。因此，實時數(shù)據(jù)庫系統(tǒng)事務(wù)調(diào)度的目標應該是即使在系統(tǒng)處于超載的情況下也要能保證硬實時事務(wù)滿足其截止期，同時最小化軟實時事務(wù)的截止期錯失率。本文首先介紹了課題的研究背景，并介紹和分析了目前國內(nèi)外已提出的實時事務(wù)調(diào)度的方法。在比較分析了這些調(diào)度方法的優(yōu)缺點的基礎(chǔ)上，給出了本文研究涉及的實時事務(wù)的概念。同時借鑒在不精確性計算中以犧牲結(jié)果的精確性來換取執(zhí)行時間的思想，把不精確性計算的方法運用到實時數(shù)據(jù)庫事務(wù)調(diào)度中，提出了基于不精確性計算的實時事務(wù)模型。進一步，考慮到實時數(shù)據(jù)庫中的數(shù)據(jù)對象的值總會和要表示的現(xiàn)實環(huán)境的狀態(tài)存在一定的誤差，因此，引入數(shù)據(jù)誤差的概念來表示這一誤差；同時，考慮到系統(tǒng)的負載通常是不可預知的，因此把反饋控制的思想應用到支持不精確計算的實時事務(wù)QOSQUALITYOFSERVICE管理中，給出了基于不精確計算的反饋控制調(diào)度FCSWICFEEDBACKCONTROLSCHEDTUINGWITHIMPRECISECOMPUTING算法和框架。在這一部分，首先定義了系統(tǒng)要求達到的性能指標；然后根據(jù)這些指標討論了基于反饋控制的體系結(jié)構(gòu)，并描述了系統(tǒng)中各個部分的功能；最后詳細討論了系統(tǒng)的建模過程，并給出了反饋控制調(diào)整過程中的實現(xiàn)細節(jié)和參數(shù)獲取方法和過程。最后，設(shè)計開發(fā)了一個基于反饋控制框架的實時數(shù)據(jù)庫原型系統(tǒng)FCWIC，詳細討論了系統(tǒng)各個模塊的設(shè)計以及實現(xiàn)過程。本文的研究成果為進一步研究探討實時數(shù)據(jù)庫中基于反饋控制的實時事務(wù)調(diào)度的方法提供了一個良好的基礎(chǔ)。

簡介：2015屆MFA碩士學位論文碩士學位論文西周晉侯墓地青銅器銘文書法藝術(shù)研究西周晉侯墓地青銅器銘文書法藝術(shù)研究以山西省博物院館藏為例作者姓名楊中婷指導教師胡紫南張鐵鎖學科專業(yè)美術(shù)研究方向書法培養(yǎng)單位美術(shù)學院學習年限2012年9月至2015年6月二〇一五年五月THESISFMFAMASTER’SDEGREESHANXIUNIVERSITY2015THESTUDYOFJINHOUTOMBSBRONZEINIONCALLIGRAPHICARTDURINGTHEWESTERNZHOUDYNASTYWITHSHANXIMUSEUMSCOLLECTIONSASEXAMPLESSTUDENTNAMEYANGZHONGTINGSUPERVISHUZINANZHANGTIESUOMAJARTSPECIALTYCALLIGRAPHYDEPARTMENTACADEMYOFFINEARTSRESEARCHDURATION201209201506MAY2015

簡介：隨著網(wǎng)絡(luò)技術(shù)的發(fā)展和網(wǎng)絡(luò)規(guī)模的增大。基于客戶端服務(wù)器結(jié)構(gòu)的網(wǎng)絡(luò)中服務(wù)器負荷不斷增加，最終使服務(wù)器的負荷能力到達瓶頸。為了滿足人們?nèi)找嬖鲩L的對網(wǎng)絡(luò)帶寬的需求，從事網(wǎng)絡(luò)技術(shù)研究的工作者不斷研究新的技術(shù)來改善現(xiàn)有網(wǎng)絡(luò)的性能，從最初的分布式技術(shù)到P2P網(wǎng)絡(luò)技術(shù)和網(wǎng)格技術(shù)。其中P2P技術(shù)被認為是重構(gòu)分布式體系結(jié)構(gòu)的關(guān)鍵技術(shù)，是構(gòu)建下一代網(wǎng)絡(luò)的基礎(chǔ)。本文主要研究P2P網(wǎng)絡(luò)的事務(wù)管理。論文首先介紹一些基本的事務(wù)的概念并為P2P網(wǎng)絡(luò)定義新的事務(wù)模型。在此基礎(chǔ)上，提出P2P網(wǎng)絡(luò)的事務(wù)管理模型，這個模型被分布在P2P網(wǎng)絡(luò)的各個節(jié)點上來管理這個節(jié)點涉及的事務(wù)。然后提出SMP事務(wù)管理協(xié)議來管理事務(wù)的提交和恢復。論文使用事務(wù)管理模型和SMP事務(wù)管理協(xié)議來調(diào)度P2P網(wǎng)絡(luò)中的事務(wù)。在原型系統(tǒng)中，闡述各個網(wǎng)絡(luò)節(jié)點使用事務(wù)管理模型和SMP事務(wù)管理協(xié)議管理事務(wù)的過程。最后，論文利用數(shù)學模型論證本文提出的事務(wù)管理方法處理事務(wù)的效率。并且通過仿真程序?qū)φ撟C結(jié)果進行驗證。本文深入探討了P2P網(wǎng)絡(luò)的事務(wù)管理理論，提出的事務(wù)管理模型和SMP事務(wù)管理協(xié)議是P2P網(wǎng)絡(luò)事務(wù)管理研究的創(chuàng)新。

簡介：隨著通信技術(shù)、嵌入式計算技術(shù)和傳感器技術(shù)的飛速發(fā)展和日益成熟，具有感知能力、計算能力和通信能力的微型傳感器開始在世界范圍內(nèi)出現(xiàn)，并且引起了人們的極大關(guān)注。由這種微型傳感器構(gòu)成的傳感器網(wǎng)絡(luò)WSN能夠協(xié)作地實時監(jiān)測、感知、采集網(wǎng)絡(luò)分布區(qū)域內(nèi)的各種環(huán)境或監(jiān)測對象的信息，并對這些信息進行處理，獲得詳盡、準確的信息，傳送到需要這些信息的用戶，被廣泛地應用于國防軍事、國家安全、環(huán)境監(jiān)測、交通管理、醫(yī)療衛(wèi)生、制造業(yè)、反恐抗災等領(lǐng)域。與其它傳統(tǒng)網(wǎng)絡(luò)相比，傳感器網(wǎng)絡(luò)具有通信能力有限、電源能量有限、計算能力有限、分布式大規(guī)模使用、網(wǎng)絡(luò)動態(tài)性強、感知數(shù)據(jù)流巨大、大規(guī)模使用分布式觸發(fā)器等很多鮮明特點，這些特點在基礎(chǔ)理論和工程技術(shù)兩個層面向科技工作者提出了大量挑戰(zhàn)性的研究課題。目前的WSN研究主要著重于簡單的數(shù)據(jù)采集應用，一個網(wǎng)絡(luò)通常支持一個應用。網(wǎng)絡(luò)協(xié)議的設(shè)計與應用的開發(fā)緊密耦合在一起，系統(tǒng)的開發(fā)與底層嵌入式操作系統(tǒng)甚至傳感器硬件密切相關(guān)。隨著傳感器網(wǎng)絡(luò)技術(shù)的發(fā)展，需要一種建立在網(wǎng)絡(luò)底層硬件、嵌入式操作系統(tǒng)、網(wǎng)絡(luò)協(xié)議棧和WSN應用之間的中間件機制，為應用的開發(fā)提供一種標準化的系統(tǒng)服務(wù)抽象、一種能夠支持多個協(xié)作應用并發(fā)執(zhí)行的運行環(huán)境及一種有效、自適應地使用系統(tǒng)資源的機制。本文闡述了傳感器網(wǎng)絡(luò)中軟件設(shè)計面臨的挑戰(zhàn)和設(shè)計原則。在傳感器網(wǎng)絡(luò)軟件設(shè)計原則的指導下，設(shè)計了一種基于分簇網(wǎng)絡(luò)拓撲的多數(shù)據(jù)流管理系統(tǒng)ARTSMDS。采用以數(shù)據(jù)為中心的思想，將傳感器網(wǎng)絡(luò)作為系統(tǒng)內(nèi)部維護的一個分布式實時數(shù)據(jù)庫，在WSN路由協(xié)議棧的支持下，給應用提供能夠有效分配資源、協(xié)調(diào)任務(wù)執(zhí)行、自動滿足應用的感知數(shù)據(jù)需求和服務(wù)QOS的虛擬機執(zhí)行環(huán)境。在傳感器網(wǎng)絡(luò)中，對采集數(shù)據(jù)流的分析處理是事件驅(qū)動的動態(tài)連續(xù)執(zhí)行行為，這與傳統(tǒng)的分布式系統(tǒng)中階段性的執(zhí)行方式是不同的。多數(shù)據(jù)流處理任務(wù)之間的協(xié)作是一個自組織的時間同步的協(xié)作過程，與傳統(tǒng)的由分布式應用直接控制并發(fā)任務(wù)的同步協(xié)作方式不同；應用的協(xié)作不僅包括邏輯一致而且包括時序一致性；處理局部數(shù)據(jù)的任務(wù)的實操作協(xié)作產(chǎn)生全局控制行為時要保證其原子性。為適應傳感器多數(shù)據(jù)流處理任務(wù)的特點，ARTSMDS能夠支持兩層結(jié)構(gòu)的任務(wù)協(xié)作執(zhí)行模式，通過中間件虛擬機將底層傳感器節(jié)點數(shù)據(jù)采集任務(wù)和上層數(shù)據(jù)流分析任務(wù)相互聯(lián)系，能源有效地解決WSN應用中的任務(wù)協(xié)作問題。為了解決連續(xù)任務(wù)協(xié)作執(zhí)行的邏輯一致性、時序一致性及原子性問題，我們用運了控制區(qū)域及事務(wù)的概念，提出了一種自組織的嵌套事務(wù)模型以描述連續(xù)任務(wù)的動態(tài)協(xié)作行為；定義了新的適應于WSN應用的松弛ACID特性；設(shè)計了適于連續(xù)任務(wù)協(xié)作執(zhí)行的事務(wù)行為控制規(guī)則；通過構(gòu)造性的方法證明了提出的自組織事務(wù)模型在WSN應用中的可適應性。自組織嵌套事務(wù)模型的主要思想是將應用語義與數(shù)據(jù)時間相聯(lián)系，將數(shù)據(jù)時間與連續(xù)任務(wù)實例的時間相聯(lián)系；隨著控制區(qū)域的動態(tài)擴張，系統(tǒng)能夠自組織地將一組語義相關(guān)的連續(xù)任務(wù)實例動態(tài)地組成一個原子的事務(wù)單位；系統(tǒng)通過保證事務(wù)的原子特性和隔離特性以獲得連續(xù)任務(wù)協(xié)作執(zhí)行行為的時序一致性和邏輯一致性保障；通過保證事務(wù)松弛的隔離性實現(xiàn)對連續(xù)任務(wù)所產(chǎn)生消息的有效存儲?；谔岢龅淖越M織嵌套事務(wù)模型，設(shè)計了一個事務(wù)型的ARTSMDS多數(shù)據(jù)流任務(wù)管理系統(tǒng)。任務(wù)的調(diào)度采用了結(jié)合EDF和FIFO方式的兩層結(jié)構(gòu)的任務(wù)調(diào)度策略；系統(tǒng)的設(shè)計采用面向事務(wù)的設(shè)計方法，各組件被看作是獨立的資源管理器，由事務(wù)管理器協(xié)調(diào)各個組件的交互執(zhí)行、控制任務(wù)的執(zhí)行效果、保證分布式連續(xù)任務(wù)協(xié)作執(zhí)行行為的一致性和原子性。最后，采用類C的算法描述語言詳細地描述了相關(guān)任務(wù)調(diào)度算法及事務(wù)管理器的主要設(shè)計算法及相關(guān)數(shù)據(jù)結(jié)構(gòu)。針對模擬的WSN應用例程，通過建立模擬測試環(huán)境，對系統(tǒng)的性能進行了模擬測試和分析。測試結(jié)果分析表明，針對分布式數(shù)據(jù)流的分析處理，采用自組織嵌套事務(wù)模型的任務(wù)協(xié)作處理方式比按照傳統(tǒng)的分布式任務(wù)處理方式花費較小的網(wǎng)絡(luò)能源代價，同時也增加了系統(tǒng)資源利用率，提高了對連續(xù)數(shù)據(jù)流處理的實時響應。

簡介：隨著計算機技術(shù)以及網(wǎng)絡(luò)技術(shù)的迅速發(fā)展，人們可以借助網(wǎng)絡(luò)快速、便捷地傳遞和交換信息。在傳遞的信息當中不乏一些重要的半公開的或者保密的信息，因此對這些重要信息在傳輸前進行處理是實現(xiàn)信息安全的關(guān)鍵部分。電子文件的安全簽發(fā)首先是要確保在傳輸過程中避免信息或數(shù)據(jù)受到無意的或者惡意的損毀、更改、泄露，即保證電子文件的可用性、完整性、保密性。同時也要能對傳輸數(shù)據(jù)方的身份確認以及權(quán)限的鑒別，即保證發(fā)送方身份的不可偽冒性、傳輸文件的不可否認性以及發(fā)送者的權(quán)限可驗證性。因此，研究電子文件安全簽發(fā)技術(shù)對保證網(wǎng)絡(luò)環(huán)境下的文件傳輸具有重要意義。本文首先對電子文件安全簽發(fā)系統(tǒng)的安全需求以及功能需求進行分析。在此基礎(chǔ)上提出了整個系統(tǒng)的總體設(shè)計方案。根據(jù)系統(tǒng)的安全需求，對系統(tǒng)所采用的密碼學技術(shù)方案進行詳細設(shè)計和分析，分別提出了基于身份的數(shù)字簽名技術(shù)方案及基于交互式零知識證明的安全登錄技術(shù)方案，對上述兩個技術(shù)方案在理論上進行安全性以及效率分析。同時結(jié)合ADO數(shù)據(jù)庫開發(fā)技術(shù)，設(shè)計并實現(xiàn)對用戶的權(quán)限管理。最后，本文設(shè)計實現(xiàn)了一個電子文書安全簽發(fā)系統(tǒng)，對系統(tǒng)測試結(jié)果表明所采用的數(shù)字簽名方案能夠?qū)崿F(xiàn)對文件的數(shù)字簽名及驗證功能，證明了系統(tǒng)登錄方案的正確性以及安全性，同時實現(xiàn)了對用戶權(quán)限管理及驗證等功能。

簡介：J|ILLLLLIIUIIILLLIIIILY3335659分類號TF311單位代碼10422密級學號2016221467⑧碩士學位論文THESISFORMASTERDEGREE專業(yè)學位論文題目德誠會計師事務(wù)所綜合業(yè)務(wù)管理系統(tǒng)的設(shè)計與實現(xiàn)THEDESIGNAND_IMPLEMENTATIONOFHTEGRATEDBUSINESSMANAGEMENTSYSTEM如RDRCHENGACCOUNTINGFIL|M作者姓名賈冰惠培養(yǎng)單位軟件學院指導合作教師史清華副教授導師筮；17年1O月20日哆各一只一琢吣◆N少～原創(chuàng)性聲明本人鄭重聲明所呈交的學位論文，是本人在導師的指導下，獨立進行研究所取得的成果。除文中已經(jīng)注明引用的內(nèi)容外，本論文不包含任何其他個人或集體已經(jīng)發(fā)表或撰寫過的科研成果。對本文的研究作出重要貢獻的個人和集體，均己在文中以明確方式標明。本聲明的法律責任由本人承擔。論文作者簽名量查螫日關(guān)于學位論文使用授權(quán)的聲明本人完全了解山東大學有關(guān)保留、使用學位論文的規(guī)定，同意學校保留或向國家有關(guān)部門或機構(gòu)送交論文的復印件和電子版，允許論文被查閱和借閱；本人授權(quán)山東大學可以將本學位論文的全部或部分內(nèi)容編入有關(guān)數(shù)據(jù)庫進行檢索，可以采用影印、縮印或其他復制手段保存論文和匯編本學位論文。保密論文在解密后應遵守此規(guī)定論文作者簽名委三拯毫導師簽名日期20171L麴

簡介：隨著計算機網(wǎng)絡(luò)的不斷發(fā)展以及計算機硬件價格的下降將計算任務(wù)分布到多個物理主機上處理以提高任務(wù)計算速度和降低任務(wù)運算成本已經(jīng)成為一個趨勢。這種通過通信線路將多臺計算機互聯(lián)協(xié)同為用戶提供服務(wù)的系統(tǒng)稱之為分布式計算機系統(tǒng)。分布式計算機系統(tǒng)給用戶提供了一個豐富的資源集合。原子提交是分布式計算機系統(tǒng)的一個重要問題也是基于分布式計算機系統(tǒng)的現(xiàn)代信息系統(tǒng)所必需的關(guān)鍵功能。例如分布式數(shù)據(jù)庫、銀行轉(zhuǎn)帳系統(tǒng)以及分布式對象平臺都是圍繞原子提交而構(gòu)建的分布式計算機系統(tǒng)。原子提交的目的在于確保分布計算參與者數(shù)據(jù)的一致性。分布計算參與者以及其原子提交過程被稱之為一個分布事務(wù)。CBA對象事務(wù)服務(wù)結(jié)合了分布式對象技術(shù)和事務(wù)處理技術(shù)是為分布式環(huán)境下的CBA應用系統(tǒng)保持事務(wù)ACID屬性的一種服務(wù)。但采用兩階段原子提交協(xié)議2PC的CBA對象事務(wù)服務(wù)在特定失效場景之下可能導致阻塞。本文針對CBA對象事務(wù)服務(wù)的不足提出了一種基于非阻塞原子提交協(xié)議的分布事務(wù)應用解決方案。該解決方案可以為半同步系統(tǒng)中的分布事務(wù)應用開發(fā)提供支持并且內(nèi)部集成了使用非阻塞原子提交協(xié)議的CBA對象事務(wù)服務(wù)。本論文的主要貢獻有1基于2PC提出了非阻塞原子提交協(xié)議ARB2PC并證明其滿足作為非阻塞原子提交協(xié)議的性質(zhì)。該協(xié)議可以在文中所提出的假設(shè)條件之下避免2PC的阻塞問題。2實現(xiàn)了CBA對象事務(wù)服務(wù)的部分接口并利用ARB2PC作為其原子提交協(xié)議形成OTSARB2PC系統(tǒng)。該系統(tǒng)支持CBA對象事務(wù)服務(wù)規(guī)范定義的接口提供事務(wù)處理功能同時支持事務(wù)協(xié)調(diào)者的容錯。3針對分布事務(wù)開發(fā)提供了開發(fā)庫OTS_LIB該開發(fā)庫配合OTSARB2PC系統(tǒng)能夠為基于CBA的分布事務(wù)開發(fā)提供解決方案。4利用分布事務(wù)應用深入分析驗證OTSARB2PC系統(tǒng)的功能以及一些參數(shù)對系統(tǒng)性能指標的影響。