并发计算的元模型Ⅳ.公理化

在ｃｈｉ进程间互模拟格的基础上,利用Ｌ－互模拟的开刻划,给出所有４个Ｌ－互模拟等价诱导的同余关系的完全公理化系统。４个Ｌ－互模拟等价中最小的同余关系的公理系统,由强互模拟等价的公理系统与３条ｔａｕ规则构成,在此基础上,分别加入一条输出规则和／或其对偶形式,即得其他３个公理系统。     

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

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

关于自然数理论教材改革的思考

高等师范院校数学专业的学生在学习《初等代数研究》教材时，对自然数理论部分内容普遍感到困难．本文对此做了分析，并对有关问题进行反思，在此基础上提出了解决问题的方案．     

物理学中的公理化方法

讨论了公理化方法的发展，公理系统的特点和公理系统的不完备性，公理化方法在物理学中的借鉴，及其在认识论中的地位，还讨论了公理化方法在物理学中应用的限度，及其在自然科学理论中的最基本要求。     

行列式的若干等价定义

应用公理化方法给出了行列式定义的等价形式，从而使行列式基本性质的证明简化。     

基于模糊概念相似性与模糊熵度量的模糊分类算法

在AFS(axiomatic fuzzy set)理论框架下,提出了一种基于模糊概念相似性与模糊熵度量的分类算法.模糊分类规则的前件通过概念聚合得到,一种基于模糊概念相似性与模糊熵度量的概念选择函数指导聚合过程;然后,利用剪枝算法对得到的模糊规则集进行剪枝,得到最终的分类规则集.用8组来自UCI数据库的数据集作为实验数据对算法进行验证,并与7种经典分类方法进行比较.实验结果表明该算法能得到较高的分类精度,分类结果明显优于参照的分类方法.     

基于公理化设计的机床再制造设计支持软件开发

在分析机床再制造设计过程特点的基础上,引入公理化设计的相关理论与方法,形成基于多域映射的机床再制造设计过程框图;基于此,设计并开发基于公理化设计的机床再制造设计支持软件,包括机床信息、用户需求、功能规划、结构设计、再制造工艺设计等5个功能模块;该软件在某重型机床再制造设计中进行了初步应用与实施。     

基于公理化思想的基础评价理论研究

将用于理论构建的公理化思想引入评价领域,从基础理论层面为评价的发展作支撑.结合评价作为应用科学自身的特点,从评价方法的演变和结构角度探讨了基础理论的构建,并尝试提出了基于公理化思想的评价基本概念及基础评价理论的公设,为建立一种完整的评价基本理论体系奠定了基础.     

《周髀算经》的“公理系统”是如何建立的?

《周髀算经》是中国古代盖天说的重要模型。本文对这个模型的基本假设、观测、推论和对天文现象的解释进行了分析,说明该模型的“公理化”构造是极不完备的,充满了各种特设性假设。对日影“千里差一寸”的来源提出了新的猜测,认为是基于管窥太阳的观测,并不涉及两地圭表影长的实际测量。对《周髀》盖天说模型的天文意义和影响进行了探讨,认为它造成了中国古代宇宙论与天文观测、天文历法推算的严重脱节,对古代天文学的发展起了不小的消极作用。