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

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

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

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

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

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

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

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

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

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

簡介：隨著網(wǎng)絡(luò)技術(shù)的發(fā)展和網(wǎng)絡(luò)規(guī)模的增大?；诳蛻舳朔?wù)器結(jié)構(gòu)的網(wǎng)絡(luò)中服務(wù)器負(fù)荷不斷增加，最終使服務(wù)器的負(fù)荷能力到達(dá)瓶頸。為了滿足人們?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ù)被認(rèn)為是重構(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é)點(diǎn)上來管理這個節(jié)點(diǎn)涉及的事務(wù)。然后提出SMP事務(wù)管理協(xié)議來管理事務(wù)的提交和恢復(fù)。論文使用事務(wù)管理模型和SMP事務(wù)管理協(xié)議來調(diào)度P2P網(wǎng)絡(luò)中的事務(wù)。在原型系統(tǒng)中，闡述各個網(wǎng)絡(luò)節(jié)點(diǎn)使用事務(wù)管理模型和SMP事務(wù)管理協(xié)議管理事務(wù)的過程。最后，論文利用數(shù)學(xué)模型論證本文提出的事務(wù)管理方法處理事務(wù)的效率。并且通過仿真程序?qū)φ撟C結(jié)果進(jìn)行驗(yàn)證。本文深入探討了P2P網(wǎng)絡(luò)的事務(wù)管理理論，提出的事務(wù)管理模型和SMP事務(wù)管理協(xié)議是P2P網(wǎng)絡(luò)事務(wù)管理研究的創(chuàng)新。

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

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

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

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