本文選題：局部基 + 稠密子集��； 參考：《淮北師范大學(xué)》2017年碩士論文

【摘要】：Domain理論從上世紀(jì)70年代以來,一直受到計(jì)算機(jī)科學(xué)及數(shù)學(xué)領(lǐng)域的關(guān)注.Domain理論研究的對象是滿足一定條件的偏序集與它們之間的映射,研究的一個(gè)內(nèi)容是將連續(xù)格的理論推廣到更為一般的格序結(jié)構(gòu).本文主要研究工作如下:1.基于連續(xù)Domain理論,深入研究了局部連續(xù)Domain的相關(guān)概念及其理論.首先引入了局部鄰域的定義,并在此基礎(chǔ)上給出了局部連續(xù)Domain的內(nèi)部刻畫;然后借助局部定向集,給出局部連續(xù)Domain基、權(quán)的定義以及其若干等價(jià)刻畫;同時(shí)探討局部Scott Domain與拓?fù)淇臻g(?)的權(quán)之間的關(guān)系.2.主要研究了局部連續(xù)Domain的特征與濃度.首先,在局部基和稠密子集的基礎(chǔ)上,定義了局部連續(xù)Domain的特征與濃度;其次,探討了局部連續(xù)Domain及其帶上Scott拓?fù)浠蚓植縇awson拓?fù)鋾r(shí)的拓?fù)淇臻g的特征、濃度之間的關(guān)系.3.基于局部半連續(xù)格,利用局部半素理想定義了局部半素基,并給出了局部半連續(xù)格的局部半素基和左伴隨的一些性質(zhì).4.給出局部相容半連續(xù)格的概念,并借助局部相容半素極小集來闡述映射的局部相容半連續(xù)性、保?lc關(guān)系及保局部相容半素極小集之間的聯(lián)系.
[Abstract]:Since the 1970s of the last century, Domain theory has been concerned by the computer science and mathematics field. The object of the study is the mapping between the partial ordered set which satisfies some conditions and the mapping between them. One of the contents of this study is to extend the theory of continuous lattices to more general lattice ordered structures. The main research work of this paper is as follows: 1. Based on the theory of continuous Domain, the related concepts and theories of local continuous Domain are studied in depth. Firstly, the definition of local neighborhood is introduced, and then the interior characterization of local continuous Domain is given, and then the definition of local continuous Domain basis, weight and some equivalent characterizations are given with the help of local orientation set. Local Scott Domain and topological space are also discussed. The relationship between the rights of. The characteristics and concentration of local continuous Domain are studied. Firstly, on the basis of local basis and dense subset, the characteristics and concentrations of locally continuous Domain are defined, and then, the characteristics of locally continuous Domain and its topological space with Scott topology or local Lawson topology are discussed. Based on locally semicontinuous lattices, the local semicontinuous bases are defined by using locally semicontinuous ideals, and some properties of local semicontinuous lattices and left adjoint are given. The concept of locally compatible semicontinuous lattices is given, and the relations among locally compatible semicontinuity, preserving lc relation and locally compatible semiprime minimal sets of mappings are discussed by means of locally compatible semiprime minimal sets.
【學(xué)位授予單位】：淮北師范大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2017
【分類號】：O153.1

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 張竹如,陳世楨,唐波;Ore-Search Perspective for Superlarge Gold Deposits in the Jiaolai Basin of the Jiaodong Gold Metallogenetic Domain[J];Chinese Journal of Geochemistry;2000年04期

2 吳秀玲,孟大維,牟濤,潘兆櫓;Domain Structure in Calcium Cerium Fluorocarbonate Minerals, Mianning County, Sichuan Province, China[J];Journal of Rare Earths;2000年02期

3 ;A Numerical Modeling of Microstrip Line and Optical Waveguide with a Unified Compact Two Dimensional Finite Difference Time Domain Method[J];The Journal of China Universities of Posts and Telecommunications;2000年04期

4 王棟;Global Motion Estimation in Frequency Domain[J];High Technology Letters;2001年04期

5 殷慰萍 ,蘇簡兵 ,趙振剛;A Characterization ofComplete Bounded Domain[J];數(shù)學(xué)進(jìn)展;2002年02期

6 ;Earthquake-Affected Time-Space Domain, Recurrence Interval and Effective Preparation Time of Earthquakes[J];Earthquake Research in China;2002年04期

7 滕斌,韓凌,勾瑩;Fast Evaluation of Time-Domain Green Function for Finite Water Depth[J];China Ocean Engineering;2003年03期

8 孟凡國,惠恩夫,周海夢;Unfolding of C2A Domain of Synaptotagmin I in the Presence of Guanidine Hydrochloride[J];Tsinghua Science and Technology;2003年04期

9 ;Time-Domain Analysis of a Wire Antenna Near Arbitrarily Shaped Conductor Bodies[J];Wuhan University Journal of Natural Sciences;2003年01期

10 ;Time Domain Analysis of Transmit/Receive Dipole Pair Array[J];Wuhan University Journal of Natural Sciences;2003年01期

相關(guān)會(huì)議論文 前10條

1 ;Inductance Model of Square Spiral Inductor Based on Domain Decomposition Method[A];2002海峽兩岸三地?zé)o線科技研討會(huì)論文集[C];2002年

2 陳儀香;;Domain理論中的映射[A];中國系統(tǒng)工程學(xué)會(huì)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)第十一屆年會(huì)論文選集[C];2002年

