簡(jiǎn)介：WEB服務(wù)的出現(xiàn)給企業(yè)應(yīng)用帶來了前所未有的商機(jī)。經(jīng)過近幾年的發(fā)展，WEB服務(wù)及其組合技術(shù)已經(jīng)逐步完善和規(guī)范，并為許多商業(yè)組織所采用。作者所參與的研究小組提出了業(yè)務(wù)服務(wù)模型和基于業(yè)務(wù)服務(wù)的組合服務(wù)執(zhí)行平臺(tái)BCSEP，在對(duì)WEB服務(wù)進(jìn)行業(yè)務(wù)領(lǐng)域?qū)哟蔚陌b的同時(shí)，提供了一個(gè)基于WEB服務(wù)組合快速構(gòu)建企業(yè)應(yīng)用的平臺(tái)。在WEB服務(wù)組合中常常需要處理多個(gè)成員WEB服務(wù)之間的交互和組合過程，這類過程必須保證多個(gè)WEB服務(wù)運(yùn)行結(jié)果的可靠性和一致性，并能及時(shí)解決運(yùn)行時(shí)發(fā)生的各種異常，這就需要在WEB服務(wù)組合環(huán)境中提供對(duì)事務(wù)處理的支持。本文重點(diǎn)對(duì)BCSEP中的事務(wù)處理機(jī)制進(jìn)行了研究。WEB服務(wù)組合系統(tǒng)中的事務(wù)處理不同于傳統(tǒng)數(shù)據(jù)庫(kù)系統(tǒng)。在WEB服務(wù)所處的松耦合環(huán)境下，事務(wù)的正確性不能完全遵循傳統(tǒng)的ACID屬性標(biāo)準(zhǔn)，長(zhǎng)運(yùn)行的WEB服務(wù)組合事務(wù)需要放松的事務(wù)ACID屬性，可以通過補(bǔ)償事務(wù)來滿足全局事務(wù)放松的原子性和一致性。針對(duì)BCSEP平臺(tái)的具體需求，本文提出了一個(gè)基于補(bǔ)償?shù)氖聞?wù)處理機(jī)制，即使用補(bǔ)償?shù)姆椒▽?duì)已提交的服務(wù)執(zhí)行結(jié)果進(jìn)行回滾。在BCSEP中，通過在事件處理器中加入事務(wù)協(xié)調(diào)器來支持事務(wù)處理功能。事務(wù)協(xié)調(diào)器主要負(fù)責(zé)平臺(tái)中事務(wù)的啟動(dòng)、協(xié)調(diào)與管理，在運(yùn)行過程中，它不斷與事件處理器中業(yè)務(wù)流程處理模塊進(jìn)行交互，完成事務(wù)過程的協(xié)調(diào)和管理。本文設(shè)計(jì)并實(shí)現(xiàn)了BCSEP中的支持事務(wù)處理機(jī)制的事件處理器，在服務(wù)消息中加入事務(wù)協(xié)調(diào)消息來傳遞事務(wù)處理信息，并在事務(wù)協(xié)調(diào)器中維護(hù)一張事務(wù)參與者服務(wù)的執(zhí)行狀態(tài)表來對(duì)服務(wù)的執(zhí)行狀態(tài)進(jìn)行管理。為了在業(yè)務(wù)流程中表示事務(wù)信息，在服務(wù)間事件映射關(guān)系中加入了事務(wù)標(biāo)識(shí)信息，并通過服務(wù)間映射生成規(guī)則表達(dá)式和共享數(shù)據(jù)暫存機(jī)制，保證平臺(tái)中業(yè)務(wù)流程和事務(wù)過程的正確執(zhí)行。

簡(jiǎn)介：點(diǎn)擊查看更多XML數(shù)據(jù)庫(kù)事務(wù)及并發(fā)控制機(jī)制的研究.pdf精彩內(nèi)容。

簡(jiǎn)介：以INTER為代表的信息技術(shù)的快速發(fā)展和成熟應(yīng)用改變著企業(yè)的商業(yè)環(huán)境，使商業(yè)運(yùn)行節(jié)奏越來越快，企業(yè)的價(jià)值鏈更加緊密和多樣，這種改變引導(dǎo)軟件技術(shù)和軟件產(chǎn)品的發(fā)展方向異構(gòu)性、事務(wù)能力和分布性。事務(wù)工作流管理系統(tǒng)是一個(gè)實(shí)現(xiàn)企業(yè)應(yīng)用集成的技術(shù)手段和工具平臺(tái)，它不但能夠把不同的應(yīng)用流程、不同的應(yīng)用功能集成起來，在工作流運(yùn)行平臺(tái)的支持下，有效地自動(dòng)執(zhí)行和管理這些應(yīng)用。而且利用事務(wù)工作流的事務(wù)管理功能，保證這些被集成的應(yīng)用中的每一次計(jì)算的正確性，進(jìn)而保證全系統(tǒng)的正確性。研究工作流事務(wù)管理模型就是為了滿足現(xiàn)代企業(yè)應(yīng)用的新需求而開展的。本文在總結(jié)了面向數(shù)據(jù)的數(shù)據(jù)庫(kù)事務(wù)管理模型的基礎(chǔ)上，對(duì)目前采用的面向過程的事務(wù)模型進(jìn)行了全面的分析，提出了樂觀嵌套事務(wù)模型。該模型基于多數(shù)據(jù)版本、并發(fā)控制理論，借用時(shí)間戳的概念，通過對(duì)不同事務(wù)中活動(dòng)類型的分類，較好地解決了長(zhǎng)執(zhí)行事務(wù)和協(xié)同事務(wù)的可靠性和正確性問題，提高了工作流運(yùn)行的效率。

