格上拓扑学及其在不确定特征的形式化研究中的应用
结题报告
批准号:
10571112
项目类别:
面上项目
资助金额:
25.0 万元
负责人:
李永明
依托单位:
学科分类:
A0112.一般拓扑学
结题年份:
2008
批准年份:
2005
项目状态:
已结题
项目参与者:
王小明、李志慧、尚云、雷红轩、任林源、李平、盛莉、韩召伟、韩诚
国基评审专家1V1指导 中标率高出同行96.8%
结合最新热点,提供专业选题建议
深度指导申报书撰写,确保创新可行
指导项目中标800+,快速提高中标率
客服二维码
微信扫码咨询
中文摘要
非可换结构的研究是数学研究的一个重要方面,而Quantale理论提供了研究此类问题的一个重要手段。本研究将在Quantale理论特别是Quantale及其上模的范畴构造方面开展工作,给出构造新型Quantale的若干新结果,籍此研究拓扑系统与迁移拓扑系统的拓扑、代数与范畴性质,并利用这些结果完成并发系统中进程等价的拓扑刻画。不确定性的研究是现代数学的重大问题,我们将利用格上拓扑学的逻辑构造,开展不确定性特征的形式化研究。拟研究新型的量子代数结构,给出它的拓扑、代数与范畴方面的深刻刻画,并基于量子代数结构开展对量子计算的逻辑基础的探讨;在Quantale值逻辑体系下研究不确定推理系统与模糊关系方程的最弱逻辑公理系,得到最广泛适用的结果;进一步开展Quantale值的不确定计算理论的工作,从拓扑的逻辑构造角度对不确定特征的形式化应用研究提出新概念与新方法,得到新结果。
英文摘要
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
DOI:--
发表时间:--
期刊:计算机工程与应用,42(2006),16: 57-60
影响因子:--
作者:
通讯作者:
Robustness of fuzzy reasoning via logically equivalence measure
通过逻辑等价度量的模糊推理的鲁棒性
DOI:10.1016/j.ins.2007.05.014
发表时间:2007-11
期刊:Inf. Sci.
影响因子:--
作者:
通讯作者:
DOI:--
发表时间:--
期刊:
影响因子:--
作者:
通讯作者:
DOI:--
发表时间:--
期刊:吉林大学学报( 理学版), 46(2008), 2: 317-319
影响因子:--
作者:
通讯作者:
Central elements in pseudoeffect algebras
赝效应代数的中心元素
DOI:10.2478/s12175-009-0163-y
发表时间:2010-02
期刊:Mathematica Slovaca
影响因子:1.6
作者:
通讯作者:
含不确定时态的定量时序逻辑及其检测问题研究
  • 批准号:
    --
  • 项目类别:
    面上项目
  • 资助金额:
    51万元
  • 批准年份:
    2020
  • 负责人:
    李永明
  • 依托单位:
基于不确定测度的定量时序逻辑的表示与可判定性研究
  • 批准号:
    11671244
  • 项目类别:
    面上项目
  • 资助金额:
    48.0万元
  • 批准年份:
    2016
  • 负责人:
    李永明
  • 依托单位:
把不确定性用半环来描述的计算模型、理论及其应用研究
  • 批准号:
    11271237
  • 项目类别:
    面上项目
  • 资助金额:
    60.0万元
  • 批准年份:
    2012
  • 负责人:
    李永明
  • 依托单位:
不确定环境下的计算模型与计算理论研究
  • 批准号:
    60873119
  • 项目类别:
    面上项目
  • 资助金额:
    32.0万元
  • 批准年份:
    2008
  • 负责人:
    李永明
  • 依托单位:
QUANTALE理论及其应用
  • 批准号:
    10226023
  • 项目类别:
    数学天元基金项目
  • 资助金额:
    2.5万元
  • 批准年份:
    2002
  • 负责人:
    李永明
  • 依托单位:
国内基金
海外基金