江苏省高校自然科学研究项目(08KJD110008)
- 作品数：12 被引量：45H指数：6
- 相关作者：崔美华徐罗山李高林陈昱周纯阳更多>>
- 相关机构：盐城师范学院扬州大学江苏技术师范学院更多>>
- 发文基金：江苏省高校自然科学研究项目国家自然科学基金博士科研启动基金更多>>
- 相关领域：理学更多>>
- 逻辑系统G_3中随机真度的推理规则及近似推理
- 2011年
- 在三值Gdel命题逻辑系统中,推出了公式随机真度的推理规则,证明了随机逻辑度量空间中逻辑运算的连续性;研究了随机逻辑度量空间理论的发散度,提出了三种不同类型的近似推理模式,并证明了三种推理模式的等价性。这将进一步完善三值Gdel逻辑系统中随机真度和随机逻辑度量空间的理论。
- 崔美华
- 关键词：随机真度发散度
- 逻辑系统Luk中公式间的伪距离
- 2010年
- 在逻辑系统Lukasiewicz中,利用序结构知识和赋值函数的性质来研究公式间的伪距离,避开了n重积分的复杂计算,推出了积分真度与伪距离之间以及伪距离相互之间的若干等式与不等式,特别是得到了伪距离关于运算""""的若干新性质,从而给出了在伪距离空间中运算"■""→""∨""∧"""""关于伪距离均连续这一重要定理的简洁证明。
- 崔美华
- 关键词：真度伪距离
- 经典命题逻辑中理论的D-条件发散度与近似推理
- 2013年
- 在经典命题逻辑系统中,给出了D-Γ逻辑度量空间中理论的D-条件发散度和公式到理论的D-条件距离的真度表达式,推出了它们的若干性质;并利用这些性质研究了D-Γ逻辑度量空间中近似推理的相关问题。
- 崔美华
- 半连续格上的半基和局部半基被引量：14
- 2010年
- 在完备格上引入了半基和局部半基的概念，给出了半基和局部半基的性质及若干等价刻画，证明了一个完备格是半连续格当且仅当它具有半基也当且仅当它每点有局部半基。在此基础上定义了半连续格的权和特征，探讨了半连续格的权和特征与其上赋予半Scott拓扑和半Lawson拓扑时的拓扑空间的权和特征的关系。解决了文献[8]（赵彬，刘妮．连续Domain的特征和浓度，陕西师范大学学报，2002，30（2）：1～6）中提出的一个问题。
- 李高林徐罗山陈昱
- 关键词：半连续格
- 逻辑系统L_3中公式的随机真度及近似推理被引量：9
- 2010年
- 利用赋值集的随机化方法,在三值Lukasiewicz命题逻辑系统中引入公式的随机真度,证明了随机真度的MP规则、HS规则及交推理规则;同时引入公式间的随机相似度和伪距离,建立了随机逻辑度量空间,推导出随机相似度的若干性质,证明了随机逻辑度量空间中逻辑运算的连续性;并在随机逻辑度量空间中提出了三种不同类型的近似推理模式,证明了三种近似推理模式的等价性.
- 崔美华
- 关键词：随机真度随机逻辑度量空间
- 一类具扩散的竞争Leslie型捕食模型被引量：1
- 2011年
- 对一类具扩散的竞争Leslie型捕食模型进行分析,用线性化和特征值的方法讨论平衡点的局部稳定性,通过Lyapunov函数方法结合局部稳定性证明了正平衡点的全局稳定性,并给出相应的数值模拟.
- 甘文珍李高林
- 关键词：捕食模型扩散数值模拟
- 逻辑系统′Luk中命题积分真度的若干等式与不等式被引量：2
- 2009年
- 对′Lukasiewicz逻辑系统,利用序结构知识和赋值函数保并、交、补、蕴涵运算的性质研究了命题的积分真度,推出了若干关于积分真度的等式与不等式,修正完善了积分真度的交推理规则,给出了积分真度的等式与不等式的一些应用,使较复杂的积分真度计算得以简化,或进行较合理的估值。
- 崔美华徐罗山周纯阳
- 关键词：伪距离等式不等式
- n值Lukasiewicz命题逻辑系统中公式的随机真度及近似推理被引量：9
- 2012年
- 利用赋值集的随机化方法,在n值Lukasiewicz命题逻辑系统中引入公式的随机真度,证明了随机真度的MP规则、HS规则及交推理规则;同时引入公式间的随机相似度和随机伪距离,建立了随机逻辑度量空间,推导出随机相似度的若干性质,证明了随机逻辑度量空间中逻辑运算的连续性;并在随机逻辑度量空间中提出了三种不同类型的近似推理模式,证明了三种近似推理模式的等价性.
- 崔美华
- 关键词：随机真度随机逻辑度量空间
- 经典命题逻辑中公式的D-条件真度及近似推理被引量：6
- 2010年
- 基于条件概率的思想,利用赋值集的随机化方法,在经典命题逻辑系统中引入命题的D-条件真度和D-条件相似度及伪距离,建立了D-Γ逻辑度量空间;推出了D-条件真度的若干性质,证明了D-Γ逻辑度量空间中逻辑运算的连续性;并在DΓ-逻辑度量空间中提出了三种不同类型的近似推理模式,证明了三种近似推理模式的等价性。
- 崔美华
- 模糊逻辑系统中公式的积分真度和伪距离被引量：6
- 2010年
- 在赋值格为[0,1]的模糊逻辑系统L^＊中,本文利用序结构和赋值函数的性质研究公式的积分真度和伪距离,导出了积分真度和伪距离的若干性质,并且给出了在逻辑度量空间中逻辑运算关于伪距离均连续这一重要定理的简洁证明。该方法避开了多重积分的复杂计算;研究结果不仅可以用于公式的积分真度和伪距离的简化计算或合理估值,而且拓宽了逻辑度量空间理论的发散度与相容度以及近似推理的研究思路。
- 崔美华
- 关键词：伪距离
