簡介：隨著無線傳感器網絡的發(fā)展，其應用越來越廣泛，無線傳感器網絡以數(shù)據為中心，網絡節(jié)點中數(shù)據的可靠性決定了應用服務的質量。因此，為了提供可靠的服務質量并保證數(shù)據的一致性、有效性，這就需要無線傳感器網絡事務處理技術的支撐。但是由于無線傳感器網絡具有資源有限性、動態(tài)性等特點，而傳統(tǒng)的事務處理模型并不能直接應用于無線傳感器網絡，因此需要研究一種適用于無線傳感器網絡的事務處理模型。本文提出了一個適用于無線傳感器網絡的事務管理模型，在這個事務管理模型中，主要包括事務并發(fā)控制策略和事務原子提交協(xié)議。在事務并發(fā)控制方面，結合無線傳感器網絡的特點使用了輕量級的FOCC（FWARDIENTEDOPTIMISTICCONCURRENCYCONTROL，向前驗證的樂觀并發(fā)控制）。在事務原子提交協(xié)議方面，提出了基于定時器和緩存的兩階段提交協(xié)議（TWOPHASECOMMITWITHCACHETIMER，2PCWCT）。該協(xié)議是兩階段提交協(xié)議（TWOPHASECOMMIT，2PC）的改進，為參與者提供了緩存機制，有效利用協(xié)調者的廣播信息，降低能量消耗。在協(xié)調者和參與者中加入了定時器，定時器觸發(fā)后會提供事務處理統(tǒng)一的結果（提交或撤銷）。此外，還為協(xié)調者加入了心跳算法，提高了協(xié)議的可靠性。最后，對提出的事務管理模型進行了仿真實驗，實驗證明了該模型可以保證無線傳感器網絡中事務處理的有效性。

簡介：工作流在應用中的事務通常屬于生命周期較長、恢復屬性多樣的長事務，而長事務一般都有撤消子事務、同時恢復長事務狀態(tài)至該子事務操作之前的需求。在現(xiàn)有的事務模型中，雖然有一些能處理子事務撤消的事務模型，但都對撤消后的補償事務處理得不好，不能滿足工作流長事務的需要。JBPM（JAVABUSINESSPROCESSMANAGEMENT）是一款基于西方業(yè)務流程管理思想的工作流框架，它是一款較成熟的、簡潔實用且高效的工作流管理框架，并且在處理具有中國特色的業(yè)務場景時暴露出很多工作流長事務中的問題。本文針對企事業(yè)使用JBPM引擎處理工作流項目時出現(xiàn)的工作流長事務的問題（包括回退、取回、流程跳轉及補償?shù)龋?，研究了在特定領域下的基于JBPM的長事務的需求共同點與技術難點，并對流程跳轉和補償做了大量分析。本文首先闡述了工作流技術領域的相關概念和原理，介紹了長事務的概念和現(xiàn)有模型；然后分析了具體項目中的有關工作流業(yè)務的功能需求，并給出了這一類業(yè)務流程在實現(xiàn)上的技術難點的解決方案，設計了用于解決這類工作流長事務問題的基于JBPM的長事務插件；最后實現(xiàn)了插件在項目中的具體應用。經過實際項目應用結果表明，本文提出的基于JBPM的長事務插件大幅度減少了項目的工作量，提高了代碼的重用率，幫助編程人員提高了工作效率，實現(xiàn)了應用系統(tǒng)的功能目標。

