期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到123篇文章
< 1 2 … 7 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
代数L-domain和强core紧空间的刻画
1
作者 吴耀强 《模糊系统与数学》 CSCD 北大核心 2012年第2期157-159,共3页
给出代数L-domain和强core紧空间以及连续L-domain和core紧空间的刻画。
关键词 连续l-domain 代数l-domain core紧 强core紧
原文传递
代数L-domain的表示定理及其相关范畴性质 被引量：3
2
作者 毛徐新 徐罗山 《扬州大学学报（自然科学版）》 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
3
作者 徐罗山 《扬州大学学报（自然科学版）》 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
4
作者 李庆国 陈学友 《湖南大学学报（自然科学版）》 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
Lawson紧的代数L-domain递归方程的逻辑形式 被引量：1
5
作者 王龙春 邹娟 《模糊系统与数学》 北大核心 2022年第5期69-80,共12页
本文的目的是为Lawson紧的代数L-domain递归方程及其解提供一种逻辑刻画。基于N-序列演算上的子系统关系,证明了N-序列演算之集是定向完备的,并在这一定向完备偏序集上引入了三种连续构造算子:提升,联结和以及分离和。从而求解domain结... 本文的目的是为Lawson紧的代数L-domain递归方程及其解提供一种逻辑刻画。基于N-序列演算上的子系统关系,证明了N-序列演算之集是定向完备的,并在这一定向完备偏序集上引入了三种连续构造算子:提升,联结和以及分离和。从而求解domain结构递归方程的问题可归结为如何构建连续映射的不动点。 展开更多
关键词 DOMAIN理论 Lawson紧的代数l-domain N-序列演算 domain构造算子 domain递归方程
原文传递
关于代数L-domain的一个刻画定理 被引量：1
6
作者 吴耀强 《江西师范大学学报（自然科学版）》 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
7
作者 寇辉 《数学进展》 CSCD 北大核心 2003年第6期683-688,共6页
本文从函数空间的Isbell拓扑以及ω-连续性两方面给出了紧连续L-domain的刻画定理。其主要结果是:连续L-domain是Lawson紧的当且仅当函数空间[L→L]的Scott拓扑与Isbell拓扑一致。
关键词 ω-连续性 函数空间 SCOTT拓扑 Isbell拓扑 DOMAIN理论 偏序集
在线阅读 下载PDF
相容L-domain范畴的笛卡儿闭性 被引量：4
8
作者 王习娟 《连云港师范高等专科学校学报》 2006年第3期77-79,108,共4页
考察相容L-domain范畴,得出了以Scott连续映射为态射的相容L-domain范畴是cartesian闭范畴的结论。
关键词 相容L—domain Scott连续 cartesian闭
在线阅读 下载PDF
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-映射
原文传递
频率域传播矩阵法地震AVA多参数反演
11
作者 丁乾龙 沈金松 +2 位作者 陈双全 冉尚 龙刚 《吉林大学学报(地球科学版)》 北大核心 2025年第3期957-969,共13页
传播矩阵理论考虑透射损失和层间多次波对地震响应的影响,给出了任意入射角条件下多层介质的纵横波反射系数谱,相较于Zoeppritz方程及其简化关系,理论上能够得到更高精度的AVA(amplitude-versus-angle)多参数反演结果。时间域传播矩阵... 传播矩阵理论考虑透射损失和层间多次波对地震响应的影响,给出了任意入射角条件下多层介质的纵横波反射系数谱,相较于Zoeppritz方程及其简化关系,理论上能够得到更高精度的AVA(amplitude-versus-angle)多参数反演结果。时间域传播矩阵法反演由于需要计算全频段的雅可比矩阵,往往需要更大的内存。不同于时间域反演,频率域反演只针对特定频率进行计算,具有内存占用小的优点,而传播矩阵在频率域内对反射系数谱进行求解很好地满足了频率域反演的需求。本文在频率域计算目标函数梯度,并使用L-BFGS(limited-memory Broyden-Fletcher-Goldfarb-Shanno)算法加速反演的收敛速度。为了验证频率域传播矩阵法反演的有效性,对模拟数据和实际数据进行反演。在频率域应用传播矩阵地震叠前反演方法能够稳定反演地层参数,与Zoeppritz方程反演的对比结果表明,频率域传播矩阵反演具有更高的精度。 展开更多
关键词 传播矩阵理论 ZOEPPRITZ方程 AVA反演 L-BFGS算法 频率域
在线阅读 下载PDF
MRSA感染重症肺炎患者NLRP3、Caspase-1、TLR4 mRNA水平与病情程度及预后的关联 被引量：2
12
作者 王莉莉 李东玲 +2 位作者 张婧岑 黄文龙 孙诗尧 《中华医院感染学杂志》 北大核心 2025年第3期336-340,共5页
目的研究耐甲氧西林金黄色葡萄球菌(MRSA)感染重症肺炎患者核苷酸结合寡聚化结构域样受体蛋白3(NLRP3)、半胱氨酸蛋白酶1(Caspase-1)、Toll样受体4(TLR4)信使核糖核酸(mRNA)水平,并分析各指标与病情程度及预后的关系。方法选取中国医科... 目的研究耐甲氧西林金黄色葡萄球菌(MRSA)感染重症肺炎患者核苷酸结合寡聚化结构域样受体蛋白3(NLRP3)、半胱氨酸蛋白酶1(Caspase-1)、Toll样受体4(TLR4)信使核糖核酸(mRNA)水平,并分析各指标与病情程度及预后的关系。方法选取中国医科大学附属盛京医院2020年6月—2023年6月收治的103例MRSA感染肺炎患者设为MRSA感染组,同期收治的112例常规感染肺炎患者设为非MRSA感染组。统计两组外周血NLRP3 mRNA、Caspase-1 mRNA、TLR4 mRNA水平,比较不同病情程度MRSA感染肺炎患者及不同预后MRSA感染重症肺炎患者外周血NLRP3 mRNA、Caspase-1 mRNA、TLR4 mRNA水平。采用受试者工作特征(ROC)曲线分析外周血NLRP3 mRNA、Caspase-1 mRNA、TLR4 mRNA对MRSA感染重症肺炎患者预后的预测价值。结果MRSA感染组外周血NLRP3 mRNA、Caspase-1 mRNA、TLR4 mRNA分别为(1.53±0.29)、(2.04±0.49)、(1.04±0.32)高于非MRSA感染组(P<0.05)。重症MRSA感染组外周血NLRP3 mRNA、Caspase-1 mRNA、TLR4 mRNA水平高于非重症MRSA感染组(P<0.05)。预后不良组外周血NLRP3 mRNA、Caspase-1 mRNA、TLR4 mRNA分别为(2.47±0.72)、(2.84±0.90)、(1.94±0.63)高于预后良好组(P<0.05)。外周血NLRP3 mRNA、Caspase-1 mRNA、TLR4 mRNA联合预测MRSA感染重症肺炎患者预后的曲线下面积(AUC)为0.853,高于三者单独检测(P<0.05)。结论随着MRSA感染肺炎患者病情的发生和进展,外周血NLRP3 mRNA、Caspase-1 mRNA、TLR4 mRNA水平升高,且三者联合对MRSA感染重症肺炎患者预后的预测价值较高。 展开更多
关键词 重症肺炎 耐甲氧西林金黄色葡萄球菌 核苷酸结合寡聚化结构域样受体蛋白3 半胱氨酸蛋白酶1 Toll样受体4 信使核糖核酸 病情程度 预后 预测价值
原文传递
连续B-domain的一个刻划定理 被引量：3
13
作者 梁基华 《数学年刊（A辑）》 CSCD 北大核心 1998年第6期699-702,共4页
本文证明了在Ｌ－ｄｏｍａｉｎ条件下，连续Ｂ－ｄｏｍａｉｎ与ＦＳ－ｄｏｍａｉｎ等价，并由此得到了连续Ｂ－ｄｏｍａｉｎ的一个刻划定理．
关键词 连续B-domain FS-domain l-domain 偏序集
在线阅读 下载PDF
两类代数Domain范畴的等价 被引量：1
14
作者 刘妮 《西南师范大学学报（自然科学版）》 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
基于深度学习的拉曼/太赫兹光谱对藏红花的分类识别 被引量：1
15
作者 苏康慧 王超琪 +2 位作者 张谷令 邹斌 杨玉平 《中华中医药学刊》 北大核心 2025年第6期36-39,I0004-I0008,共9页
目的采用光谱学结合机器学习方法实现菊科红花属植物草红花、鸢尾科番红花属植物西红花(产地伊朗)和藏红花(产地西藏)的种间与种内鉴别。方法采用拉曼光谱(Raman spectroscopy,RS)与太赫兹(Terahertz,THz)光谱,以伊朗产西红花、甘肃产... 目的采用光谱学结合机器学习方法实现菊科红花属植物草红花、鸢尾科番红花属植物西红花(产地伊朗)和藏红花(产地西藏)的种间与种内鉴别。方法采用拉曼光谱(Raman spectroscopy,RS)与太赫兹(Terahertz,THz)光谱,以伊朗产西红花、甘肃产草红花、西藏产西红花(下文称藏红花)为研究对象,结合主成分分析(Principal component analysis,PCA)、支持向量机(Support-vector machine,SVM)、随机森林(Random forest,RF)等机器学习方法和多层感知机(Multilayer perceptron,MLP)、卷积神经网络(Convolutional neural network,CNN)、长短期记忆递归神经网络(Long short term memory,LSTM)、径向基函数神经网络(Radial Basis Function,RBF)、基于遗传算法的反向传播神经网络(Genetic Algorithm-Back Propagation,GA-BP)等深度学习方法,分析三类样本的THz吸收光谱与RS,实现中草药小样本的快速分类识别。结果(1)SVM方法对三类样本的RS数据和经PCA降维后的RS数据进行分类精度分别为83.33%和94.44%;MLP对三类样本的原始THz光谱数据和经PCA降维后的THz光谱数据进行分类,准确率分别为94.00%和96.79%;表明PCA对机器学习分类精度提升较为明显,THz光谱用于深度学习结果较RS精度更高。(2)MLP、CNN、RBF、GA-BP、LSTM等神经网络对THz光谱数据的分类准确率高于对RS分类准确率,其中LSTM和RF对太赫兹原始吸收数据分类准确率高达100%,分类精度高、速度快、模型稳定性好。结论光谱与机器学习方法结合可以实现草红花、西红花和藏红花的种间与种内鉴别,THz光谱鉴别精度较高。 展开更多
关键词 太赫兹时域光谱 拉曼光谱 深度学习 草红花 藏红花
原文传递
复发性流产合并生殖道感染患者外周血单个核细胞NLRP3、NF-κB、Caspase-1水平与妊娠结局的关系
16
作者 石国西 钮红丽 +3 位作者 张宏威 王楠 翟俊英 王颖 《中华医院感染学杂志》 北大核心 2025年第11期1665-1669,共5页
目的分析复发性流产(RSA)合并生殖道感染(RTI)患者外周血单个核细胞NOD样受体热蛋白结构域相关蛋白3(NLRP3)、核因子κB(NF-κB)、半胱氨酸天冬氨酸酶-1(Caspase-1)水平,及各指标与妊娠结局的关系。方法选取2021年3月-2024年4月南阳市... 目的分析复发性流产(RSA)合并生殖道感染(RTI)患者外周血单个核细胞NOD样受体热蛋白结构域相关蛋白3(NLRP3)、核因子κB(NF-κB)、半胱氨酸天冬氨酸酶-1(Caspase-1)水平,及各指标与妊娠结局的关系。方法选取2021年3月-2024年4月南阳市第一人民医院收治的136例RSA合并RTI患者为研究组,另外选取同期70例RSA未合并RTI患者为对照组,依据RSA合并RTI的再次妊娠患者妊娠结局分为持续妊娠组和流产组。比较研究组和对照组患者外周血单个核细胞NLRP3、NF-κB、Caspase-1水平,采用多因素logistic回归分析RSA合并RTI患者不良妊娠结局的危险因素。采用受试者工作特征(ROC)曲线分析以上指标对RSA合并RTI患者妊娠结局的预测价值。结果研究组NLRP3、NF-κB、Caspase-1水平分别为(1.93±0.49)、(1.82±0.41)、(2.23±0.41)均高于对照组(P<0.05);研究组流产占比39.79%高于对照组(P=0.036);流产组患者孕前体质量指数(BMI)、糖化血红蛋白、三酰甘油、NLRP3、NF-κB及Caspase-1均高于持续妊娠组患者;多因素logistic回归分析显示:NLRP3(OR=4.721,95%CI:1.336~16.680,P=0.016)、NF-κB(OR=4.669,95%CI:1.495~14.582,P=0.008)、Caspase-1(OR=4.358,95%CI:1.260~15.070,P=0.023)与孕前BMI(OR=2.927,95%CI:1.280~6.693,P=0.011)是影响RSA合并RTI患者妊娠结局的危险因素(P<0.05)。ROC曲线分析显示,NLRP3、NF-κB及Caspase-1对RSA合并RTI患者妊娠结局的评估价值的曲线下面积(AUC)为0.846、0.885和0.938。结论RSA合并RTI患者外周血单个核细胞存在NLRP3、NF-κB及Caspase-1的高表达,且上述指标高表达与患者不良妊娠密切相关,可作为RSA合并RTI患者妊娠结局的预测指标。 展开更多
关键词 复发性流产 生殖道感染 危险因素 NOD样受体热蛋白结构域相关蛋白3 核因子ΚB 半胱氨酸天冬氨酸酶-1 预测价值
原文传递
基于L-BFGS算法和同时激发震源的频率多尺度全波形反演 被引量：10
17
作者 张生强 刘春成 +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
事件结构与Domain
18
作者 熊利平 寇辉 《模糊系统与数学》 CSCD 北大核心 2012年第3期156-163,共8页
研究了Domain理论中的事件结构及其对应的domain结构,证明了事件结构生成的L-事件domain恰好是具有性质I的代数L-domain。特别地,本文通过稳定事件生成的事件domain,证明了以线性映射为态射、以DI-domain为对象的范畴是以稳定映射为态... 研究了Domain理论中的事件结构及其对应的domain结构,证明了事件结构生成的L-事件domain恰好是具有性质I的代数L-domain。特别地,本文通过稳定事件生成的事件domain,证明了以线性映射为态射、以DI-domain为对象的范畴是以稳定映射为态射、以具有性质I的代数L-domain为对象的范畴的反射子范畴。 展开更多
关键词 事件结构 性质I l-domain DI-domain
原文传递
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
油菜含MATH结构域基因BnaMT-1的克隆及表达分析 被引量：1
20
作者 赵黎明 佘媛 +1 位作者 刘春林 阮颖 《湖南农业大学学报（自然科学版）》 CAS CSCD 北大核心 2012年第3期251-255,共5页
利用已构建的甘蓝型油菜种子发育过程SSH文库,筛选得到1个含MATH结构域的EST序列,并以其为信息探针,经电子克隆获得了该基因的全长cDNA,命名为BnaMT-1。BnaMT-1的开放阅读框(ORF)全长1 209 bp,编码402个氨基酸,相对分子质量为46 130.7,... 利用已构建的甘蓝型油菜种子发育过程SSH文库,筛选得到1个含MATH结构域的EST序列,并以其为信息探针,经电子克隆获得了该基因的全长cDNA,命名为BnaMT-1。BnaMT-1的开放阅读框(ORF)全长1 209 bp,编码402个氨基酸,相对分子质量为46 130.7,预测的理论等电点为8.50,其结构包括信号肽、跨膜结构及2个连续的MATH结构域,为亲水性胞外分泌蛋白;进化树分析发现,该基因与拟南芥含MATH结构域基因亲缘关系较近;利用半定量RT-PCR技术对该基因在甘蓝型油菜湘油15号不同组织及种子不同发育时期的表达分析表明:BnaMT-1在叶、花和果荚中都有表达,在根和茎中没有表达;种子发育过程中,BnaMT-1均有表达,且表达量于花后30～35 d最高,之后表达量下降。推测该基因可能与种子发育及油脂合成代谢相关。 展开更多
关键词 油菜 MATH结构域基因 克隆 表达分析
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 7 下一页 到第 页
使用帮助 返回顶部