偷窥国产在线91,亚洲无线国产观看原创,日本精品aⅴ一区二区三区,久久九九兔免费精品6

簡介：1760年左右，清朝形成了以稟、諭文書形式為載體的天朝外交文書體制。這種不平等的文書交往方式，打上了深深的華夷觀的烙印。17601834年間，中英文書關(guān)系以中國為主導，英國方面基本認可和遵循中國文書往來的慣例，但是雙方在文書往來的過程中也有一些可控的矛盾和摩擦。1834年，東印度公司在華貿(mào)易壟斷權(quán)廢除，英國派出具有官方身份的商務(wù)監(jiān)督，對天朝文書體制進行挑戰(zhàn)，中英關(guān)系驟然緊張。1840年鴉片戰(zhàn)爭爆發(fā)以后，形勢逆轉(zhuǎn)中方被迫放棄了居高臨下的稟、諭文書舊形式，戰(zhàn)時由琦善和英方共同創(chuàng)行的外交文書新形式照會，作為平等文書往來的新形式，被載入南京條約中，為后來其他列強與中國簽約時所援引。鴉片戰(zhàn)爭以后，外交照會形式得到了進一步規(guī)范，其形式看起來更加“平等”，從而為各國所重視和應(yīng)用，成為近代以來一種最為重要的外交文書形式。從“稟”、“諭”到“照會”，晚清外交文書形式的近代變遷，既是戰(zhàn)爭強力作用的結(jié)果和國力相較的反映，也是長久以來奉行不替的華夷觀松動的結(jié)果。在對外交往出現(xiàn)嚴重困難時，轉(zhuǎn)變觀念，主動交涉，與國際接軌，融入國際社會，是晚清外交文書形式的艱難變遷給予我們的歷史啟示。

簡介：隨著互聯(lián)網(wǎng)的普及和WEB服務(wù)技術(shù)的出現(xiàn)，使得基于事務(wù)流的電子商務(wù)得以迅速的發(fā)展，同時也激起了日益強烈的對于智能化的服務(wù)組合流程的需求，因為人們希望建立在業(yè)務(wù)伙伴之上的系統(tǒng)能夠根據(jù)一定的規(guī)則自動完成某個業(yè)務(wù)流程，而不需要過多的人為操作，但是目前的業(yè)務(wù)組合流程在執(zhí)行過程中普遍存在靈活性不夠好、運行效率不高等不足，所以作為解決該問題的較好途徑之一的組合引擎的設(shè)計越來越被學術(shù)界和商業(yè)界所關(guān)注。針對這些現(xiàn)象和發(fā)展趨勢，本文在對WEB服務(wù)組合相關(guān)技術(shù)以及服務(wù)組合發(fā)展過程中出現(xiàn)的四種典型模式進行較深入的分析研究后，提出了將基于BPEL4WS的服務(wù)組合模式和基于語義的服務(wù)組合模式相結(jié)合的一種方案，此方案是對這兩種模式的融合和改進，其設(shè)計思路是將動態(tài)的業(yè)務(wù)邏輯分離出來交由語義支持模塊來處理。在這個方案中，前一種模式保證了業(yè)務(wù)流程的可執(zhí)行性和可管理性，而后一種模式則為服務(wù)的發(fā)現(xiàn)提供了語義支持，使用這個方案設(shè)計的服務(wù)組合引擎使業(yè)務(wù)流程在執(zhí)行的過程能夠動態(tài)地進行語義的匹配，提高了它的靈活性，從而使它提供的服務(wù)更優(yōu)質(zhì)、適應(yīng)性更強。此外，通過對BPEL4WS中元素的分析，發(fā)現(xiàn)這些元素間的依賴關(guān)系和層次模型有些相似，所以本文采用了通過分層思想設(shè)計的層次模型來對BPEL4WS模塊進行設(shè)計，這樣既簡化了協(xié)議和服務(wù)組合引擎的映射關(guān)系，也便于服務(wù)組合引擎的設(shè)計工作。為了將上述理論應(yīng)用到實際中，本文根據(jù)上述提出的方案設(shè)計了服務(wù)組合引擎的架構(gòu)，并對架構(gòu)中各個功能模塊的設(shè)計和實現(xiàn)進行了詳細的闡述。最后，通過示例對系統(tǒng)的功能進行了驗證，并闡明了系統(tǒng)中存在的不足，展望了未來進一步的研究工作。本文的研究為今后WEB服務(wù)組合模式的研究提供了有益的參考，對推動語義WEB服務(wù)組合應(yīng)用的研究也有一定的指導作用和實際意義。