簡介：中圖分類號K247UDC900密級學校代碼訝L￡解為尤孥碩士學位論文學歷碩士公開10094黑水城所出元代禮儀祭祀文書初探THESTUDIESOFSACRIFICIALRITUALINSTRUMENTSOFTHEYUANDYNASTYUNEARTHEDINHEISHUICITY作者姓名指導教師學科專業(yè)名稱研究方向論文開題日期蔡偉政孫繼民教授中國古代史唐宋新出土文獻研究2010年3月10日／IYIII／LLLLLLLLLT8LLLL／16L／LIIL8LLLFLF7LLLLL6LLLLLL6LLLLLLL學位論文原創(chuàng)性聲明本人所提交的學位論文黑水城所出元代禮儀祭祀文書初探，是在導師的指導下，獨立進行研究工作所取得的原創(chuàng)性成果。除文中已經注明引用的內容外，本論文不包含任何其他個人或集體已經發(fā)表或撰寫過的研究成果。對本文的研究做出重要貢獻的個人和集體，均已在文中標明。本聲明的法律后果由本人承擔。論文作者簽名扣LF每玉其“日蘑沖後廉諱後指剝幣確蘭㈣嘲／硅良扣1年【具FFB～學位論文版權使用授權書本學位論文作者完全了解河北師范大學有權保留并向國家有關部門或機構送交學位論文的復印件和磁盤，允許論文被查閱和借閱。本人授權河北師范大學可以將學位論文的全部或部分內容編入有關數(shù)據庫進行檢索，可以采用影印、縮印或其它復制手段保存、匯編學位論文。保密的學位論文在年解密后適用本授權書II久協(xié)邑7∥叮弓日名月簽F滏R師滓教∥導，扣愀扣KJ勿吖F厶7豫昝∥，O“倒年文“滄礦

簡介：點擊查看更多嵌入式信息系統(tǒng)中移動事務處理模型的研究.pdf精彩內容。

簡介：在數(shù)據庫操作過程中，長事務越來越多，結構也越來越復雜，傳統(tǒng)事務處理模型無法高效的應用于長事務執(zhí)行過程中，而且目前對長事務模型的研究與實現(xiàn)過于困難，所以研究一種能夠應用于現(xiàn)實生活且能夠解決系統(tǒng)中長事務的高級事務模型尤為重要。本論文詳細介紹了事務相關的概念知識、事務的ACID屬性、幾種傳統(tǒng)事務模型、長事務特點以及長事務模型的發(fā)展。通過對多種事務模型的研究，找出更有效的長事務處理技術和恢復技術。在此基礎上，借鑒與傳統(tǒng)事務模型中關鍵任務的思想，進而提出一種基于關鍵任務的長事務分配與調度模型。該模型建立在數(shù)據并行交換的長事務處理環(huán)境和事務DAG圖的基礎之上，并行處理長事務，使得長事務執(zhí)行效率提高。論文給出了模型的模擬實驗實現(xiàn)方法、長事務分解過程、長事務分配調度過程和長事務恢復機制。本文把關鍵任務、調度長度及補償一致點等概念融合到長事務分配與調度模型中，在多處理器并行處理過程中通過關鍵任務的復制來縮短長事務的調度長度，從而提高數(shù)據并行交換中長事務的處理速率。且通過補償一致點的設置來減小長事務某一子事務執(zhí)行失敗時的回滾代價。

簡介：隨著網絡技術的迅速發(fā)展和網絡基礎設施的不斷完善分布式系統(tǒng)已經成為信息處理學科的重要領域如何協(xié)調分布式系統(tǒng)的各個組成服務已經成為熱點。BTP協(xié)議是一套與協(xié)議無關為了協(xié)調多個獨立運行的系統(tǒng)的協(xié)議其定義了一系列XML格式的消息各個系統(tǒng)通過這些消息的交互來最終達到共識。本文在對BTP協(xié)議算法深入研究的基礎上針對BTP協(xié)議算法進行優(yōu)化和改進對基于事務補償處理系統(tǒng)進行分析研究最終實現(xiàn)并驗證基于優(yōu)化后的協(xié)議的事務處理系統(tǒng)。首先詳細分析了BTP協(xié)議從它應用的環(huán)境到BTP協(xié)議定義的概念都進行了分析和解釋。通過對協(xié)議的分析比較了BTP中的業(yè)務事務與傳統(tǒng)的事務概念的異同點。其次為了保證系統(tǒng)在協(xié)調器發(fā)生故障時能夠繼續(xù)運行對原有的BTP協(xié)議算法進行優(yōu)化和改進提出一種基于主輔協(xié)調器的BTP協(xié)議改進算法主輔協(xié)調器協(xié)同工作來協(xié)調各個不同參與者共同完成一個事務避免單一協(xié)調器發(fā)生阻塞或者失效的情況本文在原有的BTP協(xié)議中添加補償機制提出了基于事務補償處理系統(tǒng)對取消的服務使用事務補償?shù)姆椒ǔ废呀浱峤坏姆账a生的影響保證業(yè)務事務的其他操作正常運行并分析基于事務補償處理系統(tǒng)中各模塊的構成及功能。最后在BTP協(xié)議的規(guī)范下設計了一個基于補償?shù)氖聞仗幚韰f(xié)調框架包括整個架構的總體設計、詳細設計畫出了相關的UML圖通過分析測試的需求設計并執(zhí)行了相應的測試案例驗證了基于事務補償處理系統(tǒng)實現(xiàn)的正確性。

