簡介：在當今這個紛繁復雜的時代里多元化建筑思潮廣泛的影響著當代的建筑創(chuàng)作改變著人們的生活方式和審美標準。理性主義創(chuàng)作思想被建筑師廣泛應用于當代建筑創(chuàng)作中并在其不斷發(fā)展中表現(xiàn)出一種全新的理性主義特征。作為當今歐洲最著名的建筑師事務所之一GMP繼承了包豪斯以來現(xiàn)代主義尤其是理性主義的設計原則和風格并對其作出了一定的修正與完善從而發(fā)展了一種嚴謹、有序的設計邏輯以及具有浪漫色彩的新理性主義建筑風格在建筑界正越來越引人注目。在中國十五年實踐中他們創(chuàng)作了大量優(yōu)秀的建筑作品。筆者通過直接或者間接的研究與訪問求證了它的創(chuàng)作思想與設計手法。通過對其在中國建筑作品的實地調(diào)研及多層次分析從形式、功能、結(jié)構與技術等方面全方位地展現(xiàn)了其理性的建筑特質(zhì)。本文首先通過對理性主義設計思想的發(fā)展分析力求對其理論思想和發(fā)展脈絡有一定清晰而明確的認識。在此基礎之上對擁有理性思想的GMP建筑師事務所的創(chuàng)作思想、建筑作品的分析、研究與闡述尤其是它對于城市與建筑的獨特理解從中發(fā)現(xiàn)有助于中國建筑學習和發(fā)展的內(nèi)容進一步提高我國建筑創(chuàng)作理論和實踐水平對指導未來建筑創(chuàng)作有所裨益進而達到研究的最終目的。

簡介：多核處理器的出現(xiàn)，讓單線程應用移植到并發(fā)的多線程應用變得容易起來。多核之間有效同步問題是并行計算的一個挑戰(zhàn)。在過去，鎖作為多線程同步的一種主要的機制，但使用鎖的系統(tǒng)很容易導致較多的錯誤出現(xiàn)和較差的擴展性。大量多核處理器出現(xiàn)以后，事務存儲作為一種替代鎖同步的并行編程模型被提出。事務存儲可以在訪問共享內(nèi)存時保持自身的原子性。從實現(xiàn)方式看，有三種事務存儲系統(tǒng)分別是軟件、硬件和混合事務存儲系統(tǒng)。相對于其它的實現(xiàn)方式硬件事務存儲具有強原子性和高性能的優(yōu)點因而是本文的研究重點。和其它實現(xiàn)方式一樣在硬件事務存儲系統(tǒng)中也會因共享存儲發(fā)生事務沖突，引起系統(tǒng)性能降低甚至死鎖。尤其是在實際設計中，常常使用了容量受限的簽名，會讓事務沖突加劇。所以還存在著許多問題亟待解決，為此本文提出了一些解決機制。問題之一是使用的事務退避時間模式單一固定，沒有根據(jù)系統(tǒng)運行時的沖突程度動態(tài)的調(diào)整。根據(jù)監(jiān)測運行時的系統(tǒng)信息，本文提出了自適應事務退避機制，根據(jù)事務沖突程度調(diào)整事務退避時間的長度。該機制通過觀測在前后兩個采樣時的放棄階段的時間比例的變化和有用事務的時間比例的變化，自適應地調(diào)節(jié)當前放棄事務采用的退避時間長度，從而使退避時間和沖突程度聯(lián)系起來，解決了退避時間模式過于單一的問題，減少了執(zhí)行時間的開銷。實驗數(shù)據(jù)表明，帶有自適應退避機制的系統(tǒng)執(zhí)行時間減少，退避時間會隨著系統(tǒng)中的沖突的程度的改變而變化。問題之二是如何選擇放棄的事務，盡可能的節(jié)省已有的工作同時滿足其他事務對于資源的需求。本文提出了基于ENEMYQUE隊列的事務放棄機制，根據(jù)事務的競爭事務的個數(shù)來確定放棄事務的選擇順序。這種機制通過將每個事務和它申請資源沖突的事務設為競爭事務并統(tǒng)計競爭事務的個數(shù)，在放棄事務時優(yōu)先選擇競爭事務個數(shù)多的事務放棄，讓更多的事務收益于它釋放的資源。實驗數(shù)據(jù)表明，采用ENEMYQUE事務放棄機制后系統(tǒng)的性能得到提高，避免了不必要的已有的工作的損失。問題之三是如何選擇重新啟動的事務。事務的重新啟動操作通常由事務退避時間來確定，如果退避時間用完，即使它所需要的共享資源仍被其他的事務占用也不得不重新啟動，從而給系統(tǒng)引入了新的事務沖突。本文提出了基于即時通知的事務重啟機制，在事務完成提交或者放棄以后釋放占有的資源并通知和它競爭同一資源的競爭事務重啟。這樣就使事務的重新啟動避免了盲目性。實驗數(shù)據(jù)表明，采用即時通知重新啟動機制的系統(tǒng)的加速比增加，避免了退避時間點和重新啟動時間點的不一致性造成的系統(tǒng)性能的下降。并將該機制應用在EL和LL系統(tǒng)中，相應的系統(tǒng)也有性能的提升。