簡(jiǎn)介：WEB數(shù)據(jù)挖掘是在WEB資源環(huán)境中根據(jù)用戶的瀏覽行為提取出用戶關(guān)心的、有價(jià)值的信息過程。WEB使用挖掘是數(shù)據(jù)挖掘的重要組成部分用戶是WEB使用挖掘的核心。WEB使用挖掘通過關(guān)聯(lián)規(guī)則算法獲取有意義的、描述用戶行為的模型并為用戶提供指導(dǎo)性的預(yù)測(cè)經(jīng)驗(yàn)。通過對(duì)以往的事務(wù)間關(guān)聯(lián)規(guī)則挖掘算法的系統(tǒng)分析和總結(jié)本文提出了兩種新的事務(wù)間關(guān)聯(lián)規(guī)則挖掘算法1基于聚類分析的事務(wù)間關(guān)聯(lián)規(guī)則挖掘算法該算法首先利用聚類分析將初始的復(fù)雜的數(shù)據(jù)集進(jìn)行約減去掉冗余數(shù)據(jù)縮小數(shù)據(jù)集避免了多次掃描數(shù)據(jù)庫(kù)和大量虛假規(guī)則的產(chǎn)生；其次對(duì)聚類預(yù)處理后所得到的各個(gè)小數(shù)據(jù)集分別進(jìn)行事務(wù)間關(guān)聯(lián)規(guī)則預(yù)測(cè)分析。實(shí)驗(yàn)結(jié)果表明該方法比單獨(dú)使用事務(wù)間關(guān)聯(lián)規(guī)則方法具有更高的效率更能準(zhǔn)確的預(yù)測(cè)用戶的興趣。2基于聚類的事務(wù)間關(guān)聯(lián)規(guī)則雙策略分析模型該算法將雙策略興趣分析模型的思想融入基于聚類分析的事務(wù)間關(guān)聯(lián)規(guī)則挖掘算法中。該算法首先利用雙策略分析模型判斷事務(wù)間關(guān)聯(lián)規(guī)則的完整性將初始的數(shù)據(jù)庫(kù)分為關(guān)聯(lián)庫(kù)和馬爾庫(kù)彌補(bǔ)了挖掘漏洞避免了虛假規(guī)則的產(chǎn)生；其次利用聚類分析去掉關(guān)聯(lián)庫(kù)和馬爾庫(kù)中大量的無關(guān)冗余數(shù)據(jù)提高算法的執(zhí)行效率；最后對(duì)經(jīng)過聚類預(yù)處理所得到的各個(gè)子數(shù)據(jù)庫(kù)分別進(jìn)行事務(wù)間關(guān)聯(lián)規(guī)則預(yù)測(cè)和馬爾可夫模型預(yù)測(cè)。實(shí)驗(yàn)證明該算法在準(zhǔn)確度和執(zhí)行效率方面均優(yōu)于傳統(tǒng)的事務(wù)間關(guān)聯(lián)規(guī)則算法。隨著WEB技術(shù)的不斷發(fā)展WEB服務(wù)器存儲(chǔ)的數(shù)據(jù)也逐漸向著超大化、多維化的方向發(fā)展。這為WEB使用挖掘提出了新的挑戰(zhàn)即如何解決挖掘速度和準(zhǔn)確度之間的矛盾。所以采用事務(wù)間關(guān)聯(lián)規(guī)則與聚類分析相結(jié)合的方法既提高了挖掘速度又保證了準(zhǔn)確度為WEB使用挖掘提出新的創(chuàng)新思路。

