簡(jiǎn)介：傳統(tǒng)的數(shù)據(jù)庫安全研究主要集中在如何進(jìn)行防御上，其缺陷是不能有效抵御所有入侵，對(duì)于內(nèi)部攻擊更是無能為力。入侵容忍技術(shù)的出現(xiàn)解決了這一問題。目前數(shù)據(jù)庫中廣泛使用的是多級(jí)別的入侵容忍模型，包括用戶級(jí)、操作系統(tǒng)級(jí)、數(shù)據(jù)庫級(jí)、事務(wù)級(jí)。對(duì)于熟悉系統(tǒng)構(gòu)造的內(nèi)部人員，想要攻破數(shù)據(jù)庫入侵容忍的前三個(gè)級(jí)別并非難事，為使數(shù)據(jù)庫安全得到保障，事務(wù)級(jí)數(shù)據(jù)庫入侵容忍顯得尤為重要，它能夠有效抵御來自內(nèi)部人員的攻擊。傳統(tǒng)事務(wù)級(jí)數(shù)據(jù)庫入侵容忍系統(tǒng)采用多階段控制模型，分為初始化控制階段和三個(gè)解控階段，其初始化控制階段采用時(shí)間戳，對(duì)數(shù)據(jù)庫中的每條記錄附加時(shí)間戳字段，這樣有可能遭到惡意事務(wù)對(duì)其進(jìn)行的攻擊；另一方面，確定受控?cái)?shù)據(jù)集合需要掃描數(shù)據(jù)庫，如果數(shù)據(jù)容量巨大，會(huì)導(dǎo)致嚴(yán)重的恢復(fù)延遲。第二解控階段對(duì)事務(wù)進(jìn)行實(shí)例化，其目的是更加精確的確定受控?cái)?shù)據(jù)集合，因?yàn)槭聞?wù)SQL語句的復(fù)雜性和隨機(jī)性，實(shí)際效果并不理想，準(zhǔn)確程度得不到保證，導(dǎo)致破壞擴(kuò)散現(xiàn)象，而且有嚴(yán)重的恢復(fù)延遲。本文改進(jìn)了事務(wù)級(jí)入侵容忍的多階段損害控制模型，并采用數(shù)據(jù)隔離技術(shù)同多階段損害控制技術(shù)結(jié)合的方法處理可疑事務(wù)，提出了快速整合算法。在初始化控制階段采用了更新記錄日志，有效避免了惡意事務(wù)對(duì)其進(jìn)行破壞。解控階段放棄對(duì)事務(wù)進(jìn)行實(shí)例化，采用受控?cái)?shù)據(jù)的過量控制策略，避免破壞擴(kuò)散發(fā)生，同時(shí)減少了恢復(fù)延遲。對(duì)于兩個(gè)解控階段采用并發(fā)執(zhí)行的策略，進(jìn)一步提高了執(zhí)行速度。本文首先對(duì)入侵容忍做了相關(guān)介紹，之后詳細(xì)分析了單個(gè)惡意事務(wù)和可疑事務(wù)的處理過程，再進(jìn)一步深入到對(duì)多個(gè)惡意事務(wù)和可疑事務(wù)的研究，對(duì)可能出現(xiàn)的各種問題分別給出了解決方案，最后設(shè)計(jì)并實(shí)現(xiàn)了處理惡意事務(wù)的改進(jìn)后的多階段損害控制算法，該算法能夠?qū)蝹€(gè)或多個(gè)惡意事務(wù)進(jìn)行快速準(zhǔn)確的控制并修復(fù)數(shù)據(jù)庫。與原算法相比，本文的算法在修復(fù)時(shí)間、修復(fù)準(zhǔn)確率等方面都大有提高。

簡(jiǎn)介：本文從傳播學(xué)的角度來探討唐五代宋初敦煌地區(qū)佛教的傳播活動(dòng)。以傳播學(xué)的信息論、控制論與系統(tǒng)論作為本文研究的理論方法的統(tǒng)率，具體以其三論所涵蓋以及衍生的理論研究方法，如“有限效果”理論、“使用與滿足”理論、涵化理論、“議程設(shè)置”理論等對(duì)其相應(yīng)的佛教傳播活動(dòng)作深入分析，同時(shí)以傳播學(xué)研究的基本理論概念來對(duì)其整個(gè)傳播過程作定性分析。研究的材料范圍主要是敦煌文書和敦煌壁畫，對(duì)當(dāng)中所反映的傳播理念與傳播問題等作深入的挖掘與系統(tǒng)的分析，力圖構(gòu)建起此一時(shí)期內(nèi)敦煌佛教的傳播體系。研究結(jié)果顯示一、唐五代宋初敦煌佛教的傳播有著完整而成熟的傳播體系，覆蓋自我傳播、人際傳播、組織傳播、群體傳播、大眾傳播的各個(gè)層面，具有廣泛的影響力。二、包括政府、僧侶、豪族等的傳播者包括佛經(jīng)、變文、佛曲、壁畫等的傳播媒介包括社會(huì)各個(gè)階層，如僧政、僧統(tǒng)、中下層僧尼、世家大族、普通信徒等的受眾又使到整個(gè)傳播過程呈現(xiàn)出多變性與復(fù)雜性。三、運(yùn)用“二級(jí)傳播”、“先有傾向”、“選擇性接觸”、“宏觀效果論”等相關(guān)理論，得出其當(dāng)時(shí)的佛教傳播效果有著成功的一面也有著其深刻的局限性。四、從傳播學(xué)角度看佛教傳播所起到的廣泛作用，如社會(huì)共識(shí)、文化增值、社會(huì)關(guān)懷等等。對(duì)唐五代宋初敦煌地區(qū)佛教的傳播體系作深入研究，剖析其具有廣泛社會(huì)影響力的傳播根源，為深入研究佛教在中國的傳播與適應(yīng)提供了一個(gè)新的視點(diǎn)，同時(shí)也為豐富傳播學(xué)研究理論和實(shí)踐技巧提供很好的案例幫助。

