序、拓扑及形式语义学的数学基础
基本信息
批准号：10331010
项目类别：重点项目
资助金额：95.00
负责人：罗懋康
学科分类：
依托单位：四川大学
批准年份：2003
结题年份：2007
起止时间：2004-01-01 - 2007-12-31
项目状态： 已结题
项目参与者：梁基华,王国俊,徐晓泉,贺伟
关键词：
近似推理Locale序Domain拓扑
结项摘要
研究Locale、Fuzzy拓扑等序结构与拓扑结构的共同载体并从格上拓扑统一观点研讨其拓扑结构的深层次关系；研究具重要意义的连续型完备格关系表示问题，给出相关应用；代数化表示和处理拓扑学中若干重要性质；构造性建立经典拓扑学中选择公理等价定理的对应结果，在广义Grothendieck topos上重建连续函数环理论；在Locale上系统研究环、模结构，使交换代数理论通过Locale与直觉逻辑，拓扑学
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
基于余量谐波平衡的两质点动力学系统振动频率与响应分析
基于余量谐波平衡的两质点动力学系统振动频率与响应分析
DOI：10.6052/1672⁃6553⁃2017⁃059
发表时间：2018
2
变可信度近似模型及其在复杂装备优化设计中的应用研究进展
变可信度近似模型及其在复杂装备优化设计中的应用研究进展
DOI：10.3901/jme.2020.24.219
发表时间：2020
3
基于卷积神经网络的链接表示及预测方法
基于卷积神经网络的链接表示及预测方法
DOI：
发表时间：2018
4
基于体素化图卷积网络的三维点云目标检测方法
基于体素化图卷积网络的三维点云目标检测方法
DOI：10.3788/IRLA20200500
发表时间：2021
5
基于概率-区间混合模型的汽车乘员约束系统可靠性优化设计
基于概率-区间混合模型的汽车乘员约束系统可靠性优化设计
DOI：10.13465/j.cnki.jvs.2021.20.030
发表时间：2021
罗懋康的其他基金
批准号：11171238
批准年份：2011
资助金额：46.00
项目类别：面上项目
批准号：10731050
批准年份：2007
资助金额：125.00
项目类别：重点项目
相似国自然基金
1
形式语义学中的序结构和逻辑结构
批准号：69873034
批准年份：1998
负责人：陈仪香
学科分类：F0203
资助金额：8.00
项目类别：面上项目
2
强耦合量子液体中的拓扑序和量子序
批准号：11074140
批准年份：2010
负责人：文小刚
学科分类：A2009
资助金额：38.00
项目类别：面上项目
3
拓扑序的量子相变和量子调控
批准号：10874017
批准年份：2008
负责人：寇谡鹏
学科分类：A2009
资助金额：29.00
项目类别：面上项目
4
S*-双连续偏序集的B-拓扑性质、拓扑表示及笛卡尔闭性质研究
批准号：11901194
批准年份：2019
负责人：孙涛
学科分类：A0602
资助金额：24.00
项目类别：青年科学基金项目