课题基金基金详情
序、拓扑及形式语义学的数学基础
结题报告
批准号：
10331010
项目类别：
重点项目
资助金额：
95.0 万元
负责人：
罗懋康
依托单位：
四川大学
学科分类：
A0112.一般拓扑学
结题年份：
2007
批准年份：
2003
项目状态：
已结题
项目参与者：
梁基华、王国俊、徐晓泉、贺伟
关键词：
近似推理..Locale序Domain拓扑
国基评审专家1V1指导 中标率高出同行96.8%
结合最新热点，提供专业选题建议
深度指导申报书撰写，确保创新可行
指导项目中标800+，快速提高中标率
客服二维码
微信扫码咨询
中文摘要
研究Locale、Fuzzy拓扑等序结构与拓扑结构的共同载体并从格上拓扑统一观点研讨其拓扑结构的深层次关系；研究具重要意义的连续型完备格关系表示问题，给出相关应用；代数化表示和处理拓扑学中若干重要性质；构造性建立经典拓扑学中选择公理等价定理的对应结果，在广义Grothendieck topos上重建连续函数环理论；在Locale上系统研究环、模结构，使交换代数理论通过Locale与直觉逻辑，拓扑学
英文摘要
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
一种求概念格属性约简的方法
DOI：--
发表时间：--
期刊：计算机工程与应用， 2006，42（20）：147－149
影响因子：--
作者：李立峰;王国俊
通讯作者：王国俊
基于正则蕴涵算子与强否定的支持
DOI：--
发表时间：--
期刊：自然科学进展，2005，15（9），1123- - -1128
影响因子：--
作者：周红军;王国俊
通讯作者：王国俊
Priestley Spaces, Quasi-hypera
普里斯特利空间，准超超
DOI：--
发表时间：--
期刊：
影响因子：--
作者：Yang Jin-Bo, Luo Mao-Kang
通讯作者：Yang Jin-Bo, Luo Mao-Kang
开滤子Domain的分配性
DOI：--
发表时间：--
期刊：四川大学学报，2006, 5:992-995.
影响因子：--
作者：黄方平;梁基华;寇辉
通讯作者：寇辉
拟Z-连续Domain与Z-交连续Domain
DOI：--
发表时间：--
期刊：数学学报，48(2005), 2:221-234.
影响因子：--
作者：徐晓泉;罗懋康;黄艳
通讯作者：黄艳
分数阶非线性动力系统的不确定性数学理论及应用研究
  • 批准号：
    11171238
  • 项目类别：
    面上项目
  • 资助金额：
    46.0万元
  • 批准年份：
    2011
  • 负责人：
    罗懋康
  • 依托单位：
    四川大学
不确定性处理的数学理论、方法及其应用
  • 批准号：
    10731050
  • 项目类别：
    重点项目
  • 资助金额：
    125.0万元
  • 批准年份：
    2007
  • 负责人：
    罗懋康
  • 依托单位：
    四川大学
国内基金
海外基金