模具合同范例6篇

前言:中文期刊網精心挑選了模具合同范文供你參考和學習,希望我們的參考范文能激發你的文章創作靈感,歡迎閱讀。

模具合同

模具合同范文1

購貨單位(甲方):**包裝制作有限公司地

址:法定代表人:

電話:供貨單位(乙方):**包裝紙品有限公司

地址:法定代表人:電話:

為了增強甲乙雙方的責任感,加強經濟核算,提高經濟效益,確保雙方實現各自的經濟目的,經甲乙雙方充分協商,特訂立本合同,以便共同遵守。

第一條模具的名稱、品種、規格和質量1、模具的名稱:**紙漿模塑模具一套,包括吸漿成型模具一組及熱壓定型模具一組。2、出產單位:

商標:

3、模具的技術標準(包括質量要求),按下列第()項執行:(1)按國家標準執行;(2)無國家標準而有部頒標準的,按部頒標準執行;(3)無國家和部頒標準的,按企業標準執行;(4)沒有上述標準的,或雖有上述標準,但需方有特殊要求的,按甲乙雙方在合同中商定的技術條件、樣品或補充的技術要求執行。

第二條模具的包裝標準:

第三條模具的交貨方法、運輸方式、交貨期限

1、交貨方法:乙方送貨,費用由乙方自行負責。

2、運輸方式:__________。3、到貨地點和接貨單位(或接貨人)________________。4、交貨期限:2003年

日以前將模具交付甲方

第四條模具的價格與貨款的結算

1、模具的價格:6000元人民幣/套;2、模具貨款的結算:模具交付甲方,待驗收合格后,甲方現金給付模具費。第五條甲方向乙方提供模具圖紙及該圖紙的電子文檔(如附件)。第六條模具的工藝要求:模具圖紙如附件。

第七條驗收方法1、驗收時間:;

2、驗收手段:;

3、驗收標準:;

4、由誰負責驗收和試驗:;

第八條乙方的違約責任1、乙方到期不能交貨,應向甲方償付總貨款的30%的違約金。2、乙方所交模具品種、型號、規格、花色、質量不符合合同規定的,如果甲方同意利用,應當按質論價;如果甲方不能利用的,應根據模具的具體情況,由乙方負責包換或包修,并承擔修理、調換或退貨而支付的實際費用。乙方不能修理或者不能調換的,按不能交貨處理。3、乙方因模具包裝不符合合同規定,必須返修或重新包裝的,乙方應負責返修或重新包裝,并承擔支付的費用。甲方不要求返修或重新包裝而要求賠償損失的,乙方應當償付甲方該不合格包裝物低于合格包裝物的價值部分。因包裝不符合規定造成貨物損壞或滅失的,乙方應當負責賠償。4、乙方逾期交貨的,向甲方償付逾期交貨的違約金,并承擔甲方因此所受的損失費用。

第九條甲方的違約責任1、甲方中途退貨,應向乙方償付退貨部分貨款30%的違約金。

2、甲方逾期付款的,應按照中國人民銀行有關延期付款的規定向乙方償付逾期付款的違約金。3、甲方違反合同規定拒絕接貨的,應當承擔由此造成的損失。4、甲方如錯填到貨地點或接貨人,或對乙方提出錯誤異議,應承擔乙方因此所受的損失。

第十條不可抗力甲乙雙方的任何一方由于不可抗力的原因不能履行合同時,應及時向對方通報不能履行或不能完全履行的理由,在取得有關主管機關證明以后,雙方另行協商履行期限,并根據情況可部分或全部免予承擔違約責任。

第十一條如甲方因生產需要,要求增加該模具數量,其價格另議。第十二條解決合同糾紛的方式:甲乙雙方如果發生爭議,應當友好協商解決。如協商不成,任何一方均有權將爭議提交北京仲裁委員會。按照提交仲裁時該會現行有效的仲裁規則進行仲裁,仲裁裁決是終局的,對甲乙雙方均有約束力。第十三條雙方本著誠原則簽定本合同,若有未盡事宜,須雙方另行協商解決,作出補充規定,補充規定與本合同具有同等效力。第十四條本合同一式二份,甲乙雙方各執一份。

購貨單位(甲方):(公章)供貨單位(乙方)(公章)

代表人:(簽字)代表人:(簽字)

電話:電話:

模具合同范文2

地址:____________________

法定代表人:______________

營業執照證號:____________

乙方(承攬方):__________

地址:____________________

法定代表人:______________

營業執照證號:____________

合同簽訂地:______________

甲乙雙方依據《合同法》規定,經充分協商,就乙方為甲方制作_______模具,甲方支付加工費事宜,達成如下協議;

一、制作項目、數量、金額

序號

產品名稱

模腔數

單價(元)

小計(元)

備注

1

2

3

4