簡介：點擊查看更多基于工程設計的事務管理及研究.pdf精彩內(nèi)容。

簡介：聯(lián)邦數(shù)據(jù)庫提供了對多種數(shù)據(jù)源進行統(tǒng)一訪問的界面和方法針對傳統(tǒng)事務模型在聯(lián)邦數(shù)據(jù)庫的缺陷給出了聯(lián)邦數(shù)據(jù)庫系統(tǒng)的事務模型并使用數(shù)學的方法對其適宜性進行了評價這個模型為建立聯(lián)邦數(shù)據(jù)庫設計了靈活的分布式體系結(jié)構可以不使用全局鎖協(xié)議而顯式地識別和處理事務的并行性該模型適用于聯(lián)邦數(shù)據(jù)庫事務、非傳統(tǒng)數(shù)據(jù)庫事務模型和復雜的分布式信息系統(tǒng)在有大量的成員數(shù)據(jù)庫參與的情況下比如有1000個參與的數(shù)據(jù)庫依賴于兩階段提交2PC和封鎖協(xié)議的事務模型幾乎只會使事務失敗或死鎖使用分布式對象核心DOK技術來研究聯(lián)邦數(shù)據(jù)庫事務的訪問控制方法是一個合適的選擇基于分布式對象核心技術給出了一種適用于聯(lián)邦數(shù)據(jù)庫的安全體系結(jié)構使得DOK系統(tǒng)在自治的、分布的、異構的數(shù)據(jù)庫環(huán)境中能夠加強其聯(lián)邦安全策略將數(shù)據(jù)倉庫的方法引入聯(lián)邦事務處理會有許多優(yōu)點數(shù)據(jù)倉庫的聯(lián)機事務處理OLTP和聯(lián)機分析處理OLAP技術可以加強聯(lián)邦數(shù)據(jù)庫的事務處理能力基于時間戳排序的事務管理算法和調(diào)度算法可以實現(xiàn)簡單的聯(lián)邦數(shù)據(jù)庫事務處理最后給出了這些算法的性能分析和評價

