簡介：政府部門為了降低政府部門行政辦公的運行成本、提高部門的工作效率和服務(wù)水平，在政府部門中辦公自動化系統(tǒng)的應(yīng)用具有重要的意義。為此溫州市農(nóng)業(yè)局辦公室，根據(jù)實際工作需要，決定開發(fā)綜合行政事務(wù)管理信息系統(tǒng)，解決辦公室的管理問題，以提高辦公室工作人員的辦事效率。本文描述的是基于溫州市農(nóng)業(yè)局辦公室的綜合行政事務(wù)管理信息系統(tǒng)的設(shè)計與實現(xiàn)，本文首先通過調(diào)查取證，并且通過與根據(jù)溫州市農(nóng)業(yè)局辦公室的工作人員的溝通進行現(xiàn)場了解實際辦公情況以及各項管理規(guī)定，然后結(jié)合以前的政府部門采購的政務(wù)系統(tǒng)進行系統(tǒng)分析，采用簡單并且功能強大的VISUALBASIC60和ACCESS數(shù)據(jù)庫作為開發(fā)工具，從而開發(fā)出適合溫州市農(nóng)業(yè)局辦公室的綜合行政事務(wù)管理信息系統(tǒng)。本文共分為緒論、系統(tǒng)需求分析、系統(tǒng)開發(fā)工具、數(shù)據(jù)庫設(shè)計、系統(tǒng)設(shè)計與實現(xiàn)和系統(tǒng)測試六大部分，本文設(shè)計并實現(xiàn)了溫州市農(nóng)業(yè)局的辦公室的綜合行政事務(wù)管理信息系統(tǒng)。通過此系統(tǒng)的設(shè)計溫州市農(nóng)業(yè)局的綜合辦公室可以采用本系統(tǒng)進行辦公，這將有助于辦公室工作人員提高辦事效率將有限的時間用于更加多的服務(wù)當(dāng)中。本系統(tǒng)以溫州市農(nóng)業(yè)局的辦公室實際情況為基礎(chǔ)，并且相應(yīng)的拓展了它的功能，為了方便系統(tǒng)的安裝使用，突出了系統(tǒng)的可移植性和可修改性，而且經(jīng)過測試本系統(tǒng)能夠很好的用于溫州市農(nóng)業(yè)局辦公室。本文利用簡單又行之有效的VISUALBASIC60和ACCESS數(shù)據(jù)庫進行系統(tǒng)的設(shè)計和實現(xiàn)，特點就在于此兩個工具設(shè)計的系統(tǒng)能夠在任何運行正常的計算機運行，且安裝簡單，能夠節(jié)約成本，是企事業(yè)單位采用的首選產(chǎn)品。

簡介：碩士學(xué)位論文明清時期徽州地區(qū)的民間法明清時期徽州地區(qū)的民間法以徽州文書為視角以徽州文書為視角FOLKLAWEXISTINGINHUIZHOUREGIONINMINGANDQINGDYNASTYASTHEVIEWOFLOCALDOCUMENTSINHUIZHOU作者姓名馬林華指導(dǎo)教師龍大軒西南政法大學(xué)SOUTHWESTUNIVERSITYOFPOLITICALSCIENCEANDLAW1摘要“一生癡絕處，無夢到徽州”是明代戲劇家湯顯祖在游黃山白岳不果中，對徽州發(fā)出的感情復(fù)雜的感慨。隨著二十世紀五十年代徽州文書的大量面世，學(xué)者們也開始關(guān)注昔日大放異彩的徽州，徽學(xué)研究日漸盛興。徽州文書存世較多，內(nèi)容豐富、繁雜。徽州人素來敬惜字紙，奉行耕讀傳家，子女大多能識文斷字。生活中，鄰里糾紛的解決，兄弟之間的分家析產(chǎn)，商人之間的合伙買賣等均會以契約文書的形式固定于紙張之上。這為徽州文書的大量產(chǎn)生創(chuàng)造了必要的條件。本文選擇以徽州文書為視角，探究存在于徽州地區(qū)的民間法。相比較國家法而言，民間法最突出的特點就是實用至上。它們因為生活需要而產(chǎn)生，也隨著生活環(huán)境的變化而修改或廢棄。由此延伸出的民間法的其他幾個特點，比如，諸法合體、顯著的宗法色彩、經(jīng)驗性、地域性、處罰不確定性，都透露著鄉(xiāng)民的生存智慧和追求富足、祥和的生活愿望。存在于徽州地區(qū)的民間法包括家法族規(guī)、鄉(xiāng)規(guī)民約、會社公約和行業(yè)規(guī)范?；罩莸貐^(qū)鄉(xiāng)民聚族而居的現(xiàn)象非常普遍，宗族觀念在徽州地區(qū)根深蒂固，宗族成為鄉(xiāng)土社會自治中最基本、最有效的組織。家法族規(guī)做為規(guī)范、評價族眾行為的標(biāo)準，成為民間法最重要的組成部分。會社公約和鄉(xiāng)規(guī)民約突破了宗族之間血緣的界限，是以地緣關(guān)系為紐帶設(shè)立的功能各異的組織。但由于徽州地區(qū)聚族而居形成的近乎一姓一村的地域特點，使鄉(xiāng)規(guī)民約和會社公約無不帶上了濃重的宗族色彩。行業(yè)規(guī)范作為徽商之間的“法”，具有“屬人法”的性質(zhì)。在儒家倫理文化熏陶中成長起來的徽商，很早便樹立起良好的信義觀念。在從商的過程中，他們賈而好儒，講求信義，即便遠離故土，以信義為精神的行業(yè)規(guī)范，也約束著整個徽商群體的經(jīng)營行為。雖則明清時期徽州地區(qū)民間法十分活躍，國家法也并未因此而隱退，它們共同存在于徽州地區(qū)。在調(diào)整鄉(xiāng)民行為的過程中，它們處在既相互沖突，又相互調(diào)適，甚至相互融合的動態(tài)轉(zhuǎn)換過程中。簡要而言，本文主要圍繞以下主題展開家法族規(guī)、鄉(xiāng)規(guī)民約、風(fēng)俗習(xí)慣這些民間法相對于國家法而言，首先應(yīng)被定義為法。其次，它們在徽州文書中得到了全面的體現(xiàn)。

