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

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

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

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

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

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

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

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

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

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

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

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

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

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

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