期刊文献+
共找到2,066篇文章
< 1 2 104 >
每页显示 20 50 100
Status-quo of proved oil/gas initially-in-place in China as of 2020 and its variation trend in the past decade 被引量:1
1
作者 Liming Zhou Daoyong Zhang +3 位作者 Jinchao Sun Yufeng Gu Chenshuo Zhang Chen Zhang 《Energy Geoscience》 2022年第4期343-348,共6页
This study analyzes the status-quo of the proved oil/gas initially-in-place and its variation trend,the proved undeveloped oil/gas initially-in-place,and the remaining proved technically recoverable reserves(TRR)of oi... This study analyzes the status-quo of the proved oil/gas initially-in-place and its variation trend,the proved undeveloped oil/gas initially-in-place,and the remaining proved technically recoverable reserves(TRR)of oil/gas in China as of 2020 based on statistics.As shown by the results,the proved oil initially-in-place(OIIP),the proved undeveloped OIIP,and the remaining proved TRR of oil in China are mainly distributed in the Bohai Bay,Ordos and Songliao Basins,and those of free gas are mainly in the Ordos,Sichuan,and Tarim Basins.From 2011 to 2020,the largest increment in the proved OIIP,the proved undeveloped OIIP and the remaining proved TRR of oil occurred in the Ordos Basin,followed by the Bohai Bay Basin,while that in the proved gas initially-in-place(GIIP),the proved undeveloped GIIP,and the remaining proved TRR of gas occurred in the Ordos Basin,followed by the Sichuan Basin.In addition,a comprehensive analysis reveals that the petroliferous basins in China with the potential of reserve addition and production growth include the Ordos Basin,the Bohai Bay Basin,the Sichuan Basin,and the Tarim Basin. 展开更多
关键词 proved oil/gas initially-in-place(OIIP/GIIP) proved undeveloped oil/gas initially-in-place(OIIP/GIIP) Remaining proved technically recoverable reserves(TRR) Petroleum distribution in Chinese basins Variation trend
在线阅读 下载PDF
教育评价最重要的意图不是为了证明(PROVE)而是为了改进(IMPROVE)——中小学教育质量综合评价改革研讨会
2
《基础教育论坛》 2017年第9X期2-2,65,共2页
关键词 中小学 IMprove prove 综合评价 研讨会
在线阅读 下载PDF
The New Standards System for Processing Food to Be Proved
3
《China Standardization》 2005年第2期34-35,共2页
It is reported that the work of re-structuring the frame of China nationalstandards system for processing food has been finished with the print and distribution of 2004-2005Development Plan of National Standards for F... It is reported that the work of re-structuring the frame of China nationalstandards system for processing food has been finished with the print and distribution of 2004-2005Development Plan of National Standards for Food (hereinafter Plan). According to the demand of thePlan, there will be great changes among the current national standards and the professionalstandards for processing food, in which some standards will be integrated with others, somestandards will be cancelled, and some will be brought into the new standards system after the reviewof standards. The standards after being changed and the new national standards and the professionalstandards that need to be developed compose the new standards system for processing food. 展开更多
关键词 BE The New Standards System for Processing Food to Be proved
原文传递
prove用法简述
4
作者 陈锁兆 《中学英语园地(高中一二年级)》 2004年第2期10-11,共2页
关键词 prove 用法 动词 词义 高中 英语 知识点
在线阅读 下载PDF
PROVE—IT证实LDL胆固醇“越低越好”的假说是正确的
5
作者 景新 《国外药讯》 2004年第6期13-13,共1页
关键词 prove—IT LDL胆固醇 降脂药 他汀类药 临床试验
暂未订购
Examples on Proved Cases of National Traditional Chinese Medicine Master LI Shi-mao in Pingmai Differentiation(平脉辨证)and Treatment for Low Back Pain
6
作者 ZHOU Zhong-yang ZHAO Dan-dan 《World Journal of Integrated Traditional and Western Medicine》 2020年第12期32-37,共6页
Low back pain is a common clinical disease that affects people's quality of life and causes a huge social and economic burden.Traditional Chinese medicine(TCM)has rich and valuable theory and practice in the treat... Low back pain is a common clinical disease that affects people's quality of life and causes a huge social and economic burden.Traditional Chinese medicine(TCM)has rich and valuable theory and practice in the treatment of low back pain.LI Shi-mao,a national TCM master,develops ancient meanings,combines new knowledge,treats low back pain with Pingmai differentiation(平脉辨证),performs comprehensive analysis of data gained by four diagnostic methods,centers on pulse diagnosis,and has achieved good efficacy.Here is an excerpt of 4 medical records,including XUE's No.4 Formula(薛氏4号方)in treating low back pain caused by dampness-heat invading meridians,Shentong Zhuyu Decoction(身痛逐瘀汤)in treating low back pain caused by blockade of blood stasis,Dabuyin Pills(大补阴丸)in treating low back pain caused by disturbance of ministerial fire,and Guizhi Shaoyao Zhimu Decoction(桂枝芍药知母汤)in treating low back pain due to blockade of cold and kidney deficiency,aiming at proving its principles and methods,observing its prescriptions and summing up its experience,so as to provide more reference for clinical treatment for low back pain. 展开更多
关键词 Low back pain Pingmai differentiation LI Shi-mao proved cases
暂未订购
InequalityProve及一个公开问题的求解 被引量:1
7
作者 邵俊伟 侯晓荣 《计算机工程与科学》 CSCD 北大核心 2011年第6期114-117,共4页
传统的不等式自动证明方法主要依赖于符号计算,一般只能处理代数类型,或可最终转化为代数类型的不等式,而且效率会随着问题中变量个数的增加迅速降低。为克服这些局限性以满足众多实际问题的需要,并充分挖掘计算机在数值计算方面的能力... 传统的不等式自动证明方法主要依赖于符号计算,一般只能处理代数类型,或可最终转化为代数类型的不等式,而且效率会随着问题中变量个数的增加迅速降低。为克服这些局限性以满足众多实际问题的需要,并充分挖掘计算机在数值计算方面的能力,我们提出以区间分析为工具进行不等式的自动证明。该方法可以处理类型更为一般的不等式,只需对应的函数具有所需的高阶连续可微性质,并且该方法易于实现并行化。本文主要介绍这一方法在Maple系统上的实现,即InequalityProve,并以一个公开问题为例详细说明运用InequalityProve进行不等式证明的一般过程。 展开更多
关键词 区间分析 不等式 自动证明
在线阅读 下载PDF
Finns Proved Best
8
作者 郝昌明 《中学英语园地(八九年级适用)》 2005年第Z1期43-45,共3页
关键词 Finns proved Best
在线阅读 下载PDF
斯托克斯定理的形式化及其初步应用
9
作者 刘永梅 王国辉 +3 位作者 关永 张景芝 施智平 董璐 《计算机工程与科学》 北大核心 2025年第6期1050-1061,共12页
斯托克斯定理是场论中的重要定理之一,它在流体力学、电磁学等领域都有广泛的应用。然而在实际应用中,斯托克斯定理前提条件的满足往往得不到正式的验证,这就存在一定的风险。因此,有必要对斯托克斯定理进行验证。基于斯托克斯定理的数... 斯托克斯定理是场论中的重要定理之一,它在流体力学、电磁学等领域都有广泛的应用。然而在实际应用中,斯托克斯定理前提条件的满足往往得不到正式的验证,这就存在一定的风险。因此,有必要对斯托克斯定理进行验证。基于斯托克斯定理的数学定义,构建其形式化模型,通过分析斯托克斯定理的数学证明过程,得出其形式化证明推导思路,根据分析、构建和验证目标,完成定理的形式化证明,最后将斯托克斯定理证明应用到管道流量设计模型的验证中。 展开更多
关键词 形式化验证 定理证明 斯托克斯定理 HOL Light
在线阅读 下载PDF
四川盆地大庆探区震旦系—寒武系深层天然气勘探潜力分析与实践
10
作者 宫宝 陈欣 +4 位作者 张迪 马威奇 马新海 隋立伟 杨春宇 《大庆石油地质与开发》 北大核心 2025年第2期11-18,共8页
四川盆地大庆探区震旦系—寒武系发育多套含气层系,但勘探潜力和有利区带分布不明。通过分析各层系生、储、盖等成藏主控因素,应用地质分析和地球物理一体化综合评价技术,对重点层系勘探潜力和有利区带进行研究。结果表明:震旦系灯影组... 四川盆地大庆探区震旦系—寒武系发育多套含气层系,但勘探潜力和有利区带分布不明。通过分析各层系生、储、盖等成藏主控因素,应用地质分析和地球物理一体化综合评价技术,对重点层系勘探潜力和有利区带进行研究。结果表明:震旦系灯影组四段发育2个长期继承性局部构造高带,通源断裂叠加有效储层控制油气富集,部署的HS5井获百万方天然气;震旦系灯影组二段发育次级台缘带,高能丘滩体经过桐湾期岩溶作用改造,形成优质富气储层;寒武系沧浪铺组、龙王庙组、洗象池组沉积时处于古地貌高部位,发育溶蚀孔洞型高能颗粒滩体,含气性好,部署GT1井进行立体揭示。研究成果确定了大庆探区震旦系—寒武系天然气地质资源量超万亿方,为下一步提交规模效益探明储量提供了指导。 展开更多
关键词 四川盆地 大庆探区 震旦系—寒武系 深层天然气 探明储量
在线阅读 下载PDF
基于用户数据的整车结构耐久“试验场-用户”关联特性分析
11
作者 赵礼辉 徐晓宇 +2 位作者 翁硕 刘东俭 张东东 《汽车工程》 北大核心 2025年第8期1634-1645,共12页
基于现有试验场结构耐久规范难以全面捕捉实际用户运行条件下的复杂载荷特性,导致试验场工况与用户工况之间存在差异,本文以用户大数据为基础,分析了用户结构耐久工况特征并进一步研究了“试验场-用户”关联特性。首先,对用户数据进行... 基于现有试验场结构耐久规范难以全面捕捉实际用户运行条件下的复杂载荷特性,导致试验场工况与用户工况之间存在差异,本文以用户大数据为基础,分析了用户结构耐久工况特征并进一步研究了“试验场-用户”关联特性。首先,对用户数据进行预处理并采用多元时序自适应分割方法构建用户运行片段,从时域、频域和损伤3个角度构建片段特征参数。其次,采用线性和非线性两种方法进行特征参数降维,基于K-Means聚类算法将用户的运行片段划分为6类典型工况,进一步探讨了各典型工况的运行特征、损伤贡献及不同城市用户数据的差异性。最后,通过试验场强化路面和典型工况的映射关系进行相似性分析;通过损伤目标、功率谱密度、外推雨流进行差异性分析,结合“损伤等级-车速”联合分布对产生差异的原因进行探讨。研究成果为用户使用条件下试验场整车结构耐久性试验工况的选取、全寿命周期目标的确定和现有试验场规范的优化提供了参考和依据。 展开更多
关键词 用户运行大数据 结构耐久 工况特征 试验场与用户关联
在线阅读 下载PDF
基于负载预测与能耗优化的刮板输送机速度控制方法
12
作者 汪卫兵 骆佳录 +3 位作者 李赖 赵栓峰 路正雄 李开放 《煤炭科学技术》 北大核心 2025年第10期259-268,共10页
针对综采工作面中刮板输送机因持续高速运转而导致的能源浪费和运输效率低下问题,结合双向割煤工艺,对刮板输送机的运行阶段进行了系统分析,建立了刮板输送机能耗模型,在此基础上提出了一种基于负载转矩预测与能耗优化相结合的速度控制... 针对综采工作面中刮板输送机因持续高速运转而导致的能源浪费和运输效率低下问题,结合双向割煤工艺,对刮板输送机的运行阶段进行了系统分析,建立了刮板输送机能耗模型,在此基础上提出了一种基于负载转矩预测与能耗优化相结合的速度控制方法。首先,建立煤量模型,描述煤量随运行工况变化的动态特性。随后,结合刮板输送机的运行阻力特性,明确煤量、驱动力与运行阻力之间的关系,构建刮板输送机的能耗模型。为应对综采工作面复杂多变的运行工况,引入粗糙径向基神经网络(Rough Radial Basis Function Neural Network, RRBFNN),对刮板输送机负载转矩进行精确预测,生成优化模型所需的关键输入变量。在此基础上,采用改进的粒子群优化算法(PSO),以能耗最小化为目标,对刮板输送机的运行速度进行优化,改进算法在引入动态惯性因子的同时,平衡了全局搜索与局部搜索能力,从而提高了优化的精度与收敛效率。最后,结合榆家梁43101综采工作面的实际数据对本文方法进行了验证。结果表明:该速度控制方法能够在一个生产循环中有效降低刮板输送机的能耗10.42%。 展开更多
关键词 刮板输送机 智能调速 能耗模型 粗糙径向基神经网络 改进粒子群算法
在线阅读 下载PDF
张曾譻教授辨治斑秃临床验案
13
作者 张秀君 边晓红 +2 位作者 任永丽 张曾譻 任明 《中国医药指南》 2025年第12期149-151,共3页
斑秃是一种皮肤科常见的自身免疫性疾病,名老中医张曾譻教授对斑秃的治疗临床经验丰富,张教授认为其病机不外乎本虚标实,肝、肾、脾、心亏虚为本,痰、湿、瘀等邪实为标。故临证时需切中病机,标本兼顾,方可效如桴鼓。
关键词 斑秃 本虚标实 验案 张曾譻
暂未订购
刘万里运用验方治疗脾胃病临床经验
14
作者 王光铭 刘万里 《辽宁中医杂志》 北大核心 2025年第1期25-27,共3页
探讨刘万里教授运用验方治疗脾胃的临床经验。刘教授认为反流性食管炎需以和胃降逆、疏肝泄热为治,故拟降逆汤治疗;胆汁反流性胃炎需以疏肝和胃、降逆消滞为治,故拟通降合剂治疗;胆囊息肉需以疏肝利胆、清热化湿为治,故拟清热化湿利胆... 探讨刘万里教授运用验方治疗脾胃的临床经验。刘教授认为反流性食管炎需以和胃降逆、疏肝泄热为治,故拟降逆汤治疗;胆汁反流性胃炎需以疏肝和胃、降逆消滞为治,故拟通降合剂治疗;胆囊息肉需以疏肝利胆、清热化湿为治,故拟清热化湿利胆方治疗;结肠息肉术后则需以健脾助运、利湿解毒、散结通络为治,故拟健脾利湿解毒方治疗。通过医案举隅在临床治疗过程中提出了新的思路和方法,切实提高了中医药治疗脾胃病的疗效。 展开更多
关键词 名医验方 脾胃病 临证经验
原文传递
韩新民运用角药治疗儿童抽动障碍经验
15
作者 杨月娥 韩新民 李岩 《吉林中医药》 2025年第10期1165-1169,共5页
角药是历代医家基于中医药基本理论,根据辨证论治为指导,并结合长期遣方用药经验总结,利用药物性味归经特点,将三味中药配伍的一种介于中药与方剂之间的组合模式,能起到发挥协同增效、减毒增效等作用。韩新民从事临床工作40余载,致力于... 角药是历代医家基于中医药基本理论,根据辨证论治为指导,并结合长期遣方用药经验总结,利用药物性味归经特点,将三味中药配伍的一种介于中药与方剂之间的组合模式,能起到发挥协同增效、减毒增效等作用。韩新民从事临床工作40余载,致力于儿童抽动障碍的研究,经验丰富。韩新民在指导临床用药时,不仅专注于儿童抽动障碍自身发病特点遣药组方,巧妙运用角药治疗儿童抽动障碍也是特色之一,并取得了良好疗效。本文将韩新民用药规律进行了总结,并分析探讨了韩新民所用角药的内涵,附验案1则。 展开更多
关键词 角药 儿童抽动障碍 验案
暂未订购
论刑事涉案财物处理程序的证明机制
16
作者 肖沛权 《政法论丛》 北大核心 2025年第5期120-131,共12页
具有诉讼化特征是刑事涉案财物处理程序司法证明的前提,而诉讼化的刑事涉案财物处理程序应当具有相对独立性。刑事涉案财物处理程序属于刑事诉讼程序。构建刑事涉案财物处理程序的证明机制是完善涉案财物处理程序的重要内容。刑事涉案... 具有诉讼化特征是刑事涉案财物处理程序司法证明的前提,而诉讼化的刑事涉案财物处理程序应当具有相对独立性。刑事涉案财物处理程序属于刑事诉讼程序。构建刑事涉案财物处理程序的证明机制是完善涉案财物处理程序的重要内容。刑事涉案财物处理程序的待证事实应当包括违法所得、供犯罪所用的本人财物以及违禁品,而不包括犯罪事实。应当明确由检察机关承担证明责任。为了防止利害关系人随意提出主张,应要求利害关系人承担初步责任,这种初步责任属于推动诉讼的责任。基于公正分配证明责任的需要以及立法政策上的考量,可在毒品犯罪、走私犯罪、涉黑犯罪等犯罪类型中设置推定规则。刑事涉案财物处理程序的证明标准应当比定罪证明标准有所降低,但应高于民事诉讼中的证明标准,即达到“清晰且令人信服”的程度,用概率表示,则为75%以上。 展开更多
关键词 涉案财物处理程序 证明机制 待证事实 证明责任 证明标准
在线阅读 下载PDF
基于ISSA-BPNN模型的城镇燃气日负荷预测
17
作者 肖荣鸽 夏海平 李雨泽 《煤气与热力》 2025年第2期I0016-I0022,共7页
针对单一神经网络模型在预测过程中存在精度低、易陷入局部最优等问题,提出了一种改进的麻雀搜索算法优化的BP神经网络(ISSA-BPNN)模型用于燃气日负荷预测。BP神经网络与优化算法结合的模型预测精度高于单一BP神经网络。选择、交叉、变... 针对单一神经网络模型在预测过程中存在精度低、易陷入局部最优等问题,提出了一种改进的麻雀搜索算法优化的BP神经网络(ISSA-BPNN)模型用于燃气日负荷预测。BP神经网络与优化算法结合的模型预测精度高于单一BP神经网络。选择、交叉、变异等操作可以提高种群多样性,避免算法过早收敛。ISSA-BPNN模型平均绝对百分比误差为0.0393,在组合模型中预测精度最高,耗时也最长。 展开更多
关键词 燃气日负荷 BP神经网络 改进的麻雀搜索算法 负荷预测
在线阅读 下载PDF
单球驱动平衡机器人运动学和动力学形式化验证
18
作者 张善强 张景芝 +2 位作者 施智平 王国辉 关永 《软件学报》 北大核心 2025年第8期3462-3476,共15页
单球驱动平衡机器人是一种具有全向运动性的机器人,其灵活性能在狭小或复杂环境中得到充分体现,因此受到广泛关注.在该型机器人运动学和动力学设计过程中,保证其模型的正确性至关重要.基于测试和仿真的传统方法难以穷尽系统所有状态,因... 单球驱动平衡机器人是一种具有全向运动性的机器人,其灵活性能在狭小或复杂环境中得到充分体现,因此受到广泛关注.在该型机器人运动学和动力学设计过程中,保证其模型的正确性至关重要.基于测试和仿真的传统方法难以穷尽系统所有状态,因此可能无法捕捉到某些设计缺陷或潜在的安全风险.为确保单球驱动平衡机器人满足安全攸关机器人的正确性、安全性验证要求,在定理证明器HOL Light中,基于实分析库、矩阵分析库、机器人运动学和动力学库等定理证明库,构建单球驱动平衡机器人运动学和动力学的形式化模型,并进行高阶逻辑推导与证明. 展开更多
关键词 单球驱动平衡机器人 运动学和动力学 形式化验证 定理证明 HOL Light
在线阅读 下载PDF
GhostFunc:一种针对Rust操作系统内核的验证方法
19
作者 何韬 董威 文艳军 《软件学报》 北大核心 2025年第8期3494-3511,共18页
操作系统是软件的基础平台,操作系统内核的安全性往往影响重大.Rust是逐渐兴起的内存安全语言,具有生命周期、所有权、借用检查、RAII等安全机制,使用Rust语言构建内核逐渐成为当前热门的研究方向.但目前使用Rust构建的系统多包含部分un... 操作系统是软件的基础平台,操作系统内核的安全性往往影响重大.Rust是逐渐兴起的内存安全语言,具有生命周期、所有权、借用检查、RAII等安全机制,使用Rust语言构建内核逐渐成为当前热门的研究方向.但目前使用Rust构建的系统多包含部分unsafe代码段,无法从根本上保证语言层面的安全性,因而针对unsafe代码段的验证对于保证Rust构建的内核正确可靠尤为重要.以某使用Rust构建的微内核为对象,提出GhostFunc的safe和unsafe代码段组合验证方法,将两类代码段采用不同层级的抽象,使用GhostFunc进行组合验证.针对任务管理与调度模块,基于λ_(Rust)形式化Arc<T>等unsafe代码段,并给出形式化GhostFunc的具体实现,完成此方法的验证实例.所有验证工作基于定理证明的方法,在Coq中采用Iris分离逻辑框架完成正确性的验证. 展开更多
关键词 形式化验证 操作系统内核 分离逻辑 RUST 定理证明
在线阅读 下载PDF
中国页岩气剩余探明技术可采储量预测:灰色波形与灰色多维度模型结合
20
作者 胥勇 王艳秋 +1 位作者 潘艳 刘文庆 《天然气工业》 北大核心 2025年第5期180-187,共8页
近年来,随着页岩气产业的高速发展,页岩气已成为推动中国中长期能源结构调整、助力碳减排进程的关键力量之一。总体看来,中国页岩气产业尚处于勘探早中期阶段,预测页岩气剩余探明技术可采储量,可以为中国页岩气产业的规划和高质量发展... 近年来,随着页岩气产业的高速发展,页岩气已成为推动中国中长期能源结构调整、助力碳减排进程的关键力量之一。总体看来,中国页岩气产业尚处于勘探早中期阶段,预测页岩气剩余探明技术可采储量,可以为中国页岩气产业的规划和高质量发展提供重要参考。为此,根据中国页岩气产业“贫信息”“少数据”的基础现状特征,结合灰色理论系统预测模型的适用条件,以页岩气新增探明地质储量作为相关因素变量,使用灰色多维度预测模型GM(1.2)首次从宏观角度分析了中国页岩气剩余探明技术可采储量的发展趋势。研究结果表明:①融入弱化缓冲算子能使灰色波形预测模型较为准确地预测未来中国页岩气新增探明地质储量的变化趋势,预测结果揭示中国页岩气新增探明地质储量整体呈现良好增长趋势;②灰色多维度预测模型GM(1.2)的预测结果显示,中国页岩气剩余探明技术可采储量将会在2027年达8679.2×10^(8)m^(3),2030年突破10000×10^(8)m^(3),中国页岩气产业具备高质量发展基础。结论认为,随着“双碳”目标的不断推进,在产业政策支持和勘探开发技术进步的双重作用下,中国页岩气产业仍将保持快速高质量的发展趋势。 展开更多
关键词 页岩气 剩余探明技术可采储量 新增探明地质储量 灰色波形预测 GM(1.2)
在线阅读 下载PDF
上一页 1 2 104 下一页 到第
使用帮助 返回顶部