簡介：為了適應信息時代的發(fā)展，提高公安機關的辦案工作效率，實現(xiàn)現(xiàn)代化條件下公安機關辦案工作的快捷化，使辦案人員從繁雜的行政案件書面文檔工作中解脫出來，開發(fā)了一套功能實用、時效性高、操作便捷的公安行政案件法律文書管理系統(tǒng)是非常有必要的。論文根據行政案件辦案的流程以及法律文書工作的實際需要及存在的問題，采用軟件工程的方法，結合文獻查閱、調查研究、信息溝通、理論分析等，設計出適合公安行政案件辦案需求的系統(tǒng)功能模塊，包括受案類模塊、調查類模塊、告知類模塊、聽證類模塊、審批類模塊、處罰類模塊、執(zhí)行類模塊、結案類模塊等。在系統(tǒng)研發(fā)中過程中做的主要工作如下1、認真調研，做好系統(tǒng)開發(fā)的需求分析，明確項目開發(fā)的目的和意義，了解相關系統(tǒng)的發(fā)展現(xiàn)狀，確定主要的研究內容。2、分析、歸納系統(tǒng)設計過程中可能用到的重要理論、關鍵技術以及這些理論和技術的具體應用方法。3、確定系統(tǒng)設計的具體功能模塊；繪出系統(tǒng)流程圖；在數(shù)據庫設計部分，給出數(shù)據庫概要說明、數(shù)據字典及數(shù)據表結構。4、編寫代碼實現(xiàn)系統(tǒng)的設計，并通過系統(tǒng)測試不斷修正錯誤，完善系統(tǒng)功能。論文研究了公安行政案件法律文書管理的設計與實現(xiàn)過程，系統(tǒng)采用C＃語言設計開發(fā)，后臺數(shù)據庫使用SQLSERVER2005。論文針對該系統(tǒng)的各功能模塊以及開發(fā)過程中涉及到的技術和工具都進行了較為詳細地闡述。開發(fā)成功的公安行政案件法律文書管理系統(tǒng)對于傳統(tǒng)的手寫記錄辦案過程的方式而言，實現(xiàn)了了案件處理過程的信息化、標準化、高效化，保證了辦案數(shù)據的準確性、完整性、保密性和實時性，有效地提高辦案人員案件處理的效率，為辦案人員辦案提供強有力的支持。

