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
多能耦合三相不平衡主动配电网与输电网交互随机模糊潮流方法
多能耦合三相不平衡主动配电网与输电网交互随机模糊潮流方法
DOI：10.13334/j.0258-8013.pcsee.190276
发表时间：2020
2
基于旋量理论的数控机床几何误差分离与补偿方法研究
基于旋量理论的数控机床几何误差分离与补偿方法研究
DOI：
发表时间：2019
3
Tracking Differentiator-Based Adaptive Fault-Tolerant Control for Stochastic Nonlinear Systems
Tracking Differentiator-Based Adaptive Fault-Tolerant Control for Stochastic Nonlinear Systems
DOI：10.1109/access.2020.2987135
发表时间：2020
4
现代优化理论与应用
现代优化理论与应用
DOI：10.1360/SSM-2020-0035
发表时间：2020
5
多元化企业IT协同的维度及测量
多元化企业IT协同的维度及测量
DOI：
发表时间：2017
白世忠的其他基金
批准号：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
项目类别：青年科学基金项目