前言：中文期刊网精心挑选了模具合同范文供你参考和学习，希望我们的参考范文能激发你的文章创作灵感，欢迎阅读。
模具合同范文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
公司兼并合同模板具体是首先应当写明合并双方当事人的具体信息;其次，写明合并的方式、合并的对价以及合并双方的资产与债权债务情况;写明对职工安置方法;最后，双方当事人签字并写明时间。
【法律依据】
根据《公司法》第十二条，公司合并可以采取吸收合并或者新设合并。一个公司吸收其他公司为吸收合并，被吸收的公司解散。两个以上公司合并设立一个新的公司为新设合并，合并各方解散。
（来源：文章屋网 ）
模具合同范文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]提出了基于概念格的事件模型。该模型使用概念格来定义信息物理融合系统中事件的复合方式。文中提出的模型不仅能够描述分布式的异构事件的信息，还能够刻画事件在物理世界和信息世界的合成方法。文中提出的事件模型包括三个组成部分：事件的类别以及内部和外部属性，这些信息用来描述事件发生的时间和地点，以及时间的观察者。文中将观察者视为事件，并因此形成了完整的概念格。基于此，则使用和扩展了概念格理论，并进一步提出并定义了一系列满足时间和空间约束的事件合成函数。同时，文中使用智能家居作为模型的典型应用，并测试和实现了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}表示由物理世界的变化而带来的系统状态改变。基本事件相对比较简单，可以使用单个节点或者同种模态的数据来确定。基本事件在不同模态的数据上的具体表现如下：
（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）]