3 ;Closed-loop Multivariable Process Identification in the Frequency Domain[A];第二十七屆中國控制會(huì)議論文集[C];2008年

4 ;Genetically Modified Adenoviral Vector With the Protein Transduction Domain of Tat Improves Gene Transfer to CAR Deficient Cells[A];2008年全國生物化學(xué)與分子生物學(xué)學(xué)術(shù)大會(huì)論文摘要[C];2008年

5 ;Unified Evaluation of Data Modeling Languages in Network Management Domain Using a Multi-Criteria Method[A];2009中國控制與決策會(huì)議論文集（3）[C];2009年

6 ;Web Information Extraction based on News Domain Ontology Theory[A];Proceedings 2010 IEEE 2nd Symposium on Web Society[C];2010年

7 ;On Exact Controllability of Linear PDEs: Frequency Domain Characterization and Piecewise Multiplier Techniques[A];1997年中國控制會(huì)議論文集[C];1997年

8 ;Analyzing Structural Properties of composite system in Frequency Domain Over F(z) with Computer[A];Proceedings of 2010 Chinese Control and Decision Conference[C];2010年

9 ;Automatic Domain-specific Term Extraction System Based on Hybrid Approaches[A];第四屆全國學(xué)生計(jì)算語言學(xué)研討會(huì)會(huì)議論文集[C];2008年

10 Junjie Wang;Depeng Dang;Pengxia Zhou;Hongjie Wang;Xue Jiang;Shihang Huang;;Crawling Strategy Based on Domain Ontology of Emergency Plans[A];2013教育技術(shù)與信息系統(tǒng)國際會(huì)議論文集[C];2013年

相關(guān)重要報(bào)紙文章 前9條

1 郭濤;Domain DD580[N];中國計(jì)算機(jī)報(bào);2007年

2 凡妮;Data Domain近線性存儲(chǔ)合作陣營又添新成員[N];電腦商報(bào);2008年

3 邢小萍;Data Domain將借EMC之勢騰飛[N];網(wǎng)絡(luò)世界;2009年

4 洋;Data Domain建立中國公司[N];計(jì)算機(jī)世界;2008年

5 本報(bào)記者 劉學(xué)習(xí);Data Domain節(jié)約存儲(chǔ)成本有高招[N];計(jì)算機(jī)世界;2008年

6 ;Time Domain拆分出專營UWB的公司[N];計(jì)算機(jī)世界;2003年

7 本報(bào)記者 宋家雨;EMC Data Domain亮相 發(fā)力備份恢復(fù)市場[N];網(wǎng)絡(luò)世界;2010年

8 劉;Data Domain DD690高效重復(fù)數(shù)據(jù)刪除[N];電腦商報(bào);2008年

9 李學(xué)昌;老樹新花說DOS⑦[N];中國電腦教育報(bào);2004年

相關(guān)博士學(xué)位論文 前10條

1 何青玉;Domain的信息系統(tǒng)表示和多種廣義Domain的研究[D];揚(yáng)州大學(xué);2014年

2 馬娜娜;模糊Domain中相關(guān)問題的研究[D];陜西師范大學(xué);2016年

3 郭智蓮;相容連續(xù)Domain和模糊半連續(xù)Domain的研究[D];陜西師范大學(xué);2012年

4 樊磊;Domain理論中若干問題的研究[D];首都師范大學(xué);2001年

5 劉敏;Ω-范疇與模糊Domain中相關(guān)問題的研究[D];陜西師范大學(xué);2013年

6 黃夢橋;Domain與信息系統(tǒng)[D];湖南大學(xué);2008年

7 饒三平;模糊Domain的基理論研究及其推廣[D];湖南大學(xué);2014年

8 奚小勇;關(guān)于Domain函數(shù)空間的若干問題[D];四川大學(xué);2005年

9 蘇淑華;Ω-范疇在量化Domain理論中的應(yīng)用研究[D];湖南大學(xué);2014年

10 李高林;Domain的幾種推廣類型和相關(guān)應(yīng)用研究[D];揚(yáng)州大學(xué);2012年

相關(guān)碩士學(xué)位論文 前10條

1 李程茜;表征可能性估值的冪Domain[D];湖南大學(xué);2016年

2 祝禎禎;半連續(xù)dcpo與偽相容連續(xù)Domain的若干研究[D];淮北師范大學(xué);2015年

3 樊慶申;基于Group Domain的VPN設(shè)計(jì)與實(shí)現(xiàn)[D];西安電子科技大學(xué);2015年

4 趙娜娜;模糊Z-Domain及其相關(guān)范疇性質(zhì)[D];陜西師范大學(xué);2011年

5 梁曉榮;擬代數(shù)Domain性質(zhì)及其它Domain結(jié)構(gòu)的研究[D];陜西師范大學(xué);2006年

6 尚云;連續(xù)Domain理論及其相關(guān)問題的研究[D];陜西師范大學(xué);2002年

7 劉敏;FZ-Domain的拓?fù)渑c范疇性質(zhì)[D];陜西師范大學(xué);2010年

8 張?jiān)铝?擬連續(xù)Domain的若干性質(zhì)與連續(xù)局部Dcpo上的序同態(tài)[D];陜西師范大學(xué);2010年

9 劉妮;連續(xù)Domain的基數(shù)函數(shù)與若干Domain范疇的笛卡爾閉性[D];陜西師范大學(xué);2002年

10 梁云;關(guān)于積Domain上的Scott拓?fù)浼跋嚓P(guān)問題的討論[D];四川大學(xué);2004年

，

本文編號：1884263