簡介：隨著網絡技術的飛速發(fā)展人們迫切需要實現(xiàn)松散耦合的、語言獨立的、跨平臺的異構應用集成與交互機制。WEB服務作為一種快速發(fā)展的新興技術它支持網絡上可互操作的機器間的交互常常涉及多個服務的協(xié)調與交互需要及時解決運行時隨時可能出現(xiàn)的各種故障或者異常這類過程必須保證多個服務運行結果的可靠性和一致性。這使得它不同于傳統(tǒng)的ACID事務在執(zhí)行過程中無法鎖定資源且簡單的回滾機制無法撤銷已完成動作的影響。因此WEB服務處理環(huán)境需要事務處理技術的支持。事務是容忍系統(tǒng)故障、提高系統(tǒng)可靠性的有效手段。事務可以隱藏復雜的協(xié)調過程、異常處理和恢復細節(jié)減輕編程人員的負擔不必關心復雜的底層活動因而事務技術在分布式環(huán)境中得到了深入研究和廣泛應用。同時WEB服務事務適合開放式的網絡和松耦合的環(huán)境在系統(tǒng)的可靠性和一致性方面面臨新的挑戰(zhàn)。因此研究該問題具有重要的科學意義和應用價值。WEB事務的補償是指用來消除已提交事務所產生的影響也即可以激活補償流程的操作。補償是整個業(yè)務事務能否順利執(zhí)行的關鍵這一流程可以最大限度的消除已提交事務所產生的影響。因此本文針對長運行事務極易出現(xiàn)補償和終止的問題剖析了現(xiàn)有的事務處理機制在STACSTRUCTUREDACTIVITYCOMPENSATION的基礎上擴展了事務處理機制包括改進的補償算子及其操作語義；并給出補償業(yè)務事務的應用映換函數(shù)證明了STAC的表達能力為BPEL提供了一種形式化的語義。本文研究了長運行事務補償機制以及它的應用。其主要研究內容及貢獻如下●針對業(yè)務事務執(zhí)行過程中出現(xiàn)的補償和終止的問題提出了一種基于STAC的擴展事務補償技術。其中包括強制補償算子動態(tài)更新補償算子以及隔離域等有效地保證了長運行事務補償進程的成功執(zhí)行；此外通過經典的業(yè)務訂單例子進一步論證了擴展補償語義的可行性?！駭U展了標簽轉移關系和結構同余關系提出了無等待更新補償謂詞；完善了長運行事務的補償操作語義使得WEB業(yè)務事務可以順利運行為它能廣泛投入商業(yè)應用奠定了基礎。●研究了STAC機制與BPEL的映射關系。其中給出BPEL子集的一個抽象語法結構定義了一個映射轉化函數(shù)T；通過映射轉化函數(shù)實現(xiàn)了BPEL與STAC之間的對應關系為BPEL提供了一個正規(guī)化的語義有力地論證了STAC的表達能力。

簡介：隨著科技的不斷發(fā)展普適計算時代己經到來，大眾對個人，家庭小型事務處理如EMAIL、網絡銀行及個人理財、數(shù)據下載、網上購物、在線繳費、機票預訂等的需求日益增長，PC時代正在邁入PS個人服務器PERSONSERVER時代。這類小型事務處理的特點是私密性強，對服務器資源要求相對不高，應用上要求隨時隨地的更簡單、更方便操作。本研究提出了一種個人家庭瘦服務器的SOC體系架構，包括嵌入式片上系統(tǒng)、硬盤控制器、硬盤、嵌入式文件系統(tǒng)、網絡控制器、網絡接口、物理層芯片等；其特征是SOC作為個人，家庭服務器主體軟硬件系統(tǒng)，內嵌了微處理器、硬盤控制器與以太網控制器IP核，相當于傳統(tǒng)服務器中的處理器、芯片組，具有獨立的嵌入式操作系統(tǒng)內核以及嵌入式文件系統(tǒng)，可通過針對嵌入式系統(tǒng)的應用軟件實現(xiàn)文件服務、打印服務、通訊服務、WEB服務、電子郵件服務、數(shù)據庫服務等功能。本研究針對個人，家庭事務處理瘦服務器系統(tǒng)提出了嵌入式文件系統(tǒng)及其基于SOA三層架構的實現(xiàn)方法。根據“需求語義服務”三層架構的設計思想，完成了文件系統(tǒng)整體設計思路和實現(xiàn)方案。需求層利用UML建模方法、ONTOLOGY語義分析工具PROTEGE及其推理插件PELLET構建了文件業(yè)務系統(tǒng)的領域本體模型從領域模型中提取出了文件系統(tǒng)常用的系統(tǒng)用例，基于此完成用例的實現(xiàn)流程圖。語義層建立了“需求語義描述服務”的語義特征樹，并采用OWLRDF語言對語義特征樹進行了形式語義描述。根據業(yè)務用例、用例場景、業(yè)務步驟的分析過程找出對應的原子業(yè)務即業(yè)務語義概念范疇內最小的業(yè)務單元，根據原子業(yè)務映射到相應的系統(tǒng)需求進行系統(tǒng)建模，并得到對應的原子構件集合，通過形式語義將場景步驟序列描述為由一系列原子構件的組合，完成“需求一語義一服務”三層SOA結構的嵌入式文件系統(tǒng)設計。針對瘦服務器在個人家庭事務處理中的應用架構，本研究將瘦服務器與SOA三層架構融合在一起，提出了一種新的TS體系結構，瘦服務器通過定義良好的語義描述體系，將業(yè)務需求和服務實現(xiàn)聯(lián)系到一起。具體實現(xiàn)為“引擎流程服務”的SOA應用架構。TS體系結構中瘦服務器作為客戶與目標服務器的中間環(huán)節(jié)，把客戶提出的業(yè)務需求轉化為服務請求的工作流；瘦服務器同時也是工作流引擎，驅動執(zhí)行工作流，產生一系列的服務請求操作，輸出報文至部署的目標服務集群。輸出的報文可以是鍵盤緩沖區(qū)的命令行，也可以是鼠標在某個確定位置的擊鍵動作，對應著與目標服務器的交互，瘦服務器通過與目標服務集群的多次交互調用相應的服務以響應客戶需求。最后，本文以網銀系統(tǒng)為例介紹TS系統(tǒng)架構的實施部署。