簡(jiǎn)介：隨著半導(dǎo)體工藝水平的提高，集成電路的設(shè)計(jì)已經(jīng)變得越來越困難。同樣，集成電路的驗(yàn)證也面臨著越來越大的挑戰(zhàn)，主要表現(xiàn)在1更高的集成度要求改進(jìn)驗(yàn)證方案；2日益增長(zhǎng)的復(fù)雜性需要提高驗(yàn)證的重用性；3面市時(shí)間的縮短需要提高驗(yàn)證的效率。針對(duì)上述問題，本文對(duì)集成電路的驗(yàn)證方法和如何構(gòu)建高重用性、高自動(dòng)化的驗(yàn)證平臺(tái)進(jìn)行了研究。本文首先介紹了前端驗(yàn)證的相關(guān)概念和前端驗(yàn)證的一般方法，并分析了它們的優(yōu)缺點(diǎn)。驗(yàn)證平臺(tái)是圍繞待驗(yàn)證設(shè)計(jì)而建立起來的所有代碼，傳統(tǒng)的驗(yàn)證平臺(tái)直接在引腳層上對(duì)設(shè)計(jì)對(duì)象進(jìn)行驗(yàn)證，因而存在著層次低、重用性差的缺陷。針對(duì)這一問題，本文對(duì)驗(yàn)證平臺(tái)的重用性進(jìn)行研究，提出了驗(yàn)證重用的關(guān)鍵要素，并分析了基于事務(wù)的驗(yàn)證平臺(tái)高重用性的特點(diǎn)。本文還對(duì)驗(yàn)證平臺(tái)的自動(dòng)化進(jìn)行研究，并一一介紹了驗(yàn)證中可以提高自動(dòng)化程度的操作。在基于事務(wù)的驗(yàn)證方法的基礎(chǔ)上，本文提出了一個(gè)驗(yàn)證平臺(tái)的方案。該平臺(tái)使用SYSTEMC對(duì)參與仿真的所有模塊進(jìn)行事務(wù)級(jí)的建模，并建立將數(shù)據(jù)從事務(wù)級(jí)轉(zhuǎn)換至引腳級(jí)的事務(wù)驗(yàn)證模塊，通過層次的有效劃分實(shí)現(xiàn)了驗(yàn)證平臺(tái)的重用。此外，該平臺(tái)使用CSHELL腳本對(duì)整個(gè)仿真進(jìn)行自動(dòng)化的控制，擴(kuò)展TCL命令使得用戶可以通過TCL文件自動(dòng)產(chǎn)生仿真需要的激勵(lì)數(shù)據(jù)、配置數(shù)據(jù)和控制數(shù)據(jù)，并使用PERL腳本自動(dòng)更新驗(yàn)證報(bào)表，從而實(shí)現(xiàn)了驗(yàn)證平臺(tái)的高自動(dòng)化。最后，本文對(duì)在實(shí)際項(xiàng)目中使用該驗(yàn)證平臺(tái)進(jìn)行驗(yàn)證的數(shù)據(jù)進(jìn)行統(tǒng)計(jì)，并對(duì)最終結(jié)果進(jìn)行了分析。在數(shù)字芯片系統(tǒng)的開發(fā)過程中，該驗(yàn)證平臺(tái)成功的設(shè)計(jì)并應(yīng)用在了對(duì)數(shù)字芯片的前端驗(yàn)證中。實(shí)踐證明了驗(yàn)證平臺(tái)的可行性、高效性、高重用性和高自動(dòng)化。