簡介：工作流技術(shù)是實現(xiàn)業(yè)務(wù)過程自動化的一種有效手段，事務(wù)處理技術(shù)對于提高工作流管理系統(tǒng)WFMSWKFLOWMANAGEMENTSYSTEM的可靠性具有重要作用。在20世紀90年代，人們將各種擴展事務(wù)模型與工作流技術(shù)相融合，衍生出事務(wù)工作流TRANSACTIONALWKFLOW技術(shù)，該技術(shù)對于支持分布、異構(gòu)、復雜的關(guān)鍵業(yè)務(wù)過程的自動化、推動其邁向?qū)嵱镁哂兄匾饬x。針對目前過程模型對事務(wù)性支持的不足，本文提出了一種事務(wù)工作流過程模型TFPM，該模型支持過程的嵌套結(jié)構(gòu)，并引入隔離域概念及錯誤恢復屬性使之滿足工作流的事務(wù)性需求。針對當前事務(wù)工作流系統(tǒng)中存在的各種并發(fā)情況，提出了基于隔離域的并發(fā)調(diào)度算法，該算法允許用戶通過合理設(shè)置過程中的隔離域及各種隔離屬性來有效的避免工作流系統(tǒng)中因為各種并發(fā)執(zhí)行而產(chǎn)生的丟失修改、讀取臟數(shù)據(jù)等現(xiàn)象發(fā)生，并且該算法可以使用戶根據(jù)業(yè)務(wù)的具體需要，靈活的定制過程的隔離級別，提高過程實例的并發(fā)度。提出了基于過程執(zhí)行歷史的錯誤恢復算法，該算法充分考慮了事務(wù)工作流中的各種并發(fā)情況，當活動出現(xiàn)運行錯誤時根據(jù)活動所屬隔離域判斷所需補償?shù)幕顒臃秶a償時根據(jù)過程執(zhí)行歷史進行補償，從而減小了補償代價。針對已有工作流產(chǎn)品和原型系統(tǒng)缺乏對工作流事務(wù)性支持的情況，設(shè)計了一個事務(wù)工作流原型系統(tǒng)TFLOW，該原型系統(tǒng)為事務(wù)工作流的執(zhí)行提供并發(fā)調(diào)度策略和正確性保證。本文在事務(wù)工作流過程模型、并發(fā)控制、錯誤恢復及事務(wù)工作流原型系統(tǒng)等方面的研究為事務(wù)工作流的研究提供了新的思路和方法。