簡介：點擊查看更多事務中間件在高可用性數(shù)據庫系統(tǒng)中的應用.pdf精彩內容。

簡介：軟件測試是在規(guī)定的條件下對程序進行操作，以發(fā)現(xiàn)程序錯誤，衡量軟件質量，并對其是否能滿足設計要求進行評估的過程。它是幫助識別開發(fā)完成（中間或最終的版本）的計算機軟件（整體或部分）的正確度、完全度和質量的軟件過程，是SQASOFTWAREQUALITYASSURANCE的重要子域。在龍巖煙草一體化事務管理系統(tǒng)的開發(fā)實施過程中，由于對軟件測試工作的重視程度不夠，導致產品推廣應用后存在很多軟件質量問題，影響了產品的正常使用，帶來了不良影響。為了減少龍巖一體化管理系統(tǒng)項目風險，提高軟件測試的效率和質量，本文應用軟件測試和項目管理理論，提出了一套適合龍巖一體化事務管理系統(tǒng)的軟件測試管理方案。具體包括1、針對龍巖煙草一體化管理系統(tǒng)軟件開發(fā)現(xiàn)狀，深入分析了軟件測試中存在的問題；分析并設計了測試進度管理、測試用例管理、缺陷管理、測試任務管理、測試評價等項目管理流程和技術；2、在分析軟件測試需求中業(yè)務需求、用戶需求和功能需求的三個層次的基礎上，建立軟件測試需求分析工作機制，并設計了煙草行業(yè)管理系統(tǒng)軟件測試需求規(guī)格說明模板；3、最后深入分析V模型、W模型和H模型等軟件測試過程模型的優(yōu)缺點，提出了符合實際的改進型V模型和H模型。結合系統(tǒng)開發(fā)項目，對本文提出的體系框架以及解決方案進行了應用及驗證，取得了良好的效果。

簡介：當今世界建筑思潮紛繁復雜，無論建筑理論領域還是實踐領域，都難免存在浮躁的現(xiàn)象。GMP作為理性主義的實踐者，將其理性的設計原則廣泛用于建筑實踐中，為建筑創(chuàng)作界帶來一絲清涼之風。作為當代世界排名第五的建筑事務所，GMP在全球范圍內贏得了廣泛的贊譽。他們在融合理性主義、新理性主義的思想，吸收借鑒諸多建筑大師精髓思想的基礎上，發(fā)展出一套帶有浪漫情懷的理性主義風格。在五十余年的發(fā)展中，GMP的實踐遍布世界各地，其中不乏引起廣泛影響的建筑名作。筆者通過對這些作品廣泛而細致的調研及分析，從環(huán)境、群體、形式、功能、結構、細節(jié)等多個方面，探究其建筑作品的理性之美。本文首先對GMP的發(fā)展脈絡與設計思想起源進行探究。在此基礎之上，對擁有理性思想的GMP建筑師事務所的創(chuàng)作思想、設計手法加以分析、研究與闡述，進而總結出GMP在經營管理，專業(yè)業(yè)務方面的優(yōu)秀特質，從中挖掘出對國內建筑環(huán)境有所裨益的內容，對建筑理論總結與實踐創(chuàng)作提供一定的借鑒意義，以達到本文寫作的最終目的。

