电加热下褐煤微观结构的演化研究及其工程应用

1

作者 李利峰 张晓虎 +1 位作者 邓慧琳 韩六平 《煤炭工程》 北大核心 2020年第5期163-166,共4页

针对我国低变质煤层开采难度大、成本高的现状,利用电加热法对低变质煤中褐煤的微观结构进行了研究,利用精细显微CT系统分别观察了25℃、300℃、400℃、500℃后褐煤的微观孔隙,利用3D数字岩芯技术建立了三维孔裂隙骨架图,得到高温作用后... 针对我国低变质煤层开采难度大、成本高的现状,利用电加热法对低变质煤中褐煤的微观结构进行了研究,利用精细显微CT系统分别观察了25℃、300℃、400℃、500℃后褐煤的微观孔隙,利用3D数字岩芯技术建立了三维孔裂隙骨架图,得到高温作用后,试样孔裂隙发育以及孔隙率都得到明显的提升,其中,400℃后,试样热解充分,孔隙发育完全,试样的孔隙率出现陡增,可见,持续高温作用下,有机质热解充分,加快了孔隙的发育。 展开更多

关键词 褐煤 电加热法 精细显微CT系统 3D数字岩芯技术

在线阅读 下载PDF 职称材料

公平可验证的多用户同态代理重加密方案

2

作者 侯金秋 彭长根 +1 位作者 丁红发 杨训 《通信学报》 北大核心 2025年第3期234-247,共14页

针对不可信云环境下传统全同态加密算法难以支持多用户密文共享及安全公平计算问题,提出了一种基于身份的可验证多用户同态代理重加密方案。首先,构建非合作博弈模型,提出动态资源分配算法,实现第三方云服务器的公平资源分配,确保资源... 针对不可信云环境下传统全同态加密算法难以支持多用户密文共享及安全公平计算问题,提出了一种基于身份的可验证多用户同态代理重加密方案。首先,构建非合作博弈模型,提出动态资源分配算法,实现第三方云服务器的公平资源分配,确保资源使用的公平性与高效性。其次,通过代理重加密技术实现密文的转换,支持多用户同态运算,满足细粒度密文共享需求。最后,使用授权函数同态签名验证计算结果和云服务器行为,并在标准模型下给出所提方案的安全性证明。理论分析和实验结果表明,所提方案在保证重加密可验证性的同时,能够实现多用户同态运算。 展开更多

关键词 代理重加密 同态加密 博弈论 可证明安全

在线阅读 下载PDF 职称材料

BiFeO_(3)/BiCrO_(3)复合薄膜的铁电及光伏性能研究

3

作者 杨松 杨勋勇 +3 位作者 刘永琳 易应飞 王建卫 王旭 《硅酸盐通报》 北大核心 2025年第9期3444-3450,3461,共8页

BiFeO_(3)薄膜因室温多铁特性、制备工艺可控、易极化等优点而受到广泛关注,然而较大的漏电流密度和宽带隙限制了其在实际器件中的应用。本文通过溶胶-凝胶工艺获得了高质量的BiFeO_(3)/BiCrO_(3)(BFO/BCO)复合薄膜及其器件,并系统地研... BiFeO_(3)薄膜因室温多铁特性、制备工艺可控、易极化等优点而受到广泛关注,然而较大的漏电流密度和宽带隙限制了其在实际器件中的应用。本文通过溶胶-凝胶工艺获得了高质量的BiFeO_(3)/BiCrO_(3)(BFO/BCO)复合薄膜及其器件,并系统地研究了薄膜的微观结构特征、表面形貌、铁电性能及光学响应特性。结果表明,BFO/BCO复合薄膜呈典型的钙钛矿结构,无杂质相。并且,BFO/BCO复合薄膜显示出致密的晶粒堆积结构,几乎无裂纹。此外,BFO/BCO复合薄膜具有优异的铁电性(剩余极化强度2P_(r)=12.64μC/cm^(2))和良好的光伏效应(开路光电电压V_(OC)=0.55 V,短路光电电流密度J_(SC)=0.60 mA/cm^(2)),可作为铁电光伏太阳能电池的吸收层,从而提高光伏太阳能电池的性能。 展开更多