簡介：基于AS5643協(xié)議的IEEE1394總線網(wǎng)絡中主要包括CC節(jié)點控制計算機節(jié)點和RN節(jié)點遠程節(jié)點“三節(jié)點CC仿真卡”作為一款多節(jié)點、高速率、高性能的基于AS5643協(xié)議的IEEE1394總線通信接口設備除了具有CC節(jié)點的功能外還具有仿真RN節(jié)點及總線通信情況的能力。CC仿真卡符合IEEE1394總線的三層體系結(jié)構本課題主要以CC仿真卡的事務層為研究對象利用FPGA來實現(xiàn)CC仿真卡事務層的基本功能。本文首先對CC仿真卡進行簡要介紹明確了CC仿真卡事務層應實現(xiàn)哪些功能。其次論文重點對CC仿真卡事務層的FPGA設計進行了詳細描述采用了自頂向下的FPGA設計方法并對各個功能子模塊的設計作了詳細介紹。最后對FPGA設計結(jié)果進行了仿真驗證通過對傳統(tǒng)仿真平臺的優(yōu)化高效可靠的實現(xiàn)了代碼正確性和功能符合性驗證。通過以上過程CC仿真卡事務層的FPGA實現(xiàn)達到了預期研究成果數(shù)據(jù)傳輸速率達到了預期的IOOMBITS符合AS5643協(xié)議對CC節(jié)點的功能要求包括發(fā)送STOF包功能、發(fā)送異步流功能、接收異步流功能、縱向奇偶校驗功能、對鏈路層和物理層的配置功能等具有注錯、容錯等仿真驗證RN節(jié)點和總線行為的能力。

簡介：事務處理和并發(fā)控制一直是數(shù)據(jù)庫研究和實踐的重要組成部分之一而事務調(diào)度可序列化理論無疑是事務處理和并發(fā)控制的核心理論該文開創(chuàng)性地提出了從更小粒度的操作層面來研究事務原子性和事力調(diào)度的本質(zhì)內(nèi)涵歸納了嵌套事務模型上合理調(diào)度所需要遵循的自然約束和原子性約束并以此為基礎建立了嵌套事務模型上面向操作的調(diào)度可序列化理論在此基礎上該文進一步研究了事務之間的邏輯執(zhí)行序與嵌套事務調(diào)度可序列化之間的關聯(lián)并指出邏輯事務序只能夠表達事務模型中的原子性約束卻無法體現(xiàn)自然約束為此該文將嵌套事務模型所特有的自然約束和原子性約束的混合效應提取出來稱之為隱式約束并進一步分析了其觸發(fā)條件以將其結(jié)合到邏輯事務序的推演當中在該文提出的各種邏輯事務序當中表征事務序具有實現(xiàn)簡便、維護代價小等優(yōu)點而適用于調(diào)度器部件的實現(xiàn)或調(diào)度協(xié)議的實現(xiàn)進一步借助表征事務序及其推導過程所具有的良好的局部化特征并引入代理事務來消除跨系統(tǒng)邊界部分對調(diào)度可序列化的影響該文最終提出了實現(xiàn)嵌套事務模型的分散式調(diào)度的可行方法為其在復合系統(tǒng)中的應用提供了理論基礎

簡介：主動實時數(shù)據(jù)庫完善集成了傳統(tǒng)數(shù)據(jù)庫、實時系統(tǒng)及主動規(guī)則的技術和機制。該文研究主動實時數(shù)據(jù)系統(tǒng)中事務及其處理，文中首先介紹了篤于數(shù)據(jù)庫提出的一些要求，為了滿足這要求實時數(shù)據(jù)庫系統(tǒng)必須具備的功能。然后討論了實時數(shù)據(jù)庫系統(tǒng)中事務及數(shù)據(jù)特征，討論了它與主動數(shù)據(jù)庫的聯(lián)系。主動數(shù)據(jù)庫系統(tǒng)的數(shù)據(jù)和事務都可能有顯式的定時限制，系統(tǒng)的正確性不僅依賴于事務執(zhí)行的邏輯結(jié)果，而且與結(jié)果產(chǎn)生的時間緊密相關。主動實時數(shù)據(jù)庫系統(tǒng)追求的目標不再是系統(tǒng)的吞吐量及平均響應時間，而是系統(tǒng)中滿足定時限制典型地為截止期的事務的比率。這就要求解決在事務模型、特征、正確性標準、并發(fā)控制、高度等方面的一系列的理論與關鍵技術問題。

