一种交换协议的理性模型及其公平机制设计

理性交换协议是解决小额支付的有效方法,但是由于参与者的自利性,理性交换协议的公平性较难满足。对理性交换过程中的集体利益进行形式化定义,并基于占优策略构建理性参与者模型,以及基于占优策略和集体利益建立理性交换协议的公平性模型,基于激励相容理论设计理性交换协议的公平机制,基于理性交换协议的公平机制和扩展式博弈构建理性交换协议的理性博弈模型,并基于理性交换协议的博弈模型设计了一个理性交换协议。基于相关博弈方法证明所设计的协议满足正确性和理性公平性,并用一个案例说明方案的可行性。

一种理性安全协议的博弈逻辑描述模型

博弈逻辑ATL和ATEL可以对传统安全协议的公平性、安全性等性质进行分析与验证。但在理性环境中,由于参与者对知识的自利性,ATL和ATEL都不能形式化分析与验证理性安全协议。因此在CEGS中引入效用函数和偏好关系知识,得到新的rCEGS,并在合作模态算子《Γ》中加入行为ACT参数,提出新的可形式化分析理性安全协议的交替时序认知逻辑rATEL-A。然后运用rATEL-A构建两方理性安全协议的形式化模型,并基于rCEGS的等价扩展式博弈,对具体的两方理性交换协议进行形式化分析,结果表明构建的形式化模型可以有效地形式化分析理性安全协议的正确性、理性安全性和理性公平性。

我国医疗卫生体制改革价值取向反思

改革开放至今的三十多年间，我国的医疗卫生事业由倍受赞誉沦落为卫生负担不公平国家之列。究其根源在于1997～2009年我国医疗卫生体制改革缺乏科学合理的价值取向，陷入迷信“经济增长”、“市场化”与“商业化”的认识误区，从而导致政府责任缺失、医疗卫生体制公益性不足、医疗卫生资源分配不公、医疗卫生保障体制不健全等诸多问题出现。应当认识到医疗卫生事业对于我国经济、社会可持续发展的重要性，坚持医疗卫生事业“以人为本”，体现“人文关怀”的价值取向，坚持“一切为了人民健康”的价值理念与价值基础以及“公正性、合理性和公益性”的伦理原则，以推动我国医疗卫生事业的完善与可持续发展。