关键词 BFO/BCO复合薄膜 溶胶-凝胶工艺 器件结构 铁电性能 漏电流密度 光伏性能

在线阅读 下载PDF 职称材料

渐近线性Klein-Gordon-Maxwell系统解的存在性和非存在性

4

作者 孙歆 段誉 《应用数学》 北大核心 2025年第1期95-103,共9页

本文研究了一类Klein-Gordon-Maxwell系统,其中位势在无穷远处可能是消失的.当非线性项在无穷远处是渐近线性增长时,利用变分方法讨论了系统正解的存在性和非存在性.完善了此系统解存在性的已有结果.

关键词 Klein-Gordon-Maxwell系统 变分法 渐近线性 消失位势

在线阅读 下载PDF 职称材料

局部超线性Klein-Gordon-Maxwell系统解的存在性和集中性

5

作者 段誉 安育成 《应用数学》 北大核心 2025年第3期681-690,共10页

本文研究一类含有参数的Klein-Gordon-Maxwell系统.当非线性项仅在原点附近满足局部超线性条件时,利用变分法和Moser迭代证明了系统解的存在性、多重性和集中性.完善了此系统解研究的已有结果.

关键词 Klein-Gordon-Maxwell系统 变分法 Moser迭代 非平凡解

在线阅读 下载PDF 职称材料

含有组合非线性项Klein-Gordon-Maxwell系统解的存在性和多重性

6

作者 孙歆 段誉 《高校应用数学学报(A辑)》 北大核心 2025年第2期226-236,共11页

