江南大学理学院数理研究所
- 作品数：13 被引量：48H指数：3
- 相关作者：王岑更多>>
- 相关机构：兴义民族师范学院信息技术学院更多>>
- 发文基金：国家自然科学基金中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术理学文化科学更多>>
- 基于[λ，μ]-截段的一般分解定理和截段矩阵被引量：3
- 2008年
- 推广了λ-截集的定义,提出并证明了一般分解定理,在此基础上定义了截段矩阵并讨论了它的一些性质以及[λ,μ]-截段。
- 张胜礼潘正华
- 关键词：阈值截距
- 模糊错误逻辑事物分解转化联结词被引量：1
- 2008年
- 本文主要给出了模糊错误逻辑事物分解转化联结词所涉及的概念与运算,对模糊错误逻辑事物分解转化联结词与外延联结词(合取∧、析取∨、不相容析取∨bxr等)的关系,以及模糊错误逻辑事物分解转化联结词与内涵联结词(不只否定┑bz、不尽否定┑bj、不限否定┑bx、不断否定┑bd等)的关系进行研究,探讨了模糊错误发生的原因和机制,以及模糊错误的传递和转化方式的规律。研究表明模糊错误逻辑的事物分解转化联结词可用来描述和推导S(t)变化的逻辑规律。
- 王耀富潘正华
- 关键词：否定词
- 中介命题逻辑的一种无穷值语义模型及其意义
- 中介逻辑(medium logic, ML)自建立了它的三值语义模型后,ML就被许多学者认定为三值逻辑.对于中介逻辑核心理论的中介命题逻辑系统,给出一种真值域为[0,1]的无穷值语义模型,研究了它的性质,并证明了中介命题...
- 潘正华
- 关键词：可靠性
- 文献传递
- 中介命题逻辑的一种无穷值语义模型及其意义被引量：3
- 2008年
- 中介逻辑(medium logic,ML)自建立了它的三值语义模型后,ML就被许多学者认定为三值逻辑.对于中介逻辑核心理论的中介命题逻辑系统,给出一种真值域为[0,1]的无穷值语义模型,研究了它的性质,并证明了中介命题逻辑在此模型下具有可靠性与完备性.此模型的存在表明,认定中介逻辑是一种三值逻辑的理由是不充分的.该模型更适合反映中介逻辑的基本思想,而且为中介逻辑在其他领域的应用提供了一个基础.
- 潘正华
- 关键词：三值模型可靠性
- 模糊推理算法的数学原理被引量：18
- 2008年
- 模糊推理算法在自动控制等领域不断得到成功应用,但其理论基础却是贫弱的.从数学与逻辑的角度对模糊推理算法的基础进行研究分析,提出并证明了3个定理.结果表明在各种模糊推理模式中,前提与结论之间存在一个数学关系(有界实函数),模糊推理的各种算法都是这一函数的不同构造形式.所以,模糊推理的算法其基础是可靠的.
- 潘正华
- 关键词：模糊推理CRI算法
- 知识中不同否定关系的一种逻辑描述被引量：23
- 2008年
- 提出知识中的否定关系应当区分为矛盾否定关系和对立否定关系。从概念层面上确立了清晰性知识和模糊性知识中存在的5种矛盾否定关系与对立否定关系(CDC,CFC,ODC,OFC,ROM)及其形式定义;发现具有对立否定关系的概念中存在规律:对立否定概念之间存在中介对象(新的模糊概念),当且仅当对立否定概念是模糊概念;并且运用中介谓词逻辑MF与其无穷值模型Ф,研究了矛盾否定概念和对立否定概念在真值域0,1上的真值描述及其规律,给出了知识中的5种矛盾否定和对立否定关系的处理条件;讨论了现有的数学与逻辑理论刻画和处理这些关系的不足及原因。
- 潘正华
- 大学数学专业课程教与学模式的改革与实践被引量：1
- 2007年
- 大学数学专业课程的教与学模式单一,理论难与实践相结合。如何改变这种现状?"数学专业课程教学改革课题组"对此开展研究,确定出大学数学专业课程"模糊数学及其应用"的教与学模式改革方案,该文为迄今改革试验工作的初步小结及心得,以飨同仁。
- 潘正华
- 关键词：大学数学专业课程
- 模糊推理算法的数学原理
- 模糊推理算法在自动控制等领域不断得到成功应用,但其理论基础却是贫弱的.从数学与逻辑的角度对模糊推理算法的基础进行研究分析,提出并证明了3个定理.结果表明在各种模糊推理模式中,前提与结论之间存在一个数学关系(有界实函数),...
- 潘正华
- 关键词：模糊推理算法CRI算法自动控制
- 文献传递
- 模糊错误逻辑事物分解转化联结词
- 本文主要给出了模糊错误逻辑事物分解转化联结词所涉及的概念与运算,对模糊错误逻辑事物分解转化联结词与外延联结词(合取∧、析取∨、不相容析取∨bxr等)的关系,以及模糊错误逻辑事物分解转化联结词与内涵联结词(不只否定(∠)b...
- 王耀富潘正华
- 关键词：否定词
- 文献传递
- 基于模糊命题逻辑形式系统FLcom的模糊推理及应用
- 2015年
- FLcom是建立在模糊集FScom基础上的一种区分矛盾否定、对立否定和中介否定的模糊命题逻辑形式系统。在模糊推理中关于否定的认识和处理主要以经典逻辑为基础,为此在FLcom基础上研究了区分3种否定的模糊推理规则的表示,给出了基于FLcom的模糊推理规则的合成算法FLMP和FLMT规则,新算法推广了CRI算法中的蕴涵算子,并给出了模糊推理应用的实例对比。结果表明FLcom在区分不同否定的实际应用中是合理可行的。
- 吴晓刚潘正华
- 关键词：模糊推理蕴涵算子