簡(jiǎn)介：隨著技術(shù)的發(fā)展，廣電能為用戶提供的服務(wù)越來越多，特別是有線電視HFC網(wǎng)的雙向改造技術(shù)的不斷成熟，廣電行業(yè)內(nèi)以視頻點(diǎn)播為代表的一類交互式增值業(yè)務(wù)逐漸興起。業(yè)務(wù)的種類和業(yè)務(wù)量的增加對(duì)廣電運(yùn)營(yíng)支撐系統(tǒng)的數(shù)據(jù)庫服務(wù)器性能提出了新要求。本文研究了廣電業(yè)務(wù)的具體模型，提出了一套估算服務(wù)器性能及硬件配置的具體可行的方法。本文全面介紹了廣電行業(yè)各種業(yè)務(wù)，分析了其發(fā)展?fàn)顩r，著重探討了以交互式視頻點(diǎn)播為代表的互動(dòng)式業(yè)務(wù)的發(fā)展?fàn)顩r和趨勢(shì)。對(duì)聯(lián)機(jī)事物處理的相關(guān)概念進(jìn)行了介紹，對(duì)事務(wù)處理委員會(huì)（TPC）的TPCC基準(zhǔn)模型的核心內(nèi)容及評(píng)測(cè)指標(biāo)進(jìn)行了闡述。探討了廣電業(yè)務(wù)基本實(shí)體模型，分析了每個(gè)實(shí)體的結(jié)構(gòu)和構(gòu)建實(shí)體的表格。在此基礎(chǔ)上歸納了廣電業(yè)務(wù)涉及的主要交易，分析了交易的復(fù)雜度，并以計(jì)費(fèi)交易為例詳細(xì)計(jì)算了復(fù)雜度的取值。以武漢市為例，詳細(xì)計(jì)算了廣電業(yè)務(wù)的交易量以及服務(wù)器的性能指標(biāo)TPMC值，最后對(duì)數(shù)據(jù)庫硬件的配置作了估算。本文通過大量的實(shí)際調(diào)研，構(gòu)架出了一個(gè)具有代表性的廣電業(yè)務(wù)模型。對(duì)服務(wù)器指標(biāo)的估算采用了IBM公司的經(jīng)驗(yàn)公式，過程非常嚴(yán)密，最后得出的結(jié)論也基本符合實(shí)際。同時(shí)，由于廣電業(yè)務(wù)紛繁復(fù)雜，在交易流程的分析中難免有的過程被遺漏，少數(shù)參數(shù)的選擇主觀性較大，有待進(jìn)一步研究和改善。

簡(jiǎn)介：點(diǎn)擊查看更多面向服務(wù)工作流的事務(wù)補(bǔ)償機(jī)制的研究與實(shí)現(xiàn).pdf精彩內(nèi)容。

簡(jiǎn)介：點(diǎn)擊查看更多具有事務(wù)支持的工作流管理系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn).pdf精彩內(nèi)容。

簡(jiǎn)介：隨著新興并行體系結(jié)構(gòu)的普及，主流應(yīng)用程序由單線程向多線程的轉(zhuǎn)變是大勢(shì)所趨。但是，高效率地編寫健壯安全可靠的并行程序并非易事，其中以并發(fā)同步策略的設(shè)計(jì)和實(shí)現(xiàn)最為關(guān)鍵。為突破提高并行程序生產(chǎn)率的瓶頸，一系列圍繞自動(dòng)并發(fā)同步的研究隨之展開。其主要思想是用自動(dòng)加鎖或事務(wù)內(nèi)存TM，TRANSACTIONALMEMY的方式實(shí)現(xiàn)原子區(qū)。事務(wù)內(nèi)存具有極細(xì)的并發(fā)粒度和對(duì)復(fù)雜數(shù)據(jù)結(jié)構(gòu)同步的良好支持，但是也有不兼容遺留代碼、難以支持不可逆操作、缺少性能優(yōu)化機(jī)會(huì)及并發(fā)粒度控制機(jī)制的缺點(diǎn)。鎖方式能夠彌補(bǔ)上述缺陷卻不具有事務(wù)內(nèi)存的優(yōu)勢(shì)。事務(wù)內(nèi)存和鎖分別基于的保守和開放并發(fā)控制到目前為止仍然互不相容，這很大程度上限制了自動(dòng)并發(fā)同步的靈活性和適用性。本文的研究重點(diǎn)是設(shè)計(jì)實(shí)現(xiàn)融合了鎖和事務(wù)內(nèi)存的混合事務(wù)系統(tǒng)。圍繞解決這一問題，我們主要探討并完成了以下工作1設(shè)計(jì)適合混合并發(fā)模式的原子區(qū)結(jié)構(gòu)和語義以現(xiàn)有原子區(qū)結(jié)構(gòu)為基礎(chǔ)，擴(kuò)展原子區(qū)使之包含帶粒度控制機(jī)制和并發(fā)控制模式控制機(jī)制的支持嵌套的原子區(qū)結(jié)構(gòu)，同時(shí)明確原子區(qū)的語義。2定義混合并發(fā)的沖突；設(shè)計(jì)沖突檢測(cè)與解決策略；處理嵌套由于開放保守并發(fā)控制被融合在同一個(gè)系統(tǒng)當(dāng)中，包括沖突定義、檢測(cè)和處理都會(huì)是全新的問題。系統(tǒng)設(shè)計(jì)要考慮內(nèi)存訪問操作在不同并發(fā)控制下的行為，原子區(qū)之間可能的交互，以及所需要維護(hù)的數(shù)據(jù)集。3建立混合并發(fā)事務(wù)系統(tǒng)的形式模型，論證安全性通過形式化建模精確描述保守及開放并發(fā)控制模式共同工作的語義。模型主要包括定義合理的語法結(jié)構(gòu)以及語義描述兩個(gè)部分。利用動(dòng)態(tài)語義精確描述程序運(yùn)行時(shí)的程序狀態(tài)的變化，利用靜態(tài)語義預(yù)測(cè)程序狀態(tài)。4實(shí)現(xiàn)混合并發(fā)軟件事務(wù)系統(tǒng)并進(jìn)行測(cè)試分析實(shí)現(xiàn)支持原子區(qū)的軟件事務(wù)系統(tǒng)的接口，通過實(shí)驗(yàn)分析混合并發(fā)系統(tǒng)的優(yōu)勢(shì)和不足。