5

6

7

8

9

10

合計金額:(含17%的增值稅)人民幣大寫: 元整。( 萬元)

交付首樣工作期:35天

說明:以上費用包括全部材料費、備件費、制作費、制件費、運輸費、安裝調試費、培訓費、管理費、稅費及一年的保修費用等。

二、圖紙及技術資料的提供

1)乙方按照甲方要求負責模具設計,計算模具日產能力,并需得到甲方確認方可制作。

2)模具設計所需圖紙資料由甲方提供給乙方使用的,須經甲方確認后方可使用。

三、技術要求以及質量要求

1)模具必須按甲方提供的圖紙及要求制造,保證模具啤出符合要求的制件;

2)模具必須按照制作項目列明的要求制作,且必須有合理可靠的冷卻系統;

3)更詳盡的技術要求見附表,模具也應符合甲方在向乙方提供的其他的技術資料中明示的技術要求以及質量要求;

4)乙方制作的模具應保證____萬次以上的使用壽命。

四、制造工期

1)工作期為35天(第一次交符合功能裝配的樣件),即于____年____月____日前提供全部首樣;

2)首樣交付后,甲方未提出改模,乙方于____天內(即于____年____月____日前)向甲方交付合格模具;

五、模具驗收以及交付

1)模具驗收的依據:

1.甲方確認的產品零件圖;

2.雙方商定,并經甲方確認的技術工藝方案,雙方確認的模具技術要求。

3.模具設計圖紙以及電子文檔。

2)模具驗收合格規定:

1.甲方連續試產5天或產量達到____件以上,日產能力偏差不超過設計要求的5%,模具無異常,制件合格率98%以上,甲方出具模具驗收檢驗合格報告。

2.乙方交模后,由于甲方原因____天內不投(試)產,模具視為合格處理并由甲方出具模具檢驗報告,辦理結算付款手續。

3.乙方交試模樣件后,由于甲方原因____天內不能檢驗確認的模具視為合格處理并由甲方出具模具檢驗報告,辦理結算付款手續。

4. 模具驗收后,一年內乙方對模具制造質量負責,并無條件地提供免費快速服務(8小時內要給予響應)。因甲方需要結構更改,乙方需提供快速服務,可根據產生的成本酌情收取改模費。

3)《模具驗收報告》上應有甲方技術、檢驗及使用單位簽字并經甲方生產技術部長批準方為有效。

4)交貨地點為甲方指定的加工廠家,運輸費用由乙方承擔。

六、收貨及不合格處理

乙方所交模具經甲方有關部門(技術、質檢、使用部門)驗收合格并憑《模具驗收報告》方可收貨,甲方憑《模具工裝驗收單》辦理向乙方付款結算手續。對模具驗收不合格的,由乙方修正或重作,由于乙方原因制件外觀不合格,成型后撓曲、變形而需改良制件成型狀況,以及尺寸難以控制造成的零件間配合不良狀況引起的修改、制作的一切費用由乙方承擔,交貨期不變。若乙方設計提供的圖紙有誤,乙方承擔由此帶來的全部損失,但是如果產品圖紙或模具圖紙由甲方提供的,損失由甲方承擔,交貨期順延。

七、模具制作費用的支付

1)簽訂合同七日內,甲方將模具金額的____%,即________萬元付至乙方帳戶,作為合同定金;

2)模具驗收合格后,由乙方開具增值稅票,甲方收乙方增值稅票后,一個月內將模具金額的____%,即____萬元付清;

3)模具金額的10%作為質量保證金,在模具驗收后半年內付清。

八、知識產權保護以及商業保密承諾

1) 本合同規定之模具所有權及知識產權為甲方專有。

2) 乙方承諾并保證,對為甲方開發與制作的模具(包括圖紙等技術資料,零件樣品及模具等實物)均不向任何第三方出示、泄露或提供,否則,甲方視為乙方故意侵犯甲方利益,乙方應該對該故意侵犯甲方利益的違約行為承擔一切責任;乙方每向其他任一單位或個人提供模具,應按本合同第十條6項的規定向甲方支付違約金,并賠償甲方相應經濟損失。

3) 乙方未經甲方書面許可,不得隨意復制為甲方加工的模具。更不得用該模具為除甲方之外的第三方提供制件。

4) 知識產權未盡事宜由《知識產權保護協議》規定。

九、服務

1)模具連續正常使用,乙方免費保修一年,并免費提供必要的易損易耗備件。

2)屬甲方設計或使用原因造成模具更改或損壞,乙方提供有償維修服務,費用由甲方支付。

十、違約責任

1)甲方不按合同規定付款,須向乙方支付未付款部分的同期國有商業銀行貸款利息。其他情況的違約責任按《合同法》規定執行。