簡介：在FCES路由器結(jié)構(gòu)中包括一個控制件CONTROLELEMENTCE和多個轉(zhuǎn)發(fā)件FWARDINGELEMENTFE并且一個CE控制和管理著上百個FE。在FCES路由器中存在著事務(wù)TRANSACTION比如路由路徑和資源的預(yù)留。傳統(tǒng)的事務(wù)模型使用嚴格的二階段提交協(xié)議即只要存在一個子事務(wù)執(zhí)行失敗就必須回滾整個事務(wù)使系統(tǒng)回到執(zhí)行之前的狀態(tài)當(dāng)且僅當(dāng)所有的子事務(wù)都執(zhí)行成功時整個事務(wù)才可以提交。這種ALLNOT全提交或全不提交的事務(wù)部署方式影響了整個系統(tǒng)的性能同時也一定程度的影響了事務(wù)的部署成功率。因而前人在傳統(tǒng)事務(wù)模型的基礎(chǔ)上提出了嵌套的事務(wù)模型即當(dāng)出現(xiàn)某個子事務(wù)執(zhí)行失敗時該模型只回滾部署失敗的子事務(wù)而保留部署成功的節(jié)點的狀態(tài)然后使用失敗節(jié)點的替代節(jié)點來繼續(xù)完成整個事務(wù)。在已有的嵌套事務(wù)模型的基礎(chǔ)上本文做了如下的工作首先在嵌套事務(wù)的基礎(chǔ)上提出了動態(tài)的嵌套事務(wù)模型即動態(tài)的尋找替代子事務(wù)當(dāng)存在某個子事務(wù)執(zhí)行失敗時找到該子事務(wù)節(jié)點的左右鄰居節(jié)點尋找這兩個鄰居節(jié)點之間的其它路徑如果存在則部署該路徑上的子事務(wù)若不存在則繼續(xù)尋找該鄰居節(jié)點的鄰居節(jié)點并循環(huán)上述操作直到找到另一條路徑來執(zhí)行事務(wù)其次本文使用數(shù)學(xué)公式證明了在FCES路由器中動態(tài)的嵌套事務(wù)模型較嵌套事務(wù)模型的優(yōu)勢同進證明了該模型較傳統(tǒng)的事務(wù)模型在時間上的的優(yōu)越性并通過計算機仿真實驗使結(jié)果顯得更直觀。除此以外本文還研究了FCES路由器中的兩種部署方式即單播的部署方式和組播的部署方式通過公式證明了這兩種方式的優(yōu)缺點并提出最優(yōu)的部署方式最后基于FCES協(xié)議中已有的對事務(wù)機制的描述本文分別對傳統(tǒng)事務(wù)模型和動態(tài)的嵌套事務(wù)的實現(xiàn)過程進行了設(shè)計。