簡介：工作流管理一直是企業(yè)界和學術界關注的領域但是目前許多工作流模型在正確性和可靠性方面都有很大不足并不能適應實際應用的需要該文將事務性質(zhì)引入工作流中提出了一種嵌套的具有事務特性的工作流模型這個模型包含嵌套任務和任務間的依賴并具有高級事務模型的一些屬性比如松散的隔離性和原子性我們又進一步在這個模型的基礎上利用這些事務性質(zhì)提出了有關工作流的執(zhí)行機制、系統(tǒng)恢復和錯誤處理等問題的解決方法通過定義一致性單元和執(zhí)行單元放松了事務的失敗原子性、并發(fā)工作流的可串行化要求以及任務間的隔離性使工作流在具可靠性和正確性的前提下更靈活地滿足實際應用語義的要求

簡介：點擊查看更多虹橋商務區(qū)公共事務中心大廈智能照明系統(tǒng)設計.pdf精彩內(nèi)容。

簡介：點擊查看更多分布式實時數(shù)據(jù)庫的事務恢復機制.pdf精彩內(nèi)容。

簡介：電子政務提供的平臺上有相當多的重要公文在流轉(zhuǎn)，因此，保證其中的信息安全非常重要。政務機關內(nèi)部具有嚴格的辦事流程和程序規(guī)定，一旦違反了業(yè)務程序和流程，會造成嚴重后果。通常的數(shù)字簽名提供了信息發(fā)送者的身份驗證，但卻無法保證事務處理流程的正確。本文介紹了一種事務數(shù)字簽名算法，該算法能夠驗證整個事務處理流程的正確性。事務數(shù)字簽名算法的安全性建立在橢圓曲線離散對數(shù)問題的難解性之上。作者以橢圓曲線密碼體制為基礎，完成了該事務數(shù)字簽名算法的實現(xiàn)。事務數(shù)字簽名協(xié)議包括生成事務簽名，和對接收到的簽名進行驗證兩部分。目前，對定義在特征值為2或者大素數(shù)的有限域上的橢圓曲線計算已經(jīng)有了比較深入的研究，因此本文討論了定義在特征3的有限域上的橢圓曲線運算，采用多項式基表示法實現(xiàn)。作者對定義在有限域F_32，F(xiàn)_33，F(xiàn)_34上的橢圓曲線，詳細分析了曲線上的點構成的循環(huán)群結(jié)構。橢圓曲線點群中元素之間的運算構成了事務數(shù)字簽名算法的基本運算。

簡介：點擊查看更多分布式計算環(huán)境下工作流事務完整性研究.pdf精彩內(nèi)容。

簡介：分布式數(shù)據(jù)庫系統(tǒng)中，數(shù)據(jù)分布在計算機網(wǎng)絡各物理站點上，所以要求把分布式事務分解成若干子事務，在不同的站點上對相應的本地數(shù)據(jù)庫進行操作，由此引發(fā)了分布式事務提交的原子性問題。目前主要采用分布式事務提交協(xié)議來保證其原子特性。兩階段提交協(xié)議為解決分布式事務的原子性提交問題而提出，要求在事務提交的過程中，所有的子事務全部提交或全部撤銷。兩階段提交協(xié)議因其提交過程簡單目前被廣泛的應用，但其存在易于阻塞和信息成本大的缺點。一階段提交協(xié)議對通信速率要求高，并且對數(shù)據(jù)庫系統(tǒng)有一定的要求和限制，故適用范圍有限，但事務在整個提交過程中，消息復雜度和強制寫日志的次數(shù)較少，分布式事務整體的執(zhí)行效率高。三階段提交協(xié)議在一定程度上解決了兩階段提交協(xié)議的阻塞性問題，提高了系統(tǒng)資源的利用率，但同時進一步增加了信息通信成本，整體上降低了事務的執(zhí)行效率。因此，如何在保證分布式事務原子性的同時，降低分布式事務阻塞問題發(fā)生，并進一步提高事務執(zhí)行的效率是分布式數(shù)據(jù)庫系統(tǒng)中研究的熱點問題。本文首先對分布式事務的相關知識和現(xiàn)有的分布式事務提交協(xié)議如兩階段事務提交協(xié)議、一階段事務提交協(xié)議、三階段事務提交協(xié)議以及基本的12PC協(xié)議等進行研究和優(yōu)缺點的分析，并重點介紹了基本的12PC協(xié)議。其次，針對提交協(xié)議中存在的阻塞問題，本文提出一種新的協(xié)議，該協(xié)議以基本的12PC協(xié)議為基礎，通過“多站點備份”技術和“心跳檢測”技術來減少當故障發(fā)生時分布式事務發(fā)生阻塞的幾率，并縮短參與者正常終止事務的時間。然后對新協(xié)議從消息復雜度和強制寫日志次數(shù)兩個方面進行優(yōu)化，提高分布式事務執(zhí)行的效率。最后，本文給出了新協(xié)議的故障處理與恢復方法，并通過與已有的分布式事務提交協(xié)議在消息復雜度、時間延遲復雜度、事務發(fā)生阻塞的幾率以及發(fā)生阻塞后參與者的等待時間這四個方面進行性能比較和分析，說明了新協(xié)議的優(yōu)勢所在。