2)乙方非因甲方原因所制作的模具不符合合同要求,乙方應予以修理或重作,其費用由乙方承擔,如重作或修理導致不能按期交貨的,按不能按期交貨處理。

3)乙方不能按期交貨的,每延遲一天甲方甲方可按總造價的千分之五作罰金。乙方超過交貨期____0天,按不能交貨處理。

4)乙方不能交貨的,本合同終止,乙方須向甲方雙倍返還定金。

5) 模具在使用過程中,不能達到合同規定要求的,由乙方負責修理或重作及其費用開支,經____天內維修或重作,也不能達到合同規定要求的,乙方賠償甲方損失。損失的計算標準為該模具的制造費用。

6)乙方違反第八條知識產權保護規定的,應向甲方支付違約金____萬元。

十一、其它約定

1)本合同發生糾紛,雙方協商不能解決的,提交甲方所在地人民法院裁決。

2)本合同未規定事宜均按《合同法》及相關法規處理。

3)乙方在模具設計完成時,及時通知甲方進行模具確認,甲方須在3天內審核完畢并書面確認。乙方以甲方確認的結構方案制作、驗收。甲方乙方對經確認的方案負責。

十二、本合同一式三份,甲方模具制作單位和財務部門各持一份,乙方持一份,具同等法律效力。

十三、本合同有效期為一年,自雙方簽字蓋章生效。

甲方(蓋章):________乙方(蓋章):________

模具合同范文3

一、甲方現有 模具   款交給乙方保管并用于生產。

序號

模具名稱

單位

數量

模具規格

模具制作費用

二、保管期限:自模具交接之日起,至甲方拿回模具或本協議終止之日止。

三、保管細則條款:

1、 甲方將該模具交給乙方保管期間,乙方只有接到甲方訂單后方可按單生產,交予甲方。乙方不得私自使用該模具生產交予其它客戶,否則,每生產一次罰款壹萬元人民幣。

2、 該模具所有權歸甲方,乙方未經甲方同意不得將該模具轉讓、轉租、復制交予第三者生產或作為其它任何之使用。如有上述情況一經甲方發現,乙方必須賠償甲方因此而導致的一切損失費用。

3、 乙方自接管模具之日起,須負責模具的一切免費保管及維護責任。

4、 該模具如甲方需要,乙方必須無條件的立即把完好無損的模具交與甲方,乙方不得以任何理由扣留(包括多余存貨要求甲方購買)。

四、以上兩套模具生產累計滿1萬套,退回模具費。

五、本協議一式兩份,甲乙雙方各執一份,經雙方交接簽字蓋章后即刻生效。若雙方交接簽字者離職,本協議書仍然有效。

甲方(簽章) 乙方(簽章)

模具合同范文4

銅墊片常用于國防、電力、機械、石油、化工、冶金、造紙、船舶、運輸等國民經濟各個領域,銅墊片的壓延性好,該零件用于真空法蘭中密封件。零件材料為黃銅H65,生產量100多萬件/月。零件如圖1所示,其中60和45°兩個定位尺寸精度要求是IT9級,其余尺寸公差為IT10級。

1模具設計要點

該零件生產批量大,采用單工序模具成形,生產效率低;由于材料比較薄,采用多工位級進模,送料力的大小,定位精度難以控制,因而采用復合模具一次成形能夠較好地滿足零件尺寸精度要求。模具總裝圖如圖2所示。

1.1排樣

本設計采用斜排,傾斜角度為19°,以提高材料的利用率;采用工件間搭邊值為2mm,側邊搭邊值為2.5mm,板料的寬度為45mm,擋料位置與近似形心的距離為41mm。

1.2成形零件的結構參數設計

考慮沖壓件材料和板厚,確定模具的最小間隙0.025mm,最大間隙為0.045。依據沖壓件所要求的尺寸精度等級,確定凸凹模刃口尺寸。凸凹模、凸模、凹模等成形零件均采用Cr12moV模具鋼,與固定板之間的配合采用H7/k6和H7/m6。大鍵槽孔凸模鍵槽部位容易磨損,為便于更換,采用鑲配組合形式。

1.3卸料和推出機構設計

沖壓完成后,上?;爻毯?,打桿14推動推板13,推板連帶三個均布的推桿向下推動推料塊11,將零件從落料凹模中推出,推件動作完成后,彈性圈21彈性力將推動相關零件復位。下模部分采用彈性卸料板,將坯料頂出凸凹模上。

1.4凸凹模設計

設計凸凹模零件尺寸,仍然采用“沖孔時,先設計凸模尺寸,并將凹模尺寸增加最小間隙;落料時,先設計凹模尺寸,將凸??s小最小間隙?!钡脑O計原理設計凸凹模尺寸參數,并獲得凸凹模零件尺寸。

2模具裝配要點