簡介：點擊查看更多福建高職院校事務(wù)管理系統(tǒng)的設(shè)計與實現(xiàn).pdf精彩內(nèi)容。

簡介：語義WEB服務(wù)是傳統(tǒng)的WEB服務(wù)在最新的語義WEB技術(shù)下的延伸能夠使網(wǎng)絡(luò)環(huán)境下異構(gòu)WEB服務(wù)的組合過程呈現(xiàn)運行時的動態(tài)性、自動化和智能化等特征具有非常重要和廣泛的應(yīng)用前景如電子商務(wù)、企業(yè)信息系統(tǒng)等。因此引起人工智能領(lǐng)域、形式化方法和自動推理領(lǐng)域?qū)W者的高度關(guān)注提出的語義WEB服務(wù)組合方法層出不窮。針對目前以上兩個領(lǐng)域內(nèi)一些主流研究方法尚不支持對WEB服務(wù)并發(fā)行為表示和推理的現(xiàn)狀提出了一種基于并發(fā)事務(wù)邏輯的語義WEB服務(wù)組合方法。同時為了改善當(dāng)前流行的集中式語義WEB服務(wù)組合系統(tǒng)架構(gòu)存在的動態(tài)性差容錯能力弱等缺陷基于多AGENT理論構(gòu)建了一種靈活、自適應(yīng)的分布式服務(wù)組合框架。并發(fā)事務(wù)邏輯CTR是一種由謂詞邏輯擴展而來的知識表示與推理工具能夠?qū)ο到y(tǒng)的順序和并發(fā)行為描述與推理。本文在運用并發(fā)事務(wù)邏輯工具推理語義WEB服務(wù)組合問題上開展了深入研究取得了一些成果建立了OWLS服務(wù)組合控制結(jié)構(gòu)的PETRI網(wǎng)模型和等價并發(fā)事務(wù)邏輯公式表示特別是并發(fā)結(jié)構(gòu)運用并發(fā)事務(wù)邏輯的HN公式成功刻畫了服務(wù)的流程、交互、約束條件以及輸入輸出等內(nèi)容并將服務(wù)組合問題轉(zhuǎn)化為HN目標(biāo)公式的可滿足性的證明根據(jù)并發(fā)事務(wù)邏輯推理規(guī)則設(shè)計了一個多項式時間復(fù)雜度的服務(wù)組合算法。這些成果為今后語義WEB服務(wù)組合方法的研究提供了有益參考。MAS技術(shù)給復(fù)雜分布式系統(tǒng)的開發(fā)帶來了極大的便利和優(yōu)勢。本文研究了語義WEB服務(wù)和MAS的整合問題構(gòu)建了一種基于多AGENT交互和多AGENT聯(lián)盟的分布式服務(wù)組合框架并基于并發(fā)事務(wù)邏輯構(gòu)建了相應(yīng)的服務(wù)組合分布式求解模型給語義WEB服務(wù)應(yīng)用的開發(fā)和部署帶來了極大的靈活性和自適應(yīng)性。