簡(jiǎn)介：隨著數(shù)據(jù)庫應(yīng)用領(lǐng)域的不斷擴(kuò)展數(shù)據(jù)庫規(guī)模餅劇膨脹數(shù)據(jù)庫工作負(fù)載日益加重使并行數(shù)據(jù)庫成為新的研究熱點(diǎn)BSP模型具有獨(dú)立于并行體系結(jié)構(gòu)、編程簡(jiǎn)單、可移植性強(qiáng)等特點(diǎn)該文在BSP模型的基礎(chǔ)上實(shí)現(xiàn)了一個(gè)并行對(duì)象關(guān)系數(shù)據(jù)庫系統(tǒng)原形PLES作為數(shù)據(jù)庫技術(shù)的重要組成部分之一的事務(wù)處理在并行數(shù)據(jù)庫領(lǐng)域還沒有得到系統(tǒng)研究特別是采用BSP模型的并行運(yùn)行模式使事務(wù)模型和事務(wù)處理方法與傳統(tǒng)數(shù)據(jù)庫技術(shù)有很大不同該文提出了一個(gè)并行實(shí)時(shí)事務(wù)處理架構(gòu)對(duì)在BSP模型的基礎(chǔ)上進(jìn)行實(shí)時(shí)事務(wù)處理的各方面進(jìn)行了系統(tǒng)研究首先針對(duì)BSP程序的特點(diǎn)提出了一種并行事務(wù)模型SS事務(wù)模型然后構(gòu)建了一個(gè)基于BSP模型的并行事務(wù)處理模型可以對(duì)并行事務(wù)的開始、分解、提交、失敗、回滾等進(jìn)行有效管理該模型同時(shí)支持事務(wù)內(nèi)及事務(wù)間并行性是一個(gè)真正意義上的并行事務(wù)處理模型采用何種并發(fā)控制協(xié)議是影響并行事務(wù)處理性能的一個(gè)重要因素該文比較研究了適合于實(shí)時(shí)事務(wù)的各種并發(fā)控制協(xié)議提出了一種基于多版本的實(shí)時(shí)并發(fā)控制協(xié)議RMCC又提出了該協(xié)議的并行版本PRMCC和BSP版本BRMCC分別適用于基于消息傳遞的無共享結(jié)構(gòu)和BSP模型而后該文根據(jù)BRMCC協(xié)議的特點(diǎn)提出了一種能與之協(xié)調(diào)配合的恢復(fù)協(xié)議另外對(duì)于節(jié)點(diǎn)的失效問題提出了數(shù)據(jù)副本的多重鏈?zhǔn)椒植挤椒ㄒ陨细鞑糠置芮袇f(xié)作形成了一個(gè)并行實(shí)時(shí)事務(wù)處理架構(gòu)為了有效地存儲(chǔ)和存取多版本數(shù)據(jù)該文還研究了多版本數(shù)據(jù)的存儲(chǔ)策略并提出了一種多版本數(shù)據(jù)的MB樹存取方法