本設計采用以7級精度精加工凸凹模零件,再以以9級經濟精度加工其他模具零件,并留有修配直徑余量0.03mm,裝配時修整、調配,保證模具精度。模具的裝配順序是:

1)準備:核對模具零件名稱及數量,檢測零件質量,做好標記和分類。

2)組裝模柄:將三根推桿12旋入推板13里,放入上模座內;將打桿裝入模柄內,一并放入上模座孔位,旋入三個螺釘16,固定并止轉。

3)組裝凸模:在壓力機上將凸模17、19壓入凸模固定板10內,并以凸模外圓定位,磨平上平面,保證其余凸模軸線的垂直度。

4)組裝下模部分:先將凸凹模21壓入凸凹模22固定板內,磨平下底面;將活動擋料銷6及彈簧裝入固定板內;將四根卸料螺25釘依次插入固定板內,并旋入卸料板5內,調整旋入高;將安裝好的凸凹模及固定板放入下模座上,插入2個銷釘,銷孔位置按照沖壓件載荷中心位置設計定位尺寸、鉸制而成;最后將四個聯接螺釘2依次安裝、固定,完成下模部分的裝配。

5)組裝上模部分:以上模座和下模座之間的導柱導套為裝配基準件,將墊板和凸模固定板組件貼緊上模座,調整凸模和凹模之間的間隙,用平行夾頭將其夾緊,配鉆、攻絲、內六角螺釘連接,不要旋太緊;再手工研磨環研磨沖孔凸模,同時修整刃口;將卸料快放入落料凹模內,穿入凸模,貼緊凸模固定板,調整落料凸模和凹模,用平行夾頭夾緊,配鉆、攻絲;手工研磨落料凹模;最后依次旋內六角螺釘,完成上模部分的裝配。

6)精確調整凸模、凹模之間的間隙:用墊片法精確調整凸模與凹模之間的間隙,使之間隙均勻,如有偏移,用木槌敲擊。調整好以后用平行夾頭夾緊,配鉆孔,打入銷釘,完成裝配。

3結束語

1)根據產品的精度要求,采用復合模具一次成形。

2)模具采用導料銷導料、彈性銷擋料、卸料板彈性裝置自動卸料、打桿推料、凸凹模倒裝等結構,完成模具的結構設計和參數設計。

模具合同范文5

中圖分類號:TP393 文獻標識號:A 文章編號:2095-2163(2015-)02-

Research on Multi-Modal Data based Event Model in Cyber-Physical Systems

GAO Jing, LI Jianzhong

(School of Computer Science and Technology, Harbin Institute of Technology, Harbin 150001, China)

Abstract: In Cyber-Physical Systems(CPS), the information about physical world is obtained by sensors deployed in the system area. Generally, a CPS is composed by several heterogeneous wireless sensor networks. Heterogeneous sensor nodes in these networks have different capabilities in terms of sensing, computing and communication. Jointly processing the multi-modal data generated by heterogeneous sensors is an important problem. This paper proposes multi-modal event model, which interstates multi-modal data by events. The definitions and descriptions of atomic event and complex event, the composition rules of the event are proposed in this paper.

Keywords: Cyber-Physical System; Multi-Modal Data; Event

0 引言

近年來,隨著信息技術的飛速發展和日益成熟,特別是通信技術、嵌入式計算技術、感知技術和自動控制技術取得的巨大成就和長足進步,使得將計算過程與物理過程融合的信息物理融合系統(CPS,Cyber-Physical System)引起了各國政府、學術界和商業界的高度重視和廣泛關注[1-2]。

信息物理融合系統是一個包羅計算、網絡和物理環境在內的多維綜合復雜系統,通過3Cs(Computation、Communication、Control)技術的有機融合與深度協作,實現信息世界與物理世界的緊密融合[3-10]。

CPS構造了計算、通信與物理系統的一體化設計,即可使系統更加可靠、高效、實時協同,因而其應用前景勢必廣闊而寬泛。CPS 的意義將物理設備聯網,特別是連接到互聯網上,使得物理設備具有計算、通信、精確控制、遠程協調和自治等豐富功能。CPS 把通信放在與計算和控制同等地位上,有學者認為,CPS將讓整個世界互聯起來。如同互聯網改變了人與人的互動一樣,CPS將會改變人類與物理世界的互動。近年來,CPS不僅已成為國內外學術界和科技界研究開發的重要方向,預計也將成為企業界著重發展的重點優先產業領域。開展CPS研究與應用對于加快我國培育推進工業化與信息化融合具有重要意義。

