期刊文献+
共找到2,077篇文章
< 1 2 104 >
每页显示 20 50 100
基于“升降浮沉”理论探析升阳益胃汤治疗代谢性疾病的证治思路
1
作者 王悦尧 程思 +1 位作者 李庭凯 杨丽丽 《中国医药导报》 2026年第5期155-159,共5页
中药“升降浮沉”理论是中医气机理论的核心内容。该理论将药类法象与气机升降联系,强调人体气机动态平衡是维持健康的关键,代谢性疾病多与气机失调、清阳不升、浊阴不降有关。李东垣《内外伤辨惑论》中所创升阳益胃汤是治疗脾胃病的名... 中药“升降浮沉”理论是中医气机理论的核心内容。该理论将药类法象与气机升降联系,强调人体气机动态平衡是维持健康的关键,代谢性疾病多与气机失调、清阳不升、浊阴不降有关。李东垣《内外伤辨惑论》中所创升阳益胃汤是治疗脾胃病的名方,其组方思路充分体现中药“升降浮沉”的机制。本文结合中药“升降浮沉”理论,探讨该方治疗代谢性疾病的证治机制,并附验案三则以资佐证。 展开更多
关键词 升降浮沉 升阳益胃汤 代谢性疾病 验案
暂未订购
RISC-V SBI固件安全启动过程的形式化验证
2
作者 杨叶倩 戴鸿君 《计算机研究与发展》 北大核心 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
超高速弹丸测速用夹层天幕靶电路设计与信号分析
3
作者 靳兴森 倪晋平 +1 位作者 田会 曹静 《光学与光电技术》 2026年第1期111-118,共8页
针对常规天幕靶受光电探测器件和信号处理电路的频率响应特性限制无法测量超高速弹丸的问题,提出夹层天幕靶测速技术。采用一个镜头搭配双狭缝光阑板,在空间形成两个具有一定角度的探测光幕,当超高速弹丸穿过两个光幕时,过幕时间得以延... 针对常规天幕靶受光电探测器件和信号处理电路的频率响应特性限制无法测量超高速弹丸的问题,提出夹层天幕靶测速技术。采用一个镜头搭配双狭缝光阑板,在空间形成两个具有一定角度的探测光幕,当超高速弹丸穿过两个光幕时,过幕时间得以延长。选用高速PIN型Si光电二极管,配合跨阻型前级放大电路实现弹丸过幕信号的获取。推导了夹层光幕的灵敏度公式,分析了弹丸过幕信号特性,通过模拟等效试验和实弹试验验证,夹层天幕靶能够延长弹丸过幕时间,降低了后续电路对频率响应特性的要求,实现超高速弹丸的测量,为超高速弹丸初速测量提供了实用方案。 展开更多
关键词 兵器靶场测试 超高速弹丸测速 夹层天幕靶 过幕特征信号分析
原文传递
基于模态应力法的某厢型车车身疲劳分析
4
作者 潘振 王乾勋 +3 位作者 崔震 韩辉 甄学聪 王清涛 《汽车实用技术》 2026年第5期60-64,共5页
当前业内普遍采用的准静态疲劳分析方法,流程简单、资源占用率低,但无法考虑模态对疲劳损伤的影响,当结构固有频率和外载频率接近时,便无法准确预测疲劳寿命。文章以某厢型车为研究对象,基于模态应力恢复法,以虚拟试验场(VPG)技术获得... 当前业内普遍采用的准静态疲劳分析方法,流程简单、资源占用率低,但无法考虑模态对疲劳损伤的影响,当结构固有频率和外载频率接近时,便无法准确预测疲劳寿命。文章以某厢型车为研究对象,基于模态应力恢复法,以虚拟试验场(VPG)技术获得车身各阶模态坐标为输入,通过疲劳软件对车身进行疲劳寿命预测。结果表明,基于模态应力恢复的疲劳分析可准确识别实际失效位置,该方法可在产品研发阶段准确预估车身疲劳寿命,为车身设计及结构优化提供理论依据。 展开更多
关键词 疲劳分析 虚拟试验场 模态应力 模态坐标
在线阅读 下载PDF
河北省矿产资源确权登记三维模式探索及实践
5
作者 邢晓达 刘慎栋 +3 位作者 田东坡 霍伟奇 姜诺涵 李浚川 《自然资源信息化》 2026年第1期69-75,共7页
探明储量的矿产资源确权登记三维探索对于更加直观地划清矿产资源“四条边界”、明确矿产资源产权主体、推动矿产资源资产化管理与产权明晰化、实现矿产资源确权登记具有重要意义。本文立足河北省省级探明储量的矿产资源确权登记工作实... 探明储量的矿产资源确权登记三维探索对于更加直观地划清矿产资源“四条边界”、明确矿产资源产权主体、推动矿产资源资产化管理与产权明晰化、实现矿产资源确权登记具有重要意义。本文立足河北省省级探明储量的矿产资源确权登记工作实践和应用,选取宁晋段家庄石盐矿、沙河中关铁矿作为试点,系统开展了三维建模与三维可视化等技术方法的探索与应用。围绕资料收集、资料分析、三维建模等关键登记流程,梳理并总结了一系列需要注意的技术问题。研究分析了当前矿产资源确权登记过程中在多源资料利用及登记单元优化、模型精度控制、登记簿优化、自然资源数据库优化等方面存在的挑战,并针对性地提出了推动数据共享、优化建模方法、明确三维登记规范等建议。本文不仅为河北省推进矿产资源确权登记提供了切实可行的三维技术路径和实践参考,也对其他地区类似工作的开展具有重要的借鉴意义。 展开更多
关键词 探明储量 矿产资源 确权登记 三维建模
在线阅读 下载PDF
InequalityProve及一个公开问题的求解 被引量:1
6
作者 邵俊伟 侯晓荣 《计算机工程与科学》 CSCD 北大核心 2011年第6期114-117,共4页
传统的不等式自动证明方法主要依赖于符号计算,一般只能处理代数类型,或可最终转化为代数类型的不等式,而且效率会随着问题中变量个数的增加迅速降低。为克服这些局限性以满足众多实际问题的需要,并充分挖掘计算机在数值计算方面的能力... 传统的不等式自动证明方法主要依赖于符号计算,一般只能处理代数类型,或可最终转化为代数类型的不等式,而且效率会随着问题中变量个数的增加迅速降低。为克服这些局限性以满足众多实际问题的需要,并充分挖掘计算机在数值计算方面的能力,我们提出以区间分析为工具进行不等式的自动证明。该方法可以处理类型更为一般的不等式,只需对应的函数具有所需的高阶连续可微性质,并且该方法易于实现并行化。本文主要介绍这一方法在Maple系统上的实现,即InequalityProve,并以一个公开问题为例详细说明运用InequalityProve进行不等式证明的一般过程。 展开更多
关键词 区间分析 不等式 自动证明
在线阅读 下载PDF
Status-quo of proved oil/gas initially-in-place in China as of 2020 and its variation trend in the past decade 被引量:1
7
作者 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
The New Standards System for Processing Food to Be Proved
8
《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
原文传递
基于用户数据的整车结构耐久“试验场-用户”关联特性分析 被引量:1
9
作者 赵礼辉 徐晓宇 +2 位作者 翁硕 刘东俭 张东东 《汽车工程》 北大核心 2025年第8期1634-1645,共12页
基于现有试验场结构耐久规范难以全面捕捉实际用户运行条件下的复杂载荷特性,导致试验场工况与用户工况之间存在差异,本文以用户大数据为基础,分析了用户结构耐久工况特征并进一步研究了“试验场-用户”关联特性。首先,对用户数据进行... 基于现有试验场结构耐久规范难以全面捕捉实际用户运行条件下的复杂载荷特性,导致试验场工况与用户工况之间存在差异,本文以用户大数据为基础,分析了用户结构耐久工况特征并进一步研究了“试验场-用户”关联特性。首先,对用户数据进行预处理并采用多元时序自适应分割方法构建用户运行片段,从时域、频域和损伤3个角度构建片段特征参数。其次,采用线性和非线性两种方法进行特征参数降维,基于K-Means聚类算法将用户的运行片段划分为6类典型工况,进一步探讨了各典型工况的运行特征、损伤贡献及不同城市用户数据的差异性。最后,通过试验场强化路面和典型工况的映射关系进行相似性分析;通过损伤目标、功率谱密度、外推雨流进行差异性分析,结合“损伤等级-车速”联合分布对产生差异的原因进行探讨。研究成果为用户使用条件下试验场整车结构耐久性试验工况的选取、全寿命周期目标的确定和现有试验场规范的优化提供了参考和依据。 展开更多
关键词 用户运行大数据 结构耐久 工况特征 试验场与用户关联
在线阅读 下载PDF
prove用法简述
10
作者 陈锁兆 《中学英语园地(高中一二年级)》 2004年第2期10-11,共2页
关键词 prove 用法 动词 词义 高中 英语 知识点
在线阅读 下载PDF
教育评价最重要的意图不是为了证明(PROVE)而是为了改进(IMPROVE)——中小学教育质量综合评价改革研讨会
11
《基础教育论坛》 2017年第9X期2-2,65,共2页
关键词 中小学 IMprove prove 综合评价 研讨会
在线阅读 下载PDF
PROVE—IT证实LDL胆固醇“越低越好”的假说是正确的
12
作者 景新 《国外药讯》 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
13
作者 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
暂未订购
论刑事涉案财物处理程序的证明机制 被引量:2
14
作者 肖沛权 《政法论丛》 北大核心 2025年第5期120-131,共12页
具有诉讼化特征是刑事涉案财物处理程序司法证明的前提,而诉讼化的刑事涉案财物处理程序应当具有相对独立性。刑事涉案财物处理程序属于刑事诉讼程序。构建刑事涉案财物处理程序的证明机制是完善涉案财物处理程序的重要内容。刑事涉案... 具有诉讼化特征是刑事涉案财物处理程序司法证明的前提,而诉讼化的刑事涉案财物处理程序应当具有相对独立性。刑事涉案财物处理程序属于刑事诉讼程序。构建刑事涉案财物处理程序的证明机制是完善涉案财物处理程序的重要内容。刑事涉案财物处理程序的待证事实应当包括违法所得、供犯罪所用的本人财物以及违禁品,而不包括犯罪事实。应当明确由检察机关承担证明责任。为了防止利害关系人随意提出主张,应要求利害关系人承担初步责任,这种初步责任属于推动诉讼的责任。基于公正分配证明责任的需要以及立法政策上的考量,可在毒品犯罪、走私犯罪、涉黑犯罪等犯罪类型中设置推定规则。刑事涉案财物处理程序的证明标准应当比定罪证明标准有所降低,但应高于民事诉讼中的证明标准,即达到“清晰且令人信服”的程度,用概率表示,则为75%以上。 展开更多
关键词 涉案财物处理程序 证明机制 待证事实 证明责任 证明标准
在线阅读 下载PDF
斯托克斯定理的形式化及其初步应用
15
作者 刘永梅 王国辉 +3 位作者 关永 张景芝 施智平 董璐 《计算机工程与科学》 北大核心 2025年第6期1050-1061,共12页
斯托克斯定理是场论中的重要定理之一,它在流体力学、电磁学等领域都有广泛的应用。然而在实际应用中,斯托克斯定理前提条件的满足往往得不到正式的验证,这就存在一定的风险。因此,有必要对斯托克斯定理进行验证。基于斯托克斯定理的数... 斯托克斯定理是场论中的重要定理之一,它在流体力学、电磁学等领域都有广泛的应用。然而在实际应用中,斯托克斯定理前提条件的满足往往得不到正式的验证,这就存在一定的风险。因此,有必要对斯托克斯定理进行验证。基于斯托克斯定理的数学定义,构建其形式化模型,通过分析斯托克斯定理的数学证明过程,得出其形式化证明推导思路,根据分析、构建和验证目标,完成定理的形式化证明,最后将斯托克斯定理证明应用到管道流量设计模型的验证中。 展开更多
关键词 形式化验证 定理证明 斯托克斯定理 HOL Light
在线阅读 下载PDF
Finns Proved Best
16
作者 郝昌明 《中学英语园地(八九年级适用)》 2005年第Z1期43-45,共3页
关键词 Finns proved Best
在线阅读 下载PDF
四川盆地大庆探区震旦系—寒武系深层天然气勘探潜力分析与实践
17
作者 宫宝 陈欣 +4 位作者 张迪 马威奇 马新海 隋立伟 杨春宇 《大庆石油地质与开发》 北大核心 2025年第2期11-18,共8页
四川盆地大庆探区震旦系—寒武系发育多套含气层系,但勘探潜力和有利区带分布不明。通过分析各层系生、储、盖等成藏主控因素,应用地质分析和地球物理一体化综合评价技术,对重点层系勘探潜力和有利区带进行研究。结果表明:震旦系灯影组... 四川盆地大庆探区震旦系—寒武系发育多套含气层系,但勘探潜力和有利区带分布不明。通过分析各层系生、储、盖等成藏主控因素,应用地质分析和地球物理一体化综合评价技术,对重点层系勘探潜力和有利区带进行研究。结果表明:震旦系灯影组四段发育2个长期继承性局部构造高带,通源断裂叠加有效储层控制油气富集,部署的HS5井获百万方天然气;震旦系灯影组二段发育次级台缘带,高能丘滩体经过桐湾期岩溶作用改造,形成优质富气储层;寒武系沧浪铺组、龙王庙组、洗象池组沉积时处于古地貌高部位,发育溶蚀孔洞型高能颗粒滩体,含气性好,部署GT1井进行立体揭示。研究成果确定了大庆探区震旦系—寒武系天然气地质资源量超万亿方,为下一步提交规模效益探明储量提供了指导。 展开更多
关键词 四川盆地 大庆探区 震旦系—寒武系 深层天然气 探明储量
在线阅读 下载PDF
中国石化页岩层系石油探明储量申报实践与思考
18
作者 张宇 李军 +3 位作者 王烽 张永 王敏 孙伟 《石油与天然气地质》 北大核心 2025年第6期1762-1777,共16页
页岩层系石油既是全球油气勘探理念变革和开发技术突破的新领域,也是支撑中国能源安全和接续油气稳产的新阵地。由于以往页岩层系主要被作为烃源岩进行评价,对其石油探明地质储量的估算缺乏可行方法和实践依据。为此,中国石化以2025年1... 页岩层系石油既是全球油气勘探理念变革和开发技术突破的新领域,也是支撑中国能源安全和接续油气稳产的新阵地。由于以往页岩层系主要被作为烃源岩进行评价,对其石油探明地质储量的估算缺乏可行方法和实践依据。为此,中国石化以2025年1月正式实施的《页岩层系石油储量估算规范》(DZ/T 0501—2025)为指导,依托水平井和直井-斜井优化部署,合理控制含油面积与有效厚度,并创新页岩岩心二维核磁分析方法等多项新技术,精准确定页岩物性、含油性参数,从而形成了一套科学、系统的页岩层系石油探明地质储量估算方法。应用上述技术,在济阳坳陷樊页平1区块与溱潼凹陷储家楼区块成功提交了中国石化首批页岩层系石油探明地质储量1.8×10^(8)t,检验了方法的准确性与有效性。基于申报实践,中国石化进一步形成了“加强勘探开发协同部署、取全取准评估资料、迭代升级储量评估方法、深化储量分类-分级评价”等四项页岩层系石油勘探开发新启示,提升了储量申报的质效。上述储量估算方法和勘探开发模式的创新,支撑了中国石化页岩层系石油探明地质储量申报从理论到实践的突破,为中国同类油藏的高效勘探开发提供了可复制的技术路径。 展开更多
关键词 勘探质效 溱潼凹陷 济阳坳陷 储量估算 探明地质储量 页岩层系石油
在线阅读 下载PDF
基于负载预测与能耗优化的刮板输送机速度控制方法
19
作者 汪卫兵 骆佳录 +3 位作者 李赖 赵栓峰 路正雄 李开放 《煤炭科学技术》 北大核心 2025年第10期259-268,共10页
针对综采工作面中刮板输送机因持续高速运转而导致的能源浪费和运输效率低下问题,结合双向割煤工艺,对刮板输送机的运行阶段进行了系统分析,建立了刮板输送机能耗模型,在此基础上提出了一种基于负载转矩预测与能耗优化相结合的速度控制... 针对综采工作面中刮板输送机因持续高速运转而导致的能源浪费和运输效率低下问题,结合双向割煤工艺,对刮板输送机的运行阶段进行了系统分析,建立了刮板输送机能耗模型,在此基础上提出了一种基于负载转矩预测与能耗优化相结合的速度控制方法。首先,建立煤量模型,描述煤量随运行工况变化的动态特性。随后,结合刮板输送机的运行阻力特性,明确煤量、驱动力与运行阻力之间的关系,构建刮板输送机的能耗模型。为应对综采工作面复杂多变的运行工况,引入粗糙径向基神经网络(Rough Radial Basis Function Neural Network, RRBFNN),对刮板输送机负载转矩进行精确预测,生成优化模型所需的关键输入变量。在此基础上,采用改进的粒子群优化算法(PSO),以能耗最小化为目标,对刮板输送机的运行速度进行优化,改进算法在引入动态惯性因子的同时,平衡了全局搜索与局部搜索能力,从而提高了优化的精度与收敛效率。最后,结合榆家梁43101综采工作面的实际数据对本文方法进行了验证。结果表明:该速度控制方法能够在一个生产循环中有效降低刮板输送机的能耗10.42%。 展开更多
关键词 刮板输送机 智能调速 能耗模型 粗糙径向基神经网络 改进粒子群算法
在线阅读 下载PDF
张曾譻教授辨治斑秃临床验案
20
作者 张秀君 边晓红 +2 位作者 任永丽 张曾譻 任明 《中国医药指南》 2025年第12期149-151,共3页
斑秃是一种皮肤科常见的自身免疫性疾病,名老中医张曾譻教授对斑秃的治疗临床经验丰富,张教授认为其病机不外乎本虚标实,肝、肾、脾、心亏虚为本,痰、湿、瘀等邪实为标。故临证时需切中病机,标本兼顾,方可效如桴鼓。
关键词 斑秃 本虚标实 验案 张曾譻
暂未订购
上一页 1 2 104 下一页 到第
使用帮助 返回顶部