簡(jiǎn)介：隨著并行計(jì)算機(jī)的發(fā)展，特別是片上多處理器CMPCHIPMULTIPROCESS，又通稱為多核處理器的出現(xiàn)，人們逐漸認(rèn)識(shí)到并行計(jì)算加速應(yīng)用的重要性，但是普及并行計(jì)算主要受到并行編程復(fù)雜和高性能計(jì)算機(jī)價(jià)格昂貴等方面因素的制約。本文研究工作分為兩個(gè)部分一是研究多核下事務(wù)存儲(chǔ)并行編程技術(shù)，從而減輕并行編程難度；二是優(yōu)化首臺(tái)國產(chǎn)萬億次高性能計(jì)算機(jī)KD50I的軟件庫數(shù)學(xué)庫和通信庫，以利于低功耗、低價(jià)位的國產(chǎn)高性能機(jī)推廣普及。本文主要研究?jī)?nèi)容和貢獻(xiàn)與創(chuàng)新是1基于事務(wù)存儲(chǔ)執(zhí)行的并行編程模型討論了未來多核體系結(jié)構(gòu)上基于事務(wù)存儲(chǔ)執(zhí)行的并行編程技術(shù)，實(shí)現(xiàn)了編寫事務(wù)存儲(chǔ)執(zhí)行程序框架的軟件庫，通過提供一系列開始、提交和終止等事務(wù)執(zhí)行程序接口，以詳細(xì)和直觀的方式對(duì)源代碼實(shí)現(xiàn)事務(wù)相關(guān)，從而對(duì)新型軟件事務(wù)存儲(chǔ)算法和技術(shù)的驗(yàn)證，以及硬件事務(wù)存儲(chǔ)執(zhí)行平臺(tái)的設(shè)計(jì)具有指導(dǎo)意義。2擴(kuò)充OPENMP支持事務(wù)存儲(chǔ)執(zhí)行功能雖然OPENMP是多核體系結(jié)構(gòu)上的流行多線程并行編程模型，但是OPENMP編譯器不檢查數(shù)據(jù)相關(guān)性、訪問沖突和其他可能導(dǎo)致程序錯(cuò)誤執(zhí)行的問題，這些問題傳統(tǒng)上完全依賴用戶使用鎖機(jī)制來保證程序的正確性。鎖機(jī)制的并行編程中存在并行程序效率和并行編程難度的矛盾。粒度大的鎖機(jī)制編程容易，可應(yīng)用的并行性挖掘比較差；粒度小的鎖機(jī)制應(yīng)用的并行性挖掘較好，可編程難度大，容易帶來優(yōu)先權(quán)倒置、死鎖和鎖護(hù)航等問題。本文通過擴(kuò)充OPENMP支持事務(wù)存儲(chǔ)執(zhí)行功能，可有效緩解OPENMP并行編程中并行程序效率和并行編程難度之間矛盾。3多核下事務(wù)存儲(chǔ)執(zhí)行并行加速串行二進(jìn)制程序歷史遺留無源碼的二進(jìn)制代碼由于多是單線程串行程序，無法充分利用到現(xiàn)有多核處理器計(jì)算資源。若想在多核下得到性能的提升，可以通過反編譯得到偽代碼，然后對(duì)偽代碼多線程并行化。其主要困難是一是反編譯對(duì)數(shù)據(jù)類型和復(fù)雜控制流恢復(fù)很困難，得到的偽代碼可讀性很差二是程序并行化時(shí)分析程序的數(shù)據(jù)相關(guān)性很難，分析可讀性差的偽代碼更難。提出反編譯二進(jìn)制代碼到中間代碼，然后利用事務(wù)存儲(chǔ)執(zhí)行原理，對(duì)中間代碼并行投機(jī)多線程編譯，假定線程間的依賴關(guān)系不存在，放松對(duì)編譯器的限制，選擇可以投機(jī)并行執(zhí)行的部分并行執(zhí)行。通過沖突檢測(cè)和事務(wù)撤銷機(jī)制，保證即使依賴存在，對(duì)程序結(jié)果的正確性也沒有影響。從而解決了以往反編譯得到的偽代碼的信息不完整和并行編譯器保守的問題，更充分的挖掘了二進(jìn)制程序的潛在并行性。4首臺(tái)國產(chǎn)萬億次機(jī)KD50I的數(shù)學(xué)庫和通信庫優(yōu)化國產(chǎn)萬億次機(jī)KD50I具有低功耗、低占地面積、高計(jì)算密度三大特點(diǎn)，對(duì)未來研制國產(chǎn)千萬億次計(jì)算機(jī)系統(tǒng)及提高其自主創(chuàng)新性具有示范作用。本文針對(duì)萬億次機(jī)節(jié)點(diǎn)使用的龍芯2F處理器支持乘加指令和四發(fā)射流水線的特點(diǎn)，采用循環(huán)展開和指令調(diào)度提高指令的并行性，以及采用預(yù)取減小訪問內(nèi)存的開銷等技術(shù)優(yōu)化了數(shù)學(xué)庫；同時(shí)針對(duì)萬億次機(jī)節(jié)點(diǎn)間拓?fù)涔潭?、層次?jiǎn)單的網(wǎng)絡(luò)結(jié)構(gòu)特點(diǎn)，采用簡(jiǎn)化的LBP通信模型分析優(yōu)化了通信庫。數(shù)學(xué)庫和通信庫的優(yōu)化，提高了KD50I的并行應(yīng)用運(yùn)行效率，對(duì)KD50I國產(chǎn)高性能機(jī)的推廣普及具有重要的意義。5國產(chǎn)萬億次機(jī)KD50I在并行數(shù)據(jù)挖掘在中的應(yīng)用研究基于串行計(jì)算機(jī)系統(tǒng)的數(shù)據(jù)挖掘技術(shù)，已經(jīng)遠(yuǎn)遠(yuǎn)不能滿足海量數(shù)據(jù)和極其復(fù)雜的運(yùn)算的需求。隨著網(wǎng)絡(luò)技術(shù)、高性能計(jì)算機(jī)的發(fā)展，并行數(shù)據(jù)挖掘成為解決上述問題的可能。本文選擇以金融風(fēng)險(xiǎn)管理應(yīng)用為背景，結(jié)合國產(chǎn)萬億次機(jī)KD50I節(jié)點(diǎn)使用處理器的特點(diǎn)和節(jié)點(diǎn)間網(wǎng)絡(luò)拓?fù)浣Y(jié)構(gòu)，優(yōu)化并行數(shù)據(jù)挖掘算法，提高了應(yīng)用運(yùn)行效率，為KD50I在不同領(lǐng)域的應(yīng)用，提供了并行算法設(shè)計(jì)和并行編程的參考。