簡介：WEB服務(wù)作為一種新型的分布式計算模型，具有高度的互操作性、跨平臺和松耦合等優(yōu)點，得到了世界范圍內(nèi)學(xué)術(shù)界和工業(yè)界的極大關(guān)注。但是單個WEB服務(wù)通常功能有限，無法滿足復(fù)雜應(yīng)用的需求，因此需要將現(xiàn)存的WEB服務(wù)組合起來以形成增值的組合服務(wù)。一方面，隨著WEB服務(wù)數(shù)量的迅速增加，功能相似但非功能屬性不同的服務(wù)越來越多，在滿足用戶指定的QOS約束下，如何從候選服務(wù)列表中選擇合適的WEB服務(wù)，是極具挑戰(zhàn)性的熱點研究課題。另一方面，WEB服務(wù)部署在不可靠的網(wǎng)絡(luò)環(huán)境中，其執(zhí)行可能存在各種失敗風(fēng)險；事務(wù)處理技術(shù)被用于解決組合服務(wù)因WEB服務(wù)執(zhí)行失敗而導(dǎo)致的數(shù)據(jù)或邏輯不一致性等問題；由于單個WEB服務(wù)的事務(wù)屬性各異，怎樣確保組合服務(wù)滿足原子一致性是另一極具挑戰(zhàn)性問題。另外，由于參與組合服務(wù)執(zhí)行的WEB服務(wù)來自不同的服務(wù)提供者、不同的自治域，以及INTER的開放、多變特征，組合服務(wù)在實際執(zhí)行過程中會發(fā)生某些WEB服務(wù)失效，導(dǎo)致它無法繼續(xù)執(zhí)行；因此組合服務(wù)迫切需要一種恢復(fù)機制來處理WEB服務(wù)失效問題。針對以上問題，本文開展以下幾個方面的研究。1提出事務(wù)組合服務(wù)的構(gòu)建與處理規(guī)則。本文在已有事務(wù)模型的基礎(chǔ)上，針對現(xiàn)有研究僅僅針對順序模式的研究現(xiàn)狀，提出了并行模式下的構(gòu)建與處理規(guī)則；利用反證法和數(shù)學(xué)歸納法證明了它的正確性；其正確性包括可靠性和完整性?？煽啃灾甘聞?wù)組合服務(wù)的構(gòu)建與處理規(guī)則能夠保證組合服務(wù)的原子一致性；完整性，所有具有原子一致性的組合情況都可以由構(gòu)建與處理規(guī)則構(gòu)造出來。2提出基于蟻群系統(tǒng)的事務(wù)服務(wù)選擇算法。首先將服務(wù)選擇問題建模為多約束多目標(biāo)優(yōu)化問題；然后改進傳統(tǒng)的單目標(biāo)優(yōu)化蟻群算法，使之滿足多維QOS優(yōu)化的要求；最后將構(gòu)建與處理規(guī)則用于算法中候選服務(wù)的查找，不僅保證了組合服務(wù)的原子一致性，而且縮小了搜索空間，大大提高了算法的效率。3提出基于替換的服務(wù)恢復(fù)算法。本文主要從服務(wù)替換的角度考慮服務(wù)恢復(fù)，同時結(jié)合構(gòu)建與處理規(guī)則確保組合服務(wù)滿足原子一致性。首先提出服務(wù)執(zhí)行路徑選擇算法，該算法從服務(wù)選擇算法求出的多個組合方案中選擇一個有利于恢復(fù)的方案；然后介紹了備份路徑和切換代價的概念，并提出備份路徑查找算法和基于正反饋的局部誘導(dǎo)算法；最后基于備份路徑查找算法和局部誘導(dǎo)算法提出保證組合服務(wù)端到端的QOS約束的服務(wù)恢復(fù)算法。

簡介：隨著全省審計業(yè)務(wù)的不斷發(fā)展，審計范圍的不斷擴大，原來構(gòu)建的以單一審計業(yè)務(wù)信息化為目標(biāo)的審計數(shù)據(jù)庫，已經(jīng)無法滿足審計業(yè)務(wù)需要，迫切需要進行升級，構(gòu)建能夠同時支持多個審計業(yè)務(wù)審計的統(tǒng)一審計數(shù)據(jù)中心，通過該數(shù)據(jù)中心可以把審計廳近年來獲得的被審單位原始數(shù)據(jù)進行有效的整合，為進一步構(gòu)建財務(wù)審計、社保審計、公積金審計、稅務(wù)審計、醫(yī)院等計算機審計業(yè)務(wù)奠定數(shù)據(jù)基礎(chǔ)。因此，建設(shè)一個整合各行業(yè)審計數(shù)據(jù)的，能良好運行的審計數(shù)據(jù)中心，是審計事業(yè)發(fā)展的必然趨勢。本文總結(jié)時態(tài)數(shù)據(jù)庫和事務(wù)計算技術(shù)的研究現(xiàn)狀以及成果的基礎(chǔ)上，針對審計數(shù)據(jù)中心的特點，討論了原有的基于非時態(tài)數(shù)據(jù)的審計方法轉(zhuǎn)移到具有時態(tài)屬性的審計數(shù)據(jù)中心語義變化的問題，以及審計數(shù)據(jù)中心事務(wù)并發(fā)調(diào)度的解決方法。本文通過給出時態(tài)關(guān)系的定義以及等價變換規(guī)則，將關(guān)系代數(shù)轉(zhuǎn)成語法樹，提出用啟發(fā)式搜索的思想來進行等價代換的選擇。最終以等價代換結(jié)果來判斷兩個時態(tài)關(guān)系代數(shù)的等價性，從而判斷非時態(tài)SQL是否保持原有語義。通過給出一個保證事務(wù)時態(tài)一致性的并發(fā)控制協(xié)議，同時這個協(xié)議保證沖突可串行性，保證了基于時態(tài)數(shù)據(jù)的事務(wù)執(zhí)行結(jié)果的正確，也保證了事務(wù)能進行并發(fā)控制的前提。在事務(wù)能進行并發(fā)控制的前提下，進一步對并發(fā)策略進行優(yōu)化，提出事務(wù)分割算法，對事務(wù)進行分割，并且保證沖突可串行性。最后通過在仿真的審計數(shù)據(jù)中心環(huán)境下，設(shè)計和實現(xiàn)了適用于審計數(shù)據(jù)中心的事務(wù)并發(fā)調(diào)度器，并通過實驗驗證了本文提出的方法的正確性和適用性。

