摘要：科斯第一定理断言,在没有交易成本的情况下,市场交易和谈判会自然导致资源的最优配置,而博弈论、谈判和机制设计中的几个无交易命题表明问题并非如此,博弈形式的物理结构和知识结构以及博弈中的策略性决策才真正决定了交易成本。

摘要：以红豆杉专业合作组织为例，对不同的林农合作模式进行了博弈结构分析，结合实证调查，研究了不同合作模式的优缺点和适用场合并提出了建议。结果表明：完全依靠普通林农很难自发形成合作，相关政策应从促使村干部或能人带动大家合作的角度进行设计；当市场因素成为主要障碍时，公司介入并形成“公司+农户”模式比较有效；针对公司和林农地位不平等的情况，可发展“公司+合作组织+农户”的合作模式；在特定环境下，特别是存在多家公司恶性竞争时，协会能发挥协调作用。

摘要：考虑制造商线上线下销售,零售商实体店销售,制造商与零售商共同承担网络平台建设,消费者存在服务损失厌恶心理,在Stackelberg博弈、竞合博弈、价格不统一合作博弈、价格统一合作博弈四种情形下,分析消费者服务损失厌恶心理对企业定价决策、利润的影响。主要结论是:服务损失厌恶心理导致零售价格、网络销售价格、批发价格下降; Stackelberg博弈下的零售价格高于其他情形下的零售价格;供应链利润、制造商利润、零售商利润先下降后递增,存在导致利润最小的服务损失厌恶系数临界值;竞合博弈下的供应链利润最高,Stackelberg博弈下的供应链利润最低。

摘要：CTL模型检测技术已被广泛应用于形式验证领域。交互时态逻辑(ATL)是对CTL的一个扩展,用于表达多主体博弈结构上的性质。ATL使用合作算子来表达多个主体能够通过合作保证系统的设计目标。在实际应用中,我们需要知道主体的行动与系统的输出状态之间具有因果关系。在本文中,我们通过引入新的模态算子扩展ATL,使得这种因果关系得到表达。我们使用两种方式的扩展。其中之一是从主体的能力出发,直观上,如果一些主体可以通过合作的行动来保证系统进入某个状态,同时,这些主体也可以通过合作的行动保证系统不进入这个状态,则这些主体的行动与该系统状态间具有更强的因果关系。我们使用的另一种方式是从系统状态出发。我们考虑要想使系统进入某状态,哪些主体的行动的必不可少的,哪些主体的行动是充分的但非必要的条件。在本文中,我们扩展后的逻辑CATL和SATL表达力强于ATL,但计算复杂性与ATL相同。

摘要：政府可以通过设计科学的博弈结构和经济发展质量评价体系,有效引导下级政府提升经济发展质量。因此我们可根据五大发展理念,考虑系统风险,结合相关学者的研究成果,构建一套系统的经济发展质量评价体系,从经济发展的创新性、协调性、绿色性、开放性、共享性、系统的风险性这六大一级评价指标及其相附属的二级、三级指标,构建经济发展质量的科学评价体系,以引导下级政府转变发展理念,成功实现经济发展战略转型。