CPS與人類的生活和社會的發展密切相關,并已在軍事和生活中獲得廣泛的應用,具體包括航天航空、軍事偵察、智能電網系統、智能交通、智能醫療、環境監測、工業控制等領域。相應來說,智能醫療系統是CPS的一種典型應用,其將醫療設備作為節點,通過有線或者無線的方式互聯,可為人們提供實時、安全、可靠的醫療服務。在智能交通系統中,道路、橋梁、路口、交通信號等信息都會被實時監控,這些海量信息也將通過系統進行分析、、計算,使道路上的車輛能夠實時共享道路信息,而道路管理人員則可通過該系統實時監控各重點路段的情況,必要時甚至可以消息引導車輛行駛,從而改善現有的城市交通狀況。智能電網使用CPS系統實時監測、遠程控制等功能,使各種分布式電源精確、安全地接入電網,是典型的CPS應用。在工業界被廣泛使用的物聯網也是CPS的一種簡單應用,通過將物品接入網絡,以實現物品識別、定位、監控等功能??傊?,CPS的深入研究和成果應用將改變物理世界與信息世界的交互方式,其理論研究和關鍵技術具有重要的實際應用價值。

在部分應用中,CPS可以看作是事件驅動的閉環過程,物理世界和對象的狀態變化觸發CPS的事件,系統通過感知部件獲得事件信息,并展開事件數據的融合過程,最后經過分析產生決策,進而控制執行器完成對物理事件的作用。因此,事件模型是CPS系統模型研究中的重要組成部分。

本文提出基于多模態數據的事件模型。這些由多模態的數據組成的復雜事件能夠幫助我們更好地理解物理世界。

1 相關工作

文獻[11]提出了一種CPS架構以及對應的事件模型。該模型能夠統一信息物理融合系統中異構的設備對事件的不同描述。根據信息物理融合系統的層次結構,文中將事件也劃分出不同的層次,例如物理世界發生的事件、傳感器事件、信息系統事件等等。此外,文中還提出了考慮屬性信息、時間信息和空間信息的事件模型,使用該模型來刻畫物理世界和信息世界的交互。

文獻[12]提出了基于概念格的事件模型。該模型使用概念格來定義信息物理融合系統中事件的復合方式。文中提出的模型不僅能夠描述分布式的異構事件的信息,還能夠刻畫事件在物理世界和信息世界的合成方法。文中提出的事件模型包括三個組成部分:事件的類別以及內部和外部屬性,這些信息用來描述事件發生的時間和地點,以及時間的觀察者。文中將觀察者視為事件,并因此形成了完整的概念格?;诖耍瑒t使用和擴展了概念格理論,并進一步提出并定義了一系列滿足時間和空間約束的事件合成函數。同時,文中使用智能家居作為模型的典型應用,并測試和實現了CPS 的事件模擬器。

文獻[13]提出了一種自適應的CPS離散事件模型。文中指出,CPS涉及大量的事件,從底層的信號到高層的抽象事件。為了合成不同層次的事件,文獻[14]提出了基于概念格的事件模型,這種模型使用一階邏輯作為合成規則。但是文獻[14]仍然存在一階邏輯合成規則的不一致性問題。初始設計中沒有考慮到的意外事件可能嚴重地影響系統的性能,甚至造成系統失效。為了解決這些問題,文中提出了自適應的離散事件模型,該模型使用離散事件演算(Discrete Event Calculus)來克服一階邏輯合成規則中的不一致問題。另外,文中定義了異常事件規則作為CPS事件模型的自適應部分,這些規則能夠解決意外事件的問題。但是,文中系統的自診斷過程并沒有提煉為形式化規則,因而亟需進一步的研究工作。

2事件模型

2.1 事件的定義

在信息物理融合系統中,一類事件E可以看作從時間和空間維到布爾變量{true, false}的映射:

E:(T, S) {true, false}

其中,當E(T, S)=true時,表示事件E在時間T和空間S上發生;E(T, S)=false表示在時間T和空間S上沒有事件E發生。

在上面定義中,E表示事件的類別,通常根據某些屬性上的數據信息來定義,也可用來區分各種不同的事件。

T表示事件發生的時間。在物理世界中,一些事件是瞬時事件,一些事件的發生卻具有一定的持續時間。對于瞬時事件,使用檢測到該事件的周期t來表示該事件的時間;對于連續事件,則可使用第一次檢測到事件的采樣周期tB和最后一次檢測該事件的周期t來表示時間區間[tB, tE]。

在信息物理融合系統中,S表示事件發生的地點,可是使用檢測到事件的節點的位置信息,即觀察者的位置,來確定S的具置。事件發生的真正位置卻還需要另外計算。例如,事件的位置可以通過觀測到該事件的所有節點的感知半徑的交集來近似確定。

在CPS系統中,將節點在某個屬性的感知數據看做一個數據流。使用表示節點s在t時刻attr屬性上的感知數據。其中,