簡(jiǎn)介：近年來，隨著超線程、多核體系結(jié)構(gòu)等多線程技術(shù)的發(fā)展和廣泛應(yīng)用，計(jì)算機(jī)硬件已經(jīng)提供了越來越高效的軟件運(yùn)行平臺(tái)。但是要更好地利用這些平臺(tái)的并行優(yōu)勢(shì)，計(jì)算機(jī)軟件就需要具備更好地并行性，以充分利用多個(gè)處理器的性能。并行程序已經(jīng)成為了軟件開發(fā)的主流。然而要確保順序程序的正確性已經(jīng)是非常困難的了，要保證并行程序的正確性難度更甚。這是因?yàn)樵诓⑿谐绦蛑?，程序員還需要處理共享數(shù)據(jù)的并發(fā)存取問題，確保數(shù)據(jù)在不同線程中的有效性。傳統(tǒng)上，程序員使用鎖的方式來管理并行程序中共享數(shù)據(jù)的并發(fā)存取。但是鎖方式不僅難于推理，而且還容易出現(xiàn)死鎖等導(dǎo)致程序進(jìn)入異常執(zhí)行狀態(tài)的隱患。為減輕程序員開發(fā)并行程序的負(fù)擔(dān)，提高軟件開發(fā)的效率，近年的研究提出了使用事務(wù)內(nèi)存同步機(jī)制來管理共享數(shù)據(jù)的并發(fā)存取。提供了事務(wù)內(nèi)存同步機(jī)制的系統(tǒng)通過自動(dòng)地管理數(shù)據(jù)的并發(fā)訪問，免除了程序員在這方面的負(fù)擔(dān)，也避免了死鎖等鎖機(jī)制的致命隱患。但是近年來圍繞著事務(wù)內(nèi)存同步機(jī)制的研究主要集中于提供事務(wù)內(nèi)存同步機(jī)制的系統(tǒng)的各種實(shí)現(xiàn)策略及其性能的提高上，而對(duì)該同步機(jī)制在程序推理、形式驗(yàn)證及易于推理方面的研究甚少。針對(duì)事務(wù)內(nèi)存同步機(jī)制相關(guān)研究的現(xiàn)狀，基于程序推理驗(yàn)證的研究成果，本文提出了一種推理方法以推理使用了事務(wù)內(nèi)存同步機(jī)制的實(shí)現(xiàn)系統(tǒng)所提供的編程結(jié)構(gòu)的程序。該推理方法基于眾所周知的不變式證明INVARIANCEPROOF方法并對(duì)HOARE邏輯進(jìn)行了擴(kuò)展，通過指明共享數(shù)據(jù)上的不變式來約束多個(gè)線程間的并發(fā)訪問，可靠、可行，并具備模塊化驗(yàn)證的特點(diǎn)。同時(shí)，本文還專注于事務(wù)內(nèi)存同步機(jī)制的語(yǔ)義研究，在攜帶證明的代碼的研究的基礎(chǔ)上，將所提出的推理方法形式化到遵循事務(wù)內(nèi)存同步機(jī)制語(yǔ)義的HOARE風(fēng)格的驗(yàn)證框架中，并證明了推理方法遵循事務(wù)內(nèi)存同步機(jī)制的語(yǔ)義的可靠性。此外，本文還給出了推理驗(yàn)證的應(yīng)用實(shí)例，展示了本文所提出的推理方法和驗(yàn)證框架的有效性。最后，本文通過詳盡的比較，闡明了事務(wù)內(nèi)存同步機(jī)制相對(duì)于傳統(tǒng)的鎖同步機(jī)制易推理的優(yōu)點(diǎn)，展示了事務(wù)內(nèi)存同步機(jī)制對(duì)程序推理的簡(jiǎn)化。本文的主要特色和貢獻(xiàn)為本文提出了一種HOARE風(fēng)格的推理方法，用于在事務(wù)內(nèi)存同步機(jī)制的語(yǔ)義的高層抽象上推理源語(yǔ)言級(jí)的并行程序。本文也提出了一個(gè)攜帶證明的代碼PROOFCARRYINGCODE風(fēng)格的驗(yàn)證框架，用于在事務(wù)內(nèi)存同步機(jī)制的語(yǔ)義的底層實(shí)現(xiàn)上驗(yàn)證匯編級(jí)的并行程序，并證明了驗(yàn)證框架遵循事務(wù)內(nèi)存同步機(jī)制的語(yǔ)義的可靠性。該驗(yàn)證框架的提出，填補(bǔ)了攜帶證明的代碼的研究在事務(wù)內(nèi)存同步機(jī)制方面的空白。本文在COQ定理證明輔助工具中完成了所提出的驗(yàn)證框架的可靠性證明，從而將驗(yàn)證框架中的驗(yàn)證推理系統(tǒng)從受信任計(jì)算基礎(chǔ)中排除出去，使得本文的驗(yàn)證框架具有更高的可靠性。本文還通過詳細(xì)的比較闡述了事務(wù)內(nèi)存同步機(jī)制相對(duì)于鎖同步機(jī)制的易推理的優(yōu)勢(shì)。

