《Domain理論與格上拓撲學》是依託江蘇師範大學,由王戈平擔任項目負責人的面上項目。
基本介紹
- 中文名:Domain理論與格上拓撲學
- 項目類別:面上項目
- 項目負責人:王戈平
- 依託單位:江蘇師範大學
- 批准號:19671069
- 項目名稱:Domain理論與格上拓撲學
- 申請代碼:A0112
- 負責人職稱:教授
- 研究期限:1997-01-01 至 1999-12-31
- 支持經費:5.5(萬元)
《Domain理論與格上拓撲學》是依託江蘇師範大學,由王戈平擔任項目負責人的面上項目。
《Domain理論在拓撲學中的套用》是依託四川大學,由寇輝擔任項目負責人的數學天元基金項目。項目摘要 Domain 理論是理論計算機科學的重要分支。本項目主要研究了Domain 理論中的拓撲學問題,如domain 及其函式空間的緊性,函式空間的Isbell 拓撲,由拓撲描述的冪domain 結構等。此外,我們還研究了與Domain 理論和拓撲學...
首先,解決Scott拓撲和Scott閉集格的相關問題,研究偏Dcpo上的拓撲結構及其套用。其次,建立和刻畫模糊偏序集的模糊Dcpo完備化,證明某些模糊Domain範疇是笛卡爾閉的;通過模糊Domain理論給出內射的L-To空間的具體刻畫,進而給出有內射殼的L-To空間的刻畫;利用模糊Domain理論探討良緊性的優越性,在此基礎上建立模...
《格子拓撲中若干問題的研究》是依託首都師範大學,由鄭崇友擔任項目負責人的面上項目。項目摘要 研究把序結構與拓撲結構融為一體的格上拓撲理論與其相關的套用問題。通過對格上度量性質的研究界定出與度量理論相匹配的緊性與仿緊性概念,建立格上拓撲點式度量化理論的完善體系;以Domain理論的抽象基為工具研究格上拓撲...
汪開雲,男,博士,陝西師範大學數學與信息科學學院副教授。個人經歷 2012年7月畢業於陝西師範大學數學學院,獲博士學位,同時留校在陝西師範大學數學學院工作。主要從事格上拓撲學,範疇論以及Ramsey理論的研究工作。主講課程 本科生:高等數學,線性代數,一般拓撲學 研究生:Domain理論,格與拓撲 學術成果 論文、專著 ...
本項目期望通過引入一般拓撲學的諸多技巧研究三類相容冪domain結構及其與三類函式逼近結構之間的密切關係,進而推進一般拓撲學、格序理論,以及Domain理論的交叉結合,並為理論計算機領域中的一些遺留問題(如FS-domain與雙有限domain的收縮之間的等價性問題)提供更有力的數學理論支持。結題摘要 Domain理論是一般拓撲學與...
他們治學嚴謹,潛心研究,已在數理邏輯及套用、信息安全、分形與小波理論及套用、金融數學和拓撲動力系統等領域取得了豐碩的科研成果,並逐步形成自己的研究特色。數學科學學院多年來狠抓專業建設和學科建設,“數學與套用數學”是安徽省重點建設專業和安徽省教改示範專業,2008年又被教育部批准為國家特色專業;《數學分析...
以套用廣泛的模糊性(即概念的層次性或序結構)處理為背景,注意數學三大基本結構之一序結構的作用,研究序與拓撲等結構的共同載體及相關非經典數理邏輯理論與套用問題,與計算機科學技術有密切關係。主要研究格上拓撲學中Fuzzy拓撲、Locale理論及其間關係、Domain理論及相關拓撲結構與序結構問題、近似推理的數理邏輯基礎和...
信息系統為domain提供邏輯表示。本項目結合範疇論、拓撲學、模糊集理論以及粗糙集理論,以幾類重要的domain結構為研究對象,系統地建立了他們的信息系統表示理論,探討了幾類特殊domain範疇上的Jung-Tix問題,對偏序集的連續性與拓撲以及domain理論與模糊集和粗糙集理論的交叉進行了深入地研究。主要研究結果包括:給出了L...
長期以來從事基礎數學的教學和研究工作,完成教育部、北京市教委多項教育教學改革項目;在格上拓撲與模糊數學的研究領域先後主持並完成國家自然科學基金項目4項、北京市教委科技發展項目1項,研究領域涉及L-拓撲空間、Locale理論、Domain理論和格上度量理論等,發表論文60餘篇,出版《Frame和連續格》等多部著作。目前主持...
李慶國,湯燦琴,李紀波編著,一般拓撲學,湖南大學出版社,2006年 科研項目 研究方向:格上拓撲及套用 目前主要研究領域為格上拓撲、模糊數學理論與套用。重在研究計算機與信息科學中所涉及的數學問題,主要從以下三個方面的著手進行研究:電腦程式語言的指稱語義—Domain理論,計算機與信息科學的邏輯基礎,形式概念分析...