簡介：點擊查看更多中國國際海洋事務(wù)的話語權(quán)問題研究.pdf精彩內(nèi)容。

簡介：隨著集成電路技術(shù)的不斷發(fā)展，依靠增加單核處理器結(jié)構(gòu)復(fù)雜度與提高工作頻率來提升微處理器性能的方法出現(xiàn)了收益遞減現(xiàn)象。片上多處理器以其強大的線程級并行處理能力，高效的資源利用率，良好的設(shè)計擴展性成為微處理器設(shè)計發(fā)展方向。片上多處理器技術(shù)帶來的核間數(shù)據(jù)交換與存儲層次結(jié)構(gòu)的變化，直接影響到處理器芯片的性能和編程模式。因此，多核共享存儲機制和線程并行編程機制的研究成為提高多核結(jié)構(gòu)效能的關(guān)鍵問題之一。事務(wù)存儲正是為了解決多處理器共享存儲并行編程困難問題而提出的，利用事務(wù)的原子特性進行編程，程序員只需關(guān)注哪里需要添加原子性操作，而不是怎么保證這樣的原子性，從而降低了并行編程的難度。本文從系統(tǒng)角度綜合考慮硬件事務(wù)存儲的發(fā)展趨勢與面臨的挑戰(zhàn)，重點研究處理器硬件事務(wù)存儲微結(jié)構(gòu)，支持高速緩存一致性與事務(wù)存儲的存儲結(jié)構(gòu)及其片上多處理器系統(tǒng)仿真驗證平臺。首先，針對硬件事務(wù)存儲結(jié)構(gòu)進行邏輯實現(xiàn)的發(fā)展趨勢，本文提出一種基于嵌入式處理器微體系結(jié)構(gòu)進行的硬件事務(wù)存儲擴展設(shè)計方法。融合處理器流水線與存儲結(jié)構(gòu)，采用模塊化的結(jié)構(gòu)設(shè)計，探索事務(wù)存儲結(jié)構(gòu)對處理器微體系結(jié)構(gòu)及關(guān)鍵路徑的影響。我們主要針對處理器存儲執(zhí)行單元、流水線控制單元以及指令譯碼單元進行修改擴展設(shè)計，并且通過設(shè)計事務(wù)存儲硬件指令，為軟件人員提供事務(wù)并行編程接口。邏輯綜合結(jié)果表明，硬件事務(wù)存儲微結(jié)構(gòu)擴展設(shè)計，在片上存儲單元配置占總面積65％的嵌入式處理器基礎(chǔ)上，共增加21面積與18功耗開銷，而不會改變處理器的關(guān)鍵路徑，對處理器結(jié)構(gòu)影響較小。為硬件事務(wù)存儲在處理器微結(jié)構(gòu)上進行邏輯實現(xiàn)提供解決方案。其次，針對鎖同步機制與事務(wù)存儲機制并存現(xiàn)狀，本文提出一種支持高速緩存一致性與硬件事務(wù)存儲的TMESI目錄協(xié)議。在嵌入式處理器結(jié)構(gòu)上，通過數(shù)據(jù)緩存狀態(tài)標(biāo)志位的擴展，以及存儲流水線控制單元的設(shè)計優(yōu)化實現(xiàn)對TMESI協(xié)議的支持。利用片上互連網(wǎng)絡(luò)設(shè)計構(gòu)建同構(gòu)8核共享存儲架構(gòu)實驗平臺。使用數(shù)據(jù)庫類型的售票系統(tǒng)微程序以及科學(xué)計算核心算法程序，分別采用鎖同步機制與事務(wù)存儲機制進行編程，實驗結(jié)果表明，TMESI協(xié)議的事務(wù)存儲機制相比于普通事務(wù)存儲機制，對于不同特性的應(yīng)用程序有1～17的性能提升。對于售票系統(tǒng)這類數(shù)據(jù)依賴關(guān)系不明確的程序，事務(wù)存儲能夠發(fā)揮其推測執(zhí)行的優(yōu)勢，相比于鎖同步機制具有更好的并行性能；而對于具有明確數(shù)據(jù)依賴關(guān)系的科學(xué)計算核心算法程序，粗顆粒度鎖同步機制與事務(wù)存儲機制的性能基本相當(dāng)，而細顆粒度鎖相比事務(wù)存儲并行性能表現(xiàn)更好，最多能夠有14的性能提高。最后，針對規(guī)模日益擴大的片上多處理器系統(tǒng)對于仿真驗證工具的仿真速度、準確性與擴展性要求不斷提高的需求，本文提出基于多片F(xiàn)PGA的硬件驗證平臺設(shè)計。根據(jù)所設(shè)計的基于片上網(wǎng)絡(luò)互連的多核系統(tǒng)特點，采用將處理器與片上互連網(wǎng)絡(luò)分開映射到不同F(xiàn)PGA的劃分映射驗證方式，能夠?qū)崿F(xiàn)FPGA之間的并行數(shù)據(jù)傳輸，從而避免了多數(shù)已有驗證平臺在FPGA間采用時分復(fù)用或串行方式進行數(shù)據(jù)傳輸所帶來的仿真速度降低與修改目標(biāo)系統(tǒng)微結(jié)構(gòu)的弊端。驗證平臺使用高速串行接口進行互連擴展，可以支持大規(guī)模的系統(tǒng)驗證開發(fā)，具有良好的擴展性。多個不同架構(gòu)的片上多核系統(tǒng)進行實際映射驗證及應(yīng)用程序運行，處理器最高能夠運行于108MHZ，相比于軟件仿真器可以達到104數(shù)據(jù)級的仿真速度提升。實驗表明所設(shè)計的硬件驗證平臺可以極大地減少系統(tǒng)評估時間，在支持硬件結(jié)構(gòu)的邏輯驗證的同時，能夠幫助相應(yīng)的多核系統(tǒng)軟件開發(fā)，對于存在多種設(shè)計選擇的片上多核系統(tǒng)進行設(shè)計空間探索能夠起到很好的輔助作用。