簡(jiǎn)介：隨著信息技術(shù)的發(fā)展，WEB服務(wù)越來越多地被企業(yè)用于各種業(yè)務(wù)應(yīng)用，將多個(gè)WEB服務(wù)按照一定的流程組合起來形成組合服務(wù)，是用WEB服務(wù)實(shí)現(xiàn)業(yè)務(wù)流程的主要形式。在服務(wù)計(jì)算中，一個(gè)業(yè)務(wù)事務(wù)是由多個(gè)企業(yè)所提供的WEB服務(wù)所組成的，因此業(yè)務(wù)事務(wù)被部署在松耦合、異構(gòu)和自治的環(huán)境中。業(yè)務(wù)事務(wù)恢復(fù)是解決業(yè)務(wù)流程執(zhí)行過程異常、保證業(yè)務(wù)流程事務(wù)屬性和成功執(zhí)行的一種重要方法。當(dāng)錯(cuò)誤或異常發(fā)生時(shí)，傳統(tǒng)的回滾技術(shù)不再適用，因?yàn)榧渔i機(jī)制是不被支持的?，F(xiàn)有的解決方案包括前向恢復(fù)和后向恢復(fù)，但這些恢復(fù)方法缺乏對(duì)事務(wù)的業(yè)務(wù)邏輯的考慮，因此不夠靈活且缺乏效率。在復(fù)雜的WEB服務(wù)環(huán)境中，異常多種多樣，對(duì)異常的恰當(dāng)處理需要依賴對(duì)異常的實(shí)時(shí)信息的把握，掌握更加精確而細(xì)致的異常信息，根據(jù)具體的業(yè)務(wù)事務(wù)實(shí)冽的業(yè)務(wù)邏輯制定特定于異常的恢復(fù)策略，而在現(xiàn)有的研究中，業(yè)務(wù)事務(wù)的實(shí)時(shí)狀態(tài)常被用于對(duì)服務(wù)發(fā)現(xiàn)、服務(wù)組合的優(yōu)化，被用于業(yè)務(wù)事務(wù)恢復(fù)方面的研究極少。本文提出約束規(guī)則的概念，來表示事務(wù)的業(yè)務(wù)邏輯；并將上下文應(yīng)用到業(yè)務(wù)事務(wù)的恢復(fù)過程，基于上下文將業(yè)務(wù)事務(wù)異常分成四大類網(wǎng)絡(luò)異常、物理異常、服務(wù)異常和用戶異常，根據(jù)分類對(duì)業(yè)務(wù)事務(wù)恢復(fù)過程中無意義的步驟進(jìn)行了刪減，簡(jiǎn)化了恢復(fù)過程；對(duì)業(yè)務(wù)事務(wù)異常時(shí)的上下文進(jìn)行了評(píng)估，選擇可行的補(bǔ)償路徑實(shí)例化，根據(jù)用戶開銷敏感權(quán)值計(jì)算可行補(bǔ)償路徑實(shí)例化開銷，據(jù)此選擇最優(yōu)補(bǔ)償路徑實(shí)例化。本文給出了恢復(fù)機(jī)制中的各個(gè)算法的詳細(xì)描述，并通過一個(gè)旅游公司的具體的實(shí)例，來對(duì)本文提出的恢復(fù)機(jī)制進(jìn)行了闡釋。并通過與現(xiàn)有的恢復(fù)機(jī)制的比較，驗(yàn)證了本文的恢復(fù)機(jī)制有著較好的恢復(fù)成功率和較高的恢復(fù)效率。

簡(jiǎn)介：廈門大學(xué)碩士學(xué)位論文從徽州千年契約文書看清代徽州民間糾紛和訴訟姓名張萍申請(qǐng)學(xué)位級(jí)別碩士專業(yè)專門史指導(dǎo)教師王日根20060501THECIVILDISPUTEANDLAWSUITDURINGTHEQINGDYNASTYFROMTHEHUIZHOUMILLENNIUMCONTRACTDOCUMENTSABSTRACTINTRADITIONALCHINA，ALLPREVIOUSDYNASTIESCONTINUOUSLYPURSUE”HARMONY”O(jiān)R’’THEORDER”ASITSULTIMATEOBJECTIVE，BUT”ASALLTHEPEOPLEHASDESIRE，WANTSBUTNOTTOHAVE，NOTTOBESATISFIED，THENTHEYHAVENOOTHERCHOICEBUTTOSTRUGGLE”THENTHECIVILDISPUTEANDLAWSUITCALLINEVITABLYOCCURHUIZHOUAREADURINGTHEQINGDYNASTYCANNOTBEAVOIDABSOLUTELYTHISARTICLEATTEMPTSTOPUTTHEANALYSISONTHECIVILDISPUTEANDLAWSUITCASEWHICHCENTERCARRIESTHROUGH”THEHUIZHOUMILLENNIUMCONTRACTDOCUMENTS”，REVEALINGTHELEGALSUPPLEMENTARYRELATIONSBETWEENTHEPATRIARCHALFAMILY’SDISCIPLINEANDTHELOCALGOVERNMENT’SLAWWISHTOGI’VESOMEHELPTOPRESENTSOCIETYTHEFULLTEXTALTOGETHERDIVIDESINTOFOURSECTIONSSECTIONONEEXORDIUMREVIEWONTHELITERATUREFIRST，THENEXPOUNDSWHYSELECTTHISTOPICASMY’ARTICLESECTIONTWOTHEOVERALLANALYSISONTHECIVILDISPUTEANDLAWSUITCASEFROMTHEHUIZHOUMILLENNIUMCONTRACTDOCUMENTSDURINGTHEQINGDYNASTYTHISSECTIONISFROMTHEHODZONTALASPECT，ONTHEBASEOFANALYZING55FOLKCONTRACTSWHICHHAVEBEENSETTLEDEITHERINTHEPATRIARCHALFAMILYORINTHELOCALGOVERNMENTONEBYONEFROMTHEACTUALCASEANALYSIS，READERSMAY。FINDSOMECONNECTIONBETWEENTHETWOABOVEMENTIONEDWAYSSECTIONTHREEACASESTUDYOFLAWSUITREFERTOTHESERFOFMRWANGWHOCHARGELANDLORDLIWITHASSAULTANDBATTERYINKANGXI32YEARSAFTERANALYZINGTHECASEBYVERTICALASPECT，WEKNOWBECAUSETHISCASEOCCURSINTWODIFFERENTPATRIARCHALFAMILIES，THEPATRIARCHALDISCIPLINEHAVENOABILITYBUTAPPEALSTOTHELOCALGOVERNMENTFROMTHISCASE，ITCANDEEPENOURUNDERSTANDINGOFSOCIALORDERINHUIZHOUAREADURINGTHEQINGDYNASTYSECTIONFOURCONCLUSIONMAKEACOMPREHENSIVECOMMENTARYONTHEFIRSTTHREESECTIONSPOINTSOUTITWOULDBEBETTERTOTRANSFORMSOURRESEARCHVISUALANGLETHANTOARGUETHEPATRIARCHALDISCIPLINEANDTHEGOVERNMENTLAWWHICHHASMOREPOWERAFTERDOTHIS，WEMAYHAVEMOREDISCOVERIES，ANDMAYHAVEMORESIGNIFICANCETONOWSOCIETYKEYWORDSQINGDYNASTY；HUIZHOU；CIVILDISPUTE；LAWSUITII