研究Klein-Gordon-Maxwell系统{-Δu+V(x)u-(2ω+Φ)Φu=f(x,u)+K(x)|u|^(s-2)u,x∈R^(3),ΔΦ=(ω+Φ)u^(2),x∈R^(3)其中ω> 0是一个常数, 1 <s <2.当非线性项f关于u在无穷远处是线性有界时,利用变分方法获得了系统解的存在... 研究Klein-Gordon-Maxwell系统{-Δu+V(x)u-(2ω+Φ)Φu=f(x,u)+K(x)|u|^(s-2)u,x∈R^(3),ΔΦ=(ω+Φ)u^(2),x∈R^(3)其中ω> 0是一个常数, 1 <s <2.当非线性项f关于u在无穷远处是线性有界时,利用变分方法获得了系统解的存在性和多重性结果,完善了相关文献的研究成果. 展开更多

关键词 Klein-Gordon-Maxwell系统 变分法 线性有界项 多重性

在线阅读 下载PDF 职称材料

一类Klein-Gordon-Maxwell系统解的存在性和多重性

7

作者 段誉 孙歆 《数学物理学报(A辑)》 北大核心 2025年第3期756-766,共11页

研究如下Klein-Gordon-Maxwell系统{−Δu+V(x)u−(2ω+ϕ)ϕu=f(x,u)+K(x)|u|^(s−2)u,Δϕ=(ω+ϕ)u^(2),x∈R^(3),x∈R^(3),其中ω>0是一个常数,1<s<2.当f仅在原点附近满足局部条件时,利用变分法和Moser迭代证明了系统解的存在性... 研究如下Klein-Gordon-Maxwell系统{−Δu+V(x)u−(2ω+ϕ)ϕu=f(x,u)+K(x)|u|^(s−2)u,Δϕ=(ω+ϕ)u^(2),x∈R^(3),x∈R^(3),其中ω>0是一个常数,1<s<2.当f仅在原点附近满足局部条件时,利用变分法和Moser迭代证明了系统解的存在性和多重性.完善了此系统解研究的已有结果. 展开更多

关键词 Klein-Gordon-Maxwell系统 变分法 Moser迭代 非平凡解

在线阅读 下载PDF 职称材料

金川矿区深部高地应力矿山巷道锚网支护技术 被引量：10

8

作者 李利峰 韩六平 +1 位作者 张晓虎 邓慧琳 《金属矿山》 CAS 北大核心 2020年第7期47-52,共6页

金川矿区深部巷道地应力大、岩体破碎的特点凸显,矿山巷道原采用的锚喷支护方法在施工后具有围岩变形量大且持续时间长、喷射混凝土层掉块剥落及锚杆锚固力下降等问题,难以保证巷道安全可靠。通过对矿区巷道变形特征进行调查研究及理论... 金川矿区深部巷道地应力大、岩体破碎的特点凸显,矿山巷道原采用的锚喷支护方法在施工后具有围岩变形量大且持续时间长、喷射混凝土层掉块剥落及锚杆锚固力下降等问题,难以保证巷道安全可靠。通过对矿区巷道变形特征进行调查研究及理论分析,引入锚杆+TECCO网(无喷混凝土)支护技术来解决其支护难题。所研究的锚网支护具备两大特点:①支护过程中不采取喷射混凝土的方式;②结合巷道围岩变形实际情况,采用了通常应用于边坡防护工程中的高强度金属网(TECCO网)。研究表明:①具有高抗拉强度的TECCO网能够在巷道围岩产生变形后,使支护体逐渐与围岩形成一个紧密的整体结构,提高围岩自承能力;②试验巷道采取锚网支护40 d后,围岩变形速率小于0.1 mm/d,说明该支护方式可以有效控制巷道变形;③锚杆+TECCO网支护成本低、作业强度小,可对该矿高效及安全生产发挥积极作用。 展开更多

关键词 深部开采 TECCO网 高应力巷道 支护 变形监测

在线阅读 下载PDF 职称材料

次线性Klein-Gordon-Maxwell系统解的多重性

9

作者 孙歆 段誉 《数学物理学报（A辑）》 CSCD 北大核心 2024年第5期1205-1215,共11页

该文研究如下Klein-Gordon-Maxwell系统{-Δu+u-(2ω+φ)φu=λQ(x)f(u),x∈R^(3)△φ=(ω+φ)u^(2),x∈R^(3)其中ω>0是一个常数,λ>0是一个参数,Q是一个正的函数.当非线性项f在无穷远处是次线性增长时,利用变分方法及三临界点... 该文研究如下Klein-Gordon-Maxwell系统{-Δu+u-(2ω+φ)φu=λQ(x)f(u),x∈R^(3)△φ=(ω+φ)u^(2),x∈R^(3)其中ω>0是一个常数,λ>0是一个参数,Q是一个正的函数.当非线性项f在无穷远处是次线性增长时,利用变分方法及三临界点定理获得此系统至少存在两个非平凡解.另外,当f仅在原点附近满足次线性增长时,利用变分方法及临界点定理获得此系统解的存在性及多重性.完善了此系统解的多重性的已有结果. 展开更多

关键词 Klein-Gordon-Maxwell系统 变分法 次线性 临界点定理 多重性

在线阅读 下载PDF 职称材料

一类奇异p-Laplacian方程正解的唯一性 被引量：6

10

作者 廖家锋 李红英 段誉 《西南大学学报（自然科学版）》 CAS CSCD 北大核心 2016年第6期45-49,共5页

研究了一类奇异p-Laplacian方程,利用变分方法,获得了该方程的一个全局极小值点.然后,利用解的定义克服了奇异产生的困难,证明了这个全局极小值点为方程的正解.进一步,证明了该方程正解的唯一性.

关键词 p-Laplacian问题 奇异 正解 唯一性

在线阅读 下载PDF 职称材料

格值一阶逻辑中α-语义归结方法的相容性 被引量：4

11

作者 张家锋 徐扬 曹发生 《辽宁工程技术大学学报（自然科学版）》 CAS 北大核心 2016年第11期1335-1340,共6页

为优化基于格值逻辑的α-归结原理,将删除策略应用于α-语义归结方法,研究了基于格值逻辑的带有删除策略的α-语义归结方法.首先给出了带有删除策略的α-语义归结的完备性;接着,给出了带有删除策略的α-语义归结算法,并证明了该算法的... 为优化基于格值逻辑的α-归结原理,将删除策略应用于α-语义归结方法,研究了基于格值逻辑的带有删除策略的α-语义归结方法.首先给出了带有删除策略的α-语义归结的完备性;接着,给出了带有删除策略的α-语义归结算法,并证明了该算法的可靠性和完备性;通过实例说明了该算法的可行性. 展开更多

关键词 自动推理 语义归结 删除策略 格值逻辑 相容性

在线阅读 下载PDF 职称材料

格值逻辑命题逻辑(L_n×L_2)P(X)中广义文字的α-归结性

12

作者 张家锋 曹发生 《计算机工程与应用》 CSCD 北大核心 2015年第24期8-11,共4页

由于格值逻辑中广义文字结构的复杂性,这必然增加判断两个广义文字是否为α-归结对的难度。根据真值域L_n×L_2的结构特性和归结水平α的特点,研究了真值域为一类格蕴涵代数L_n×L_2的格值命题逻辑系统(L_n×L_2)P(X)中0-I... 由于格值逻辑中广义文字结构的复杂性,这必然增加判断两个广义文字是否为α-归结对的难度。根据真值域L_n×L_2的结构特性和归结水平α的特点,研究了真值域为一类格蕴涵代数L_n×L_2的格值命题逻辑系统(L_n×L_2)P(X)中0-IESF与其他广义文字之间的α-归结性,得到了两个广义文字可进行α-归结的条件。 展开更多

关键词 自动推理 归结域 格值逻辑 格蕴涵代数

在线阅读 下载PDF 职称材料

描述逻辑FL_0的包含推理及其保守扩充 被引量：5

13

作者 聂登国 康旺强 +1 位作者 曹发生 王驹 《计算机研究与发展》 EI CSCD 北大核心 2015年第1期221-228,共8页

本体作为知识库表示知识已经成为计算机理论与应用的研究热点.在描述逻辑中,将本体看作一个逻辑理论,一个本体被形式化为给定的描述逻辑系统的一个Tbox.本体是动态的实体,为了适应新领域的发展,需要对原始本体进行扩充.但是扩充后的本... 本体作为知识库表示知识已经成为计算机理论与应用的研究热点.在描述逻辑中,将本体看作一个逻辑理论,一个本体被形式化为给定的描述逻辑系统的一个Tbox.本体是动态的实体,为了适应新领域的发展,需要对原始本体进行扩充.但是扩充后的本体与原始本体是否保持逻辑一致性是目前研究者们所关注的焦点.在Lutz等人研究的基础上探究的保守扩充问题.首先构建了的典范模型,将包含推理问题转换为典范模型的模拟问题;其次由典范模型之间的最大模拟是多项式时间复杂的,证明了的包含推理是多项式时间复杂的;最后给出描述逻辑的保守扩充及其判定算法,证明了的保守扩充的判定算法是指数时间复杂的. 展开更多

关键词 描述逻辑 典范模型 保守扩充 本体 包含推理

在线阅读 下载PDF 职称材料

描述逻辑εVL的保守扩充 被引量：3

14

作者 聂登国 余泉 +1 位作者 张维 申宇铭 《计算机科学》 CSCD 北大核心 2016年第S1期83-86 115,共5页

在描述逻辑中,将本体看作一个逻辑理论,一个本体被形式化为给定的描述逻辑系统的一个Tbox。本体是动态的实体,为了适应新领域的发展,需要对原始本体进行扩充,但是扩充后的本体与原始本体是否保持逻辑一致性是目前研究者们所关注的焦点。... 在描述逻辑中,将本体看作一个逻辑理论,一个本体被形式化为给定的描述逻辑系统的一个Tbox。本体是动态的实体,为了适应新领域的发展,需要对原始本体进行扩充,但是扩充后的本体与原始本体是否保持逻辑一致性是目前研究者们所关注的焦点。在Lutz等人研究的基础上探究εVL的保守扩充问题,构建了εVL的典范模型,将包含推理问题转换为典范模型的模拟问题;由典范模型之间的最大模拟是多项式时间复杂的,证明了εVL的包含推理是多项式时间复杂的;给出了描述逻辑εVL的保守扩充及其判定算法,证明了εVL的保守扩充的判定算法是指数时间复杂的。 展开更多

关键词 描述逻辑 典范模型 保守扩充 本体

在线阅读 下载PDF 职称材料

未初始化时序量子机的代数性质 被引量：2

15

作者 黄飞丹 谢正卫 +1 位作者 邓泽喜 杨京开 《工程数学学报》 CSCD 北大核心 2017年第3期262-282,共21页

量子计算以其独有的内在可并行性和物理可实现性引起了人们的广泛关注.量子计算模型是量子计算领域最重要的问题之一.时序量子机和量子时序机是重要的量子计算模型,这两种计算模型本质上是等价的.本文利用代数的方法研究未初始化时序量... 量子计算以其独有的内在可并行性和物理可实现性引起了人们的广泛关注.量子计算模型是量子计算领域最重要的问题之一.时序量子机和量子时序机是重要的量子计算模型,这两种计算模型本质上是等价的.本文利用代数的方法研究未初始化时序量子机的性质,这些性质为研究时序量子机提供了理论基础.首先,我们给出未初始化时序量子机同态的定义,得到了一些同态性质,并证明了同态定理;其次,我们研究未初始化时序量子机输入输出对的集合上的同余性质,以及未初始化时序量子机矩阵代数的性质,给出了可交换未初始化时序量子机的定义,并对可交换未初始化时序量子机的性质进行了讨论;最后,我们探讨未初始化时序量子机的等价性,讨论了一个可交换未初始化时序量子机的两个初始向量的等价性,所得结果改进了已有的一些结论. 展开更多

关键词 时序量子机 量子时序机 同态 同余 等价 交换性

在线阅读 下载PDF 职称材料

描述逻辑εL循环术语集的保守扩充 被引量：3

16

作者 王勇红 申宇铭 +1 位作者 聂登国 王驹 《计算机科学》 CSCD 北大核心 2017年第B11期136-140,147,共6页

在计算机科学中,本体是动态的实体。为了适应新领域的发展,需要对原始本体增加新的公理或者与另一个本体融合。在本体的开发过程中,用户根据不同的需求和应用领域选择合适的本体导入另一个本体,从而实现对已建本体的扩充。判定扩充后的... 在计算机科学中,本体是动态的实体。为了适应新领域的发展,需要对原始本体增加新的公理或者与另一个本体融合。在本体的开发过程中,用户根据不同的需求和应用领域选择合适的本体导入另一个本体,从而实现对已建本体的扩充。判定扩充后的本体是否是扩充前本体的保守扩充是非常重要的。如果扩充后的本体不是扩充前本体的保守扩充,那么用户使用扩充后的本体将产生不可预知的影响。Lutz等研究了描述逻辑εL的保守扩充问题,并且论证了εL的保守扩充是指数时间完全的。在Lutz等人的研究基础上研究了描述逻辑循环术语集的保守扩充问题。首先,给出了循环术语集在最大不动点语义下的保守扩充的充分条件是两个TBox具有相同的原始概念,并论证了该算法是多项式时间复杂的。其次,给出最大不动点模型来处理循环术语集的保守扩充,并论证了该算法是指数时间复杂的。 展开更多

关键词 本体 描述逻辑 循环术语集 保守扩充

在线阅读 下载PDF 职称材料

基于单向多汇聚节点的WSN分层路由协议 被引量：2

17

作者 贺道德 武玲玲 +1 位作者 邓晓衡 满君丰 《计算机工程与应用》 CSCD 北大核心 2017年第12期105-109,120,共6页

针对分层无线传感器网络的簇首节点容易成为网络瓶颈制约网络性能的不足,提出一种低能耗的路由协议。采用多汇聚(Sink)节点模式来构建网络,利用RSSI(接收信号强度指示)测出各传感器节点与各Sink节点之间的距离,并依据距离的远近为Sink... 针对分层无线传感器网络的簇首节点容易成为网络瓶颈制约网络性能的不足,提出一种低能耗的路由协议。采用多汇聚(Sink)节点模式来构建网络,利用RSSI(接收信号强度指示)测出各传感器节点与各Sink节点之间的距离,并依据距离的远近为Sink节点划分作用域。通过传感器节点单向与所属Sink节点通信来降低簇首节点的负担。仿真实验结果表明提出的路由协议能有效克服簇首节点网络瓶颈问题,从而降低网络能耗,提高网络生存时间,对于无线传感器网络应用于大范围数据收集的网络具有重要的价值。 展开更多

关键词 汇聚节点 接收信号强度指示 网络瓶颈 拓扑结构

在线阅读 下载PDF 职称材料

高压下γ-Ca_3N_2晶体的结构,电子和光学性质的第一性原理研究 被引量：2

18

作者 李佐 廖大麟 +1 位作者 王朴 郭峰 《西南大学学报（自然科学版）》 CAS CSCD 北大核心 2018年第2期78-84,共7页

采用广义梯度近似(GGA)框架下平面波超软赝势第一性原理方法,研究了γ-Ca_3N_2晶体在0~115GPa高压下的结构、电子和光学性质.晶体中两种不同类型的Ca—N键长随压强的变化表明八面体的Ca—N键长比十二面体的键长有轻微的压缩.随着压强增... 采用广义梯度近似(GGA)框架下平面波超软赝势第一性原理方法,研究了γ-Ca_3N_2晶体在0~115GPa高压下的结构、电子和光学性质.晶体中两种不同类型的Ca—N键长随压强的变化表明八面体的Ca—N键长比十二面体的键长有轻微的压缩.随着压强增大,价带向高能区移动,而导带向低能扩展,晶体的带隙变窄.基于Mulliken布局分析,γ-Ca_3N_2晶体随着压强增大,共价性增强.同时,在高压下晶体的吸收光谱显示出红移的趋势. 展开更多

关键词 γ-Ca3N2晶体 高压 结构变化 电子性质

在线阅读 下载PDF 职称材料

一类具有临界增长项的Kirchhoff型方程正解的研究 被引量：2

19

作者 王继禹 贾秀玲 +1 位作者 段誉 佘连兵 《西南大学学报（自然科学版）》 CAS CSCD 北大核心 2016年第12期61-66,共6页

研究了一类具有临界增长项的Kirchhoff型方程,结合山路定理和Brezis-Lieb引理,得到了该方程的一个正基态解.

关键词 Kirchhoff型方程 山路定理 Brezis-Lieb引理 正基态解

在线阅读 下载PDF 职称材料

Nekrasov矩阵行列式界的估计 被引量：10

20

作者 郭爱丽 聂祥荣 武玲玲 《安徽大学学报（自然科学版）》 CAS 北大核心 2015年第6期15-18,共4页

利用矩阵Schur补的定义,结合不等式的放缩技巧和数学归纳法,给出Nekrasov矩阵行列式界的估计,改进和推广了已有结果,并用相应的数值实例说明了所得结果的有效性.

关键词 弱Nekrasov矩阵 NEKRASOV矩阵 SCHUR补 行列式 不等式放缩

在线阅读 下载PDF 职称材料