防结盟相关平衡的一致性公理化（续篇）

１９９６年,Ｂ．Ｐｅｌｅｇ和Ｓ．Ｔｉｊｓ给出防结盟Ｎａｓｈ平衡的王 公理化。在是Ｒ．Ｊ．Ａｕｍａｎｎ增指出相关平衡集包含着Ｎａｓｈ平衡集。本文试图把Ｂ．Ｐｅｌｅｇ和Ｓ．Ｔｉｊｓ的这个结果推广到防结盟相关平衡中去。     

公理化设计基本理论及其应用模型

公理化设计是当前质量工程领域出现的一种新产品设计方法,该方法为新产品创新和已有产品诊断改进给出了基本原则和概念性框架,已引起了质量界的高度重视.本文对其基本理论和设计模型进行初步探讨的同时,介绍了其研究重点和热点,并对其优点和存在的一些问题进行了讨论.     

异质成本分配模型的公理体系及分配方法

在建立成本分配问题数学模型的基础上,提出了异质成本分配模型的公理体系,将异质 成本分配规则应满足的公理性质分为基本公理性质、一般公理性质和特殊公理性质三类;通过 案例研究,深入分析了产出规模不变性、需求单调性、比例性和上限性等公理性质的强制性,并 对EANS 方法、Aumann2Shapley 值法、Friedman2Moulin 序列方法和Shapley2Shubik 方法等典型的 异质成本分配方法对公理性质的满足情况进行了全面讨论,通过严格的数学证明,得出了有价 值的结论.     

亚里士多德模态三段论逻辑的 形式化公理系统探讨

利用广义量词理论、可能世界语义学和集合论,可以简洁明了地对亚里士多德模态三段论进行形式化和有效性的证明。根据有效的亚里士多德模态三段论应该遵守的基本规则,可以从6 656个亚里士多德模态三段论中,筛选出有效的384个模态三段论。把通过向有效的直言三段论AAA-1和EAE-1中添加模态词而得到的20个有效模态三段论作为基础公理,就可以为亚里士多德模态三段论逻辑建立起形式化公理系统。     

合作对策核心的公理化

本文主要研究了合作对策的核心,讨论了核心的合理性、个体合理性、递归对策性、逆递归对策性、反单调性和模性等性质。最后用这些性质给出了核心的几个公理化方法。