簡(jiǎn)介：隨著軟件系統(tǒng)的日益復(fù)雜和系統(tǒng)負(fù)載的逐漸增加，軟件性能已經(jīng)成為軟件質(zhì)量的重要因素之一。軟件性能調(diào)優(yōu)是保證軟件性能的重要手段，經(jīng)過多年的發(fā)展，它已經(jīng)演變成為軟件性能工程。事務(wù)密集型實(shí)時(shí)報(bào)表系統(tǒng)是一類系統(tǒng)的統(tǒng)稱，它具有事務(wù)密集型系統(tǒng)和報(bào)表系統(tǒng)的共同特征。傳統(tǒng)的性能優(yōu)化要么只是針對(duì)事務(wù)密集型系統(tǒng)，要么只是針對(duì)報(bào)表系統(tǒng)，而同時(shí)針對(duì)這兩種性質(zhì)于一身的性能調(diào)優(yōu)方案很少。針對(duì)事務(wù)密集型實(shí)時(shí)報(bào)表系統(tǒng)，本文提出了綜合利用并行處理和緩存技術(shù)進(jìn)行性能調(diào)優(yōu)。并行處理能夠很好地利用多處理器和分布式的計(jì)算環(huán)境，緩存技術(shù)能夠很好地減少重復(fù)計(jì)算和資源浪費(fèi)。基于這兩種技術(shù)，可以設(shè)計(jì)出將大任務(wù)拆分成可并行處理的小任務(wù)的同步計(jì)算框架和異步計(jì)算框架，將復(fù)雜的報(bào)表計(jì)算過程轉(zhuǎn)移到事務(wù)的并行處理過程中，實(shí)現(xiàn)資源的優(yōu)化配置，提高軟件系統(tǒng)性能。

簡(jiǎn)介：在市場(chǎng)經(jīng)濟(jì)的大環(huán)境下，客戶已經(jīng)成為律師事務(wù)所生存和發(fā)展的基礎(chǔ)。運(yùn)用客戶關(guān)系管理（CRM）系統(tǒng)的先進(jìn)思想與有效方法，可以實(shí)現(xiàn)對(duì)客戶資源的分析、管理和數(shù)據(jù)信息的集中，使律師事務(wù)所及律師的管理與業(yè)務(wù)運(yùn)作達(dá)到科學(xué)的信息化和自動(dòng)化。本文作者結(jié)合律師事務(wù)所實(shí)際，通過對(duì)CRM應(yīng)用系統(tǒng)相關(guān)知識(shí)的研究，提出一套基于客戶關(guān)系管理理論的律師事務(wù)所CRM系統(tǒng)的建設(shè)思想，并切實(shí)地設(shè)計(jì)實(shí)現(xiàn)了一套律師事務(wù)所CRM系統(tǒng)遼寧濱城律師事務(wù)所CRM系統(tǒng)。論文簡(jiǎn)要介紹了CRM理論的基本內(nèi)涵、核心理念等，分析了運(yùn)用CRM系統(tǒng)對(duì)于改善律師事務(wù)所經(jīng)營(yíng)現(xiàn)狀的作用及意義，探討了CRM應(yīng)用系統(tǒng)的基本架構(gòu)及數(shù)據(jù)倉(cāng)庫(kù)在系統(tǒng)中的應(yīng)用情況。文中著重闡述了該CRM系統(tǒng)的數(shù)據(jù)庫(kù)及體系結(jié)構(gòu)設(shè)計(jì)，給出了系統(tǒng)數(shù)據(jù)倉(cāng)庫(kù)設(shè)計(jì)方案，提出了包含數(shù)據(jù)支撐、分析處理及客戶管理應(yīng)用系統(tǒng)三個(gè)子系統(tǒng)的體系結(jié)構(gòu)設(shè)計(jì)方案，說明了每個(gè)子系統(tǒng)的功能劃分及主要數(shù)據(jù)模型，并詳細(xì)描述了客戶管理應(yīng)用子系統(tǒng)的具體實(shí)現(xiàn)。本系統(tǒng)主要使用SQLSEVER數(shù)據(jù)庫(kù)系統(tǒng)及DELPHI開發(fā)環(huán)境，采用三層軟件體系結(jié)構(gòu)的開發(fā)模式。

