韩诚
- 作品数：17 被引量：53H指数：5
- 供职机构：盐城师范学院数学科学学院更多>>
- 发文基金：国家自然科学基金江苏省高校自然科学研究项目博士科研启动基金更多>>
- 相关领域：理学文化科学自动化与计算机技术更多>>
- Vague集的相似度理论被引量：5
- 2010年
- 基于对现有Vague集(值)之间相似度度量方法的分析,给出了基本相似度和强相似度的定义,引入了能反映相似度与距离内在联系的边界条件,减少了相似度选取与构造的盲目性与随意性。基于Hausdorff距离给出了一种相似度度量新方法,并将该方法应用于离散论域及连续论域,得到了若干对应的加权相似度的计算公式。为解决基于Vague集的模式匹配和决策分析等问题作了理论上的准备,也为吸收和利用Fuzzy集、Rough集理论的相关结果和思想提供了方便。
- 韩诚
- 关键词：VAGUE集相似度HAUSDORFF距离
- R<,0>代数及Vague集的相似度理论
- 长期以来，作为模推理的数学基础，模糊逻辑一直是人工智能界关注的热点.许多基于不同实际背景的模糊逻辑的形式演绎系统被提出，与之相对应的代数语义方面的研究也硕果累累，其中基于连续t-模的BL代数和基于左连续t-模的MTL代数...
- 韩诚
- 关键词：R0代数VAGUE集相似度模糊逻辑模糊信息处理
- 命题公式集F(S)的基于R_0-算子的16类分划被引量：4
- 2005年
- 利用R0-蕴涵算子对命题公式集F(S)进行分类,得出了F(S)的—个16类分划,并证明了这种分类关于非运算是同余分类.最后讨论了各类关于MP运算与HS运算的封闭性.
- 韩诚王国俊
- 浅析Stirling公式的若干应用
- 2011年
- Stirling公式作为阶乘运算的一类推广公式,在极限理论与数值计算上有着广泛的应用。利用渐进分析的思想给出了Stirling公式一个较为新颖的证明,并探讨了Stirling公式在微积分、概率分析、欧拉积分等中的应用,还研究了Stirling公式在数列极限计算中的作用。试图为欧拉积分的研究提供新的思路和方法。
- 韩诚刘丹丹
- 关键词：STIRLING公式
- ∧~*系统的公理化扩张
- 2006年
- 通过对模糊逻辑命题演算形式系统L*的代数语义——R0代数的研究,给出了R0代数簇的完整分类,并利用L*系统与幂零极小逻辑(NML)的等价性,由系统L*是可代数化逻辑出发,得到与R0代数真子簇对应的L*系统的全部公理化扩张,文中所用的方法用样适用于其他满足逆序对合关系的逻辑的扩张,具有较好的扩展性。
- 韩诚
- 关键词：R0-代数代数簇
- 非全序R_0代数的存在性及其构造被引量：11
- 2004年
- 通过考察非全序R0代数的序结构,给出了中点的定义,并利用中点给出R0代数的一个分划,同时证明了五元和七元非全序R0代数不存在,以及n元(n>7)非全序R0代数的存在性,并推广到无限元的情形,得到了构造可去(加)中点的非全序R0代数的两种方法.
- 韩诚许文艳吴恒洋
- 关键词：序结构模糊逻辑命题演算
- 非全序R_0代数的结构被引量：5
- 2004年
- 通过考察非全序R0代数的序结构,分别给出刻划可加(可去)中点的R0代数与不可加(不可去)中点的R0代数的充要条件,对R0代数的结构给出一个清晰的描述.
- 吴恒洋韩诚
- 关键词：R0代数
- 浅析Stirling公式的若干应用
- 2010年
- 利用渐进分析的思想给出了Stirling公式一个较为新颖的证明,并探讨了Stirling公式在微积分、概率分析、欧拉积分等中的应用,还研究了Stirling公式在数列极限计算中的作用.试图为欧拉积分的研究提供新的思路和方法.
- 韩诚刘丹丹
- 关键词：STIRLING公式
- L^＊系统中的模糊演绎定理的改进形式被引量：8
- 2005年
- 研究了模糊命题演算的形式演绎系统L .对其中的演绎定理进行了详细讨论,得到了在一定条件下的L 系统中的演绎定理:设A,B∈F(S),若├(q→ p∨p)∨q→A,Γ F(S),则Γ├A→B当且仅当Γ∪{A}├B.将L 系统中的模糊演绎定理进行了改进,进一步说明了L 系统所具有的良好性质.同时,在本文定理的证明中进一步体现了L 系统中的公理L10在模糊命题演算形式演绎系统中的作用,为模糊命题演算的形式演绎系统的研究,特别是L10的应用研究提供了一种新的思路和方法.
- 吴洪博王小敏韩诚
- 关键词：模糊逻辑
- 确界原理的一个修正证明被引量：2
- 2014年
- 分析了华东师大版《数学分析》(第四版)教材中关于确界原理证明的不足之处,给出更为细致的修正证明.
- 韩诚
- 关键词：数学分析确界原理实数