簡(jiǎn)介：WEB服務(wù)是一個(gè)嶄新的分布式計(jì)算模型，它的出現(xiàn)解決了企業(yè)之間及企業(yè)內(nèi)部異構(gòu)系統(tǒng)之間的互操作和互通信的問題。事務(wù)則是一種保證應(yīng)用一致可靠的有效機(jī)制。WEB服務(wù)松偶合的特點(diǎn)使得WEB服務(wù)事務(wù)尤為重要。WEB服務(wù)事務(wù)，尤其是組合服務(wù)事務(wù)對(duì)服務(wù)質(zhì)量QOS和服務(wù)計(jì)算的一致性和可靠性起著重要作用。本文針對(duì)組合服務(wù)事務(wù)的長(zhǎng)事務(wù)特點(diǎn)，提出了一個(gè)基于域的組合服務(wù)事務(wù)嵌套模型SBET，通過對(duì)組合服務(wù)事務(wù)進(jìn)行進(jìn)一步的事務(wù)劃分，將組合服務(wù)平坦的事務(wù)模型擴(kuò)展為嵌套的事務(wù)模型，使得事務(wù)撤銷時(shí)，可以選擇性的回退到某一個(gè)一致點(diǎn)，以保證事務(wù)的語義一致性。為了保證服務(wù)質(zhì)量，在SBET的基礎(chǔ)上提出一個(gè)支持QOS約束的組合服務(wù)事務(wù)恢復(fù)算法。該算法能將補(bǔ)償?shù)姆秶刂圃诘讓拥挠騼?nèi)，減少補(bǔ)償代價(jià)，保證服務(wù)質(zhì)量在用戶可接受的范圍內(nèi)接近最優(yōu)，同時(shí)保證事務(wù)的語義原子性。為了提高組合服務(wù)的并發(fā)度并保證并發(fā)的正確性，提出一個(gè)基于沖突概率的組合服務(wù)事務(wù)并發(fā)控制算法。該算法充分考慮了組合服務(wù)事務(wù)中的各種并發(fā)情況，引入語義單元、沖突類鎖和臨界區(qū)的概念來保證事務(wù)調(diào)度的語義可串行性，同時(shí)通過調(diào)度的優(yōu)先級(jí)規(guī)則來避免死鎖。最后，針對(duì)當(dāng)前組合服務(wù)執(zhí)行引擎大都缺乏對(duì)組合服務(wù)事務(wù)的有力支持，設(shè)計(jì)了一個(gè)支持組合服務(wù)事務(wù)的原型系統(tǒng)TCWS。該系統(tǒng)基于WSTRANSACTION規(guī)范，在協(xié)調(diào)各成員服務(wù)的事務(wù)行為的同時(shí)，還提供了錯(cuò)誤恢復(fù)和并發(fā)控制的功能。本文主要在組合服務(wù)事務(wù)模型、錯(cuò)誤恢復(fù)、并發(fā)控制及支持事務(wù)的組合服務(wù)原型系統(tǒng)等方面進(jìn)行研究，為組合服務(wù)事務(wù)的研究提供了新的思路和方法。

簡(jiǎn)介：INTER的迅猛發(fā)展，尤其是WEB的全球普及，使得WEB上信息量無比豐富。通過對(duì)WEB的挖掘，可從WEB頁面中提取所需的知識(shí)對(duì)總的用戶訪問行為、頻度、內(nèi)容的分析，可得到關(guān)于群體用戶訪問行為和方式的普遍知識(shí)，用以改進(jìn)WEB服務(wù)設(shè)計(jì)。更重要的是，通過對(duì)這些用戶特征的理解和分析，有助于開展有針對(duì)性的電子商務(wù)活動(dòng)。WEB日志挖掘是從WEB日志中挖掘用戶訪問模式和知識(shí)。分析和探索日志中的規(guī)律能夠確認(rèn)電子商務(wù)中的潛在用戶、提高信息服務(wù)的質(zhì)量和提高WEB服務(wù)系統(tǒng)的性能。WEB日志挖掘，尤其是在WEB事務(wù)聚類方面，有著明顯的模糊特征，所以模糊聚類有時(shí)比傳統(tǒng)聚類方法更適合WEB聚類。論文系統(tǒng)地分析和論述了數(shù)據(jù)挖掘和WEB日志挖掘及相關(guān)概念，并通過對(duì)WEB站點(diǎn)日志數(shù)據(jù)進(jìn)行預(yù)處理，為下一步模式發(fā)掘打好基礎(chǔ)；接著，介紹了聚類分析的方法以及模糊聚類的相關(guān)概念和方法最后，將基于模糊等價(jià)關(guān)系的聚類方法應(yīng)用到WEB事務(wù)聚類中，分析現(xiàn)有的求模糊相似矩陣的傳遞閉包方法，針對(duì)其效率低運(yùn)算量大的特點(diǎn)，提出將TBDDGE算法應(yīng)用到將模糊等價(jià)矩陣聚類法當(dāng)中，給出了算法模型以及實(shí)例，同時(shí)給出了算法的證明并用實(shí)驗(yàn)驗(yàn)證分析。

