期刊文献+
共找到116篇文章
< 1 2 6 >
每页显示 20 50 100
代数L-domain的表示定理及其相关范畴性质 被引量:3
1
作者 毛徐新 徐罗山 《扬州大学学报(自然科学版)》 CAS CSCD 2003年第2期1-4,20,共5页
引入局部条件并半格 (简记为 L cusl)及其理想完备化等概念 .证明了 :任一代数 L domain的紧元集是 L cusl;任一代数 L domain是其紧元集赋予 Alexandrov拓扑时的 Sober化 ;任一 L cusl的理想完备化是代数 L domain,从而得到了代数 L do... 引入局部条件并半格 (简记为 L cusl)及其理想完备化等概念 .证明了 :任一代数 L domain的紧元集是 L cusl;任一代数 L domain是其紧元集赋予 Alexandrov拓扑时的 Sober化 ;任一 L cusl的理想完备化是代数 L domain,从而得到了代数 L domain的表示定理 .还证明了 Scott连续映射为态射的代数 L domain范畴为 L cusl与单调映射作成的范畴的反射子范畴 . 展开更多
关键词 代数l-domain 局部条件并半格 理想完备化 SCOTT拓扑 反射子范畴
下载PDF
相容L-Domain及其相关范畴性质 被引量:17
2
作者 徐罗山 《扬州大学学报(自然科学版)》 CAS CSCD 2002年第1期1-7,共7页
引入了相容 L Domain概念 ,给出了相容 L Domain的多种内部的和外部的刻画 ;利用 Scott拓扑定义了相容 L Domain的定向完备化 ,证明了相容 L Domain的定向完备化是 L Domain;考察了相容L Domain范畴 ,得知稳定映射为态射的相容 L Domai... 引入了相容 L Domain概念 ,给出了相容 L Domain的多种内部的和外部的刻画 ;利用 Scott拓扑定义了相容 L Domain的定向完备化 ,证明了相容 L Domain的定向完备化是 L Domain;考察了相容L Domain范畴 ,得知稳定映射为态射的相容 L Domain范畴是 Cartesian闭范畴 ,证明了稳定映射为态射的 L Domain范畴为相容 L 展开更多
关键词 相容l-domain 定向完备化 SCOTT拓扑 稳定映射 笛卡和闭 连续偏序集 连续格 范畴性质
下载PDF
代数L-Domain的函数空间 被引量:1
3
作者 李庆国 陈学友 《湖南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2007年第3期87-88,共2页
利用梁基华教授等提出的步函数的新定义,讨论了一般情况下代数L-domain的函数空间.证明了如果L_1和L_2都是代数的L-domain,则函数空间[L_1→L_2]也是代数的L-domain.
关键词 l-domain 步函数 WAY-BELOW关系
下载PDF
关于代数L-domain的一个刻画定理 被引量:1
4
作者 吴耀强 《江西师范大学学报(自然科学版)》 CAS 北大核心 2006年第6期573-576,共4页
引入了强core紧拓扑空间的概念,给出了代数L-domain的刻画定理,其主要结果是:偏序集D是代数L-domain当且仅当对每个强core紧拓扑空间X,函数空间[X→D]是代数L-domain.
关键词 代数l-domain core紧 强core紧
下载PDF
关于紧连续L-domain的一个刻画定理 被引量:6
5
作者 寇辉 《数学进展》 CSCD 北大核心 2003年第6期683-688,共6页
本文从函数空间的Isbell拓扑以及ω-连续性两方面给出了紧连续L-domain的刻画定理。其主要结果是:连续L-domain是Lawson紧的当且仅当函数空间[L→L]的Scott拓扑与Isbell拓扑一致。
关键词 ω-连续性 函数空间 SCOTT拓扑 Isbell拓扑 DOMAIN理论 偏序集
下载PDF
相容L-domain范畴的笛卡儿闭性 被引量:4
6
作者 王习娟 《连云港师范高等专科学校学报》 2006年第3期77-79,108,共4页
考察相容L-domain范畴,得出了以Scott连续映射为态射的相容L-domain范畴是cartesian闭范畴的结论。
关键词 相容L—domain Scott连续 cartesian闭
下载PDF
代数L-domain和强core紧空间的刻画
7
作者 吴耀强 《模糊系统与数学》 CSCD 北大核心 2012年第2期157-159,共3页
给出代数L-domain和强core紧空间以及连续L-domain和core紧空间的刻画。
关键词 连续l-domain 代数l-domain core紧 强core紧
原文传递
Lawson紧的代数L-domain递归方程的逻辑形式
8
作者 王龙春 邹娟 《模糊系统与数学》 北大核心 2022年第5期69-80,共12页
本文的目的是为Lawson紧的代数L-domain递归方程及其解提供一种逻辑刻画。基于N-序列演算上的子系统关系,证明了N-序列演算之集是定向完备的,并在这一定向完备偏序集上引入了三种连续构造算子:提升,联结和以及分离和。从而求解domain结... 本文的目的是为Lawson紧的代数L-domain递归方程及其解提供一种逻辑刻画。基于N-序列演算上的子系统关系,证明了N-序列演算之集是定向完备的,并在这一定向完备偏序集上引入了三种连续构造算子:提升,联结和以及分离和。从而求解domain结构递归方程的问题可归结为如何构建连续映射的不动点。 展开更多
关键词 DOMAIN理论 Lawson紧的代数l-domain N-序列演算 domain构造算子 domain递归方程
原文传递
CONTINUOUS L-DOMAINS 被引量:8
9
作者 LIANG JIHUA LIU YINGMING(Institute of Mathematics, Sichuan University, Chengdu 610064, China.)(Project supported by the National Natural Science Foundation of China.) 《Chinese Annals of Mathematics,Series B》 SCIE CSCD 1996年第3期263-270,共8页
Two characterization theorems of continuous L-domain are given. Then a problem raisedby J. D. Lawson and M. Mislove is solved.
关键词 l-domain Continuous DCPO Domain theory
原文传递
L-稳定事件结构和L-domain
10
作者 熊利平 寇辉 《四川大学学报(自然科学版)》 CAS CSCD 北大核心 2013年第1期1-5,共5页
在domain理论中,事件结构和信息系统是domain的逻辑表示的主要工具.通过研究事件结构和它所对应的domain结构之间的关系,作者提出了L-稳定事件结构以及L-映射的概念,证明了L-稳定事件结构和L-映射构成的范畴等价于具有性质Ⅰ的代数L-dom... 在domain理论中,事件结构和信息系统是domain的逻辑表示的主要工具.通过研究事件结构和它所对应的domain结构之间的关系,作者提出了L-稳定事件结构以及L-映射的概念,证明了L-稳定事件结构和L-映射构成的范畴等价于具有性质Ⅰ的代数L-domain和稳定映射构成的范畴,由此说明了可以通过特殊的事件结构来表示具有性质Ⅰ的代数L-domain. 展开更多
关键词 L-稳定事件结构 l-domain L-状态 L-映射
原文传递
三维地震数据频域无监督随机噪声压制方法 被引量:1
11
作者 薛亚茹 苏军利 +2 位作者 冯璐瑜 张程 梁琪 《石油地球物理勘探》 EI CSCD 北大核心 2023年第6期1322-1331,共10页
提高数据信噪比是地震资料处理过程中的关键环节。目前基于深度学习的降噪方法已取得较好效果。但该类方法以数据局部相似性为前提,采用时空域数据分窗进行处理,运算效率往往较低。考虑到地质结构的连续性,炮间数据具有一定的相似性,利... 提高数据信噪比是地震资料处理过程中的关键环节。目前基于深度学习的降噪方法已取得较好效果。但该类方法以数据局部相似性为前提,采用时空域数据分窗进行处理,运算效率往往较低。考虑到地质结构的连续性,炮间数据具有一定的相似性,利用其同频率分量的低秩特点,设计了一种三维数据频域降秩的深度学习去噪方法。首先阐明三维数据的频域低秩原理,采用奇异值分解理论指导建立自编码神经网络;考虑频域随机噪声的分布特点,采用K-L(Kullback-Leibler)散度约束损失函数,改善了去噪效果。通过对合成记录和实际资料处理,并与多通道奇异谱分析(Multichannel Singular Spectrum Analysis,MSSA)及K-SVD(K-奇异值分解)方法对比,验证了该方法在去噪效果和计算效率等方面的优势。 展开更多
关键词 无监督网络 频域去噪 奇异值分解 K-L 散度 自编码网络
下载PDF
水稻OsMDH基因的克隆及其生物信息学分析 被引量:3
12
作者 彭波 孙晓宇 +6 位作者 张庆茜 彭娟 娄安琪 孙艳芳 庞瑞华 周伟 汪全秀 《信阳师范学院学报(自然科学版)》 CAS 北大核心 2023年第2期243-248,共6页
水稻(Oryza sativa L.)OsAAP6基因是控制水稻种子蛋白质含量的主效数量性状座位(quantitative trait locus,QTL)基因,对水稻品质性状产生重要影响,而OsMDH蛋白能够与OsAAP6基因发生相互作用。利用生物信息学策略对OsMDH蛋白的理化性质... 水稻(Oryza sativa L.)OsAAP6基因是控制水稻种子蛋白质含量的主效数量性状座位(quantitative trait locus,QTL)基因,对水稻品质性状产生重要影响,而OsMDH蛋白能够与OsAAP6基因发生相互作用。利用生物信息学策略对OsMDH蛋白的理化性质、蛋白结构及功能进行预测,探究OsMDH基因的生物学功能。结果表明:水稻OsMDH基因的编码区(coding sequence,CDS)区长999 bp,编码332个氨基酸;编码蛋白为疏水蛋白且不存在信号结构,包含两个跨膜结构。通过蛋白互作分析,发现OsMDH可能与柠檬酸合酶、延胡索酸酶等发生相互作用,参与三羧酸循环过程。 展开更多
关键词 水稻 OsMDH基因 结构域功能 生物信息学分析
下载PDF
结直肠癌中NCAPH、AGGF1及TM4SF1的表达及与预后的相关性
13
作者 王磊 薛松 +1 位作者 单长凤 王亚男 《临床与病理杂志》 CAS 2023年第6期1126-1135,共10页
目的:探讨结直肠癌(colorectal cancer,CRC)中非染色体结构维持蛋白凝缩蛋白复合体I亚单位H(non-SMC condensin I complex subunit H,NCAPH)、G补缀FHA域血管新生因子1(angiogenic factor with G and FHA domains 1,AGGF1)及跨膜4L六家... 目的:探讨结直肠癌(colorectal cancer,CRC)中非染色体结构维持蛋白凝缩蛋白复合体I亚单位H(non-SMC condensin I complex subunit H,NCAPH)、G补缀FHA域血管新生因子1(angiogenic factor with G and FHA domains 1,AGGF1)及跨膜4L六家族成员1(transmembrane-4-L-six-family-1,TM4SF1)蛋白质表达之间的关系及临床意义。方法:收集145例CRC术后标本和30例癌旁正常黏膜组织标本,采用免疫组织化学法检测CRC和癌旁正常黏膜组织中NCAPH、AGGF1及TM4SF1蛋白质的表达情况,分析其表达与各种临床病理因素的关系以及三者之间的相关性。结果:在CRC和癌旁组织中,NCAPH、AGGF1及TM4SF1的阳性表达率分别为55.2%、53.1%、60.7%和3.3%、6.6%、0,差异均有统计学意义(均P<0.001)。3种蛋白质的表达均与CRC的组织学分化和TNM分期有关(均P<0.001);NCAPH和TM4SF1的表达均与CRC的淋巴结转移有关(均P<0.05);NCAPH和AGGF1的表达均与CRC组织脉管侵犯有关(均P<0.05);AGGF1和TM4SF1的表达均与CRC的肿瘤浸润深度有关(均P<0.01)。TM4SF1的表达分别与NCAPH和AGGF1的表达呈正相关(r值分别为0.311和0.517,均P<0.001);同时,AGGF1与NCAPH的表达亦呈正相关(r=0.291,P=0.001)。Kaplan-Meier生存分析表明:NCAPH、AGGF1及TM4SF1的表达上调均与患者的生存率有关,NCAPH、AGGF1及TM4SF1阳性的患者生存率明显低于三者阴性患者(均P<0.05)。多因素分析表明:TNM分期、NCAPH、AGGF1及TM4SF1的表达和肿瘤脉管侵犯均是影响CRC根治术后患者预后的独立因素(均P<0.05)。结论:CRC组织中NCAPH、AGGF1及TM4SF1的表达上调与CRC的分化程度、转移和预后等因素相关,这些指标的联合检测可能作为判断CRC进展及患者预后的重要指标。 展开更多
关键词 结直肠癌 非染色体结构维持蛋白凝缩蛋白复合体Ⅰ亚单位H G补缀FHA域血管新生因子1 跨膜4L六家族成员1 预后
下载PDF
广义L-拓扑空间的可数仿紧性
14
作者 张敏 王小霞 刘媛媛 《湖北大学学报(自然科学版)》 CAS 2023年第2期301-304,共4页
将L-拓扑空间中的可数仿紧性引入到广义L-拓扑空间中,研究广义L-拓扑空间中的广义可数仿紧性.基于α-远域族、α-局部有限等概念,利用类比和分析的方法,给出广义L-拓扑空间中广义可数仿紧集的概念,研究其基本性质.并证明了广义可数仿紧... 将L-拓扑空间中的可数仿紧性引入到广义L-拓扑空间中,研究广义L-拓扑空间中的广义可数仿紧性.基于α-远域族、α-局部有限等概念,利用类比和分析的方法,给出广义L-拓扑空间中广义可数仿紧集的概念,研究其基本性质.并证明了广义可数仿紧性具有闭遗传性、弱拓扑不变性等性质,该研究为广义L-拓扑空间的相关理论研究提供一定的参考. 展开更多
关键词 广义L-拓扑空间 可数α-远域族 α-局部有限 广义可数仿紧集
下载PDF
连续B-domain的一个刻划定理 被引量:3
15
作者 梁基华 《数学年刊(A辑)》 CSCD 北大核心 1998年第6期699-702,共4页
本文证明了在L-domain条件下,连续B-domain与FS-domain等价,并由此得到了连续B-domain的一个刻划定理.
关键词 连续B-domain FS-domain l-domain 偏序集
下载PDF
两类代数Domain范畴的等价 被引量:1
16
作者 刘妮 《西南师范大学学报(自然科学版)》 CAS CSCD 北大核心 2005年第6期960-963,共4页
首先证明了一个Domain范畴与它的等价范畴有相同的笛卡儿闭性,其次通过引入两类新的偏序集即L-偏序集和B-偏序集,构造了范畴LPOSA(由L-偏序集与逼近关系组成)和范畴BPOSA(由B-偏序集与逼近关系组成),并证明了它们分别与代数L-domain范畴... 首先证明了一个Domain范畴与它的等价范畴有相同的笛卡儿闭性,其次通过引入两类新的偏序集即L-偏序集和B-偏序集,构造了范畴LPOSA(由L-偏序集与逼近关系组成)和范畴BPOSA(由B-偏序集与逼近关系组成),并证明了它们分别与代数L-domain范畴ALD和代数bc-domain范畴ABD等价. 展开更多
关键词 范畴等价 代数l-domain 代数bc-domain L-偏序集 B-偏序集
下载PDF
百脉根不定根发育相关基因LcC2DP1的克隆与功能初步分析
17
作者 马思宇 肖芳斌 +2 位作者 罗雪 韦飘 宋莉 《华中农业大学学报》 CAS CSCD 北大核心 2023年第1期42-50,共9页
为研究百脉根(Lotus corniculatus L.)C2钙依赖蛋白激酶基因LcC2DP1在不定根形成过程中的功能,通过RACE法从百脉根中克隆LcC2DP1基因,利用qRT-PCR检测其时空表达模式,并通过农杆菌介导的瞬时表达系统在百脉根中过量表达LcC2DP1并鉴定其... 为研究百脉根(Lotus corniculatus L.)C2钙依赖蛋白激酶基因LcC2DP1在不定根形成过程中的功能,通过RACE法从百脉根中克隆LcC2DP1基因,利用qRT-PCR检测其时空表达模式,并通过农杆菌介导的瞬时表达系统在百脉根中过量表达LcC2DP1并鉴定其功能。结果显示:LcC2DP1基因全长705 bp,编码235个氨基酸,分子质量为25.95 ku,与蒺藜苜蓿同源性最高(82%);在百脉根不定根分化过程中持续表达,表达部位为根、茎和叶片;与野生型亲本(WT)相比,转LcC2DP1基因百脉根(TP)的不定根分化提前1~2 d;在不定根分化的9~15 d,其总根长分别是WT的168%、155%,根体积分别是WT的249%、161%,根尖数分别是WT的156%、137%。TP百脉根的总根长(P<0.01)、根体积(P<0.01)和根尖数(P<0.05)表现出一定的发育优势,表明LcC2DP1基因可能与百脉根不定根发育调控相关。 展开更多
关键词 百脉根 不定根分化 钙依赖蛋白激酶 C2结构域蛋白 基因克隆 生长发育调控
下载PDF
基于L-BFGS算法和同时激发震源的频率多尺度全波形反演 被引量:8
18
作者 张生强 刘春成 +1 位作者 韩立国 杨小椿 《吉林大学学报(地球科学版)》 EI CAS CSCD 北大核心 2013年第3期1004-1012,共9页
全波形反演可以利用叠前地震波场的运动学和动力学信息重建地下速度结构,具有揭示复杂地质背景下构造与岩性细节信息的潜力。然而,庞大的计算量和存储空间需求,限制了全波形反演的发展。在频率多尺度全波形反演中将L-BFGS数值优化算法... 全波形反演可以利用叠前地震波场的运动学和动力学信息重建地下速度结构,具有揭示复杂地质背景下构造与岩性细节信息的潜力。然而,庞大的计算量和存储空间需求,限制了全波形反演的发展。在频率多尺度全波形反演中将L-BFGS数值优化算法与同时激发震源技术相结合的方法来改善这一现状。首先,对Marmousi模型进行了速度反演:在计算过程中明显发现对计算机内存的占用减少,最终反演结果与实际Marmousi模型的拟合误差为0.095 9,较小;采用10个频带单炮震源正演384炮所需时间约为32 640s,而采用同时激发震源(384炮)正演一次所需时间仅约为700s。然后,基于高速楔形体模型进行了抗噪能力研究:原始含噪地震记录信噪比为11.147 3dB;对反演得到的速度模型进行正演,其地震记录信噪比为22.251 8dB。最后,基于逆冲断层模型进行了反演速度扰动能力研究,反演得到的最终模型很清晰,与具有速度扰动特性的实际模型非常接近,拟合误差仅为0.036 0。数值模拟试验结果表明:此方法反演精度高,内存开销较小,能够显著提高计算效率,并且具有良好的抗噪能力,能够反演出具有速度扰动特性的介质。 展开更多
关键词 全波形反演 频率域 L-BFGS算法 同时激发震源 多尺度
下载PDF
L-Fuzzy Domain及其相关性质 被引量:4
19
作者 张奇业 郑崇友 《模糊系统与数学》 CSCD 2004年第2期1-7,共7页
基于[5]提出的L-fuzzy拟序集,引入L-fuzzy集关于L-fuzzy偏序的并,当L是完全分配格时L-fuzzy拟序集上的L-fuzzy定向集等概念,在此基础上定义L-fuzzydomain,证明它是通常Domain的模糊推广,并得到若干相关性质。
关键词 DOMAIN L-fuzzy拟序集 L-fuzzy定向集 L—fuzzy DOMAIN
下载PDF
一种基于最优输出跟踪的多源动态载荷识别方法 被引量:2
20
作者 陈睿 刘杰 +1 位作者 张正 张伟 《振动工程学报》 EI CSCD 北大核心 2014年第3期348-354,共7页
基于最优输出跟踪的基本思想,提出了一种时域内多源动态载荷识别的方法。该方法从结构动力响应出发,设计一个最优输出跟踪器并构造性能指标,将载荷识别问题转变为最优输出跟踪问题。通过Adams法求解微分方程,实现了多源动态载荷的识别,... 基于最优输出跟踪的基本思想,提出了一种时域内多源动态载荷识别的方法。该方法从结构动力响应出发,设计一个最优输出跟踪器并构造性能指标,将载荷识别问题转变为最优输出跟踪问题。通过Adams法求解微分方程,实现了多源动态载荷的识别,并采用L曲线法确定了性能指标中的关键参数。数值算例表明,所述的载荷识别方法能够在响应数据含有噪声的情况下,有效稳定地实现多源动态载荷的重构,具有较强的抗噪能力。 展开更多
关键词 载荷识别 反问题 最优输出跟踪 时域 L曲线法
下载PDF
上一页 1 2 6 下一页 到第
使用帮助 返回顶部