期刊文献+
共找到2,085篇文章
< 1 2 105 >
每页显示 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
作者 王悦尧 程思 +1 位作者 李庭凯 杨丽丽 《中国医药导报》 2026年第5期155-159,共5页
中药“升降浮沉”理论是中医气机理论的核心内容。该理论将药类法象与气机升降联系,强调人体气机动态平衡是维持健康的关键,代谢性疾病多与气机失调、清阳不升、浊阴不降有关。李东垣《内外伤辨惑论》中所创升阳益胃汤是治疗脾胃病的名... 中药“升降浮沉”理论是中医气机理论的核心内容。该理论将药类法象与气机升降联系,强调人体气机动态平衡是维持健康的关键,代谢性疾病多与气机失调、清阳不升、浊阴不降有关。李东垣《内外伤辨惑论》中所创升阳益胃汤是治疗脾胃病的名方,其组方思路充分体现中药“升降浮沉”的机制。本文结合中药“升降浮沉”理论,探讨该方治疗代谢性疾病的证治机制,并附验案三则以资佐证。 展开更多
关键词 升降浮沉 升阳益胃汤 代谢性疾病 验案
暂未订购
地位威胁对员工跨界行为的“双刃剑”效应研究
10
作者 贾建锋 孙柏鹏 +1 位作者 李嘉华 刘伟鹏 《管理评论》 北大核心 2026年第2期186-196,共11页
基于资源保存理论,探讨了地位威胁影响员工跨界行为的作用机制和边界条件。通过收集406名企业员工3个时点的配对数据,采用层次回归分析法和Bootstrap法进行假设检验。研究结果显示:第一,当员工核心自我评价高时,地位威胁和核心自我评价... 基于资源保存理论,探讨了地位威胁影响员工跨界行为的作用机制和边界条件。通过收集406名企业员工3个时点的配对数据,采用层次回归分析法和Bootstrap法进行假设检验。研究结果显示:第一,当员工核心自我评价高时,地位威胁和核心自我评价交互对证明目标导向具有正向影响;当员工核心自我评价低时,地位威胁和核心自我评价交互对回避目标导向具有正向影响。第二,证明目标导向对跨界行为具有正向影响,回避目标导向对跨界行为具有负向影响。第三,证明目标导向和回避目标导向在地位威胁与核心自我评价的交互对跨界行为的影响中起中介作用,从而表现出有中介的调节作用。研究结论深化了对地位威胁作用机制及其行为后果的理解,并为企业科学识别与有效应对员工感知的地位威胁提供了实践启示。 展开更多
关键词 地位威胁 跨界行为 核心自我评价 证明目标导向 回避目标导向
原文传递
RISC-V SBI固件安全启动过程的形式化验证
11
作者 杨叶倩 戴鸿君 《计算机研究与发展》 北大核心 2026年第3期768-781,共14页
RISC-V SBI(supervisor binary interface)标准定义了RISC-V架构硬件与操作系统的接口规范。相比x86和ARM固件,SBI固件更合规、可靠;但现有版本仍存在启动正确性未验证、PMP(physical memory protection)物理地址访问等安全漏洞。为此,... RISC-V SBI(supervisor binary interface)标准定义了RISC-V架构硬件与操作系统的接口规范。相比x86和ARM固件,SBI固件更合规、可靠;但现有版本仍存在启动正确性未验证、PMP(physical memory protection)物理地址访问等安全漏洞。为此,提出了定理证明驱动的闭环形式化验证框架,开发经形式验证的SBI固件——SeSBI,并结合Dafny与Isabelle/HOL,以分层策略实现对启动过程的形式验证。为提高验证效率,提出RISC-V硬件模拟策略,统一建模固件与硬件的交互,从而显著降低验证开销。最终成功验证了SeSBI固件启动过程的功能正确性。结果表明,SeSBI以更简洁的代码实现SBI标准启动过程接口,并具备高度可靠性,为RISC-V生态系统提供了经形式验证的可信SBI固件实现。未来工作将扩展验证范围至更多高级属性,并优化验证工具以提升效率。 展开更多
关键词 RISC-V SBI固件 形式化验证 定理证明 功能正确性
在线阅读 下载PDF
基于定理证明的UML多视图模型良构一致性验证方法
12
作者 吴润方 杜晔 黎妹红 《计算机应用研究》 北大核心 2026年第2期577-587,共11页
针对复杂系统中UML多视图模型良构一致性验证的难题,提出了一种融合结构映射与定理证明的双层验证框架,以系统性地解决跨视图语义交织与结构耦合引发的建模质量风险。该方法通过结构映射验证算法(SMIVA)自动抽取3种视图模型间的结构匹... 针对复杂系统中UML多视图模型良构一致性验证的难题,提出了一种融合结构映射与定理证明的双层验证框架,以系统性地解决跨视图语义交织与结构耦合引发的建模质量风险。该方法通过结构映射验证算法(SMIVA)自动抽取3种视图模型间的结构匹配关系,生成良构一致性断言集以保障类型、命名与拓扑闭合性;同时,基于交互式定理证明器Coq构建形式化断言体系,将行为语义与状态迁移转换为可判定命题,实现语义一致性的逻辑推导。实验以电子商务系统为例,完成了13条良构一致性约束定理的形式化证明。结果表明,该方法能有效提升断言提取的覆盖性、自动化验证能力和验证效率,对提升UML建模质量具有重要意义。 展开更多
关键词 UML模型 多视图一致性 结构映射 定理证明 形式化验证
在线阅读 下载PDF
大模型驱动的形式化定理证明:综述与展望
13
作者 胡俊杰 陈宇杰 +7 位作者 胡义坤 文成 曹嘉伦 马智 苏杰 孙纬地 田聪 秦胜潮 《计算机科学》 北大核心 2026年第4期1-23,共23页
定理证明作为逻辑与计算机科学的交汇点,不仅奠定了现代数学推理的形式化基础,也是衡量人工智能逻辑推理能力的试金石,更支撑着软件工程对高可靠性的根本需求。然而,传统定理证明依赖严谨的逻辑推理与繁琐的人机交互,长期面临自动化程... 定理证明作为逻辑与计算机科学的交汇点,不仅奠定了现代数学推理的形式化基础,也是衡量人工智能逻辑推理能力的试金石,更支撑着软件工程对高可靠性的根本需求。然而,传统定理证明依赖严谨的逻辑推理与繁琐的人机交互,长期面临自动化程度有限、推理效率不足以及对专家经验高度依赖等难题。随着大语言模型(LLM)的快速发展,其在自然语言理解、代码生成和逻辑推理等方面展现出突破性能力,为提升自动定理证明的自动化与智能化水平提供了新的契机。为此,系统梳理了大模型驱动的形式化定理证明的研究现状与趋势,重点聚焦于两个主要应用场景。1)在交互式定理证明方面,分析了现有工作是如何缓解其手动开销巨大的难题,并以Lean语言中的Prover系列工作为例,系统总结了其技术演化路径。2)在自动定理证明方面,探讨了大模型如何结合静态分析、验证器反馈等技术,自动生成函数合约、循环不变式等形式化规约,从而显著降低验证门槛。最后,归纳了该领域中面临的共性挑战,包括规约完备性、推理可靠性、数据稀缺性以及工具链集成等,并展望了未来的发展方向。 展开更多
关键词 定理证明 形式化方法 大语言模型 形式化验证 形式化规约
在线阅读 下载PDF
基于CompCert内存模型的智能合约中间语言的可信编译
14
作者 许颖 张亚丰 +5 位作者 许晶航 康跃馨 夏清 袁峰 左春 李玉成 《信息安全学报》 2026年第1期22-36,共15页
智能合约是区块链技术的重要组成部分之一,具有不可篡改、自动执行等特点,为去中心化应用提供了丰富的编程基础。近年来相关安全漏洞事件频发,使得智能合约的安全性研究逐渐成为热点。其中,智能合约编译器的误编译问题会令源代码编译产... 智能合约是区块链技术的重要组成部分之一,具有不可篡改、自动执行等特点,为去中心化应用提供了丰富的编程基础。近年来相关安全漏洞事件频发,使得智能合约的安全性研究逐渐成为热点。其中,智能合约编译器的误编译问题会令源代码编译产生不符合开发者原本预期的目标代码,导致部署在区块链上的代码存在安全隐患,然而现有工作较少考虑到这一问题。因此,首先从避免合约安全漏洞的原则出发,设计一种非图灵完备的智能合约领域专用语言isCL。作为可信编译的源语言,它支持复合数据类型与内置函数,以便于开发人员编写合约;然后设计可信编译器i2c的整体架构,实现以C语言子集Clight语言为目标语言的完整翻译过程;再针对基于CompCert内存模型的智能合约中间语言的翻译阶段,定义消除复合类型、出参入参合并、生成Clight三个翻译阶段的相关语法、语义,并给出语义保持性的证明思路;最后通过服装供应链分账应用实例和Solidity、Rust的编译漏洞案例来分别说明isCL语言的实用性与智能合约可信编译的有效性。本文工作为智能合约的可信编译提供了研究思路,有利于促进智能合约开发的安全性研究,为实现更加安全可信的区块链应用提供有力支撑。 展开更多
关键词 区块链 智能合约语言 领域专用语言 形式化验证 经过验证的编译器
在线阅读 下载PDF
超高速弹丸测速用夹层天幕靶电路设计与信号分析
15
作者 靳兴森 倪晋平 +1 位作者 田会 曹静 《光学与光电技术》 2026年第1期111-118,共8页
针对常规天幕靶受光电探测器件和信号处理电路的频率响应特性限制无法测量超高速弹丸的问题,提出夹层天幕靶测速技术。采用一个镜头搭配双狭缝光阑板,在空间形成两个具有一定角度的探测光幕,当超高速弹丸穿过两个光幕时,过幕时间得以延... 针对常规天幕靶受光电探测器件和信号处理电路的频率响应特性限制无法测量超高速弹丸的问题,提出夹层天幕靶测速技术。采用一个镜头搭配双狭缝光阑板,在空间形成两个具有一定角度的探测光幕,当超高速弹丸穿过两个光幕时,过幕时间得以延长。选用高速PIN型Si光电二极管,配合跨阻型前级放大电路实现弹丸过幕信号的获取。推导了夹层光幕的灵敏度公式,分析了弹丸过幕信号特性,通过模拟等效试验和实弹试验验证,夹层天幕靶能够延长弹丸过幕时间,降低了后续电路对频率响应特性的要求,实现超高速弹丸的测量,为超高速弹丸初速测量提供了实用方案。 展开更多
关键词 兵器靶场测试 超高速弹丸测速 夹层天幕靶 过幕特征信号分析
原文传递
培土生金、泻肺利水法治疗肺癌液气胸验案1则
16
作者 肖丽娟 曹青青 贾彦焘 《中国中医药现代远程教育》 2026年第1期92-95,共4页
液气胸指胸膜腔内积液与积气同时存在,是晚期肺癌的并发症之一。其发病率较低,主要表现为喘促、胸闷、胸痛。液气胸的常规治疗以穿刺抽气抽液或胸腔闭式引流术为主,但仍有较高的复发率,且部分患者对有创操作接受度偏低。中医药治疗具有... 液气胸指胸膜腔内积液与积气同时存在,是晚期肺癌的并发症之一。其发病率较低,主要表现为喘促、胸闷、胸痛。液气胸的常规治疗以穿刺抽气抽液或胸腔闭式引流术为主,但仍有较高的复发率,且部分患者对有创操作接受度偏低。中医药治疗具有安全无创、不良作用小、效果良好等优势,可与现代医学疗法相结合,促进液气胸的恢复并减少复发。文章报道基于培土生金、泻肺利水治疗肺癌液气胸验案1则,以期为临床提供参考。 展开更多
关键词 肺胀 液气胸 肺癌 培土生金法 泻肺利水法 验案
暂未订购
基于预训练语言模型和合一算法的自动定理证明
17
作者 陈红休 曾霞 +1 位作者 刘志明 赵恒军 《计算机科学》 北大核心 2026年第4期40-47,共8页
预训练语言模型在Metamath等形式化环境中,在证明定理方面展现出显著潜力。然而,这种潜力尚难以稳定转化为可靠的推理能力。现有方法通常要求语言模型直接预测替换项,而这些替换项来自一个开放且潜在无限的表达式空间,缺乏逻辑约束,导... 预训练语言模型在Metamath等形式化环境中,在证明定理方面展现出显著潜力。然而,这种潜力尚难以稳定转化为可靠的推理能力。现有方法通常要求语言模型直接预测替换项,而这些替换项来自一个开放且潜在无限的表达式空间,缺乏逻辑约束,导致模型泛化能力受限。为此,提出一种新的证明范式:在推理过程中引入工作变量以临时替代具体项,并通过合一算法推导出其具体实例。该设计使得模型能够聚焦于定理选择,而无需生成缺乏逻辑指导的替换。基于这一范式,从Metamath数学库中提取数据并构建UnProver(Unification-Driven Prover),并在此数据上对其进行训练。此外,设计多种数据增强策略,进一步提升UnProver的性能。实验结果表明,UnProver在测试集上整体优于包括GPT-4o在内的基线方法,在证明能力与效率方面均取得更优表现。此外,UnProver还发现了6个新的、更简洁的证明,这些证明已被正式收录至Metamath官方数学库。 展开更多
关键词 语言模型 定理证明 Metamath 合一 工作变量
在线阅读 下载PDF
基于模态应力法的某厢型车车身疲劳分析
18
作者 潘振 王乾勋 +3 位作者 崔震 韩辉 甄学聪 王清涛 《汽车实用技术》 2026年第5期60-64,共5页
当前业内普遍采用的准静态疲劳分析方法,流程简单、资源占用率低,但无法考虑模态对疲劳损伤的影响,当结构固有频率和外载频率接近时,便无法准确预测疲劳寿命。文章以某厢型车为研究对象,基于模态应力恢复法,以虚拟试验场(VPG)技术获得... 当前业内普遍采用的准静态疲劳分析方法,流程简单、资源占用率低,但无法考虑模态对疲劳损伤的影响,当结构固有频率和外载频率接近时,便无法准确预测疲劳寿命。文章以某厢型车为研究对象,基于模态应力恢复法,以虚拟试验场(VPG)技术获得车身各阶模态坐标为输入,通过疲劳软件对车身进行疲劳寿命预测。结果表明,基于模态应力恢复的疲劳分析可准确识别实际失效位置,该方法可在产品研发阶段准确预估车身疲劳寿命,为车身设计及结构优化提供理论依据。 展开更多
关键词 疲劳分析 虚拟试验场 模态应力 模态坐标
在线阅读 下载PDF
河北省矿产资源确权登记三维模式探索及实践
19
作者 邢晓达 刘慎栋 +3 位作者 田东坡 霍伟奇 姜诺涵 李浚川 《自然资源信息化》 2026年第1期69-75,共7页
探明储量的矿产资源确权登记三维探索对于更加直观地划清矿产资源“四条边界”、明确矿产资源产权主体、推动矿产资源资产化管理与产权明晰化、实现矿产资源确权登记具有重要意义。本文立足河北省省级探明储量的矿产资源确权登记工作实... 探明储量的矿产资源确权登记三维探索对于更加直观地划清矿产资源“四条边界”、明确矿产资源产权主体、推动矿产资源资产化管理与产权明晰化、实现矿产资源确权登记具有重要意义。本文立足河北省省级探明储量的矿产资源确权登记工作实践和应用,选取宁晋段家庄石盐矿、沙河中关铁矿作为试点,系统开展了三维建模与三维可视化等技术方法的探索与应用。围绕资料收集、资料分析、三维建模等关键登记流程,梳理并总结了一系列需要注意的技术问题。研究分析了当前矿产资源确权登记过程中在多源资料利用及登记单元优化、模型精度控制、登记簿优化、自然资源数据库优化等方面存在的挑战,并针对性地提出了推动数据共享、优化建模方法、明确三维登记规范等建议。本文不仅为河北省推进矿产资源确权登记提供了切实可行的三维技术路径和实践参考,也对其他地区类似工作的开展具有重要的借鉴意义。 展开更多
关键词 探明储量 矿产资源 确权登记 三维建模
在线阅读 下载PDF
Tone Task Proves Blind Hear Better--Early vision loss leads to keener hearing
20
作者 Michael Hopkin 于明霞 《当代外语研究》 2004年第12期8-6,共2页
盲人音乐家的才华洋溢是纯属巧合,还是由于潜能的凝聚呢?加拿大的科学家们发现:年幼失明的盲者对于乐音变化的察觉能力确实远远强于后天失明者及普通人。
关键词 Early vision loss leads to keener hearing Tone Task proves Blind Hear Better
原文传递
上一页 1 2 105 下一页 到第
使用帮助 返回顶部