簡介：交易中間件又稱事務(wù)監(jiān)控器，是為實現(xiàn)處理分布式計算環(huán)境的交易而設(shè)計的，它一種特殊系統(tǒng)級別的基礎(chǔ)軟件架構(gòu)，它使用操作系統(tǒng)、網(wǎng)絡(luò)和數(shù)據(jù)庫的提供的接口，為應(yīng)用程序提供各種服務(wù)。其核心作用是為應(yīng)用提供基礎(chǔ)架構(gòu)，保證分布式應(yīng)用系統(tǒng)的交易處理結(jié)果的一致性和及時的交易響應(yīng)，使整個系統(tǒng)達到較高的吞吐率，較大并發(fā)處理能力，724不間斷提供服務(wù)。交易中間件的核心模型是XOPEN組織定義的分布式交易處理DISTRIBUTEDTRANSACTIONPROCESSING簡稱DTP模型。DTP模型理是定義了分布式事務(wù)處理的過程和規(guī)范。它為實現(xiàn)分布式事務(wù)奠定了基礎(chǔ)，保證了分布式事務(wù)的一致性和完整性。同時保證分布式事務(wù)的一致性和完成性也是本課題研究的主題。本文主要通過基于自主研發(fā)的交易中間件項目簡稱IXTOP，采用C語言在主流的UNIX環(huán)境下設(shè)計并實現(xiàn)了分布式交易環(huán)境下的事務(wù)處理平臺，實現(xiàn)了客戶端和服務(wù)端事務(wù)處理功能。本文首先闡述了中間件的優(yōu)點和其發(fā)展趨勢，隨后對事務(wù)概念、分布式事務(wù)處理模型（DTP模型）、兩階段提交協(xié)議及XA規(guī)范等事務(wù)處理用到的關(guān)鍵技術(shù)進行了探討和分析。在系統(tǒng)需求分析方面，從系統(tǒng)功能需求和非功能需求兩個方面著手完成了分布式事務(wù)的需求分析，在系統(tǒng)架構(gòu)方面，采用多進程和多機群的架構(gòu)設(shè)計，提高系統(tǒng)性能，避免了單點故障。最后，設(shè)計和實現(xiàn)了客戶端發(fā)起事務(wù)和服務(wù)端發(fā)起事務(wù)兩個典型的分布式事務(wù)應(yīng)用場景。該項目的成功實施，不但減少了開發(fā)一個分布式交易處理系統(tǒng)所需的編程量，而且提高了分布式系統(tǒng)的可擴展性和可維護性。該產(chǎn)品被廣泛應(yīng)用于銀行、證券、電信和制造業(yè)等行業(yè)的核心交易系統(tǒng)。基于IXTOP的某大型制造企業(yè)制造執(zhí)行系統(tǒng)簡稱MES已成功上線并且穩(wěn)定運行多年。在金融業(yè)方面，某某中遠期現(xiàn)貨交易系統(tǒng)撮合子系統(tǒng)也是基于IXTOP。