簡介：MVRDV建筑事務(wù)所指向建筑事業(yè)未來的發(fā)展，它代表著對現(xiàn)實的突破和創(chuàng)新。MVRDV相信建筑的發(fā)展方向是依托于社會發(fā)展的，社會才是建筑發(fā)展的控制力量，而想挖掘出隱藏在其背后的必然因素就必須依靠大量的理論研究。MVRDV堅信建筑創(chuàng)作猶如一座冰山，唯一可見的部分是頂端，而移動規(guī)律是難以捉摸的，只有探知到它那被淹沒的看不見的水下部分，才會明白到底是怎么回事，而在當今信息社會中，建筑與社會的關(guān)系成為影響建筑發(fā)展的決定因素。MVRDV敏銳地關(guān)注著社會即將發(fā)生的一切變化，新的技術(shù)、新的審美、新的物質(zhì)和精神需求，并在理論和實踐中運用它們。本論文希望通過對MVRDV建筑事務(wù)所的創(chuàng)作思想、建筑作品的分析，尤其是MVRDV對于城市和建筑的獨特理解，從而從中發(fā)現(xiàn)有助于中國建筑發(fā)展和學習的內(nèi)容，進而達到研究的最終目的。另外，MVRDV所處的工作環(huán)境與我國有幾分相似之處，本文正是期望通過對MVRDV事務(wù)所的研究能夠為我國的建筑發(fā)展給予一定的啟迪。論文共分六章，四大部分第一部分第一章闡述了課題的提出，研究的目的與意義，研究的現(xiàn)狀及研究所采用的方法。第二部分第二章介紹MVRDV事務(wù)所發(fā)展歷程及其建筑觀的建立，并在此基礎(chǔ)上追溯荷蘭建筑理論思想的繼承與發(fā)揚。第三部分第三章，第四章詳細的闡述了MVRDV建筑設(shè)計事務(wù)所主要的理論研究和建筑作品的兩方面特征，這一部分為文章主體。第四部分第五章，第六章總結(jié)了MVRDV對西方建筑界和中國城市發(fā)展和建筑設(shè)計過程的啟示和借鑒作用，并明確指出，建筑師在社會發(fā)展的過程中應(yīng)起到更大的推動作用。

簡介：STUDYONMODEMCALLIGRAPHYOFINSCRIPTIONONBONESADISSERTATIONSUBMITTEDTOTHEGRADUATESCHOOLOFHENANUNIVERSITYINPARTIALFULFILLMENTOFTHEREQUIREMENTSFORTHEDEGREEOFARTSBYCHIXIANPINGSUPERVISORPROFZHAOZHENQIANMAY2012關(guān)于學位論文獨創(chuàng)聲明和學術(shù)誠信承諾本人向河南大學提出碩士學位申請。本人鄭重聲明所呈交的學位論文是本人在導師的指導下獨立完成的，對所研究的課題有新的見解。據(jù)我所知，除文中特別加以說明、標注和致謝的地方外，論文中不包括其他人已經(jīng)發(fā)表或撰寫過的研究成果，也不包括其他人為獲得任何教育、科研機構(gòu)的學位或證書而使用過的材料。與我一同工作的同事對本研究所做的任何貢獻均已在論文中作了明確的說明并表示了謝意。在此本人鄭重承諾所呈交的學位論文不存在舞弊作偽行為，文責自負。學位申請人學位論文作者簽名2017／Q專AF1日關(guān)于學位論文著作權(quán)使用授權(quán)書本人經(jīng)河南大學審核批準授予碩士學位。作為學位論文的作者，本人完全了解并同意河南大學有關(guān)保留、使用學位論文的要求，即河南大學有權(quán)向國家圖書館、科研信息機構(gòu)、數(shù)據(jù)收集機構(gòu)和本校圖書館等提供學位論文紙質(zhì)文本和電子文本以供公眾檢索、查閱。本人授權(quán)河南大學出于宣揚、展覽學校學術(shù)發(fā)展和進行學術(shù)交流等目的，可以采取影印、縮印、掃描和拷貝等復制手段保存、匯編學位論文紙質(zhì)文本和電子文本。涉及保密內(nèi)容的學位論文在解密后適用本授權(quán)書學位獲得者學位論文作者簽名201懈爭R／6B學位論文指導教師簽名M7年多日“日

簡介：點擊查看更多實時事務(wù)處理的研究與設(shè)計.pdf精彩內(nèi)容。

