论文部分内容阅读
对相容Domain引入了相容定向极小集的概念，证明了相容DomainD是相容连续Domain当且仅当D中的每个元在D中存在相容定向极小集，并给出了相容连续Domain的序同态扩张定理．
相容连续Domain的序同态扩张
【摘 要】
：
对相容Domain引入了相容定向极小集的概念，证明了相容DomainD是相容连续Domain当且仅当D中的每个元在D中存在相容定向极小集，并给出了相容连续Domain的序同态扩张定理．
【机 构】
：
江西师范大学数学与信息科学学院
【出 处】
：
江西师范大学学报：自然科学版
【发表日期】
：
2011年4期
【基金项目】
：
国家自然科学基金（10861007）,江西省自然科学基金（2007GZS0179,2009GZS0012）,全国优秀博士学位论文作者专项基金（2007B14）和江西省研究生创新专项资金（YC09A054）资助项目.
其他文献
目的探讨艾滋病（AIDS）伴肺弥漫粟粒结节患者诊断过程中高分辨率CT（HRCT）主要特征。方法选取2015年2月~2017年8月在本院接受CT检查的33例AIDS伴肺弥漫粟粒结节患者作为对象,回顾分
采用Chemoffice8．0中的MOPAC-AM1算法对135个多氯代二苯并呋喃（PcDFs）类化合物的6种量子化学结构参数进行计算，并将筛选后的量化参数作为PCDFs分子的结构描述符，利用支持向量回归
目的研究低中心静脉压下行肝叶切除对减少术中出血的影响。方法64例肝叶切除手术随机分两组：对照组（C组）31例，实验组（L组）33例。L组肝叶切除时维持中心静脉压在2～5cmH：0，肝叶切除后恢
动校正拉伸是地震资料处理的一个基本问题,解决拉伸问题的处理方法是切除.现代地震数据大多为长排列采集,动校正拉伸更为严重.依据褶积模型和Fourier变换的基本性质,本文给出频谱代换无拉伸动校正方法.算法实现就是将CMP道集变换到频率域,取参考道的相位谱替换其它偏移距道的相位,同时保持其振幅谱不变,再做Fourier反变换就得到动校正后的地震剖面.通过其实现过程可知该方法不需要地下介质的速度信息,算
讨论了矩阵多项式环的单位、理想等方面的性质，并通过引入矩阵多项式的次数的概念，得到了相应的带余除法定理．