簡(jiǎn)介：隨著INTERINTRA的飛速發(fā)展以INTER為核心的計(jì)算平臺(tái)使數(shù)據(jù)庫(kù)應(yīng)用環(huán)境發(fā)生了巨大的變化大多數(shù)信息已不再局限于傳統(tǒng)的結(jié)構(gòu)性形式而是以諸如電子郵件、圖像、視頻聲頻對(duì)象、工作流等非結(jié)構(gòu)化的形式存在著并呈指數(shù)級(jí)激增眾多領(lǐng)域?qū)τ谶@類信息的應(yīng)用范圍日趨擴(kuò)大其處理要求也在進(jìn)一步向檢索、事務(wù)處理等更深入的方向發(fā)展基于INTERWEB的應(yīng)用向傳統(tǒng)的數(shù)據(jù)庫(kù)領(lǐng)域提出了前所未有的挑戰(zhàn)面對(duì)這些日益增長(zhǎng)的處理需求亟需研究新型的非結(jié)構(gòu)化信息存儲(chǔ)系統(tǒng)并在系統(tǒng)內(nèi)部實(shí)現(xiàn)必需的事務(wù)處理技術(shù)以支持紛繁復(fù)雜的電子商業(yè)、貿(mào)易等領(lǐng)域在INTER級(jí)別上對(duì)于非結(jié)構(gòu)化信息的應(yīng)用事務(wù)是數(shù)據(jù)存儲(chǔ)系統(tǒng)的邏輯工作單元事務(wù)管理是數(shù)據(jù)存儲(chǔ)系統(tǒng)保證其完整一致、實(shí)現(xiàn)信息共享的重要手段系統(tǒng)通過對(duì)事務(wù)處理的支持保證系統(tǒng)中一切事務(wù)的原子性、一致性、隔離性和持續(xù)性使存儲(chǔ)系統(tǒng)始終處于一致性狀態(tài)作為對(duì)非結(jié)構(gòu)化信息存儲(chǔ)系統(tǒng)的事務(wù)處理研究的探索該文提出了一種基于XML的非結(jié)構(gòu)化信息事務(wù)處理的初步解決方案該文首先介紹了事務(wù)在傳統(tǒng)數(shù)據(jù)庫(kù)中的處理技術(shù)及其故障恢復(fù)和并發(fā)控制理論其次分析和探討了XML技術(shù)在描述、存儲(chǔ)非結(jié)構(gòu)化信息方面的優(yōu)勢(shì)及其與非結(jié)構(gòu)化信息相結(jié)合的必然性在上述相關(guān)理論的支持下該文以一個(gè)基于本體ONTOLOGY的XML文檔表示模式的非結(jié)構(gòu)化信息存儲(chǔ)平臺(tái)為基礎(chǔ)將傳統(tǒng)的登錄日志、封鎖調(diào)度等理論運(yùn)用到非結(jié)構(gòu)化信息存儲(chǔ)系統(tǒng)中并結(jié)合實(shí)際情況對(duì)上述技術(shù)加以改進(jìn)在采用自行設(shè)計(jì)的非緩沖型邏輯日志和物理日志記錄相關(guān)事務(wù)信息降低封鎖粒度使用兩級(jí)檢查點(diǎn)機(jī)制控制緩沖區(qū)與磁盤數(shù)據(jù)的同步等技術(shù)的基礎(chǔ)上提出OBSATPS事務(wù)處理系統(tǒng)模型將該模型劃分為事務(wù)管理、事務(wù)處理、緩沖區(qū)管理及磁盤存儲(chǔ)等幾個(gè)模塊并對(duì)各主要模塊進(jìn)行了設(shè)計(jì)和初步實(shí)現(xiàn)最后作者以上述技術(shù)理論為指導(dǎo)結(jié)合JAVA及XML技術(shù)在湖北省教育廳科研資助項(xiàng)目基于XML的WEB存儲(chǔ)系統(tǒng)研究的研究開發(fā)過程中初步實(shí)現(xiàn)了該文所提出的OBSATPS事務(wù)處理系統(tǒng)模型

