Domain理论与拓扑学研究
基本信息
批准号：60473009
项目类别：面上项目
资助金额：7.00
负责人：白世忠
学科分类：
依托单位：五邑大学
批准年份：2004
结题年份：2005
起止时间：2005-01-01 - 2005-12-31
项目状态： 已结题
项目参与者：王万良,樊磊,谭海鸥,何伟,高宏宾,邹祥福,姜付加,张永栋
关键词：
theoryDomain理论模糊拓扑topologyDomainFuzzy
结项摘要
Domain理论是计算机程序设计语言研究的数学基础,经典Domain理论以序概念表示计算信息,适用于顺序程序语言的指称建模。量化Domain理论引入新结构代替或增强原有序结构,可为并发系统或语言提供适当的指称语义模型。本项目将建立具有层次特色的量化Domain理论体系，发展与经典Domain理论相平行的数学基础，包括连续和代数Domain理论，解量化Domain方程的范畴论方法等；探讨L-拓扑学中
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
Research on the Influence of a High-Speed Railway on the Spatial Structure of the Western Urban Agglomeration Based on Fractal Theory-Taking the Chengdu-Chongqing Urban Agglomeration as an Example
Research on the Influence of a High-Speed Railway on the Spatial Structure of the Western Urban Agglomeration Based on Fractal Theory-Taking the Chengdu-Chongqing Urban Agglomeration as an Example
DOI：10.3390/su12187550
发表时间：2020
2
Sourcing strategies of manufacturers with customer returns and product design efforts
Sourcing strategies of manufacturers with customer returns and product design efforts
DOI：10.1111/itor.13225
发表时间：2022
3
城市轨道交通车站火灾情况下客流疏散能力评价
城市轨道交通车站火灾情况下客流疏散能力评价
DOI：
发表时间：2015
4
Uncertain data envelopment analysis with imprecisely observed inputs and outputs
Uncertain data envelopment analysis with imprecisely observed inputs and outputs
DOI：10.1007/s10700-017-9276-x
发表时间：2018
5
地震作用下岩羊村滑坡稳定性与失稳机制研究
地震作用下岩羊村滑坡稳定性与失稳机制研究
DOI：10.16285/j.rsm.2019.1374
发表时间：2020
白世忠的其他基金
批准号：61070150
批准年份：2010
资助金额：12.00
项目类别：面上项目
相似国自然基金
1
Domain理论与格上拓扑学
批准号：19671069
批准年份：1996
负责人：王戈平
学科分类：A0112
资助金额：5.50
项目类别：面上项目
2
Domain理论在拓扑学中的应用
批准号：10126007
批准年份：2001
负责人：寇辉
学科分类：A0112
资助金额：2.00
项目类别：数学天元基金项目
3
应用集论方法对一般拓扑学及Domain理论中的若干问题的研究
批准号：11001001
批准年份：2010
负责人：杨二光
学科分类：A0112
资助金额：17.00
项目类别：青年科学基金项目
4
Domain理论与计算机科学
批准号：19701020
批准年份：1997
负责人：赵彬
学科分类：A0112
资助金额：5.00
项目类别：青年科学基金项目