簡介：院系壓史堂丕專業(yè)蟲國遁現(xiàn)岱史研究方向港遺臺童題硒宜指導教師奎蕉蕉熬援論文作者鍪壓2011年4月20日MASTERTHESISOF2011SCHOOICODE10269STUDENTID51082902047EASTCHINANORMALUNIVERSITYDISCUSSIONOFPLAGUEANDDISEASEPREVENTIONSERVICESINEARLYCOLONIALTAIWANAROUNDTHEOFFICIALDOCUMENTSFILESOFGOVEMMENTHOUSEDEPARTMENTPROFESSION叢Q魚魚蟲堡BLD金皇HI墨Q噬RESEARCHTOPICSOFHONQKONGMACAOANDTAIWANINSTRUCTORPROFESSORLIBEIBEIAUTHORSLILEAPRIL20，20112

簡介：點擊查看更多PCI Express數(shù)據(jù)事務(wù)層的設(shè)計及驗證.pdf精彩內(nèi)容。

簡介：教學事務(wù)平臺作為數(shù)字化校園一個重要部分，它的功能和實用情況則體現(xiàn)學校的高等教育模式。本文根據(jù)國家教育部在本科教學的評估檢查中要求學校進一步規(guī)范教學工作，提高教學質(zhì)量，規(guī)范教學管理的精神，結(jié)合學?，F(xiàn)在有的一些信息管理系統(tǒng)，以及部門實際工作設(shè)計實現(xiàn)了一個教學事務(wù)平臺。本文首先闡述了以教學事務(wù)管理為重要組成部分的數(shù)字化校園的概念、發(fā)展和現(xiàn)狀，以及本校需要一個有效的教學事務(wù)管理平臺的迫切性。然后詳細介紹了實現(xiàn)該教學事務(wù)平臺采用的面向?qū)ο蠹夹g(shù)和JAVA技術(shù)。隨后，描述了平臺采用的CS客戶端服務(wù)器端的體系結(jié)構(gòu)，并使用面向?qū)ο蠹夹g(shù)對該平臺中用戶的一些事務(wù)以及事務(wù)涉及的數(shù)據(jù)進行了分析，建立了對應(yīng)的對象模型、動態(tài)模型等；給出了整個教學事務(wù)平臺的系統(tǒng)體系層次結(jié)構(gòu)視圖。本文以其中的學生管理信息模塊為例，采用面向?qū)ο筌浖_發(fā)的方法較為詳細地介紹了從需求描述到采用流行的面向?qū)ο箝_發(fā)語言JAVA的代碼實現(xiàn)過程；并將用戶界面和應(yīng)用程序的實現(xiàn)放在了客戶端，用SQLSERVER數(shù)據(jù)庫管理系統(tǒng)搭建的服務(wù)器端存儲該平臺涉及的數(shù)據(jù)。文中還闡述對教學平臺采用的面向?qū)ο蟮臏y試方法，以及整個系統(tǒng)平臺運行環(huán)境的搭建。該教學事務(wù)平臺以網(wǎng)絡(luò)為基礎(chǔ)，利用計算機技術(shù)、網(wǎng)絡(luò)通訊技術(shù)對學校的教學、科研、管理和學生工作等信息資源進行數(shù)字化，科學規(guī)范地對這些信息資源進行整合和集成，最終實現(xiàn)教育信息化、決策科學化和管理規(guī)范化。