簡(jiǎn)介：在分布式環(huán)境中，事務(wù)的多個(gè)子事務(wù)通常在不同的結(jié)點(diǎn)上完成。當(dāng)前，為了保證分布式事務(wù)的ACID特性，最廣泛采用的提交協(xié)議是兩階段提交協(xié)議以及衍生出的三階段提交協(xié)議等。然而，隨著網(wǎng)絡(luò)服務(wù)環(huán)境的發(fā)展，分布式事務(wù)也出現(xiàn)了一些新的問題，例如網(wǎng)絡(luò)服務(wù)環(huán)境中的資源并發(fā)問題，處理時(shí)間很長(zhǎng)的長(zhǎng)事務(wù)問題等。本文針對(duì)網(wǎng)絡(luò)服務(wù)環(huán)境中的這些新問題提出了串行長(zhǎng)事務(wù)的流水線模型以及分布式事務(wù)的并發(fā)控制模型，并在此之上構(gòu)建了一個(gè)網(wǎng)格事務(wù)處理平臺(tái)及其應(yīng)用系統(tǒng)。網(wǎng)絡(luò)服務(wù)環(huán)境中的長(zhǎng)事務(wù)通常需要運(yùn)行很長(zhǎng)時(shí)間，也需要長(zhǎng)時(shí)間地鎖住資源，會(huì)影響事務(wù)處理系統(tǒng)的效率。一般的解決方案是補(bǔ)償事務(wù)模型，即允許子事務(wù)獨(dú)立地提交，一旦事務(wù)失敗只需要執(zhí)行具有相反效果的補(bǔ)償事務(wù)即可。然而，在很多情況下，補(bǔ)償事務(wù)很難產(chǎn)生，而且有些事務(wù)是無法補(bǔ)償?shù)?。本文針?duì)于長(zhǎng)事務(wù)中的串行長(zhǎng)事務(wù)，提出了一種新的基于流水線的處理模型，令事務(wù)處理的過程由串行變?yōu)榱魉幚?，大大提升了事?wù)處理的性能，且無需補(bǔ)償事務(wù)。根據(jù)兩階段提交協(xié)議，分布式事務(wù)的子事務(wù)在執(zhí)行時(shí)如果請(qǐng)求同一個(gè)資源時(shí)會(huì)發(fā)生死鎖現(xiàn)象，包括局部事務(wù)死鎖和全局事務(wù)死鎖。本文針對(duì)局部事務(wù)死鎖提出了基于資源復(fù)制的并發(fā)處理方案，允許請(qǐng)求同一個(gè)資源的多個(gè)子事務(wù)在資源副本上串行地執(zhí)行，在避免死鎖的情況下保證了事務(wù)的一致性和原子性。針對(duì)全局事務(wù)死鎖，本文提出了基于時(shí)間戳的資源預(yù)定機(jī)制，在兩階段提交協(xié)議之前增加資源預(yù)定階段，從而在事務(wù)執(zhí)行之前就能夠檢測(cè)到死鎖并進(jìn)行規(guī)避，提高了事務(wù)處理的效率。此外，時(shí)間戳機(jī)制也有效了減少了事務(wù)饑餓的發(fā)生?；诿嫦蚍?wù)的事務(wù)處理模型，本文還介紹了面向服務(wù)的網(wǎng)格事務(wù)處理平臺(tái)及其應(yīng)用系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)。網(wǎng)格事務(wù)處理系統(tǒng)作為網(wǎng)格服務(wù)和實(shí)際應(yīng)用之間的中間件軟件，為各種網(wǎng)格事務(wù)提供了統(tǒng)一的協(xié)調(diào)接口，包括原子事務(wù)，長(zhǎng)事務(wù)，實(shí)時(shí)事務(wù)，以及串行長(zhǎng)事務(wù)等。建立在此之上的典型應(yīng)用包括銀行轉(zhuǎn)賬系統(tǒng)，旅行計(jì)劃制定系統(tǒng)，股票交易系統(tǒng)，以及訂單處理系統(tǒng)。

簡(jiǎn)介：點(diǎn)擊查看更多基于DTP模型的交易中間件事務(wù)系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn).pdf精彩內(nèi)容。

簡(jiǎn)介：山西大學(xué)201O屆碩士學(xué)位論文財(cái)產(chǎn)、權(quán)力與國(guó)家一一近現(xiàn)代晉中民間契約文書研究作者姓名指導(dǎo)教師學(xué)科專業(yè)研究方向培養(yǎng)單位學(xué)習(xí)年限張仲偉行龍教授中國(guó)近現(xiàn)代史中國(guó)近代社會(huì)史歷史文化學(xué)院2007年9月一2010年6月二。一。年六月連二契示例一一單契示例連三契示例

簡(jiǎn)介：點(diǎn)擊查看更多基于J2EE的法律事務(wù)管理系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn).pdf精彩內(nèi)容。