簡介：企業(yè)行政管理系統(tǒng)是由行政部門組織實施、操作、其觸角深入到企業(yè)各個部門和分支機構(gòu)的一個完整的系統(tǒng)、網(wǎng)絡(luò)可以說是企業(yè)的中樞神經(jīng)系統(tǒng)它推動和保證著企業(yè)的生產(chǎn)、資金、經(jīng)營等業(yè)務(wù)的順利、有效進行。行政事務(wù)系統(tǒng)是行政管理系統(tǒng)里面的一個重要部分它主要管理企業(yè)內(nèi)部日常繁瑣的工作使企業(yè)各部門能夠很好的管理部門內(nèi)部的日常事務(wù)方便各部門與行政部門的溝通與協(xié)作提高辦事效率。本文以“行政事務(wù)為主線分析公司一般內(nèi)部行政事務(wù)以不同角色為事件驅(qū)動主要分為“會議室管理”、“物品領(lǐng)用”、“車輛管理”、“物品報損”、“日周巡檢、“快遞管理”、“審批管理”、“統(tǒng)計報表”等功能。建立起一個公司一般內(nèi)部行政事務(wù)的數(shù)據(jù)共享平臺協(xié)助行政部門加強部門內(nèi)部溝通以及管理減輕日常繁瑣的工作內(nèi)容和提高工作效率實現(xiàn)行政事務(wù)管理的公開和高效以及實現(xiàn)數(shù)據(jù)統(tǒng)一平臺的備份和查詢。通過對系統(tǒng)的數(shù)據(jù)分析為企業(yè)的發(fā)展提供指導(dǎo)性意見。系統(tǒng)在SOA面向服務(wù)的架構(gòu)下采用平臺、SQLSERVER2008數(shù)據(jù)庫進行軟件開發(fā)。論文通過分析行政事務(wù)管理的需求進行系統(tǒng)功能設(shè)計和數(shù)據(jù)庫設(shè)計并實現(xiàn)系統(tǒng)的主要功能模塊。本文介紹論文研究背景、研究目標(biāo)和業(yè)務(wù)需求著重論述系統(tǒng)功能的設(shè)計和實現(xiàn)。從系統(tǒng)目標(biāo)、設(shè)計思路和需求分析著手描述系統(tǒng)總體架構(gòu)的設(shè)計方案、系統(tǒng)設(shè)計的關(guān)鍵點和關(guān)鍵技術(shù)、系統(tǒng)的功能設(shè)計和數(shù)據(jù)庫設(shè)計并設(shè)計和實現(xiàn)了系統(tǒng)的主要功能模塊。同時也對系統(tǒng)測試過程做了相關(guān)說明及描述。

簡介：山西大學(xué)2013屆法律碩士學(xué)位論文裁判文書說理問題研究作者姓名指導(dǎo)教師學(xué)科專業(yè)研究方向培養(yǎng)單位學(xué)習(xí)年限韓玉剛董玉明教授翟瑞卿教授法律碩士法學(xué)訴訟法法學(xué)院2010年9月2013年6月二O一三年六月承諾書本人鄭重聲明所呈交的學(xué)位論文，是在導(dǎo)師指導(dǎo)下獨立完成的，學(xué)位論文的知識產(chǎn)權(quán)屬于山’西大學(xué)。如果今后以其他單位名義發(fā)表與在讀期間學(xué)位論文相關(guān)的內(nèi)容，將承擔(dān)法律責(zé)任。除文中已經(jīng)注明引用的文獻資料外，本學(xué)位論文不包括任何其他個人或集體已經(jīng)發(fā)表或撰寫過的成果。耋警簍毫侍妻』芋鼽瑰訓(xùn)指導(dǎo)教師簽章。1’校俐幣穆西、八桫卜剔幣捧媯≮／呷201年‘月夕日21