簡(jiǎn)介：隨著社會(huì)的進(jìn)步，律師從業(yè)人員成倍增加，傳統(tǒng)業(yè)務(wù)模式不在適應(yīng)本行業(yè)和客戶的快速增加期望。因此律師行業(yè)需轉(zhuǎn)變新型經(jīng)營(yíng)思想，只有通過轉(zhuǎn)變，才能應(yīng)對(duì)律師行業(yè)前所未有的激烈競(jìng)爭(zhēng)。律師業(yè)務(wù)系統(tǒng)主要是面向律師行業(yè)人員開發(fā)，期望提升律師行業(yè)整體服務(wù)?；谡w規(guī)劃和高擴(kuò)容性要求，系統(tǒng)采用了瀏覽器服務(wù)器模式結(jié)構(gòu)。是WINDOWS應(yīng)用程序高效開發(fā)平臺(tái)，它擁有軟件編程全系列界面工具。MSSQL是一個(gè)高性能關(guān)系型數(shù)據(jù)庫管理系統(tǒng)，擁有大量實(shí)用管理工具，基于其開放式設(shè)計(jì)結(jié)構(gòu)，為使用者提供管理高效平臺(tái)。正因如此，服務(wù)器常規(guī)使用服務(wù)器系統(tǒng)，配上MSSQL數(shù)據(jù)庫管理系統(tǒng)成為標(biāo)配。本文基于BS模式的律師業(yè)務(wù)系統(tǒng)，并詳細(xì)描述律師系統(tǒng)的需求、設(shè)計(jì)、代碼實(shí)現(xiàn)。該系統(tǒng)實(shí)現(xiàn)了對(duì)各項(xiàng)信息完成增、刪、改、查等基本功能。律師事務(wù)所的在線律師業(yè)務(wù)管理系統(tǒng)，基于BS模式的在線律師業(yè)務(wù)的實(shí)現(xiàn)，采用的是MSSQL模式的內(nèi)部管理平臺(tái)。律師咨詢服務(wù)作為人們?nèi)粘Ｉ钪胁豢苫蛉钡姆?wù)，大家一致關(guān)注其咨詢合理性問題。律師業(yè)務(wù)系統(tǒng)因?yàn)闃I(yè)務(wù)特性問題，沒有真正適合律師業(yè)的系統(tǒng)。然而，隨著IT技術(shù)和網(wǎng)絡(luò)普及，在集成行業(yè)數(shù)據(jù)處理及IT服務(wù)方面提升很快。當(dāng)下IT水平衡量行業(yè)業(yè)務(wù)服務(wù)水平的重要定性指標(biāo)。此系統(tǒng)利用網(wǎng)頁進(jìn)行各類交互，同時(shí)通過MSSQL來存放信息數(shù)據(jù)。對(duì)根據(jù)權(quán)限頂層設(shè)計(jì)，采用模塊化思維，根據(jù)律師業(yè)務(wù)需求，分功能實(shí)現(xiàn)，方便后續(xù)系統(tǒng)的靈活應(yīng)用。

簡(jiǎn)介：網(wǎng)格技術(shù)自20世紀(jì)90年代中期出現(xiàn)后，便引起人們的廣泛關(guān)注，目前該技術(shù)正從科學(xué)計(jì)算領(lǐng)域轉(zhuǎn)向廣闊的工業(yè)領(lǐng)域。數(shù)據(jù)庫在諸多領(lǐng)域的應(yīng)用中扮演著不可或缺的角色，當(dāng)前數(shù)據(jù)庫系統(tǒng)的自治性、異構(gòu)性和分布性等特點(diǎn)，使其不能提供統(tǒng)一的接口來滿足靈活資源共享和數(shù)據(jù)訪問需求。而網(wǎng)格所具有的地理上分布、邏輯上異構(gòu)、資源上動(dòng)態(tài)、網(wǎng)格節(jié)點(diǎn)上自治的特點(diǎn)，恰好滿足資源共享的需求。數(shù)據(jù)庫網(wǎng)格是指以網(wǎng)格技術(shù)為基礎(chǔ)，并由各種數(shù)據(jù)庫管理系統(tǒng)構(gòu)成的數(shù)據(jù)網(wǎng)格環(huán)境。其技術(shù)難點(diǎn)是在網(wǎng)格環(huán)境下研究解決分布式查詢、事務(wù)、多數(shù)據(jù)源視圖等傳統(tǒng)的數(shù)據(jù)庫領(lǐng)域的問題。其中，如何提高數(shù)據(jù)庫網(wǎng)系統(tǒng)的訪問并發(fā)度，充分利用網(wǎng)格中的數(shù)據(jù)庫資源，成為了一個(gè)亟待解決的問題。本文對(duì)網(wǎng)格計(jì)算、數(shù)據(jù)庫網(wǎng)格、分布式事務(wù)的相關(guān)概念和技術(shù)進(jìn)行了深入研究。在對(duì)數(shù)據(jù)庫事務(wù)管理進(jìn)行研究的基礎(chǔ)上，分析了現(xiàn)有的分布式數(shù)據(jù)庫事務(wù)模型的優(yōu)缺點(diǎn)，針對(duì)數(shù)據(jù)庫網(wǎng)格提出了GALTT（GLOBALAGENTLOCALTRANSACTIONTREE）模型，并在結(jié)合數(shù)據(jù)庫網(wǎng)格特性的基礎(chǔ)上提出了GTPS（GRIDTRANSACTIONPROCESSINGSTRATEGY）模型，以提高數(shù)據(jù)庫網(wǎng)格事務(wù)處理的并發(fā)度。本文提出數(shù)據(jù)庫網(wǎng)格的事務(wù)處理模型系統(tǒng)和事務(wù)并發(fā)控制的實(shí)現(xiàn)算法，并對(duì)系統(tǒng)進(jìn)行了實(shí)現(xiàn)。在實(shí)驗(yàn)中，事務(wù)的處理策略分別使用2PL和GTPS，通過實(shí)驗(yàn)得出兩種策略下，響應(yīng)時(shí)間隨事務(wù)到達(dá)率的變化而變化，時(shí)間花費(fèi)隨網(wǎng)格事務(wù)數(shù)目的增加而變化，網(wǎng)格事務(wù)失敗率隨網(wǎng)格事務(wù)數(shù)目增加而變化的情況，并對(duì)這些情況進(jìn)行了深入分析。結(jié)果表明，網(wǎng)格事務(wù)處理采用GTPS比采用2PL更具有優(yōu)勢(shì)。

