Domain理论与拓扑学研究
结题报告
批准号：
60473009
项目类别：
面上项目
资助金额：
7.0 万元
负责人：
白世忠
依托单位：
五邑大学
学科分类：
F0201.计算机科学的基础理论
结题年份：
2005
批准年份：
2004
项目状态：
已结题
项目参与者：
王万良、樊磊、谭海鸥、何伟、高宏宾、邹祥福、姜付加、张永栋
关键词：
theoryDomain理论模糊拓扑topology..DomainFuzzy
国基评审专家1V1指导 中标率高出同行96.8%
结合最新热点，提供专业选题建议
深度指导申报书撰写，确保创新可行
指导项目中标800+，快速提高中标率
客服二维码
微信扫码咨询
中文摘要
Domain理论是计算机程序设计语言研究的数学基础,经典Domain理论以序概念表示计算信息,适用于顺序程序语言的指称建模。量化Domain理论引入新结构代替或增强原有序结构,可为并发系统或语言提供适当的指称语义模型。本项目将建立具有层次特色的量化Domain理论体系，发展与经典Domain理论相平行的数学基础，包括连续和代数Domain理论，解量化Domain方程的范畴论方法等；探讨L-拓扑学中
英文摘要
专著列表
科研奖励列表
会议论文列表
专利列表
Fuzzy Domain 理论及其新拓扑工具研究
  • 批准号：
    61070150
  • 项目类别：
    面上项目
  • 资助金额：
    12.0万元
  • 批准年份：
    2010
  • 负责人：
    白世忠
  • 依托单位：
    五邑大学
国内基金
海外基金