广义粗糙集理论的公理化注记

首先回顾了粗糙集理论的代数表示,给出代数表示与公理化算子的相互关系.特别地,给出了广义粗糙集模型的公理化等价表示.     

《欧几里得原本》的结构及其理论基础

本文对《欧几里得原本》的公理化结构和直观图形在论证中的作用作了探讨分析;并对其整体结构进行了讨论;论证了它的理论基础——“比例论”和“穷竭法”.     

机械化数学思想方法是中国传统数学研究的根本方法

分析了古代数学形式和思想方法与现代数学学科的区别、联系,进而论述中国古代传统数学机械化特色、领先成就,以及中外学者评价的正确与失真,说明具有正确观点的重要性.特别论述了中国古代传统数学的机械化思想方法与西方的公理化思想方法在整个世界数学发展的不同阶段中交替起着主导作用,不可偏废.说明必须全面运用两种思想方法,才能得出正确的结论.     

M-限制合作对策的最小二乘解

在经典合作对策中,最小二乘解是使得联盟分配值与联盟收益的期望偏差最小的分配方案,众多单值解可以看作它的特例.为了拓展最小二乘解的适用范围,本文公理化研究M-限制合作对策的最小二乘解,这类对策的联盟收益是否已知仅与联盟中局中人的个数有关.首先,基于经典合作对策的最小二乘解定义了M-限制合作对策的最小二乘解.然后,利用拉格朗日乘子法得到了该最小二乘解的具体表达式及其等价形式,并以此重新解释了最小二乘解的现实意义.最后,为了说明最小二乘解的公平合理性,根据该值与ESL值的关系提出了它的公理体系.第一种公理体系是有效性、对称性、线性、非本质对策性、公平对待性.基于该公理体系,替换部分公理可得到其他的公理体系,比如:公平对待性可替换为联盟单调性或者联盟占优单调性;对称性可替换为基数无异性.另外,如果线性弱化为可加性且非本质对策性强化为策略等价性,则也可以公理化刻画最小二乘解.     

非对称带不等算子的χ≠-演算

文章系统研究非对称带不等算子χ≠-演算进程上的互模拟.通过构造互模拟格,从全部L-互模拟关系中导出12个互异的L-互模拟关系,研究了这些关系所对应的同余关系和迟早开同余关系.提出3个更新律,并修改了3个τ律.最后,给出了14个同余关系的可靠完备系统.     

模糊下近似算子的一个公理组

在此引入了数加模糊集和模糊关系外合成运算两个概念,讨论了它们的性质,给出了模糊下近似算子的一个简洁的公理组,并利用模糊矩阵这一工具直接证明了其可靠性和独立性。     

广义粗集公理化的一个注记

广义粗集理论是基于等价关系的粗集理论的各种拓广。本文讨论了基于一般二元关系的广义粗糙集的公理化,通过实例分析了确定二元关系的必要公理组条件,并给出了各公理组的充分条件。     

集合对策解的探索

主要介绍了集合对策五种特殊解以及一类一般解，并讨论了它们之间的相互关系，同时给出了一般解的性质与其公理化特征。     

构造演算以及它在受囿算子系统中的公理化

首先简略介绍Coquand和Huet的构造演算以及Plotkin和孙踊的受囿算子系统。然后,将构造演算在受囿算子系统中进行公理化。此公理化无需无限级(数据)类型结构。原则上,可以在原构造演算的type空间之上引入kind空间。但是,不允许在kind上使用量词,也不允许引入y: kind。从技术上说,将忠实地把构造演算翻译进受囿算子系统中去。为了能对构造演算中的Π类型受予受囿算子系统中的类型,不得不引入新的=>算子。举例来说,构造演算中的Πx:M.N可用受囿算子系统中的Πy.u:t=>v来表达。其中,x对应于y, M对应于t,以及N对应于u。其结果是受囿算子系统具有足够的能力为构造演算提供一个等值逻辑演算环境。