物理学中的公理化方法

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

公理化方法及其内在局限性

讨论了公理化方法的基本轮廓及其在与数学相关学科中的应用,进而讨论了它对力学的影响;着重介绍了John Losee的牛顿公理化的三阶段及其对应规则,指出公理系统存在的意义是在于其实际中的意义,最后根据Church不可判定性定理和Goedel不完全性定理指出了公理化方法的哲学意义及其内在局限性.     

关于高等工程教育中基础课之教学体系的讨论

一门学科的科学体系一般来说是唯一的，但其教学体系则可能不止一个而不是唯一的。对教学体系的形成背景及其构成因素作了一些探讨，并就基础课中采用公理化教学体系也作了一些讨论。     

概率论公理化源头初探

目的鉴于概率论公理化在概率论历史上的重要性,尝试研究其产生的背景和过程。方法对原始文献进行综合分析。结果柯尔莫戈洛夫(АНКолмогоро,в1903—1987)的《概率论基础》建立了概率论的公理化体系,奠定了近代概率论的基础。结论对概率论基本概念的探讨及研究工具的改进,使得概率论成为一门严格的数学分支。     

确定环境质量指数公理化体系的研究

本文对确定环境质量指数公理化体系进行了系统地研究,对目前广泛使用的质量指数计算式作了评述,解决了确定环境质量指数应遵循的原则这一长期被忽视的问题。     

面向敏捷制造的动态设施布置公理化设计研究

敏捷制造指制造企业能够把握市场机遇,及时动态地重组生产系统,用最短时间向市场推出最有利润的、用户认可的、高质量的产品。公理化理论中的独立公理理论被用在敏捷制造生产模式企业的车间布局进行设计;公理化理论中的信息最小化理论被用来验证设计方案是否为最优方案。利用公理化理论对车间资源和设施布置快速重组是设计研究的重点和难点。     

《论语》的系统分析与公理化诠释

《论语》是儒家最重要的经典之一,但对于它的研究和传播,国内学者偏重于注疏、解经,而黑格尔等西方哲学家存在明显的误判。本文试从系统科学与哲学结合的角度,通过古为今用、洋为中用、综合集成,来揭示《论语》中隐含的实质系统,并用公理化方法对《论语》进行＂一以贯之＂的诠释。在遵循原意的基础上运用理性思辨,以基本假设、定义、公理为基本要素,推导证明众多蕴含在《论语》中的客观命题,从而将隐含在《论语》中的逻辑体系凸显出来,为诠释《论语》中的孔子思想提供一条新的解读途径,便于东西方人士共同用系统和理性的方式理解和准确地把握孔子思想。     

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

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

模糊集的截集的公理化描述

对模糊集的截集的性质进行了分析，给出了模糊集的截集的八种公理化描述，其中每一种都对应着一种截集，从而揭示了每种截集撮本质的三条性质。