s表示節點的位置信息,能夠唯一地標識節點。可以使節點編號,或者節點的位置坐標等。t表示時間信息。由于CPS系統中時間是離散的,可以使用感知周期來表示。attr:value 表示在屬性attr上的感知數據值為value。不同的屬性對應不同的數據類型,主要包括標量、矢量、多媒體等等。

信息物理融合系統中的事件可以分為基本事件和復合事件兩種類型。

2.2 基本事件

基本事件e={t, s, attr: value}表示由物理世界的變化而帶來的系統狀態改變?;臼录鄬Ρ容^簡單,可以使用單個節點或者同種模態的數據來確定?;臼录诓煌B的數據上的具體表現如下:

(1)對于標量數據:

? 大于/小于給定的閾值,即vt ≥ δ或vt ≤ δ。

? 與歷史數據的均值差距超過給定的閾值,即。

? 與鄰居節點的數據差距超過給定的閾值,即或者,其中表示節點s的一跳鄰居節點的集合。

(2)對于矢量數據來說,基本事件可能涉及以下兩種變化:方向的改變或者數值的改變。

(3)對于多媒體數據來說,基本事件可能意味著感興趣的模式的出現,例如目標的出現等等。

2.3 復雜事件

使用e={t, s, attr: value}表示基本事件(或者稱為原子事件)。令是所有基本事件的集合,P為操作的集合,則在集合S中,反復使用P中的操作進行合成,所形成的事件即為復雜事件。

復雜事件描述物理世界的復雜信息或者狀態,不能由單一模態的數據確定,一般需由滿足約束的多個基本事件復合而成。

事件的合成操作主要包括以下四類:

(1) 時間操作。定義在時間維上的操作,用來描述不同事件發生的時間之間的關系,例如順序發生、同時發生、相繼發生等。

(2) 空間操作。定義在空間維上的操作,用來描述不同的事件發生的地理位置之間的關系,例如相交、包含等。

(3) 數據操作。定義在數據維上的操作。主要包括相同模態的數據上的代數運算以及一些不同模態數據上的運算。例如: +,-,*, /, avg, sum, max, min等。

(4) 邏輯操作。與,或,非。

2.4 事件的檢測

基本事件比較簡單,通常在單個傳感器節點上就能夠有效地檢測,例如定義在某個屬性值閾值上的事件,可以考察當前的感知數據是否滿足閾值要求來判斷。

復雜事件涉及多模態數據,并且是由多種不同的基本事件構成的,考慮到基本事件之間的復雜關系,因此,并不容易檢測。

對于給定的復雜事件模式,以及給定的基本事件之間的關系,可以在感知數據流上使用多態的不確定性有窮自動機來檢測事件。例如,對于給定的覆蓋操作overlap,e1 overlap e2表示兩個基本事件e1和e2的發生時間是重疊的,e1 overlap e2可以分為兩種情況,如圖1所示。

(a)

(b)

圖1兩個基本事件e1和e2的重疊情況

Fig.1 Two basic events e1 and e2 overlap

那么,檢測e1 overlap e2的不確定性有窮自動機可以設計為圖2的形式。

圖 2 識別e1 overlap e2的自動機

Fig.2 Automata identifying e1 overlap e2

由于復雜事件可能涉及多種不同類型傳感器節點產生的異構數據,復雜數據往往不能使用單一傳感器節點檢測。

模具合同范文6

關鍵詞: P2P網絡;D-S證據理論;合成規則;可信度

中圖分類號:TP393

文獻標識碼:A文章編號:1672-8513(2010)05-0317-04

A Comparative Study of the Trust Model for P2P System under Different Evidence Combination Rules

HUANG Lidong1,2, FENG Yanbin1,ZHAO Yanfang1,XUE Gang2

(1.School of Mathematics and Computer Science, Yunnan University of Nationalities, Kunming 650031, China; 2. Smart Computing Network Lab, Yunnan University, Kunming 650031, China)

Abstract: There is growing concern about which D-S evidence theory should be applied to the global trust model for P2P systems. However, as an effective tool for information fusion, the combination rules of D-S evidence theory have some limitations. This paper compares and analyzes a variety of evidence combination rules which are applied to the same trust model. The simulation and analysis show that the successful transaction rate of the same trust model varies with different combination rules.

Key words: Peer-to-Peer(P2P); D-S evidence theory; combination rule; trust value

Peer-to-Peer(P2P)技術的發展使得基于P2P網絡的應用日趨廣泛,但由于P2P架構自身的松耦合性、低安全性等問題使得系統整體的可用性大大降低,主要表現為應用中存在大量欺詐行為及服務的不可靠等,例如搭便車(Free Ride)隨意中止服務和病毒傳播等[1].因此,P2P系統的信任管理逐漸成為業界研究的熱點.

