12975.模糊偏序集中范疇對偶問題的研究_第1頁
已閱讀1頁，還剩50頁未讀， 繼續(xù)免費閱讀

下載本文檔

版權說明：本文檔由用戶提供并上傳，收益歸屬內容提供方，若內容存在侵權，請進行舉報或認領

文檔簡介

1、ClassifiedIndex：0159UDC：510SecrecyRate：PublicizedUniversityCode：10082HebeiUniversityofScienceandTechnologyDissertationfortheMasterDegreeAResearchonCategoricalDualitiesbetweenCertainkindsofFuzzyPosetsCandidateoSupervisor：

2、Associatesupervisor：AcademicDegreeAppliedfor：Speciality：Employer：DateofOralExamination：ShenChongAssociateProfessorYaoWeiMasterofScienceMathematicsSchoolofSciencesMay，2016摘要摘要Domain理論具有理論計算機科學與純數學的雙重研究背景，它是計算機程序設計語言的指稱語義學

3、的數學基礎，它與拓撲、邏輯、代數、范疇等學科有密切的聯(lián)系。量化Domain理論在過去的四十年里經歷了快速發(fā)展，形成了Domain理論一個新分支。本文主要利用Q范疇和模糊偏序方法，研究量化Domain理論中的一些基本范疇的對偶等價性。本文主要研究內容如下：內容一模糊G理想。首先，給出了模糊G理想的定義，并證明了由全體模糊G理想構成的集合在包含序下是一個模糊完備格；其次，研究了模糊G理想與模糊Galois伴隨之間的一一對應關系。內容二模糊S

4、cott拓撲。首先，一個模糊dcpo(定向完備偏序集)上的模糊Scott拓撲不是傳統(tǒng)意義上的模糊拓撲；其次，討論了模糊Scott拓撲和Scott連續(xù)映射之間的關系；最后，提出了三一可能性計算的概念，并建立了它的指稱語義和邏輯語義之間的等價關系。內容三模糊Domam中的對偶范疇。首先，在不同的模糊偏序結構上，研究了不同類型映射之間的關系；其次，給出了模糊偏序集、模糊dcpo、模糊Domain和模糊連續(xù)格上的各種范疇的定義，并分別建立了其上

溫馨提示

  • 1. 本站所有資源如無特殊說明，都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等，如果需要附件，請聯(lián)系上傳者。文件的所有權益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙，網頁內容里面會有圖紙預覽，若沒有圖紙預覽就沒有圖紙。
  • 4. 未經權益所有人同意不得將文件中的內容挪作商業(yè)或盈利用途。
  • 5. 眾賞文庫僅提供信息存儲空間，僅對用戶上傳內容的表現(xiàn)方式做保護處理，對用戶上傳分享的文檔內容本身不做任何修改或編輯，并不能對任何下載內容負責。
  • 6. 下載文件中如有侵權或不適當內容，請與我們聯(lián)系，我們立即糾正。
  • 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

評論

0/150

提交評論