期刊文献+
共找到2,036篇文章
< 1 2 102 >
每页显示 20 50 100
InequalityProve及一个公开问题的求解 被引量:1
1
作者 邵俊伟 侯晓荣 《计算机工程与科学》 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
2
作者 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
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
下载PDF
prove用法简述
4
作者 陈锁兆 《中学英语园地(高中一二年级)》 2004年第2期10-11,共2页
关键词 prove 用法 动词 词义 高中 英语 知识点
下载PDF
教育评价最重要的意图不是为了证明(PROVE)而是为了改进(IMPROVE)——中小学教育质量综合评价改革研讨会
5
《基础教育论坛》 2017年第9X期2-2,65,共2页
关键词 中小学 IMprove prove 综合评价 研讨会
下载PDF
PROVE—IT证实LDL胆固醇“越低越好”的假说是正确的
6
作者 景新 《国外药讯》 2004年第6期13-13,共1页
关键词 prove—IT LDL胆固醇 降脂药 他汀类药 临床试验
下载PDF
Examples on Proved Cases of National Traditional Chinese Medicine Master LI Shi-mao in Pingmai Differentiation(平脉辨证)and Treatment for Low Back Pain
7
作者 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
下载PDF
基于有限谓词追踪的民机系统需求一致性检查方法
8
作者 王鹏 岳舒婷 +1 位作者 张帆 董磊 《系统工程与电子技术》 EI CSCD 北大核心 2024年第1期205-218,共14页
针对民机安全关键系统在正向研发过程中,系统级需求的正确性难以在设计早期全部完成确认的问题,提出一种基于有限谓词追踪的功能需求一致性检查体系。首先,引入一阶逻辑中的谓词追踪,建立系统内部功能需求与交互功能需求形式化规约方法... 针对民机安全关键系统在正向研发过程中,系统级需求的正确性难以在设计早期全部完成确认的问题,提出一种基于有限谓词追踪的功能需求一致性检查体系。首先,引入一阶逻辑中的谓词追踪,建立系统内部功能需求与交互功能需求形式化规约方法。其次,针对单条、多条需求内容正确性以及需求关系一致性,构建需求一致性检查形式化规约,开展需求自冲突、集冲突与需求关系一致性检验,并生成可解释的检查反例进行需求迭代。最后,以机载平视显示(head-up display,HUD)系统飞行信息符号生成与显示功能为例,验证该方法的正确性与有效性。研究结果表明,基于有限谓词追踪的功能需求一致性检查方法能够提高需求一致性检查效率、降低研发成本,为民机系统级需求确认提供支持。 展开更多
关键词 需求一致性 定理证明 功能需求正确性 一阶逻辑 需求冲突
下载PDF
Finns Proved Best
9
作者 郝昌明 《中学英语园地(八九年级适用)》 2005年第Z1期43-45,共3页
关键词 Finns proved Best
下载PDF
基于改进YOLOv8的电缆复合绝缘结构内部缺陷太赫兹成像识别方法
10
作者 杨栋 朵文博 +3 位作者 李帅兵 李天耕 康永强 鲁怀伟 《高电压技术》 EI CAS CSCD 北大核心 2024年第9期4142-4151,共10页
电缆及其附件在制造和运行过程中容易产生内部缺陷,严重危害供电系统的安全。针对传统电缆复合绝缘结构内部缺陷检测方法的局限性,提出一种基于太赫兹时域光谱成像的目标识别检测方法。以交联聚乙烯电缆接头为研究对象,首先通过等效简化... 电缆及其附件在制造和运行过程中容易产生内部缺陷,严重危害供电系统的安全。针对传统电缆复合绝缘结构内部缺陷检测方法的局限性,提出一种基于太赫兹时域光谱成像的目标识别检测方法。以交联聚乙烯电缆接头为研究对象,首先通过等效简化,制作了含分层与金属杂质缺陷的电缆接头等效试验模型;然后分别对含缺陷的人工模型进行太赫兹频域成像和吸收谱成像检测,得到了相应的成像结果;最后,基于上述成像结果,采用改进型YOLOv8模型对不同缺陷图像进行分类识别,结果显示改进后的YOLOv8对电缆接头内部缺陷的检测精确度达到99.8%,联合交叉为0.5时的平均精确度达到99.5%,结果相较于传统方法显著提升。该文所提方法有助于将太赫兹检测技术和目标检测算法推广到对电缆复合绝缘结构内部缺陷的无损可视化检测,可有效辨别电缆复合绝缘内部存在缺陷类型和位置,并可推广至其他层状复合绝缘结构的内部缺陷检测。 展开更多
关键词 电缆 复合绝缘结构 太赫兹成像 缺陷识别 无损检测 改进YOLOv8
下载PDF
敛疮膏治疗热毒壅滞型褥疮验案评析
11
作者 谢文娟 张铭金 肖泽旭 《中国中医药现代远程教育》 2024年第18期85-87,共3页
文章列举自拟敛疮膏治疗热毒壅滞型褥疮验案两则,阐述热毒炽盛、气血壅滞是褥疮形成的重要病理变化。自拟敛疮膏方能清热凉血、解毒化瘀、敛疮生肌,是治疗热毒壅滞型褥疮的良方,其治疗热毒壅滞型褥疮的脉证特点为口干、发热、局部红肿... 文章列举自拟敛疮膏治疗热毒壅滞型褥疮验案两则,阐述热毒炽盛、气血壅滞是褥疮形成的重要病理变化。自拟敛疮膏方能清热凉血、解毒化瘀、敛疮生肌,是治疗热毒壅滞型褥疮的良方,其治疗热毒壅滞型褥疮的脉证特点为口干、发热、局部红肿热痛、皮肤破溃、舌红苔少或苔黄、脉数或滑。文章详述自拟敛疮膏治疗热毒壅滞型褥疮的内在机制并附验案两则,供同仁参考。同时,着重讨论了大黄在该方中的应用,提出大黄外用能清热解毒、活血通经、调和气血,药力平和而非寒凉过度,可以解毒、活血而不留瘀,即使是治疗高龄、体虚老人,只要用之合宜,亦能取得良效。 展开更多
关键词 席疮 褥疮 自拟敛疮膏方 验案
下载PDF
基于六经辨病浅析柴胡桂枝干姜汤证及验案举隅
12
作者 刘锐 崔书克 《光明中医》 2024年第15期3115-3118,共4页
“六经辨病”指的是一种中医临床诊疗思维。即先诊断疾病,分属六经病范畴,再辨别方证,寻找方证对应线索,一一对号入座,精准用药。柴胡桂枝干姜汤证属《伤寒论》六经病中少阳病范畴,临证首先把握少阳病特点,再结合其方证要点(往来寒热、... “六经辨病”指的是一种中医临床诊疗思维。即先诊断疾病,分属六经病范畴,再辨别方证,寻找方证对应线索,一一对号入座,精准用药。柴胡桂枝干姜汤证属《伤寒论》六经病中少阳病范畴,临证首先把握少阳病特点,再结合其方证要点(往来寒热、胸胁苦满、心烦、但头汗出、周身无汗、口渴而不呕、小便不利、大便溏泄等),适证选方,则药随方出。如此,病证方药,环环相扣,病下是证,证下是方,药出方下,呈无缝对接,具有精准性及可重复性,更有助提高临证有效率。 展开更多
关键词 六经辨病 《伤寒论》 少阳病 柴胡桂枝干姜汤 经方 验案
下载PDF
关于高阶差等比数列通项公式的证明
13
作者 戴中林 《大学数学》 2024年第2期106-109,共4页
针对高阶差等比数列这一崭新课题的研究,近年来不少文章得到了多种不同形式的通项公式,本文利用《大学数学》上已证明的高阶差等比数列通项公式,对《数学通报》以及《高等数学研究》上未予证明的两个通项公式进行了完整而严格的证明.
关键词 逐差法 高阶差等比数列 通项公式 完全归纳法 证明
下载PDF
补肾活血法治疗围绝经期综合征验案举隅 被引量:1
14
作者 张彤 王慧 杨慧 《光明中医》 2024年第1期160-163,共4页
围绝经期综合征(Perimenopausal syndrome,PMS)是指女性在绝经前后出现的一系列躯体及心理精神的症状,多由激素的波动或减少引起卵巢功能逐渐减退所致的妇科常见疾病。作者有幸在跟随杨慧老师出诊学习的过程中,发现老师治疗PMS基于肾气... 围绝经期综合征(Perimenopausal syndrome,PMS)是指女性在绝经前后出现的一系列躯体及心理精神的症状,多由激素的波动或减少引起卵巢功能逐渐减退所致的妇科常见疾病。作者有幸在跟随杨慧老师出诊学习的过程中,发现老师治疗PMS基于肾气、天癸、冲任理论,以补肾活血为治疗法则,自拟归肾逐瘀汤为基础方,根据辨证论治随证加减,屡奏效验,感触颇深。文章采纳门诊经典医案,探析杨慧老师对于PMS的诊疗经验,以期丰富中医药治疗妇科疾病的思路。 展开更多
关键词 经断前后诸证 围绝经期综合征 补肾活血 验案 杨慧
下载PDF
策略动态组合优化多元演绎算法及应用
15
作者 郭海林 曹锋 +2 位作者 易见兵 李俊 吴贯锋 《浙江大学学报(理学版)》 CAS CSCD 北大核心 2024年第6期732-739,共8页
一阶逻辑自动定理证明是人工智能领域重要的研究分支,其中子句选择策略对于提升定理证明能力具有重要作用。多元矛盾体分离演绎具有许多良好的演绎特性。为更好地指导多元演绎中的子句选择,提出了一种策略动态组合优化多元演绎方法,通... 一阶逻辑自动定理证明是人工智能领域重要的研究分支,其中子句选择策略对于提升定理证明能力具有重要作用。多元矛盾体分离演绎具有许多良好的演绎特性。为更好地指导多元演绎中的子句选择,提出了一种策略动态组合优化多元演绎方法,通过将子句文字数大小和函数项深度进行动态组合并迭代优化,在充分发掘现有多元演绎启发式策略的同时,提升策略应对不同问题的自适应性,实现多元演绎中的子句高效选择。基于该方法给出了相应的算法实现,根据不同问题的演绎过程动态调整子句的选择策略,提升了多元演绎的定理证明能力。同时,将该算法应用于国际先进的证明器Eprover 2.6,形成了改进的证明器SDCO_E,进一步通过2组实验评估SDCO_E的性能。实验1用2021—2023年国际一阶逻辑自动定理证明器竞赛组的共1500个问题进行测试,结果表明,SDCO_E比Eprover 2.6多证明了35个问题,证明定理总数增加了3.06%;实验2用TPTP库中难度系数为1的问题进行测试,结果表明,SDCO_E能证明其他证明器无法证明的6个数论与集合论领域的问题。实验结果表明,策略动态组合优化多元演绎算法能有效应用于一阶逻辑自动定理证明。 展开更多
关键词 一阶逻辑 定理证明 人工智能 多元演绎 组合优化
下载PDF
基于改进SSA-LSTM模型的双曲度板材成形回弹预测
16
作者 蔡一杰 刘玲 +3 位作者 钟飞 胡勇 张云东 杨小俊 《舰船科学技术》 北大核心 2024年第16期51-55,共5页
为了准确预测双曲度板材成形回弹量,控制板材加工成形质量,利用ABAQUS有限元软件对板材成形回弹过程进行仿真,构建长短时记忆网络模型(LSTM)。针对麻雀搜索算法(SSA)容易陷入局部最优的问题,提出基于Circle混沌映射、反向学习、高斯与... 为了准确预测双曲度板材成形回弹量,控制板材加工成形质量,利用ABAQUS有限元软件对板材成形回弹过程进行仿真,构建长短时记忆网络模型(LSTM)。针对麻雀搜索算法(SSA)容易陷入局部最优的问题,提出基于Circle混沌映射、反向学习、高斯与柯西变异扰动的改进麻雀搜索算法,优化LSTM模型的学习率、迭代次数、隐藏层神经元个数,并将模型与BP神经网络模型、LSTM模型和普通SSA-LSTM模型进行对比分析。结果表明,该模型对双曲度板材成形回弹预测达到整体最优预测效果,具有一定有效性和可行性。 展开更多
关键词 双曲度板 回弹预测 有限元 长短时记忆网络 改进麻雀搜索算法
下载PDF
滋水清肝饮治疗阴虚肝郁型甲亢
17
作者 赵玉婷 王妍 佟杰 《光明中医》 2024年第18期3767-3769,共3页
甲状腺功能亢进症,是由于甲状腺合成释放过多的甲状腺激素,造成机体代谢亢进、兴奋性增高的一组临床综合征。中医将该病归属于“瘿病、瘿气”,认为情志不遂,肝郁化火,火旺伤阴,聚液为痰,发为瘿病,选用滋水清肝饮加减治疗。滋水清肝饮源... 甲状腺功能亢进症,是由于甲状腺合成释放过多的甲状腺激素,造成机体代谢亢进、兴奋性增高的一组临床综合征。中医将该病归属于“瘿病、瘿气”,认为情志不遂,肝郁化火,火旺伤阴,聚液为痰,发为瘿病,选用滋水清肝饮加减治疗。滋水清肝饮源于《医宗己任编》,由六味地黄丸和丹栀逍遥散加减演变而来,佟杰教授擅长运用此方治疗阴虚肝郁型甲亢,临床疗效良好。特此总结佟教授经验并附验案1则,为临床治疗甲亢提供更多方向及思路。 展开更多
关键词 瘿病 甲状腺功能亢进症 滋水清肝饮 验案
下载PDF
中医治疗新型冠状病毒肺炎发热案例3则
18
作者 朱广领 崔应麟 +2 位作者 黄琳 李松伟 陈乾 《中国中医药现代远程教育》 2024年第19期77-80,共4页
发热是新型冠状病毒肺炎(简称“新冠肺炎”)常见症状,中医辨证施治,收效甚佳。兹掇验案3则,表而出之。案例1中年女性,新冠肺炎患者,反复高热,治以宣肺清热、痰通腑,1剂显效,间断调治,预后良好。案例2老年妇人,新冠肺炎患者,年老体弱,担... 发热是新型冠状病毒肺炎(简称“新冠肺炎”)常见症状,中医辨证施治,收效甚佳。兹掇验案3则,表而出之。案例1中年女性,新冠肺炎患者,反复高热,治以宣肺清热、痰通腑,1剂显效,间断调治,预后良好。案例2老年妇人,新冠肺炎患者,年老体弱,担忧恐惧,低热缠绵,予清透邪热、辟秽化浊调治,症状显著好转,避免了向重症转化。案例3高龄产妇,新冠肺炎患者,热势不退,予宣肺清热、化痰凉血、健脾安胎之治,紧扣病机,化裁古方,收效甚捷。 展开更多
关键词 新型冠状病毒肺炎 发热 中医药疗法 验案
下载PDF
基于FEM与MBD的商用车驾驶室疲劳耐久性分析
19
作者 田佳伟 何水龙 +1 位作者 陈志宁 刘凯扬 《机械设计与制造》 北大核心 2024年第1期113-118,共6页
为提高商用车驾驶室疲劳仿真与强化路耐久试验的关联性,以某(6×4)牵引车驾驶室为研究对象,提出一种将实测路谱与虚拟仿真相结合的疲劳耐久分析方法。在Hypermesh中建立含配重加载的驾驶室有限元模型,并应用惯性释放法获得其单位载... 为提高商用车驾驶室疲劳仿真与强化路耐久试验的关联性,以某(6×4)牵引车驾驶室为研究对象,提出一种将实测路谱与虚拟仿真相结合的疲劳耐久分析方法。在Hypermesh中建立含配重加载的驾驶室有限元模型,并应用惯性释放法获得其单位载荷下应力分布结果。采用Adams/car软件搭建驾驶室-车架刚柔耦合多体动力学模型,以试验场实车采集的驾驶室气囊悬置位移、加速度信号作为期望信号,通过Femfat-Lab虚拟迭代获取其疲劳分析载荷谱。基于Miner线性疲劳累积损伤理论在nCode中进行疲劳仿真分析,结果表明:导流罩支架等疲劳破坏部位与试验场路试结果基本一致,所提出的疲劳分析方法对研究汽车系统级疲劳耐久性具有重要的参考价值。 展开更多
关键词 试验场测试 有限元 多体动力学 虚拟迭代 疲劳分析
下载PDF
零知识证明递归与复合技术研究综述
20
作者 张宗洋 周子博 邓燚 《计算机学报》 EI CAS CSCD 北大核心 2024年第10期2466-2490,共25页
零知识证明作为一种重要的密码学协议,是实现数据安全流通的关键技术之一.其允许证明者向验证者证明某个断言的正确性,而又不泄露任何额外信息.零知识证明所描述的断言可划分成代数断言、非代数断言和复合断言,而递归与复合技术可以极... 零知识证明作为一种重要的密码学协议,是实现数据安全流通的关键技术之一.其允许证明者向验证者证明某个断言的正确性,而又不泄露任何额外信息.零知识证明所描述的断言可划分成代数断言、非代数断言和复合断言,而递归与复合技术可以极大地提高零知识证明协议的性能并深入拓展其功能,是当前的研究热点.本文系统且全面地研究了零知识证明的递归与复合技术.首先,在针对代数断言的递归零知识证明方面,全面研究了关于内积关系的递归零知识证明协议,并从证明复杂度、通信复杂度、验证复杂度等角度对比分析了基于Pedersen承诺方案的内积论证协议.其次,在针对非代数断言的递归零知识证明方面,全面梳理了增量可验证计算方案与基于电路的证明系统组合这两种主流应用的研究现状,并对比分析了增量可验证计算方案的复杂度、关键技术及实现方案等.然后,在针对复合断言的复合零知识证明方面,从复杂度、启动阶段、关键模块等角度对比分析了承诺并证明的零知识证明协议.最后,给出了零知识证明递归与复合技术的未来研究方向. 展开更多
关键词 零知识证明 递归零知识证明 内积论证 增量可验证计算方案 复合零知识证明 承诺并证明的零知识证明
下载PDF
上一页 1 2 102 下一页 到第
使用帮助 返回顶部