簡(jiǎn)介：華中科技大學(xué)碩士學(xué)位論文摘要運(yùn)行在嵌入式環(huán)境下的實(shí)時(shí)數(shù)據(jù)庫(kù)的事務(wù)處理和傳統(tǒng)數(shù)據(jù)庫(kù)差別很大。傳統(tǒng)數(shù)據(jù)庫(kù)中的事務(wù)處理不考慮數(shù)據(jù)和事務(wù)的定時(shí)限制，處理的是永久的數(shù)據(jù)，追求平均性能和系統(tǒng)的吞吐率，而主動(dòng)實(shí)時(shí)嵌入式數(shù)據(jù)庫(kù)根據(jù)時(shí)間緊迫度的不同，事務(wù)執(zhí)行有優(yōu)先級(jí)順序，要保證盡量多的事務(wù)在截止期前完成。ARTSEDB是自行研發(fā)、擁有自主知識(shí)產(chǎn)權(quán)的嵌入式主動(dòng)實(shí)時(shí)數(shù)據(jù)庫(kù)。ARTSEDB設(shè)計(jì)的多線索模塊化的進(jìn)程結(jié)構(gòu)和事務(wù)執(zhí)行模型適應(yīng)嵌入式微內(nèi)核的結(jié)構(gòu)，它具有靈活、快速和移植性好的特點(diǎn)，是整個(gè)系統(tǒng)構(gòu)建的基礎(chǔ)。為了滿足事務(wù)處理的實(shí)時(shí)要求，ARTSEDB首先建立對(duì)時(shí)間描述的數(shù)據(jù)模型和有定時(shí)限制及相互關(guān)聯(lián)的事務(wù)模型，其次，傳統(tǒng)數(shù)據(jù)庫(kù)不限制系統(tǒng)中事務(wù)的數(shù)量，事務(wù)在執(zhí)行過程中由于內(nèi)外存頻繁交換而使得事務(wù)運(yùn)行時(shí)間增長(zhǎng)，并且執(zhí)行時(shí)間具有不確定性。ARTSEDB通過對(duì)事務(wù)的接納處理，控制事務(wù)數(shù)量，保證事務(wù)運(yùn)行期間不訪問外存存取數(shù)據(jù)，有效提高事務(wù)的響應(yīng)時(shí)間。ARTSEDB根據(jù)事務(wù)的截止期，采用最早截止期最優(yōu)先的算法分派優(yōu)先級(jí)，并基于該優(yōu)先級(jí)對(duì)事務(wù)進(jìn)行有序調(diào)度，當(dāng)不同優(yōu)先級(jí)的事務(wù)對(duì)內(nèi)存或數(shù)據(jù)等其他資源競(jìng)爭(zhēng)時(shí)，基于優(yōu)先級(jí)進(jìn)行搶占式的調(diào)度。ARTSEDB采用了基于優(yōu)先級(jí)的強(qiáng)兩階段封鎖協(xié)議維護(hù)數(shù)據(jù)的一致性和完整性，該并發(fā)控制協(xié)議采用鎖表繼承的策略支持嵌套事務(wù)的并發(fā)處理。關(guān)鍵詞嵌入式主動(dòng)實(shí)時(shí)數(shù)據(jù)庫(kù)，多線索模塊化，接納處理，優(yōu)先級(jí)分派搶占式調(diào)度，基于優(yōu)先級(jí)的強(qiáng)兩階段封鎖協(xié)議獨(dú)創(chuàng)性聲明本人聲明所呈交的學(xué)位論文是我個(gè)人在導(dǎo)師指導(dǎo)下進(jìn)行的研究工作及取得的研究成果。盡我所知，除文中己經(jīng)標(biāo)明引用的內(nèi)容外，本論文不包含任何其他個(gè)人或集體已經(jīng)發(fā)表或撰寫過的研究成果。對(duì)本文的研究做出貢獻(xiàn)的個(gè)人和集體，均己在文中以明確方式標(biāo)明。本人完全意識(shí)到本聲明的法律結(jié)果由本人承擔(dān)。學(xué)位論“作者簽“申碩日期LOO年獷月日學(xué)位論文版權(quán)使用授權(quán)書本學(xué)位論文作者完全了解學(xué)校有關(guān)保留、使用學(xué)位論文的規(guī)定，即學(xué)校有權(quán)保留并向國(guó)家有關(guān)部門或機(jī)構(gòu)送交論文的復(fù)印件和電子版，允許論文被查閱和借閱。本人授權(quán)華中科技大學(xué)可以將本學(xué)位論文的全部或部分內(nèi)容編入有關(guān)數(shù)據(jù)庫(kù)進(jìn)行檢索，可以采用影印、縮印或掃描等復(fù)制手段保存和匯編本學(xué)位論文。保密口，在年解密后適用本授權(quán)書。本論文屬于不保密口。請(qǐng)?jiān)谝陨戏娇騼?nèi)打“J“學(xué)位論文“者簽名牽AK日期O0Q年歲月日指導(dǎo)教師簽名日期’4年夕“少日