簡介：SOASERVICESIENTEDARCHITECTURE，面向服務(wù)的架構(gòu)是目前主流分布式IT系統(tǒng)架構(gòu)理念，WEB服務(wù)技術(shù)作為SOA的最佳實現(xiàn)技術(shù)得到越來越多的關(guān)注。目前參與制定WEB服務(wù)相關(guān)標準的主要有W3C、OASIS、WSI、OMG等國際標準組織，它們所發(fā)布的標準存在重復和不一致現(xiàn)象，不同的廠商支持不同的標準，這樣就給用戶的使用造成困難，影響了IT系統(tǒng)之間的互操作性問題。我國目前已經(jīng)啟動了SOA相關(guān)國家標準的制定工作，由中國電子技術(shù)標準化研究所CESI互聯(lián)網(wǎng)標準開放實驗室ISOL整體負責，基于以上情況，ISOL規(guī)劃了SOA標準互操作性研究報告已正式發(fā)布于2008年11月，并將作為草案提交給ISOIECJTC1WSSG，挑選了可靠消息傳遞、尋址、事件、業(yè)務(wù)流程、事務(wù)、管理等六類較為核心的WEB服務(wù)標準，從標準的層次對其進行了互操作分析，用以指導我國SOA標準制定工作，盡早健全我國SOA標準體系，讓國內(nèi)廠商盡早用上自己的國家標準，以提升我國IT產(chǎn)業(yè)的核心競爭力。WEB服務(wù)事務(wù)確保多個協(xié)同工作的WEB服務(wù)之間保持統(tǒng)一的狀態(tài)視圖，從而取得一致的輸出結(jié)果，在出現(xiàn)異常的時候，操作都必須被回滾或者被補償，以保持數(shù)據(jù)的一致性。因此WEB事務(wù)處理是基于WEB服務(wù)技術(shù)架構(gòu)SOA系統(tǒng)的核心內(nèi)容之一。當前WEB服務(wù)事務(wù)規(guī)范主要有兩個WSTRANSACTION規(guī)范族和WSCOMPOSITEAPPLICATIONFRAMEWKWSCAF規(guī)范族。WSTRANSACTION和WSCAF規(guī)范均由OASIS負責維護，但由于參與制定廠商不同，必然存在差異。本文首先梳理出梳理WSTRANSACTION和WSCAF兩個規(guī)范的功能點和語義見附錄部分；然后在此基礎(chǔ)上從引用到的規(guī)范、各子規(guī)范之間的關(guān)系、規(guī)范定義的功能點和協(xié)調(diào)協(xié)議類型等方面對兩個規(guī)范進行對比分析，并對WEB服務(wù)事務(wù)標準的發(fā)展趨勢進行了分析；從產(chǎn)品和應(yīng)用的角度，介紹了WEB服務(wù)事務(wù)標準的應(yīng)用現(xiàn)狀；最后設(shè)計與實現(xiàn)了一個WEB服務(wù)程序，基于WCF框架使用WSTRANSACTION標準實現(xiàn)WEB服務(wù)分布式事務(wù)管理。本文主要采用文獻調(diào)研法，分析原版標準，獲取第一手資料，并基于研究內(nèi)容多次舉辦“SOA標準互操作分析研討會”，和浪潮、神州數(shù)碼、東方通、金蝶、IBM等國內(nèi)外主流IT廠商的技術(shù)人員進行較為深入的探討，不斷的修正研究方向，完善研究成果。