簡介：為了解決分布式結(jié)構異構性問題提出的一種新的計算模型WEB服務，目標是使不同平臺的應用程序具有互操作性。分布式環(huán)境中的WEB服務需要相互協(xié)同工作，保證組合服務執(zhí)行結(jié)果的一致性和可靠性是WEB服務面臨的重要挑戰(zhàn)之一，事務機制是解決此類問題的重要手段。由于WEB服務自治、松散耦合以及長周期等特點使得傳統(tǒng)事務技術無法直接應用到WEB服務中來。WEB服務事務處理規(guī)范WEBSERVICESTRANSACTIONSWSTX描述了一個為協(xié)調(diào)分布式應用程序行為提供協(xié)議支持的可擴展框架，可被用于支持多個業(yè)務流程實例的運行。但目前的這些協(xié)調(diào)框架中都缺乏對組合服務的流程語義的刻畫機制，用戶在考慮事務協(xié)調(diào)時，需要手動編寫復雜代碼界定業(yè)務流程。標準業(yè)務流程執(zhí)行語言BUSINESSPROCESSEXECUTIONLANGUAGEBPEL是用來描寫業(yè)務流程的編程語言，基于工作流的BPEL雖然能夠靈活定義業(yè)務流程，但是在事務方面缺乏靈活性，如BPEL并不支持原子事務和跨流程事務，也不支持重試等向前恢復策略。本文通過對BPEL進行事務描述能力擴展，并將其與WSTX規(guī)范相結(jié)合，給出一種可靠的WEB服務組合協(xié)調(diào)框架，支持靈活的事務協(xié)調(diào)和流程定義。主要工作分為以下三個方面1針對BPEL業(yè)務流程缺乏靈活事務語義，給出了事務語義擴展機制。首先介紹了WEB服務組合的事務流定義，在此基礎上提出了基于BPEL語言的組合服務事務語義擴展方法。在BPEL中定義的事務語義將用于業(yè)務流程的協(xié)調(diào)。2給出基于BPEL和WSTX的WEB服務組合事務協(xié)調(diào)框架。結(jié)合BPEL在業(yè)務流程定義方面和WSTX在WEB服務事務協(xié)調(diào)方面的優(yōu)勢，提出了一種基于兩者的WEB服務組合協(xié)調(diào)框架。研究了框架的體系結(jié)構、異常處理策略、協(xié)調(diào)算法和業(yè)務流程的執(zhí)行、協(xié)調(diào)過程等。3設計實現(xiàn)原型系統(tǒng)?；贏XIS2和APACHEODE設計實現(xiàn)了原型系統(tǒng)，并通過一個WEB組合服務的實例應用說明框架的可行性。

簡介：點擊查看更多事務間量化關聯(lián)規(guī)則挖掘的研究及應用.pdf精彩內(nèi)容。