簡介：點擊查看更多1、城市休閑廣場設計2、沿河景觀規(guī)劃設計；3、度假酒店外觀及室內設計；4、高級會所建筑外觀及室內設計；5、設計事務所建筑外觀及內部設計.pdf精彩內容。

簡介：點擊查看更多實時數(shù)據庫設計及實現(xiàn)和事務調度算法的研究.pdf精彩內容。

簡介：中圖分類號（四號楷體加黑四號楷體加黑）密級（四號楷體加黑）（四號楷體加黑）UDC（四號楷體加黑）（四號楷體加黑）本校編號10652碩士學位論文論文題目會計師事務所不實審計報告法律責任研究研究生姓名唐寅秋學號2010410100141920104101001419校內指導教師姓名沈萍職稱副教授校外指導教師姓名職務職稱申請學位等級碩士學科法學專業(yè)法律碩士論文提交日期20132013年3月9日論文答辯日期（小四號楷體加黑）（小四號楷體加黑）1內容摘要雖然注冊會計師行業(yè)在我國的發(fā)展時間不長，但隨著市場經濟體制的完善，大量的海內外資本涌入國內市場，人們對公司企業(yè)的財務審計要求也越來越高。會計師事務所的業(yè)務也由單一的審計業(yè)務擴展到審閱、代編財務信息、管理咨詢、稅務服務等，但審計業(yè)務依然是會計師事務所業(yè)務的核心。注冊會計師被稱為“經濟警察”，對被審計單位審計報告的結果直接關系到廣大投資者的資金流向和切身利益。但是近年來，發(fā)生在國內藍田案、銀廣廈案、科隆案；在國外著名的美國能源巨頭安然公司等一大批國內外財務舞弊造假案，阻礙了資源的有效配置和價值取向，給新興的注冊會計師行業(yè)帶來了極大的沖擊。有鑒于此，最高人民法院從1996年開始，發(fā)布了一系列的司法解釋和司法性解釋文件，這些相關的解釋都為規(guī)范經濟市場秩序提供了強有力的法律保障，特別是2007年最高人民法院司法解釋12號關于審理涉及會計師事務所在審計業(yè)務活動中民事侵權賠償案件的若干規(guī)定（以下簡稱法釋【2007】12號）更是對前幾個司法解釋頒布后存在的爭議問題第一次做出明確的規(guī)定。經濟社會向前發(fā)展，法律的修改帶有天然的滯后性，隨著舞弊案的曝光，在出具不實審計報告后會計師事務所的法律責任一直是爭議的話題。因此，本文基于現(xiàn)有法律的規(guī)定和注冊會計師專家責任的特殊性，以在正文中舉出案例的形式引出爭議問題，再對有關問題進行論述，論文分為三個部分第一部分，會計師事務所不實審計報告的案例焦點爭議。首先，文章簡要列舉十年間的典型案例，并對最近三年發(fā)生的典型案例進行論述。然后，提出爭議焦點，為下文理論分析奠定基礎。第二部分，會計師事務所不實審計報告的法律責任。首先，就爭議焦點問題進行分析1、提出不實報告的認定，列出了法律界和會計界的不同標準。分析各自存在的分歧，以及在實踐中應該采用的標準。2、提出了因果關系的認定，列出了兩大法系的不同學說，以及我國在因果關系上應該采用的立場主張。3、闡述了歸責原則的規(guī)定。由于注冊會計師的專業(yè)性和特殊性，所以不能采用傳統(tǒng)的“誰主張，誰舉證”的過錯原則和公平原則，而應當采用過錯推定原則。4、