12975.模糊偏序集中范疇對(duì)偶問題的研究

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

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

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

4、cott拓?fù)?。首先，一個(gè)模糊dcpo(定向完備偏序集)上的模糊Scott拓?fù)洳皇莻鹘y(tǒng)意義上的模糊拓?fù)?；其次，討論了模糊Scott拓?fù)浜蚐cott連續(xù)映射之間的關(guān)系；最后，提出了三一可能性計(jì)算的概念，并建立了它的指稱語義和邏輯語義之間的等價(jià)關(guān)系。內(nèi)容三模糊Domam中的對(duì)偶范疇。首先，在不同的模糊偏序結(jié)構(gòu)上，研究了不同類型映射之間的關(guān)系；其次，給出了模糊偏序集、模糊dcpo、模糊Domain和模糊連續(xù)格上的各種范疇的定義，并分別建立了其上