簡介：寧夏大學碩士學位論文從黑水城文獻看元代亦集乃路地方文書制度姓名尤樺申請學位級別碩士專業(yè)歷史文獻學指導教師王亞勇20080301ABSTRACTMAKINGREFERENCETOTHEHISTORYOFCHINESEOLDOFFICIALDOCUMENTS，THISPAPERANALYZEDANDSUMMARIZEDTHEOFFICIALDOCUMENTSABOUTTHEVIJI’NAILUOFTHEYUANDYNASTYTHEMAINRESOURCESOFTHISPAPERCAMEFROMTHEMANUSCRIPTSEXCAVATEDINKHARAKNOTOANDSTOREDINTHEMONGOLIANARCHAEOLOGYINSTITUTEATPRESENTANDTHEMANUSCRIPTSSTOREDINRUSSIANANDBRITAINWEREALSOUSEDASTHESUPPLEMENTTHISPAPERMADEATHOROUGHDISCUSSIONINTHEFOLLOWINGTHREEPARTSFIRSTFROMTHEVIEWPOINTOFTHEINTEGRALITYOFTHEOFFICIALDOCUMENTSINKHARAKNOTOWESUMMARIZEDTHEORGANIZATIONOFTHEOFFICIALDOCUMENTS，ANALYZEDWHATTHEMANUSCRIPTSREFLECTED，LIKETHECOMPLICATEDOFFICIALLANGUAGE，THEPOORQUALITYOFTHEPAPEROFTHEDOCUMENTS，THEUNSTANDARDTYPEFACESOFTHE；DOCUMENTSTHENWECOMPAREDTHEMANUSCRIPTSEXCAVATEDINKHARAKNOTOWITHTHOSEINDUHUANGANDTHOSEOFTHESONGDYNASTYANDXIXIAASARESULT，WECANSEECLEARLYTHECHARACTERISTICSOFTHEDOCUMENTSOFTHEYUANDYNASTY，THEREGIONALOFFICIALDOCUMENTS’ADVANTAGESANDITSINHERITEDRELATIONSHIPWITHTHEFORMERDYNASTIESTHIRDLY，THROUGHSTUDYOFTHEOFFICIALDOCUMENTSABOUTTHEVIJI’NAILU，WEOUTLINEDTHETYPESOFTHEDOCUMENTS，THEWRITINGSYSTEMANDTHEROLESOFWRITINGINADDITION，WESTATEDHOWVIJI’NAILU，BEINGSUCHAREMOTEADMINISTRATIVEORGANIZATIONAS‘‘LU”，WHICHWASOFPOORECONOMY，SMALLPOPULATIONANDDIVERSNATIONS，TODELIVER，DEALWITHANDSTORETHEIRDAILYOFTICIALDOCUMENTSANDTHISTHOROUGHLYSHOWEDTHATTHESYSTEMOFTHEOFFICIALDOCUMENTSABOUTYIJI’NAILUOFTHEYUANDYNASTYWEREDISTINCTLYNATIONALANDREGIONALTOSUMUP，THESTUDYABOUTTHEREGIONALOFFICIALDOCUMENTSYSTEMABOUTYIJI’NAILUOFTHEYUANDYNASTYISOFGREATIMPORTANCETOSOMEDEGREE，ITREFLECTEDTHEARRANGEMENTANDRELATIONSHIPOFTHEPOLITICALORGANIZATIONSOFTHEYUANDYNASTYWECANALSOSEEHOWTHEOFFICIALWORKERSWERESELECTEDANDEMPLOYED，EVENTHEEFFICIENCYOFTHEIRWORKTHUS，WETHINKIT’SHELPFULTOTHEFURTHERRESEARCHONPOLITICS，ECONOMY，MILITARYANDCULTUREOFTHISREGIONKEYWORDSKHARAKNOTO，THEYUANDYNASTY，VIII’徹ILU，MEOFFICIALDOCUMENTSYSTEMLL