簡介：研究基于事務(wù)模型的工作流管理平臺的軟件體系結(jié)構(gòu)是為了滿足軟件系統(tǒng)模式設(shè)計與現(xiàn)代企業(yè)應(yīng)用新需求的銜接而展開的。本文從軟件體系結(jié)構(gòu)的高度基于事務(wù)模型對智慧城市領(lǐng)域的事務(wù)工作流管理軟件應(yīng)用平臺進行研究解決基于事務(wù)模型的智慧城市領(lǐng)域工作流管理軟件平臺的軟件構(gòu)件復(fù)用問題。主要完成如下方面的工作第一提出智慧城市事務(wù)工作流管理平臺領(lǐng)域模型。主要包括管理平臺本體模型、管理平臺信息模型、管理平臺場景模型、管理平臺特征模型、管理平臺業(yè)務(wù)模型和智慧城市事務(wù)工作流管理平臺的領(lǐng)域字典。第二提出智慧城市事務(wù)工作流管理平臺軟件體系結(jié)構(gòu)。主要包括平臺的構(gòu)件與連接件和配置文件并在詳細流程分析的基礎(chǔ)上進行用例業(yè)務(wù)功能的設(shè)計給出角色用例間業(yè)務(wù)聯(lián)系和角色用例內(nèi)業(yè)務(wù)聯(lián)系。第三在智慧城市事務(wù)工作流管理平臺軟件體系結(jié)構(gòu)的理論基礎(chǔ)之上給出該系統(tǒng)平臺的實例化系統(tǒng)原型中新生態(tài)城工作流管理平臺。本文的創(chuàng)新點是對智慧城市工作流管理平臺采用基于事務(wù)模型的軟件體系結(jié)構(gòu)設(shè)計將事務(wù)模型更好的融合進工作流管理領(lǐng)域給出了基于事務(wù)模型的智慧城市事務(wù)工作流管理平臺的軟件體系結(jié)構(gòu)實現(xiàn)方法從根本上提高事務(wù)工作流管理平臺的軟件復(fù)用率。

簡介：荷蘭一直以高水平的建筑設(shè)計而享譽世界尤其是庫哈斯成名之后更將世界建筑師的眼光吸引到荷蘭。本文通過對紐特林里代克建筑師事務(wù)所的介紹讓人們能夠更全面的了解多元化的荷蘭建筑界。針對不同項目出現(xiàn)的不同問題紐特林里代克建筑師事務(wù)所會采用不同的解答策略對實際問題的解答是他們作品中的隱藏線索。面對設(shè)計中的問題紐特林里代克建筑師事務(wù)所提倡有節(jié)制的創(chuàng)新認為創(chuàng)新應(yīng)該建立在對舊有建筑類型和概念研究的基礎(chǔ)之上。對于建筑與城市之間的關(guān)系紐特林里代克建筑師事務(wù)所認為可以從兩方面進行考慮。一方面是表皮表皮需要表達建筑在城市中的形象使得建筑成為城市中的名片另一方面是公共空間在公共建筑中廣場空間或者公共空間應(yīng)該延伸至建筑內(nèi)部成為建筑內(nèi)部空間的一部分。在建筑尺度越來越大的今天表皮與內(nèi)部空間之間的矛盾日益突顯因此建筑的內(nèi)與外可以在兩個體系下進行設(shè)計二者之間的關(guān)系具有模糊性。本文借鑒了大量的中英文文獻、期刊雜志及網(wǎng)絡(luò)資料通過對其成長背景、建筑思想、手法及案例的分析力求從廣度和深度上對紐特林里代克建筑師事務(wù)所進行分析研究較為全面地揭示其設(shè)計理念和方法。

簡介：學(xué)校代碼10125專業(yè)代碼025700碩士學(xué)位論文題目關(guān)于A股上市商業(yè)銀行聘用會計師事務(wù)所問題的研究一基于“江蘇銀行”的分析姓名丁建召專業(yè)審計碩士研宄方向______社會審計所屬學(xué)院會計學(xué)院指導(dǎo)教師劉春慧二〇一七年二月二十日學(xué)位論文原創(chuàng)性聲明本人鄭重聲明所呈交的學(xué)位論文，是本人在導(dǎo)師的指導(dǎo)下，獨立進行研宄工作所取得的成果。除文中己經(jīng)注明引用的內(nèi)容外，本論文不包含任何其他個人或集體己經(jīng)發(fā)表或撰寫過的作品成果。對本文的研宄所做出重要貢獻的個人和集體，均己在文中以明確方式標(biāo)明。本人完全意識到本聲明的法律結(jié)果由本人承擔(dān)。學(xué)位論文作者簽名日期年月日