相容半連續(xù)Dcpo的性質(zhì)研究
本文選題:完備格 + 相容半素理想; 參考:《淮北師范大學(xué)》2017年碩士論文
【摘要】:本學(xué)位論文的主要內(nèi)容是研究相容半連續(xù)Dcpo并探討它的相關(guān)性質(zhì),文章定義了相容半連續(xù)格并給出它的一些性質(zhì),緊接著對(duì)相容半連續(xù)Dcpo作更深層次地探討,論文主要內(nèi)容如下:第一部分:在完備格上定義出相容半連續(xù)格,給出相容半連續(xù)格的基及局部基的概念,并研究了它們的若干性質(zhì),進(jìn)而得到了相容半連續(xù)格上的基及局部基與?(8關(guān)系的等價(jià)描述.第二部分:定義了相容半連續(xù)Dcpo,在此基礎(chǔ)上定義出強(qiáng)相容半連續(xù)Dcpo及相容半連續(xù)映射,并以相容半連續(xù)映射及Galois聯(lián)絡(luò)為橋梁,建立了相容半連續(xù)Dcpo與強(qiáng)相容半連續(xù)Dcpo兩者之間的聯(lián)系.最后,給出了相容半連續(xù)Dcpo的基及局部基的概念,并探討了它們的相關(guān)性質(zhì).第三部分:在已有理論知識(shí)基礎(chǔ)上,定義相容半Scott拓?fù)浼跋嗳莅隠awson拓?fù)?進(jìn)而研究它們的相關(guān)性質(zhì),并探討了基于相容完備格上的保序映射.
[Abstract]:The main content of this dissertation is to study the compatible semicontinuous Dcpo and its related properties. In this paper, we define the compatible semicontinuous lattice and give some properties of it. Then we discuss the compatible semicontinuous Dcpo in a deeper level. The main contents of this paper are as follows: in the first part, we define compatible semicontinuous lattices on complete lattices, give the concepts of bases and local bases of compatible semicontinuous lattices, and study their properties. Then we obtain the equivalent description of the relation between the bases and the local bases on the compatible semicontinuous lattices. In the second part, we define consistent semicontinuous Dcpo and consistent semicontinuous mappings, and use consistent semicontinuous mappings and Galois connections as bridges. The relationship between compatible semicontinuous Dcpo and strongly compatible semicontinuous Dcpo is established. Finally, the concepts of the bases and local bases of compatible semicontinuous Dcpo are given, and their related properties are discussed. The third part: based on the existing theoretical knowledge, we define the compatible semi-Scott topology and compatible semi-Lawson topology, and then study their related properties, and discuss the order-preserving mapping based on the compatible complete lattice.
【學(xué)位授予單位】:淮北師范大學(xué)
【學(xué)位級(jí)別】:碩士
【學(xué)位授予年份】:2017
【分類號(hào)】:O153.1
【相似文獻(xiàn)】
相關(guān)期刊論文 前10條
1 許萬銀,閆彥宗;函數(shù)半連續(xù)問題的若干討論[J];宜賓學(xué)院學(xué)報(bào);2003年03期
2 周鎮(zhèn)江 ,孫巖;半連續(xù)式反應(yīng)器的計(jì)算[J];無錫輕工業(yè)學(xué)院學(xué)報(bào);1983年03期
3 苑福義;郭建武;;半連續(xù)化運(yùn)輸在掘進(jìn)工作面的應(yīng)用[J];黑龍江科技信息;2004年05期
4 林彬,,周裕清,張保漢,楊國洪,李軍,亢武;高剝離態(tài)74W軟X射線譜半連續(xù)帶研究[J];強(qiáng)激光與粒子束;1996年02期
5 詹華英,張倫;關(guān)于S[a,b]空間上的連續(xù)次加泛函[J];南開大學(xué)學(xué)報(bào)(自然科學(xué)版);2005年03期
6 劉玉連;李高林;徐羅山;;半連續(xù)dcpo[J];揚(yáng)州大學(xué)學(xué)報(bào)(自然科學(xué)版);2012年02期
7 王見勇;下(上)半連續(xù)的等價(jià)定義及其證明[J];常熟高專學(xué)報(bào);2003年02期
8 張大省,何進(jìn)章;“PTA工藝半連續(xù)直接酯化制造PET”項(xiàng)目通過鑒定[J];北京服裝學(xué)院學(xué)報(bào);1994年02期
9 周基元;實(shí)函數(shù)半連續(xù)、連續(xù)的某些充要條件[J];懷化師專學(xué)報(bào);2000年02期
10 陸學(xué)勇;;可轉(zhuǎn)移半連續(xù)條件下的Ky Fan不等式[J];貴州師范學(xué)院學(xué)報(bào);2010年06期
相關(guān)會(huì)議論文 前7條
1 曹玉東;王飛;張德惠;;離心半連續(xù)鑄管工藝及設(shè)備的研究[A];人才、創(chuàng)新與老工業(yè)基地的振興——2004年中國機(jī)械工程學(xué)會(huì)年會(huì)論文集[C];2004年
2 曹玉東;王飛;張德惠;;離心半連續(xù)鑄管工藝及設(shè)備的研究[A];2004中國鑄造活動(dòng)周論文集[C];2004年
3 張淑琴;紀(jì)鵬祥;黃志攀;;鈹銅半連續(xù)自動(dòng)控制系統(tǒng)[A];首屆全國有色金屬自動(dòng)化技術(shù)與應(yīng)用學(xué)術(shù)年會(huì)論文集[C];2003年
4 張洪;;淺析勝利一號(hào)露天煤礦6號(hào)煤層半連續(xù)工藝系統(tǒng)投入使用的最佳時(shí)機(jī)[A];第四屆全國煤炭工業(yè)生產(chǎn)一線青年技術(shù)創(chuàng)新文集[C];2009年
5 趙鐘興;徐華東;劉曉輝;韋藤幼;童張法;;半連續(xù)解吸-內(nèi)部沸騰提取植物有效成分新工藝[A];2006年石油和化工行業(yè)節(jié)能技術(shù)研討會(huì)會(huì)議論文集[C];2006年
6 劉曉輝;韋藤幼;徐華東;;半連續(xù)內(nèi)部沸騰法提取及分離金銀花中的綠原酸[A];第三屆全國化學(xué)工程與生物化工年會(huì)論文摘要集(上)[C];2006年
7 JonCUrso;GiorgioRey;;半連續(xù)式酸洗生產(chǎn)線[A];1999中國鋼鐵年會(huì)論文集(下)[C];1999年
相關(guān)博士學(xué)位論文 前3條
1 孫金龍;大型露天煤礦半連續(xù)工藝應(yīng)用范圍研究[D];中國礦業(yè)大學(xué);2013年
2 張勤;低頻電磁半連續(xù)鑄造鋁合金工藝及理論研究[D];東北大學(xué);2003年
3 馬進(jìn)巖;大型露天煤礦自移式破碎機(jī)半連續(xù)工藝應(yīng)用關(guān)鍵技術(shù)[D];中國礦業(yè)大學(xué);2014年
相關(guān)碩士學(xué)位論文 前5條
1 張致彬;基于半連續(xù)體的硅納米梁高頻振蕩特性的模型研究[D];東南大學(xué);2015年
2 王飛;半連續(xù)內(nèi)部沸騰提取與分離植物有效成分及其機(jī)理的研究[D];廣西大學(xué);2006年
3 趙凱陽;半連續(xù)鎂合金錠鑄態(tài)組織研究[D];重慶大學(xué);2010年
4 關(guān)致敏;脈沖式半連續(xù)精餾過程的研究[D];天津大學(xué);2016年
5 邵抗振;電磁半連續(xù)復(fù)合鑄造軋輥工藝研究[D];河南科技大學(xué);2006年
,本文編號(hào):1960882
本文鏈接:http://sikaile.net/kejilunwen/yysx/1960882.html