D-S證據理論作為一種推理方法,在解決不確定性問題中具有顯著的特點,隨著D-S證據理論在信息融合、目標[JP2]識別和知識推理等領域中應用日益廣泛, 其在P2P系統的全局信任模型中的研究受到人們的關注.D-S證據理論是處理不確定性問題的一種有效工具,但其合成規則卻存在著一定的局限性.

本文在分析比較了不同證據合成規則的基礎上,對在不同合成規則下的同一信任模型進行了仿真,仿真和分析結果表明不同的合成規則對信任模型的成功交易率和安全性有較大的影響.本論文的研究結果對D-S證據理論在P2P信任管理中的應用具有一定的指導作用.

1 相關工作

針對分布式信任模型的研究,文獻[2]將D-S證據理論應用到分布式信任模型中,但基于經典的合成規則來計算節點的全局信任值有一定的局限性,特別是經典的合成規則在高沖突的證據合成時,其結果往往有悖常理,因此計算出來的全局信任值是不可靠的.文獻[3~4]也將D-S證據理論應用到P2P的信任模型中,并且都給出各自的局部信任值的計算模型和改進的證據合成規則,但它們并沒有對不同合成規則下的同一模型的結果進行對比.本文提出對同一模型在不同合成規則下的結果進行比較,以便找出更優的合成公式,使證據理論在P2P信任管理中的應用更趨合理.

2 不同合成規則的證據理論

2.1 證據理論

D-S證據理論[5-6]通過建立基本概率賦值函數(BPAF)、信任函數(BEL)、似真度函數(PL),以簡單的推理形式,可對相互重疊、非互不相容的命題進行證據組合并能得到較好的融合結果,比傳統的概率能更好地把握問題的未知性與不確定性,是比概率論更弱的公理系統.基本D-S證據理論相關知識由于篇幅所限,此處不再贅述.

經典的D-S合成公式在證據間沒有沖突或低沖突時,證據的合成結果基本合理,但當證據間沖突較大時,合成的結果往往有悖常理[2].這就是證據理論在處理沖突證據時產生的失效問題.失效問題極大地影響了證據理論的應用.針對失效問題,先后有Yager、孫全等人提出了自己的解決方案,他們都提出各自改進后的合成規則.

2.2 對各種改進后合成規則的比較

Yager[7]最早提出了D-S理論失效的問題,并對合成規則進行了改進,給出了新的合成公式,合成公式如下:

m(Φ)=0,m(A)=∑Ai∩Bj=A[KG*2]∏1≤i≤nmi(Ai)mj(Bj),A≠Φ,,m()=∑Ai∩Bj=X[KG*2]∏1≤i≤nmi(Ai)mj(Bj)+K.

上式不像經典D-S合成法則那樣乘上歸一化因子1/(1-K),而是將反映沖突程度的因子K在合成后賦給了未知項m().Yager認為:[JP2]既然對于沖突的證據無法作出合理的抉擇,就應該將沖突證據全部賦給未知項.雖然Yager提出的合成公式能合成高度沖突的證據,但是由于對沖突的證據是完全否定的,在證據源多于2個時,合成結果有時并不理想.因此,Yager的合成公式對沖突的處理效果并不理想.

針對Yager合成公式的不足,孫全[8]對其作了改進,在引入證據可信度概念的基礎上,提出了加權形式的合成公式,并引入證據間兩兩沖突程度參數k,證據可信度參數和證據平均支持度q(A),這其實是一種新的根據證據可信度分配沖突的方法.新的合成公式彌補了D-S證據和Yager合成公式的不足,新的合成公式為:

當證據間沖突較小的時候,表示證據間兩兩沖突程度的參數K很小,m(A)合成結果主要由第1項p(A)決定,近似于經典D-S合成規則的結果.當證據沖突很大時,K趨近于1,合成結果主要由證據可信度和各個證據對A的平均支持度ε×q(A)來決定.這種方法雖然在沖突的概率的分配上比前幾種方法更優越,但這種方法的分配結果仍然是未知項的概率仍占主導,也不利于對證據的判斷,所以這種方法解決沖突的效果也不佳.

文獻[3]提出了改進的加權平均合成公式,通過把支持證據沖突的概率按各個命題的平均支持程度加權進行分配,提高了合成結果的可靠性與合理性.改進后的加權平均合成公式為:

該公式在孫全的加權合成公式基礎上對計算證據的平均支持度上做了改進,新的加權平均合成公式使得合成結構更趨合理.

2.3 P2P信任模型

[JP+2]本文提出了一種信任模型來驗證不同證據合成規則的合理程度.模型的算法思想是:首先利用節點間的交易歷史,并通過滑動時間窗口機制計算出其他節點對j點的局部信任值,即其他節點對j點的證據,然后利用證據合成公式計算出j節點的證據支持度,即j節點的全局信任值,其中j節點的局部信任函數為:

