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

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

有限解释下一阶谓词公式的相对真度

本文在二值谓词逻辑系统中引入一类特殊解释,即论域有限的解释,给出了一阶谓词公式A的相对于某一个特定解释下的相对真度定义,并证明了与命题逻辑系统的真度理论相对应的某些结论,如MP规则与HS规则.本文为建立一阶谓词公式的绝对真度,进而建立谓词逻辑系统中的近似推理理论提供了理论基础.     

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

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

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

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

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

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

几个三值命题逻辑系统中命题真度的分布

利用势为3的均匀概率空间的无穷乘积在W3、G3、П3及S3系统中引入了公式的真度概念，得到了命题真度分布的一些性质，同时给出了三值真度推理规则．证明了以上各系统中的全体公式的真度值之集在[0，1]上是稠密的，并给出了其中公式真度的表达通式，即若A∈F（S），则τ（A）=k/3^n（n=1,2,…，k=0,1,…,3^n）．此项研究为进一步建立三值命题逻辑的近似推理理论奠定了基础，并且使W3，G3，П3及S3系统中公式的真度有了统一的理论体系．     

自然数集扩充的意义和公理化

从现实角度讨论自然数集扩充的意义．从历史角度研究自然数的公理化定义，自然数集扩充后基数、序数理论的变化．探讨自然数集扩充后的宣传和教学．     

灰数灰度的一种公理化定义

基于对已有的几种灰数灰度定义的讨论，建立了灰数灰度定义的公理系统；以灰数灰度定义公理为准绳，由灰数产生的背景或论域及灰数取数域的测度构造出一种新的灰数灰度定义式。新定义克服了原有定义中存在的问题，较为科学地描述了灰数的不确定程度。     

FLL语言的说明性语义与过程性语义

阐明了ＦＬＬ（ＦｕｚｚｙＬｏｇｉｃＬａｎｇｕａｇｅ）语言的说明性语义，并从过程性角度提出了ＦＬＬ的执行模式，为该语言的实现模型奠定了理论基础。     

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

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