眾賞文庫
全部分類
  • 抗擊疫情 >
    抗擊疫情
    病毒認知 防護手冊 復工復產(chǎn) 應急預案 防控方案 英雄事跡 院務工作
  • 成品畢設(shè) >
    成品畢設(shè)
    外文翻譯 畢業(yè)設(shè)計 畢業(yè)論文 開題報告 文獻綜述 任務書 課程設(shè)計 相關(guān)資料 大學生活 期刊論文 實習報告
  • 項目策劃 >
    項目策劃
    土地準備 規(guī)劃設(shè)計 開工開盤 項目綜合 竣工移交 售后移交 智慧方案 安全專項 環(huán)境影響評估報告 可行性研究報告 項目建議書 商業(yè)計劃書 危害評估防治 招投標文件
  • 專業(yè)資料 >
    專業(yè)資料
    人文法律 環(huán)境安全 食品科學 基礎(chǔ)建設(shè) 能源化工 農(nóng)林牧畜 綜合待分類 教育經(jīng)驗 行政人力 企業(yè)管理 醫(yī)學衛(wèi)生 IT技術(shù) 土木建筑 考研專題 財會稅務 公路隧道 紡織服裝
  • 共享辦公 >
    共享辦公
    總結(jié)匯報 調(diào)研報告 工作計劃 述職報告 講話發(fā)言 心得體會 思想?yún)R報 事務文書 合同協(xié)議 活動策劃 代理加盟 技術(shù)服務 求職簡歷 辦公軟件 ppt模板 表格模板 融資協(xié)議 發(fā)言演講 黨團工作 民主生活
  • 學術(shù)文檔 >
    學術(shù)文檔
    自然科學 生物科學 天文科學 醫(yī)學衛(wèi)生 工業(yè)技術(shù) 航空、航天 環(huán)境科學、安全科學 軍事 政學 文化、科學、教育、 交通運輸 經(jīng)濟 語言、文字 文學 農(nóng)業(yè)科學 社會科學總論 藝術(shù) 歷史、地理 哲學 數(shù)理科學和化學 綜合性圖書 哲學宗教
  • 經(jīng)營營銷 >
    經(jīng)營營銷
    綜合文檔 經(jīng)濟財稅 人力資源 運營管理 企業(yè)管理 內(nèi)控風控 地產(chǎn)策劃
  • 教學課件 >
    教學課件
    幼兒教育 小學教育 初中教育 高中教育 職業(yè)教育 成人教育 高等教育 考研資源 試題真題 作業(yè)習題 課后答案 綜合教學
  • 土木建筑 >
    土木建筑
    專項施工 應急預案 建筑規(guī)范 工藝方案 技術(shù)交底 施工表格 圖片圖集
  • 課程導學 >
    課程導學
    醫(yī)學綜合 中醫(yī)養(yǎng)生 醫(yī)學研究 身心發(fā)展 醫(yī)學試題 影像醫(yī)學 醫(yī)院辦公 外科醫(yī)學 老年醫(yī)學 內(nèi)科醫(yī)學 婦產(chǎn)科 神經(jīng)科 醫(yī)學課件 眼鼻喉科 皮膚病科 腫瘤科 兒科醫(yī)學 康復醫(yī)學 全科醫(yī)學 護理學科 針灸學科 重癥學科 病毒學科 獸醫(yī) 藥學
    • 簡介:WEB服務的發(fā)展使得整合不同企業(yè)的應用成為可能。通過整合不同企業(yè)提供的WEB服務,可以構(gòu)建一個跨多個企業(yè)的應用系統(tǒng)。這樣的應用系統(tǒng)由松散耦合的,具有一定自治性的系統(tǒng)組成,通常運行持續(xù)時間長達幾個小時或幾天的業(yè)務流程。為了確保這樣的業(yè)務流程產(chǎn)生一致性的結(jié)果,這樣的應用系統(tǒng)需要事務的支持。傳統(tǒng)事務模型為了在并發(fā)執(zhí)行多個事務時維持一致性,要求事務訪問的資源在事務提交前維持鎖定狀態(tài)。這對于長事務的處理是不合適的,因為長時間鎖定資源會導致系統(tǒng)的性能降低到不能接收的程度?,F(xiàn)有的長事務模型通過將全局事務分解為一系列獨立提交的子事務,減少了資源鎖定的時間。在全局事務被部分執(zhí)行時,使用補償事務來撤消子事務提交造成的影響。但是在WEB服務領(lǐng)域,現(xiàn)有的事務管理協(xié)議沒有提供補償事務的實現(xiàn),要求應用程序開發(fā)人員實現(xiàn)補償事務。本文在現(xiàn)有長事務模型的基礎(chǔ)上,提出了一個基于自動產(chǎn)生補償事務的通用的長事務管理服務。這個長事務管理服務提出了一個協(xié)調(diào)算法,允許用戶在已提交的子事務中選擇用戶需要的結(jié)果。使用補償事務撤消那些用戶不需要的結(jié)果,并且補償事務是在相應的子事務執(zhí)行時,由長事務管理服務自動產(chǎn)生的。并且長事務管理服務作為WEB服務獨立部署,不要求現(xiàn)有WEB服務的實現(xiàn)做出改變。本文討論了長事務管理服務需要實現(xiàn)的需求,并討論了事務協(xié)調(diào)算法,以及使用觸發(fā)器實現(xiàn)補償事務自動產(chǎn)生的方法,設(shè)計并實現(xiàn)了這個通用的長事務管理服務。最后,通過分析測試的需求,設(shè)計并執(zhí)行了相應的測試案例驗證了長事務管理服務實現(xiàn)的正確性。
      下載積分: 5 賞幣
      上傳時間:2024-03-10
      頁數(shù): 71
      4人已閱讀
      ( 4 星級)
    • 簡介:目前語音網(wǎng)絡(luò)技術(shù)VOICEOVERINTERPROTOCOLVOIP在公司企業(yè)里應用廣泛,其成本低廉,傳輸快捷的特點使其逐漸取代傳統(tǒng)的模擬電話模式,具有很強的發(fā)展?jié)摿?。SIP協(xié)議是VOIP語音網(wǎng)絡(luò)技術(shù)中最為成熟的標準協(xié)議。本文主要研究基于SIP協(xié)議下訂閱通知事務機制,使呼叫中心在與語音服務器交互過程中,快速得到訂閱話機的注冊狀態(tài)信息,及時收到資源狀態(tài)改變的通知3。這項技術(shù)拓展了語音交換產(chǎn)品在功能上的延伸,提高了有效接線率,避免空閑話機的資源浪費。通過理論學習和實際參加華為3COM公司語音項目的開發(fā)工作,本文設(shè)計并實現(xiàn)出訂閱通知事務的處理策略與流程。其主要工作有1依據(jù)SIP協(xié)議及RFC3265文檔制定出一套訂閱交互的處理流程,包括新增訂閱,刷新訂閱,取消訂閱,F(xiàn)ETCH操作。2分別對訂閱事件與通知事件建立有限狀態(tài)機。對接收消息進行即時判斷處理并解決消息的重復載入問題。3針對訂閱注冊超時與等待響應消息超時,采用定時器超時處理函數(shù)接口進行超時后的應對處理。4在消息接收處理中對底層消息進行提取IE操作,封裝上層消息并發(fā)送。屏蔽不同消息之間的差異。目前項目已通過A類系統(tǒng)測試,在掛接了250部話機的硬件環(huán)境下,沒有發(fā)生控制塊掛死與死機現(xiàn)象。訂閱交互流程正常,報文解析正確,運行穩(wěn)定。在國內(nèi)的語音服務器中,支持訂閱通知服務是一項語音產(chǎn)品功能上的創(chuàng)新,不但提高了語音服務器的技術(shù)含量,也同時縮短了與國外語音產(chǎn)品之間的差距。
      下載積分: 5 賞幣
      上傳時間:2024-03-12
      頁數(shù): 64
      21人已閱讀
      ( 4 星級)
    • 簡介:隨著中國法治社會進程的推進,律師行業(yè)要想在激烈的國際市場競爭中發(fā)展壯大,關(guān)鍵之一就是進行信息化建設(shè)。律師事務所管理中大部分的工作涉及多部門,需要多人協(xié)同工作,具有明顯的流程運轉(zhuǎn)的規(guī)律及特征,而工作流技術(shù)作為實現(xiàn)業(yè)務管理自動化的一項先進技術(shù)正是解決此類問題的有效途徑之一。由于律師事務所管理情況的復雜性,通常不可能事先定義過程中的各種控制和步驟,對系統(tǒng)的柔性有著較高的要求。采用先進的柔性工作流管理系統(tǒng)能夠較好的處理律所管理系統(tǒng)中的流程問題。本文就是將柔性工作流技術(shù)應用于律師行業(yè)的一次實踐。本文以工作流管理系統(tǒng)參考模型為核心,深入地分析了開源工作流引擎OSWKFLOW的結(jié)構(gòu)和源碼,并在28版基礎(chǔ)上進行了二次開發(fā),實現(xiàn)了基于柔性工作流的律師事務所管理系統(tǒng)LOMS。本系統(tǒng)采用RIA架構(gòu),客戶端基于EXTONJSVM技術(shù)設(shè)計,而服務端采用SPRINGHIBERNATE來構(gòu)建。本文完成了基于柔性工作流技術(shù)的律師事務所管理系統(tǒng)的開發(fā)工作。系統(tǒng)能夠滿足律師事務所對業(yè)務流程的要求,經(jīng)過觀察實際運行的效果,能夠?qū)崿F(xiàn)靈活改變流程執(zhí)行路徑、用戶的添加和權(quán)限控制等柔性工作流程控制的功能,系統(tǒng)運轉(zhuǎn)穩(wěn)定,運行速度較快,具有較高的安全性、擴展性、兼容性,規(guī)范性、便捷性。該系統(tǒng)具有十分重要的應用意義和推廣應用前景,將產(chǎn)生良好的經(jīng)濟效益和社會效益。柔性工作流管理系統(tǒng)現(xiàn)在己經(jīng)在實際應用中起到了較好的作用,是律師事務所管理信息化的一個發(fā)展方向,有較為廣闊的發(fā)展前景。
      下載積分: 5 賞幣
      上傳時間:2024-03-10
      頁數(shù): 82
      8人已閱讀
      ( 4 星級)
    • 簡介:可信的WEB服務需要引入WEB服務事務來保證。學術(shù)界和工業(yè)界借鑒了傳統(tǒng)事務的一些技術(shù)和經(jīng)驗,提出了WEB服務事務的規(guī)范和協(xié)議來解決WEB服務的事務問題。但WEB服務事務和傳統(tǒng)事務的差異比較大,出現(xiàn)了很多新的問題。現(xiàn)有規(guī)范和協(xié)議不是很完善,不能很好的解決WEB服務事務應用中存在的問題。本文通過對傳統(tǒng)事務和WEB服務事務的協(xié)調(diào)模型以及協(xié)調(diào)協(xié)議的研究,發(fā)現(xiàn)WEB服務事務參與各方存在緊耦合的問題。為解決這個問題,本文提出了一個解耦的WEB服務事務中間件模型的架構(gòu)以及具體實現(xiàn)。本文的主要工作包括以下幾個方面1提出了WEB服務事務中間件模型的架構(gòu)設(shè)計,對參與WEB服務事務的各部分應用程序、協(xié)調(diào)器、服務提供方進行了解耦,使應用程序與協(xié)調(diào)器不再緊耦合,提高了協(xié)調(diào)器的通用性,使之能夠作為獨立的第三方軟件出現(xiàn),成為WEB服務事務中間件;事務中間件各模塊的功能接口都發(fā)布為WEB服務,從而提高了系統(tǒng)的靈活性,可擴展性。2在事務中間件模型的基礎(chǔ)上,引入了QOS管理器。本文根據(jù)事務處理的需要給出了WEB服務QOS屬性定義,應用程序根據(jù)業(yè)務需求選擇QOS值最優(yōu)的WEB服務進行調(diào)用?;诜仗峁┱邔Ψ照{(diào)用者有QOS的偏好選擇,給出了事務中QOS屬性值的標準化方法及其QOS綜合評價的計算模型,體現(xiàn)了服務提供方的自治性,保證了服務提供方的利益。服務提供者使用QOS管理器來對應用程序的QOS屬性值進行計算,從而決定服務提供方是否響應此次調(diào)用。本文采用能自動修正不滿足一致性的判斷矩陣的層次分析法來計算QOS屬性的權(quán)重,使事務處理保證完全自動性和連續(xù)性;3對WEB服務原子事務模型和協(xié)調(diào)協(xié)議進行了設(shè)計與實現(xiàn),對WEB服務業(yè)務活動的協(xié)調(diào)協(xié)議進行了擴展,并對業(yè)務活動的補償進行了研究,提出了配置文件的形式來確定補償操作的嘗試。
      下載積分: 5 賞幣
      上傳時間:2024-03-10
      頁數(shù): 70
      8人已閱讀
      ( 4 星級)
    • 下載積分: 5 賞幣
      上傳時間:2024-03-10
      頁數(shù): 84
      5人已閱讀
      ( 4 星級)
    • 簡介:實時數(shù)據(jù)庫系統(tǒng)的目標就是使?jié)M足截止期限約束的事務數(shù)量為最大,因而支持優(yōu)先考慮時間的事務調(diào)度是非常重要的。事務的實時調(diào)度方法是決定系統(tǒng)性能好壞的關(guān)鍵,而那些傳統(tǒng)的確定性事務調(diào)度方法對以時間優(yōu)先的應用來說是不足夠的,確定性事務調(diào)度方法又不支持一定概率的事務作業(yè)錯過截止期限。使用MELESS方法保證事務更新的數(shù)據(jù)對象的時序一致性是當前常用的方法。但是其過于悲觀地使用最壞情況下的事務作業(yè)計算時間來執(zhí)行調(diào)度使得系統(tǒng)資源利用率增大,從而減少了滿足截止期限約束條件的事務作業(yè)執(zhí)行的個數(shù),最終導致了系統(tǒng)性能的下降。因此,為了優(yōu)化系統(tǒng)性能,需要提供一種新方法同時支持實時性和可調(diào)度性,并且期望在事務執(zhí)行時的系統(tǒng)資源利用率最低。本文首先研究了實時數(shù)據(jù)庫系統(tǒng)中的更新事務和實時數(shù)據(jù)的時間特性,給出了確定實時數(shù)據(jù)正確性的定義;然后分析和比較了傳統(tǒng)的確定性更新事務調(diào)度算法。并在此基礎(chǔ)上研究了基于延遲更新事務作業(yè)抽樣時間以達到優(yōu)化系統(tǒng)資源利用率的方法,討論了取樣周期和相對截止期限在進程調(diào)度中的時序關(guān)系,緊接著在軟固實時系統(tǒng)中引入概率統(tǒng)計的非確定性方法。最后結(jié)合可延遲調(diào)度算法,并通過概率統(tǒng)計方法來控制調(diào)度實時更新事務作業(yè)以保證實時數(shù)據(jù)的時序一致性,提出了一種既能更好地優(yōu)化CPU資源利用率,同時又能保證實時更新事務請求的服務質(zhì)量的新方法,并通過實驗和理論分析證明了使用該方法可獲得更優(yōu)的系統(tǒng)性能。
      下載積分: 5 賞幣
      上傳時間:2024-03-12
      頁數(shù): 66
      19人已閱讀
      ( 4 星級)
    • 簡介:研究背景書寫是人類獨有的高級神經(jīng)活動在人類的交流中起著重要的作用。復雜的書寫過程不僅需要視覺、聽覺、運動覺的相互協(xié)調(diào)還需要語言、思維、理解、邏輯、記憶等認知過程的共同參與。傳統(tǒng)意義上語言優(yōu)勢半球額中回的后部為書寫中樞即EXNER區(qū)。但是隨著臨床觀察、神經(jīng)影像、病理解剖、言語心理等方面的研究的不斷深入越來越多的證據(jù)證明書寫依賴于廣泛的神經(jīng)網(wǎng)絡(luò)涉及額、頂、枕、顳等相關(guān)皮層及皮層下結(jié)構(gòu)。而中文和英文分屬藏漢語系和印歐語系前者為表意文字后者為表音文字無論是字詞結(jié)構(gòu)還是語法規(guī)則均有不同。以往研究多集中于大腦皮質(zhì)與書寫的關(guān)系近年來關(guān)注的皮層下書寫功能多為對兩種語言各自獨立的研究結(jié)論各異。那么這兩種語言書寫的神經(jīng)心理學機制究竟有什么不同基底神經(jīng)節(jié)BASALGANGLIABG在這兩種書寫過程中是否扮演著同樣的角色基底神經(jīng)節(jié)是位于皮層下的灰質(zhì)核團屬于錐體外系的一部分包括尾狀核、殼核、蒼白球、丘腦底核等。在哺乳類以下的動物中大腦皮質(zhì)功能不完善基底神經(jīng)節(jié)成為運動功能的最高級整合中樞;在哺乳動物中大腦皮質(zhì)充分進化基底神經(jīng)節(jié)通過各種神經(jīng)遞質(zhì)及肽類、神經(jīng)環(huán)路參與運動調(diào)節(jié)退居于從屬地位。但是隨著對基底神經(jīng)節(jié)研究的不斷深入學者發(fā)現(xiàn)基底神經(jīng)節(jié)不僅參與運動的控制還參與記憶、語言、學習、推理、書寫等高級神經(jīng)活動。有學者認為基底神經(jīng)節(jié)可以作為繼BROCA、WERNICK區(qū)之后的“第三語言區(qū)”具有非常重要的研究價值。臨床上一些主要以基底神經(jīng)節(jié)損害為主的疾病如帕金森病PARKINSON’SDISEASEPD、亨廷頓病HUNTINGTON’SDISEASEHD、肝豆狀核變性WILSON’SDISEASEWD、皮質(zhì)基底神經(jīng)節(jié)變性等可引起不同性質(zhì)書寫障礙例如小寫癥、構(gòu)字障礙、視空間失寫等等提供了推測基底神經(jīng)節(jié)參與書寫過程的線索但是由于臨床病例的復雜性尚難以完全確定有無基底神經(jīng)節(jié)之外的其他腦結(jié)構(gòu)損害與書寫障礙有關(guān)。因此臨床病例研究的不足為進一步在健康人群中進行書寫研究提供了必要性。目前隨著功能神經(jīng)影像學的不斷發(fā)展功能磁共振FUNCTIONALMAGICRESOURCEIMAGINGFMRI、腦磁圖MAGOENCEPHALOGRAMMEG、正電子發(fā)射計算機體層顯像計算機體層顯像POSITRONEMISSIONTOMOGRAPHYCOMPUTERTOMOGRAPHYPETCT對書寫相關(guān)腦區(qū)的活體研究提供了更為有效和精確的定位具有較好的空間及時間分辨率。但是由于研究手段、實驗范式、研究對象等的不同實驗結(jié)果難以統(tǒng)一。功能磁共振因其較好的空間分辨率及費用低廉成為目前主要的研究手段但是其難以模擬常規(guī)書寫且掃描時間過短難以進行持續(xù)性書寫研究。腦磁圖具有較高時間分辨率但不能探測與顱骨表面垂直方向的徑向電流它只對與顱骨表面成切線方向的電流信號敏感而腦內(nèi)神經(jīng)細胞排列不規(guī)則所以局部腦區(qū)實際激活功率的探測將會不可避免的受到影響。PETCT又稱分子成像雖然價格昂貴但其可從測量示蹤劑在腦內(nèi)神經(jīng)細胞的代謝來直觀的顯示書寫的功能區(qū)可將刺激任務的執(zhí)行與掃描分離適用于持續(xù)書寫的研究但目前在書寫功能的研究中應用較少。所以應用PETCT對健康受試者的書寫進行分析對于探討基底神經(jīng)節(jié)在書寫中的作用是一個新的切入點。本實驗選擇以中文為其第一語言的健康中國大學生及以英文為其第一語言的印度留學生為受試者采用PETCT為研究手段主動書寫為實驗范式統(tǒng)計參數(shù)圖STATISTICALPARAMETRICMAPPINGSPM為統(tǒng)計軟件分別觀察中英文書寫作業(yè)中基底神經(jīng)節(jié)的葡萄糖代謝進而觀察其激活情況以期探討基底神經(jīng)節(jié)在中英文書寫中的作用及其差異并進一步推測其神經(jīng)心理學機制。研究目的應用PETCT揭示中英文書寫作業(yè)中基底神經(jīng)節(jié)的激活情況獲得基底神經(jīng)節(jié)是否參與中英文書寫過程的證據(jù)分析中英文書寫過程中基底神經(jīng)節(jié)激活的差異探討其神經(jīng)心理學機制。研究對象中文書寫組受試者6名男性年齡23~25歲平均年齡2367±082歲中文為其第一語言為南方醫(yī)科大學在讀本科生。英文書寫組受試者6名男性年齡18~21歲平均年齡2017±107歲英語為其第一語言為南方醫(yī)科大學在讀本科印度留學生。受試者均為健康右利手者且均可進行流利篇章書寫無神經(jīng)及精神系統(tǒng)疾病艾森克人格測驗篩選為穩(wěn)定型。本試驗通過了南方醫(yī)院醫(yī)學倫理委員會的批準受試者在詳細了解本試驗的基礎(chǔ)上自愿簽署了知情同意書。研究方法所有受試者均接受2次PETCT掃描每次各完成1次書寫作業(yè)。中文書寫組的實驗任務為第一次的假寫作業(yè)和第二次的中文書寫作業(yè)。英文書寫組的試驗任務為第一次的假寫作業(yè)和第二次的英文書寫作業(yè)。2次書寫作業(yè)之間間隔3~5天。根據(jù)中英文書寫的筆勢特征中文的假寫作業(yè)設(shè)計為以常規(guī)書寫姿勢逐格涂黑稿紙空格英文的假寫作業(yè)設(shè)計為以常規(guī)書寫姿勢在信紙上畫螺旋圖形均不產(chǎn)生文字;中英文書寫作業(yè)均設(shè)計為命題篇章書寫。受試者每次作業(yè)時采用PETCT進行掃描以獲得假寫作業(yè)和文字書寫作業(yè)時的圖像數(shù)據(jù)進而應用SPM2對每組兩次作業(yè)的圖像數(shù)據(jù)進行配對F檢驗比較從而獲得中英文文字書寫各自葡萄糖代謝增高的區(qū)域及相應的腦功能激活圖。應用SPM2對中文書寫作業(yè)和英文書寫作業(yè)進行兩個樣本T檢驗的分析從而獲得中英文書寫相比較的葡萄糖代謝增高的區(qū)域及相應的腦功能激活圖。結(jié)果1中文書寫組中文書寫作業(yè)與假寫作業(yè)比較激活區(qū)為右側(cè)尾狀核P2英文書寫組英文書寫作業(yè)與假寫作業(yè)比較激活區(qū)為左側(cè)尾狀核頭P3中英文書寫作業(yè)比較激活區(qū)為右側(cè)殼核P結(jié)論1右側(cè)尾狀核參與中文書寫過程并在右利手受試者中具有同側(cè)優(yōu)勢性;2左側(cè)尾狀核參與英文書寫過程并在右利手受試者中具有對側(cè)優(yōu)勢性;3右側(cè)殼核在中英文書寫作業(yè)比較時激活參與中文復雜的視空間構(gòu)像加工右側(cè)基底神經(jīng)節(jié)在整合皮層神經(jīng)沖動時起到樞紐的作用;4基底神經(jīng)節(jié)與廣泛大腦皮層及小腦分工協(xié)作共同組成了書寫相關(guān)的神經(jīng)網(wǎng)絡(luò)。
      下載積分: 5 賞幣
      上傳時間:2024-03-12
      頁數(shù): 72
      6人已閱讀
      ( 4 星級)
    • 簡介:WEB服務是解決分布式結(jié)構(gòu)異構(gòu)性的計算模型,WEB服務中的事務處理是保證服務結(jié)果一致性和可靠性的有效技術(shù)。由于WEB服務自身的分布性、異構(gòu)性、自描述等特點,WEB服務中的事務處理也具有長周期、自治性等特點,傳統(tǒng)的事務處理技術(shù)不再適應。為解決些問題,工業(yè)界提出新的事務處理協(xié)議,如BTP、WSCTX、WSCAF、THP等協(xié)議。學術(shù)上,形式化方法已被用于對基于消息通訊的并發(fā)系統(tǒng)的建模和分析,模型檢測方法在協(xié)議分析上有著抽象、高效等特點。因此將形式化方法用于WEB服務領(lǐng)域已經(jīng)成為一個重要的研究方向。本文采用形式化方法對支持事務協(xié)調(diào)的THP協(xié)議進行建模與驗證分析。從“結(jié)構(gòu)組件活性驗證”與“業(yè)務邏輯安全性驗證”兩部分對THP協(xié)議進行建模和分析。針對THP協(xié)議的并發(fā)特性,采用PI演算進行建模,給出THP協(xié)議結(jié)構(gòu)組件到PI演算語法的映射表和建模規(guī)則。在對THP協(xié)議各個模塊建模的基礎(chǔ)上,得到THP協(xié)議結(jié)構(gòu)組件的PI演算模型,然后運用PI演算模型檢測工具MWB對THP協(xié)議結(jié)構(gòu)組件的死鎖性進行檢測,從而驗證了在并發(fā)情況下,THP協(xié)議各結(jié)構(gòu)組件不會產(chǎn)生死鎖。另一方面,對THP協(xié)議的業(yè)務邏輯進一步驗證。本文給出SCHEMA中消息到PI演算的映射規(guī)則,以及THP協(xié)議中WSDL描述到PI演算的編碼規(guī)則,從元模型層實現(xiàn)了THP協(xié)議規(guī)范到PI演算的映射方法,為THP協(xié)議業(yè)務邏輯實例的PI演算建模提供了分析的基礎(chǔ)。由于MWB不支持時間算子和相關(guān)的邏輯性質(zhì)規(guī)約的推演,本文采用支持LTL的SAL,對模型的性質(zhì)進行刻畫、檢測,通過反例的生成解釋了通信中為什么存在不同步的現(xiàn)象。最后給出THP協(xié)議的應用實例,并對其建模以檢測是否滿足期望的性質(zhì),針對出現(xiàn)的問題給出解決方案,實現(xiàn)了模型檢測方法對WEB服務業(yè)務流程的管理與設(shè)計的指導作用。
      下載積分: 5 賞幣
      上傳時間:2024-03-10
      頁數(shù): 69
      6人已閱讀
      ( 4 星級)
    • 下載積分: 5 賞幣
      上傳時間:2024-03-10
      頁數(shù): 123
      16人已閱讀
      ( 4 星級)
    • 簡介:福建師范大學碩士學位論文近代福建外國教會契約文書之研究姓名李莉申請學位級別碩士專業(yè)專門史指導教師謝必震200341第二章近代福建外國教會契約文書的形制與內(nèi)容考述教會契約文書形制的特殊性和內(nèi)容的“本地化”傾向。本章分四節(jié)。第一節(jié)考察教會契約文書形制的沿革從最初借用民間契式,到民國八年專門的教會租契,再到民國二十九年教會永租土地契式,教會契約文書的形制不斷完善正規(guī)。并考察教會契約文書的附屬文書不動產(chǎn)圖式、官文書、領(lǐng)事館登記文書等。第二節(jié)論述教會契約文書的主要內(nèi)容,即民教間買賣、租典、捐贈不動產(chǎn)及借貸等情況。第三節(jié)從親鄰優(yōu)先權(quán)、中人制度、找價、附繳上手契等方面,闡述教會契約文書中的民間習慣法。第四節(jié)對比分析了教會契約與民間契約的異同點,著重分析了領(lǐng)事官在民教經(jīng)濟契約關(guān)系中的重要作用。第三章從教會契約文書看邵武美部會的發(fā)展18731931本章根據(jù)福建師范大學歷史系資料室藏的邵武美部會契,考察該會1873至1931年間發(fā)展的歷史。研究表明教會發(fā)展的初期注重堂會的建立及各種禮拜堂、祈禱所、宣道所的設(shè)立,以謀求教會的立足進入發(fā)展階段后,則加強附屬事業(yè)的興辦,并以具體的契例,體現(xiàn)教會勢力深入民間基層,與官府、紳耆、教徒、一般業(yè)主、當?shù)卮髴?、家族組織、民間信仰組織、民間會、社組織及幫會之間打交道的具體情況。另外,還對教會兩大特色事業(yè)一~奶牛業(yè)及農(nóng)林試驗的發(fā)展進行考察。并在前文論述的基礎(chǔ)上,得出四點認識邵武美部會的傳教具有比較固定的性質(zhì);體現(xiàn)近代在華教會傳教的基本模式;勢力的發(fā)展是多方面合力綜合作用的結(jié)果從契約文書的角度,可以豐富、客觀、全面地研究教會史。第四章教會契約文書與福建民間社會的細部考察本章分兩節(jié),考察教會與福建民間社會的互動關(guān)系。第一節(jié)以具體契例論述近代教會在福建置產(chǎn)的十二種手段和渠道。認為為傳教所需的置產(chǎn)目的,決定教會置產(chǎn)的兩個特點,從而影響置產(chǎn)手段和渠道的選擇。教會置產(chǎn)手段正當與非正當間而有之,但本質(zhì)上是以強權(quán)為后盾的民教問不乎等地位
      下載積分: 5 賞幣
      上傳時間:2024-03-10
      頁數(shù): 159
      6人已閱讀
      ( 4 星級)
    • 簡介:WEB技術(shù)的迅猛發(fā)展改變了企業(yè)與它的客戶和合作伙伴的交互方式,企業(yè)之間越來越緊密的合作趨勢使得許多的業(yè)務過程不可能由單個企業(yè)完成。這種趨勢引導著工作流管理系統(tǒng)的研究方向分布性,事務能力和異構(gòu)性??缙髽I(yè)工作流應運而生,而對于這種分布式的、異構(gòu)性的并具有事務能力的跨企業(yè)工作流管理系統(tǒng)的開發(fā)和研究,目前尚未形成一個統(tǒng)一的國際化技術(shù)標準。因而,在建立一個跨企業(yè)事務工作流管理系統(tǒng)方面,本文做出了一些努力和嘗試。論文首先分析了跨企業(yè)工作流的兩大研究方向;建立時期的過程建模和運行時期的系統(tǒng)集成,指出了這兩個研究方向存在的難點。并給出了相應的解決方案。在跨企業(yè)建模方向,論文研究了由荷蘭學者AALST提出的PUBLICTOPRIVATE方法,以PETRI作為建模語言引入了協(xié)議繼承,以YML為建模語言引入了面向?qū)ο笏枷搿?紤]到各企業(yè)使用的建模語言不同,本文將XMILSCHEMA作為過程模型的統(tǒng)一的描述語言。在系統(tǒng)集成研究方向,論文通過使用WEBSERVICE實現(xiàn)自治、異構(gòu)工作流系統(tǒng)之間的交互。為了確保交互的一致性和可靠性,論文研究并改進了現(xiàn)有的’WEBSERVICE事務處理模型,定義了兩個事務協(xié)調(diào)模塊短期事務和事務范圍,其中短期事務保證了單個企業(yè)執(zhí)行結(jié)果的一致性,事務范圍確保多個自治企業(yè)協(xié)作執(zhí)行結(jié)果的一致性。為了驗證事務模型,論文設(shè)計了一個基于WEBSERVICE實現(xiàn)的原型系統(tǒng),重點設(shè)計并實現(xiàn)了事務服務器、工作流引擎。由于并非所有的業(yè)務流程都需要使用WEBSERVICE事務處理,在很多情況下,可靠的傳輸加上簡單的應用協(xié)議已經(jīng)足夠。因此,本文實現(xiàn)了工作流引擎和事務服務器的交互。最后總結(jié)了文章的不足之處,并展望了“基于WEBSERVICE事務的跨企業(yè)工作流”這一課題研究和發(fā)展的方向。
      下載積分: 5 賞幣
      上傳時間:2024-03-10
      頁數(shù): 78
      8人已閱讀
      ( 4 星級)
    • 簡介:學校代碼10270分類號B94學號122201254碩士學位論文羅教法事文書(擬)的文獻學研究學院哲學學院專業(yè)宗教學研究方向佛教研究生姓名張鵬指導教師侯沖教授完成日期2015年5月IIIABSTRACTLUOISMIGINALLYKNOWNASLUOZUISMWUWEIISMISONEOFTHEFOLKSECTWHICHISAVERYIMPTANTPARTOFCHINESECIVILRELIGIONSMANYSCHOLARSPAYTHEIRATTENTIONTOTHESTUDYOFLUOISMTHESTUDYONLUOSIMHASVARIOUSFMSHASALREADYSPREADEDTOOTHERFIELDSAMONGTHESEAREASTHESTUDYOFLUOISTRITEITSFASHIMANUPLAYSASIGNIFICANTROLEBYUSINGTHEMETHODOFHISTICALPHILOLOGYTHISARTICLEWILLANALYSISTHEFUNERALSENTENCESBYSENTENCESEXPLTHEIRIGINGATHERINGGENERALIZINGTHESENTENCESWHICHHASDIVIDEDINTOSEVERALCATEGIESOBSERVINGTHERELATIONSHIPBETWEENTHESESENTENCESTHECLASSICSOFLUOSIMWUBULIUCEOTHERBAOJUANSATLASTBYCOUNTINGTHEWHOLESENTENCESINTHEINSRUMENTSTHISARTICLEWILLGETACONCLUSIONTHATTHEMANUBELONGSTOTHELUOISMKEYWDSLUOSIMFASHIMANULUOSIMLUOZUISMWUWEIISMWUBULIUCE
      下載積分: 5 賞幣
      上傳時間:2024-03-10
      頁數(shù): 118
      15人已閱讀
      ( 4 星級)
    • 簡介:各種以網(wǎng)絡(luò)為媒介的信息平臺在不同的領(lǐng)域內(nèi)發(fā)揮著巨大作用,信息資源的獲取和交換基本上都離不開數(shù)據(jù)庫的支撐,隨著網(wǎng)絡(luò)的發(fā)展,XML顯示出強大的生命力,大量的文檔采用XML格式,作為存儲和處理XML格式數(shù)據(jù)的XML數(shù)據(jù)庫,向傳統(tǒng)數(shù)據(jù)庫領(lǐng)域提出了前所未有的挑戰(zhàn)。在數(shù)據(jù)庫發(fā)展過程中,事務是一項最基本的重要概念,廣泛應用在各種電子商務平臺和企業(yè)信息化平臺中。當然,XML數(shù)據(jù)庫也必須具備完善的事務處理機制,這對于XML數(shù)據(jù)庫多用戶并發(fā)訪問時極其重要的。如何設(shè)計出一個適于XML數(shù)據(jù)庫的并發(fā)訪問控制機制,研究人員較普遍的思想是將XML文檔根據(jù)一定的規(guī)則映射到傳統(tǒng)的關(guān)系數(shù)據(jù)庫,利用傳統(tǒng)關(guān)系數(shù)據(jù)庫已經(jīng)發(fā)展的相對完善的事務機制來保證XML的多事務并發(fā)。但是在實際應用中發(fā)現(xiàn),這種思想的并發(fā)控制機制,并不能真正高效的實現(xiàn)多用戶對XML文檔的并發(fā)訪問控制,主要原因在于未充分考慮傳統(tǒng)關(guān)系數(shù)據(jù)庫的平面性和XML文檔數(shù)據(jù)的層次性之間的差異。對于XML原生數(shù)據(jù)庫即NXDNATIVEXMLDATABASE在并發(fā)控制機制方面和事務的研究才剛剛開始。本文旨在該方面做出積極的探討,提出一個解決方案。本文借鑒了多版本的思想,建設(shè)了一種基于XPATH路徑查詢語言的XML數(shù)據(jù)庫并發(fā)控制機制的事務處理模式。首先,根據(jù)文檔樹模型定義一種支持更新操作的數(shù)據(jù)庫數(shù)據(jù)節(jié)點的編碼方式,其次,根據(jù)該編碼的數(shù)據(jù)模型來定義出XML數(shù)據(jù)庫操作集。再次,提出并發(fā)控制封鎖協(xié)議機制和鎖模型,發(fā)生死鎖時的解除方法,對使用該封鎖協(xié)議時的事務調(diào)度進行了可串行化調(diào)度驗證,實現(xiàn)多事務的并發(fā)訪問控制。
      下載積分: 5 賞幣
      上傳時間:2024-03-10
      頁數(shù): 57
      7人已閱讀
      ( 4 星級)
    • 下載積分: 5 賞幣
      上傳時間:2024-03-10
      頁數(shù): 55
      8人已閱讀
      ( 4 星級)
    • 下載積分: 5 賞幣
      上傳時間:2024-03-10
      頁數(shù): 96
      5人已閱讀
      ( 4 星級)
    關(guān)于我們 - 網(wǎng)站聲明 - 網(wǎng)站地圖 - 資源地圖 - 友情鏈接 - 網(wǎng)站客服客服 - 聯(lián)系我們

    機械圖紙源碼,實習報告等文檔下載

    備案號:浙ICP備20018660號