簡(jiǎn)介：目前，在一個(gè)芯片內(nèi)集成多個(gè)處理器核，已經(jīng)成為提高處理器性能的主要手段。這樣，可以在不提升處理器頻率的前提下，降低處理器的功耗，大大提高了處理器的多線程計(jì)算性能。然而，要使多核處理器充分發(fā)揮多線程計(jì)算性能，最大的挑戰(zhàn)是建立多線程編程模型。目前多線程使用鎖來保證并行線程間的同步，但鎖如果不經(jīng)過精心地設(shè)計(jì)，很容易會(huì)導(dǎo)致死鎖，優(yōu)先級(jí)反轉(zhuǎn)等錯(cuò)誤，并且程序的可讀性和重用性都較差。軟件事務(wù)內(nèi)存將一系列對(duì)共享存儲(chǔ)區(qū)的操作看成一個(gè)事務(wù)，保證了原子性，一致性和隔離性。使用它來取代鎖結(jié)構(gòu)，簡(jiǎn)化編程模型，提高多線程編程效率，是現(xiàn)在的研究熱點(diǎn)。目前對(duì)軟件事務(wù)內(nèi)存的研究主要關(guān)注于如何提高單個(gè)事務(wù)的執(zhí)行性能以及事務(wù)的優(yōu)先級(jí)調(diào)度算法方面，而對(duì)于各個(gè)事務(wù)間的協(xié)調(diào)通信機(jī)制研究較少，各個(gè)事務(wù)間是相對(duì)獨(dú)立的。在多個(gè)事務(wù)間存在互相制約的情況下，由于缺少協(xié)調(diào)通信手段，事務(wù)的提交成功率將會(huì)出現(xiàn)較大的性能損失。同時(shí)，事務(wù)的可重用性也較差。本文針對(duì)這種情況，提出了一種軟件事務(wù)內(nèi)存CSTM，通過給予事務(wù)自我阻塞的能力以及組合機(jī)制，使得事務(wù)間具有了即時(shí)有效的通信手段。通過實(shí)驗(yàn)證明，其在多個(gè)事務(wù)相互需要協(xié)調(diào)運(yùn)行的情況下，相對(duì)于鎖機(jī)制和只具有簡(jiǎn)單事務(wù)機(jī)制的STM系統(tǒng)有較大的性能優(yōu)勢(shì)。同時(shí)也使得事務(wù)模塊的重用性更好，簡(jiǎn)化了軟件事務(wù)內(nèi)存的編程。

簡(jiǎn)介：隨著越來越多的服務(wù)和信息在互聯(lián)網(wǎng)上發(fā)布，人們獲取所需服務(wù)和信息的途徑也越來越多。如何在這個(gè)信息爆炸的時(shí)代有效地發(fā)現(xiàn)所需要的信息或服務(wù)、如何將散布在互聯(lián)網(wǎng)上的不同服務(wù)有效整合是當(dāng)前WEB領(lǐng)域研究的熱點(diǎn)問題。本文將面向服務(wù)架構(gòu)SERVICEIENTEDARCHITECTURE，SOA思想應(yīng)用于WEB軟件系統(tǒng)的組合服務(wù)事務(wù)處理模型的設(shè)計(jì)過程中，引入基于偏好學(xué)習(xí)的服務(wù)組合選擇策略，使基于WEB的應(yīng)用系統(tǒng)能夠推薦出更貼近用戶需求的服務(wù)。文章首先分析了基于WEB的軟件系統(tǒng)研究現(xiàn)狀和存在問題，綜述了WEB服務(wù)和面向服務(wù)架構(gòu)理論；其次，應(yīng)用面向服務(wù)架構(gòu)整合信息孤島的逆向思路，把WEB軟件系統(tǒng)的中的事務(wù)處理模型劃分為服務(wù)注冊(cè)中心、服務(wù)提供者、服務(wù)請(qǐng)求者、虛擬處理中心和用戶界面中心五個(gè)角色，通過五個(gè)角色間的協(xié)調(diào)，建立了處理組合服務(wù)的WEB軟件系統(tǒng)事務(wù)處理模型；而后，在此事務(wù)處理模型的基礎(chǔ)上，把用戶偏好模型引入到服務(wù)組合選擇策略中，通過定義服務(wù)單元質(zhì)量評(píng)價(jià)指標(biāo)和用戶偏好向量，實(shí)現(xiàn)服務(wù)組合選擇策略；最后，通過仿真實(shí)驗(yàn)，選擇不同訓(xùn)練次數(shù)對(duì)用戶的偏好向量進(jìn)行訓(xùn)練得出偏好向量會(huì)隨著用戶使用系統(tǒng)服務(wù)次數(shù)的增多而逐漸優(yōu)化合理。此研究對(duì)處理組合服務(wù)的WEB軟件系統(tǒng)的設(shè)計(jì)有著很好的參考意義，也為制定基于用戶偏好學(xué)習(xí)的服務(wù)推薦策略提供了一種思路。