函數中的Sumij為在某個一定時間τ內節點i與節點j的交易次數,引入時間τ是為了保證該可信度的時效性,表示模型更關注節點的近期行為;Satij代表節點i與節點j交易的滿意次數;Unsatij代表節點i與節點j交易的不滿意次數,并且有Satij+Unsatij≤Sumij,這意味著某幾次交易的質量并未達到可以判定為滿意或不滿意的標準,因此不予評價.

[JP+3]在完成局部信任值的定義后,即可通過D-S證據理論組合相關的證據源,得到某個節點的全局信任度.當考察某個節點對另一個節點的信任度問題,例如上例中,考慮節點i對節點j的信任度時,則可以進一步將證據按來源分為直接信任與間接信任2部分.直接信任來自于節點i與節點j的交易歷史記錄;間接信任來自其他節點對節點j的綜合評價.在組合直接信任與間接信任2部分時,直接信任往往占較大比重.利用合成公式,節點i就可以合成這些證據,計算出節點j的全局信任度.

全局信任度的合成過程如圖1所示:

3 仿真實驗與結果分析

3.1 仿真環境

基于P2Psim仿真軟件,對經典D-S合成規則、Yager合成規則、加權平均合成規則和改進的加權平均合成規則進行了仿真比較.仿真節點總數設為1000個,其中惡意節點比例為依次從0增加到50%,節點發送的信任請求消息的TTL為4.在仿真中,以文件共享為例,假設友好節點以0.96的概率提供真實文件.

3.2 仿真結果及分析

針對簡單惡意攻擊,對系統成功交易率(Successful Transaction Rate, STR)性能指標進行了對比分析,系統的成功交易率是指成功完成交易的節點占總交易節點的比例.通過仿真,4種合成規則下的交易成功率對比如圖2所示.

[PS黃立冬2;S*2;X1,BP#]

圖3是在惡意節點比例為50%時,4種合成規則的STR隨仿真周期的變化情況.

[PS黃立冬3;S*2;X1,BP#]

從圖2中可知,當系統中沒有惡意節點時,4種合成規則的STR都是0.96,這是因為沒有沖突證據存在,所以它們的合成結果都一樣.隨著惡意節點比例增加,證據間的沖突加大,證據合成的結果各不相同,特別是經典D-S合成規則和Yager合成規則在證據沖突很高的情況下,它們的STR急劇變小,這是因為這2種合成規則在高沖突時的證據合成結果都存在證據失效的問題;而孫全合成規則和改進的加權平均合成規則的STR變化較小,這是因為它們把支持證據沖突的概率按各個命題的平均支持程度加權進行分配,從而使得合成結果更趨合理.從圖2和圖3的仿真結果可以看出,利用改進的加權平均證據合成規則的信任模型抵抗惡意攻擊的能力最強,孫全合成規則的信任模型次之,抗惡意攻擊能力最差的是經典D-S合成規則的信任模型,而Yager合成規則的信任模型比其稍好.

4 結語

本文在分析和比較了不同證據合成方法的基礎上,將這些合成公式運用到同一個P2P信任模型中,并對其進行了實驗仿真,仿真和分析結果表明,不同的合成規則下的信任模型在成功交易率和安全性上各不相同,通過改進證據合成規則,可以會獲得更高的性能指標,實驗結果對證據理論在P2P信任模型中的應用具有一定的指導意義.

參考文獻:

[1]ADARAND E, HUBERMAN B. Free riding on Gnutella[R]. CSL-00-3, Palo Alto: Xerox PARC, 2000.

[2]YU B, SINGH M P. An evidential model of distributed reputation management[C]//Proceedings of the First International Conference on Autonomous Agents & Multi-agent Systems. Bologna, Italy, 2002:82-93.

[3]田春岐,鄒仕洪,王文東,等.一種新的基于改進型D-S證據理論的P2P信任模型[J].電子與信息學報.2008,30(6):1480-1484.

[4]HUANG Lidong, XUE Gang, HE Xianglin, et al. A trust model based on evidence theory for P2P systems[J]. Applied Mechanics and Materials, 2010, 20-23:99-104.

[5]SHAFER G. A mathematical theory of evidence [M]. Princeton: Princeton University Press,1976.

[6]DEMPSTER A P. Upper and lower probabilities induced by a multi-valued mapping [J]. Ann Math Statisti,1967, 38: 325- 339.

[7]YAGER R R. On the Dempster-Shafer framework and new combination rules[J]. Information Science, 1989, 41(2): 93-137.

[8]孫全,葉秀清,顧偉康. 一種新的基于證據理論的合成公式[J]. 電子學報, 2000, 28(8): 117-119.

[9]黃立冬, 王新. 基于模板的XML文檔表示技術研究[J]. 云南民族大學學報:自然科學版,2008,17(4): 54-57.[ZK)]

亚洲精品一二三区-久久