簡介：工作流技術(shù)是近年來發(fā)展最為迅速的幾項新技術(shù)之一。它是實現(xiàn)企業(yè)業(yè)務(wù)自動化的核心技術(shù)，也為協(xié)調(diào)復雜業(yè)務(wù)過程活動提供了有效的方法。工作流管理系統(tǒng)是開發(fā)和執(zhí)行工作流的工具和平臺，主要應(yīng)用于實現(xiàn)業(yè)務(wù)流程自動化和基于層面的企業(yè)應(yīng)用集成。為了在工作流管理系統(tǒng)運行過程中保證數(shù)據(jù)的一致性、正確性和可靠性，必須使工作流管理系統(tǒng)具有事務(wù)處理的能力。因此，工作流管理系統(tǒng)中的事務(wù)處理逐漸成為近年來研究的熱點之一。為了更好地描述工作流的事務(wù)特性和解決工作流的事務(wù)處理問題，人們提出了許多高級事務(wù)模型，包括嵌套事務(wù)模型、分支匯合事務(wù)模型、SAGAS模型、柔性事務(wù)模型、ACTA等。此外，還出現(xiàn)了專門針對工作流的事務(wù)模型CONTRACTS和事務(wù)工作流。SAGAS模型是由普林斯頓大學的HGARCIAM0LINA等人提出用于解決長事務(wù)問題的一種模型。由于這種模型允許事務(wù)在全部提交之前釋放某些占用資源，大大提高了資源的利用率，并且也加強了系統(tǒng)的事務(wù)處理能力而受到廣泛關(guān)注。本文對SAGAS模型做了詳細分析，指出在按照SAGAS模型定義的流程執(zhí)行時存在著三個缺陷，第一是當任意一個子事務(wù)出現(xiàn)異常時，就需要撤銷全部己提交的事務(wù)；第二是當長事務(wù)完成補償事務(wù)后會退出，而不是選擇更有效的執(zhí)行手段；第三是該模型只支持所有子事務(wù)的補償子事務(wù)都存在的情況。針對這三個缺陷，在SAGAS模型中增加一致點的概念來保存盡可能多的已完成任務(wù)，增加失敗處理模式使模型在發(fā)生異常后能夠更智能化地自動恢復，同時引入補償服務(wù)的概念解決了補償子事務(wù)不存在的問題。在此基礎(chǔ)上，建立了改進的SAGAS事務(wù)模型。本文以成熟的JAVA和關(guān)系數(shù)據(jù)庫技術(shù)為基礎(chǔ)，對改進模型進行了詳細的設(shè)計，定義了在關(guān)系數(shù)據(jù)庫中長事務(wù)和子事務(wù)的保存方式，并且對事務(wù)管理器進行了詳細的分析和設(shè)計。該模型在鎮(zhèn)江給排水系統(tǒng)中得到了應(yīng)用，本文以系統(tǒng)中的合同管理模塊中的合同變更處理流程為例，對模型的應(yīng)用效果進行了分析，證明該模型是可用并且有效的。

簡介：中圖分類號H059H059密級公開公開UDC81258125本校編號1065210652翻譯碩士專業(yè)學位論文論文題目退休醫(yī)保諒解備忘錄的翻譯報告法律文書漢譯中的詞性轉(zhuǎn)換研究生姓名易辰蔚易辰蔚學號2015055101087420150551010874校內(nèi)指導教師姓名楊梅楊梅職稱副教授副教授校外指導教師姓名陳海霞陳海霞職務(wù)職稱翻譯翻譯申請學位等級碩士碩士專業(yè)方向英語筆譯英語筆譯學習形式全日制全日制論文提交日期20172017年3月9日論文答辯日期20172017年5月論文獨創(chuàng)性的聲明論文獨創(chuàng)性的聲明本人鄭重聲明所呈交的學位論文是本人在導師指導下進行的研究工作及取得的研究成果。盡我所知，除了文中特別加以標注和致謝的地方外，論文不包含其他人已經(jīng)發(fā)表或撰寫過的研究成果，也不包含為獲得西南政法西南政法大學大學或其他教育機構(gòu)的學位或證書而使用過的材料。對于與我一同工作的同志對本研究所做的任何貢獻，均已在論文中作了明確的說明并表示謝意。學位論文作者簽名簽字日期年月日學位論文版權(quán)使用授權(quán)書學位論文版權(quán)使用授權(quán)書本學位論文作者完全了解西南政法大學西南政法大學有關(guān)保留、使用學位論文的規(guī)定。即學校有權(quán)保留所送交的論文，允許論文被查閱和借閱，可以公布論文內(nèi)容，可以采用影印、縮印或掃描等復制手段保存論文，可以向有關(guān)部門和機構(gòu)送交論文的紙質(zhì)復印件和電子版本。保密的學位論文在解密后適用本授權(quán)書學位論文作者簽名導師簽名簽字日期年月日簽字日期年月日

