拟阵上合作对策的Banzhaf函数

本文结合文[1,2]中关于拟阵上静态结构和动态结构合作对策Shapley函数的描述,探讨了两类拟阵上的Banzhaf函数.通过给出相应的公理体系,论述了两类拟阵上Banzhaf函数的存在性和唯一性,拓展了拟阵上分配指标的研究范围.同时讨论了两类合作对策上Banzhaf函数的有关性质.最后通过算例来说明局中人在此类合作对策中的Banzhaf指标.     

拟阵上合作对策的单调解

本文主要介绍了拟阵上的合作对策Shapley解的结构,并利用强单调性、交换性、概率有效性等三条公理刻画了拟阵上合作对策Shapley解的唯-性.同时讨论了本文的三条公理与Bilbao等人的四条 公理的等价性.最后给出拟阵上合作对策核心的定义及其结构.     

拟阵上动态结构合作对策的单调解

论文主要介绍了拟阵上动态结构合作对策单调解的结构,并利用强单调性、交换性和动态有效性等三条公理刻画了此单调解的唯一性.同时给出了拟阵上动态结构合作对策核心的定义,确定了它的结构.最后讨论了拟阵上动态结构合作对策Shapley值与其核心的关系.     

格上合作对策的Banzhaf值

本文介绍了格上的合作对策,并给出了格上合作对策的Banzhaf解,同时利用线性性,哑元性,单调性,对称性,不变性和2-有效性等六条公理完成了对Banzhaf值的唯一性刻画.在证明唯一性的过程中,利用了一个同构变换,将格上多选择合作对策映射到经典合作对策来进行研究.     

集合对策的定量边缘解

本文提出了集合对策的两类定量边缘解,并给出了两类解的公理化特征:有效性、对称性、哑元性、Banzhaf总和性和传递性．这两类解分别与TU-对策的Banzhaf权力指数和Shapley-Shubik权力指数类似．同时,本文将Shapley解与Banzzhaf解扩展到k-维欧氏空间．     

拟阵上模糊合作对策的Banzhaf函数

首先通过对清晰拟阵定义的拓展,给出了模糊拟阵的概念。通过定义具有多线性扩展形式的模糊合作对策在静态结构和动态结构拟阵上B anzhaf函数的公理体系,分别探讨了此类模糊合作对策在这两种拟阵上关于B anzhaf函数的存在性和唯一性。同时,通过定义具有Choquet积分形式模糊合作对策在静态结构和动态结构拟阵上B anzhaf函数的公理体系,分别探讨了此类模糊合作对策在这两种拟阵上关于B anzhaf函数的存在性和唯一性。     

有向图对策下的Banzhaf值及其应用

Banzhaf值是经典可转移效用合作对策中重要的分配规则之一，它假设任何有限参与者间均能进行合作形成可行联盟。2006年，Alonso-Meijide和Fiestras-Janeiro考虑无向网络，定义了图对策下的Banzhaf值，以此反映合作网络对参与者间合作以及分配结果的影响。本文则在此基础上，考虑合作网络的方向性，将Banzhaf值进一步推广到有向图对策中，提出了新的分配规则——有向Banzhaf值。首先，本文证明了有向Banzhaf值满足准隔离性、收缩性、公平性、强分支可分解性以及强分支总贡献性。其次，证明了有向Banzhaf值可由公平性、准隔离性以及收缩性唯一刻画，也可由公平性结合强分支总贡献性唯一刻画。最后，以湿地水循环系统为例，对有向Banzhaf值和其他值进行了比较分析，讨论了有向Banzhaf值的应用价值。     

区间值合作对策的广义区间Shapley值

研究区间Shapley值通常对区间值合作对策的特征函数有较多约束,本文研究没有这些约束条件的区间值合作对策,以拓展区间Shapley值的适用范围。首先,本文指出广义H-差在减法与加法运算中存在的问题,进而提出了一种改进的广义H-差,称为扩展的广义H-差。然后,基于扩展的广义H-差,定义了区间值合作对策的广义区间Shapley值,并用区间有效性、区间对称性、区间哑元性和区间可加性等四条公理刻画了该广义区间Shapley值。同时,证明了该值的存在性与唯一性,而且得到了该值的一些性质。研究表明,任意的区间值合作对策的广义区间Shapley值都存在。最后,以算例说明该广义区间Shapley值的可行性与实用性。     

一类具有限制联盟结构的合作对策的两阶段Shapley值

讨论一类具有限制联盟结构的合作对策,其中局中人通过优先联盟整体参与大联盟的合作,同时优先联盟内部有合取权限结构限制,利用两阶段Shapley值的分配思想并考虑到权限结构对优先联盟内合作的限制,给出了此类合作对策的解。 该解可看做具有联盟结构的合作对策的两阶段Shapley值的推广。 证明了该解满足的公理化条件,并验证了这些条件的独立性。     

模糊合作对策核心的公理化

本文主要研究模糊合作对策的核心,讨论了核心的限制非空性,个体合理性,递归对策性,逆递归对策,超可加性,反单调性,模性等性质.最后用限制非空性,个体合理性,递归对策性和超可加性等公理刻画了核心,证明了核心存在的唯一性。