簡介：隨著計算機網(wǎng)絡(luò)技術(shù)及應(yīng)用的快速發(fā)展，實時數(shù)據(jù)庫系統(tǒng)的應(yīng)用領(lǐng)域也越來越廣。在這些信息中既有一般的可公開信息，也有需要保密的重要信息。實時數(shù)據(jù)庫系統(tǒng)既要保證信息的實時性，同時也必須保證保密信息的安全存儲和訪問，如何保障數(shù)據(jù)庫的安全性就成了一個亟待解決的問題。因此，為了保證實時數(shù)據(jù)庫系統(tǒng)的實時性和安全性，需要提供一種新方法同時支持實時性和安全性。安全實時數(shù)據(jù)庫的關(guān)鍵問題是必須滿足實時性和安全性。針對上述問題首先探討了基于BELLLAPADULA訪問限制模式的安全控制因素，分析了安全并發(fā)控制算法，陳述了實時系統(tǒng)設(shè)計者應(yīng)該考慮的實時性和安全性。安全實時數(shù)據(jù)庫系統(tǒng)的訪問控制采用強制存取控制，在BLP模型的基礎(chǔ)上，對“向下讀，向上寫”的原則進行了改進；另一方面，針對安全實時數(shù)據(jù)庫中事務(wù)具有的安全性和實時性的特點，對傳統(tǒng)的HP2PL并發(fā)控制策略加以改進，提出了基于安全的高優(yōu)先級兩段鎖協(xié)議SHP2PL的算法，該算法通過調(diào)節(jié)安全因子和實時因子，決定事務(wù)調(diào)度的側(cè)重點偏重于安全還是偏重于實時。用戶可根據(jù)系統(tǒng)的安全要求和實時特征動態(tài)調(diào)整產(chǎn)生隱通道嚴重程度及超截止期嚴重程度的權(quán)值以適應(yīng)不同要求。在上述理論的基礎(chǔ)上，設(shè)計了一個安全實時數(shù)據(jù)庫系統(tǒng)結(jié)構(gòu)圖，并對該系統(tǒng)進行了簡單的分析。

簡介：本文通過對無鎖的軟件事務(wù)內(nèi)存機制的研究，將OPENMP和事務(wù)內(nèi)存的優(yōu)點有機結(jié)合，對OPENMP模型進行了有益的擴展。該擴展工作在保障程序并行性的同時，又能有效確保程序執(zhí)行的正確性。本文主要內(nèi)容和工作如下第一，事務(wù)內(nèi)存技術(shù)及其沖突機制的研究。本文在分析各種事務(wù)內(nèi)存技術(shù)的基礎(chǔ)上，對一個基于JAVA的軟件事務(wù)內(nèi)存模型進行擴展，實現(xiàn)了懶惰方式的沖突檢測機制和多種沖突解決方案。本文通過多個不同角度的測試分析，為事務(wù)內(nèi)存技術(shù)的進一步研究提供了更多的實驗依據(jù)。第二，基于JAVA和事務(wù)內(nèi)存技術(shù)的OPENMP擴展研究與實現(xiàn)。JAVA是一種可移植和面向?qū)ο蟮母呒壵Z言，在語言級別上對多線程提供了很好的支持，而現(xiàn)有OPENMP模型僅支持CC和FTRAN等高級語言。本文結(jié)合JAVA和OPENMP的各自特點，實現(xiàn)了一種稱為JOMP_TM的并行編程模型。該模型定義了OPENMP風格的事務(wù)內(nèi)存原語，封裝了事務(wù)內(nèi)存的實現(xiàn)細節(jié)，使用戶既可以得到OPENMP編程的簡單性，又可得到由事務(wù)內(nèi)存技術(shù)帶來的程序正確性的保障。第三，并行程序遠程開發(fā)環(huán)境的設(shè)計與實現(xiàn)。針對并行程序開發(fā)的實際需求，本文設(shè)計并實現(xiàn)了基于WEBSERVICES的遠程高性能計算機開發(fā)與服務(wù)系統(tǒng)。該系統(tǒng)提供了遠程并行計算資源的有效共享與管理支持，使用戶可以方便地使用并行程序的本地編寫、遠程提交、運行與調(diào)試等功能。