Status-quo of proved oil/gas initially-in-place in China as of 2020 and its variation trend in the past decade

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.

The New Standards System for Processing Food to Be Proved

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.

Examples on Proved Cases of National Traditional Chinese Medicine Master LI Shi-mao in Pingmai Differentiation(平脉辨证)and Treatment for Low Back Pain

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.

InequalityProve及一个公开问题的求解

传统的不等式自动证明方法主要依赖于符号计算,一般只能处理代数类型,或可最终转化为代数类型的不等式,而且效率会随着问题中变量个数的增加迅速降低。为克服这些局限性以满足众多实际问题的需要,并充分挖掘计算机在数值计算方面的能力,我们提出以区间分析为工具进行不等式的自动证明。该方法可以处理类型更为一般的不等式,只需对应的函数具有所需的高阶连续可微性质,并且该方法易于实现并行化。本文主要介绍这一方法在Maple系统上的实现,即InequalityProve,并以一个公开问题为例详细说明运用InequalityProve进行不等式证明的一般过程。

Tone Task Proves Blind Hear Better--Early vision loss leads to keener hearing

盲人音乐家的才华洋溢是纯属巧合,还是由于潜能的凝聚呢?加拿大的科学家们发现:年幼失明的盲者对于乐音变化的察觉能力确实远远强于后天失明者及普通人。

Women Prove Theil Mayoral Qualifications

OF the 517 large and small cities in the country, more than 300 have women mayors and vice mayors. These women play an important role in the construction and development of their cities. Ordinary Chinese people like to call their local officials "father-and- mother officials," but these

Link Proved Between Senses and Memory

某种气味和声音可以使人回想起过去发生的事件的全部情景。现今神经系统科学家对这一现象做出了这样一种解释:关键在于一层叫做“海马状突起”(hippocampus)的组织,如果一种感官受到刺激并唤起了记忆,那么以其它感官为特征的记忆也会随之被唤起。科学家们对此做了实验,具体研究视觉和嗅觉是怎样唤起人们对过去的回忆。

An Improvement of Herbrand's Theorem and Its Application to Model Generation Theorem Proving

This paper presents an improvement of Herbrand's theorem.We propose a method for specifying a subuniverse of the Herbrand universe of a clause set S for each argument of predicate symbols and function symbols in S.We prove that a clause set S is unsatisfiable if and only if there is a finite unsatisfiable set of ground instances of clauses of S that are derived by only instantiating each variable,which appears as an argument of predicate symbols or function symbols,in S over its corresponding argument's sub-universe of the Herbrand universe of S.Because such sub-universes are usually smaller(sometimes considerably)than the Herbrand universe of S,the number of ground instances may decrease considerably in many cases.We present an algorithm for automatically deriving the sub-universes for arguments in a given clause set,and show the correctness of our improvement.Moreover,we introduce an application of our approach to model generation theorem proving for non-range-restricted problems,show the range-restriction transformation algorithm based on our improvement and provide examples on benchmark problems to demonstrate the power of our approach.

基于有限谓词追踪的民机系统需求一致性检查方法

针对民机安全关键系统在正向研发过程中,系统级需求的正确性难以在设计早期全部完成确认的问题,提出一种基于有限谓词追踪的功能需求一致性检查体系。首先,引入一阶逻辑中的谓词追踪,建立系统内部功能需求与交互功能需求形式化规约方法。其次,针对单条、多条需求内容正确性以及需求关系一致性,构建需求一致性检查形式化规约,开展需求自冲突、集冲突与需求关系一致性检验,并生成可解释的检查反例进行需求迭代。最后,以机载平视显示(head-up display,HUD)系统飞行信息符号生成与显示功能为例,验证该方法的正确性与有效性。研究结果表明,基于有限谓词追踪的功能需求一致性检查方法能够提高需求一致性检查效率、降低研发成本,为民机系统级需求确认提供支持。

基于改进YOLOv8的电缆复合绝缘结构内部缺陷太赫兹成像识别方法

电缆及其附件在制造和运行过程中容易产生内部缺陷,严重危害供电系统的安全。针对传统电缆复合绝缘结构内部缺陷检测方法的局限性,提出一种基于太赫兹时域光谱成像的目标识别检测方法。以交联聚乙烯电缆接头为研究对象,首先通过等效简化,制作了含分层与金属杂质缺陷的电缆接头等效试验模型;然后分别对含缺陷的人工模型进行太赫兹频域成像和吸收谱成像检测,得到了相应的成像结果;最后,基于上述成像结果,采用改进型YOLOv8模型对不同缺陷图像进行分类识别,结果显示改进后的YOLOv8对电缆接头内部缺陷的检测精确度达到99.8%,联合交叉为0.5时的平均精确度达到99.5%,结果相较于传统方法显著提升。该文所提方法有助于将太赫兹检测技术和目标检测算法推广到对电缆复合绝缘结构内部缺陷的无损可视化检测,可有效辨别电缆复合绝缘内部存在缺陷类型和位置,并可推广至其他层状复合绝缘结构的内部缺陷检测。

敛疮膏治疗热毒壅滞型褥疮验案评析

文章列举自拟敛疮膏治疗热毒壅滞型褥疮验案两则,阐述热毒炽盛、气血壅滞是褥疮形成的重要病理变化。自拟敛疮膏方能清热凉血、解毒化瘀、敛疮生肌,是治疗热毒壅滞型褥疮的良方,其治疗热毒壅滞型褥疮的脉证特点为口干、发热、局部红肿热痛、皮肤破溃、舌红苔少或苔黄、脉数或滑。文章详述自拟敛疮膏治疗热毒壅滞型褥疮的内在机制并附验案两则,供同仁参考。同时,着重讨论了大黄在该方中的应用,提出大黄外用能清热解毒、活血通经、调和气血,药力平和而非寒凉过度,可以解毒、活血而不留瘀,即使是治疗高龄、体虚老人,只要用之合宜,亦能取得良效。

基于六经辨病浅析柴胡桂枝干姜汤证及验案举隅

“六经辨病”指的是一种中医临床诊疗思维。即先诊断疾病,分属六经病范畴,再辨别方证,寻找方证对应线索,一一对号入座,精准用药。柴胡桂枝干姜汤证属《伤寒论》六经病中少阳病范畴,临证首先把握少阳病特点,再结合其方证要点(往来寒热、胸胁苦满、心烦、但头汗出、周身无汗、口渴而不呕、小便不利、大便溏泄等),适证选方,则药随方出。如此,病证方药,环环相扣,病下是证,证下是方,药出方下,呈无缝对接,具有精准性及可重复性,更有助提高临证有效率。

关于高阶差等比数列通项公式的证明

针对高阶差等比数列这一崭新课题的研究,近年来不少文章得到了多种不同形式的通项公式,本文利用《大学数学》上已证明的高阶差等比数列通项公式,对《数学通报》以及《高等数学研究》上未予证明的两个通项公式进行了完整而严格的证明.

补肾活血法治疗围绝经期综合征验案举隅

围绝经期综合征(Perimenopausal syndrome,PMS)是指女性在绝经前后出现的一系列躯体及心理精神的症状,多由激素的波动或减少引起卵巢功能逐渐减退所致的妇科常见疾病。作者有幸在跟随杨慧老师出诊学习的过程中,发现老师治疗PMS基于肾气、天癸、冲任理论,以补肾活血为治疗法则,自拟归肾逐瘀汤为基础方,根据辨证论治随证加减,屡奏效验,感触颇深。文章采纳门诊经典医案,探析杨慧老师对于PMS的诊疗经验,以期丰富中医药治疗妇科疾病的思路。

策略动态组合优化多元演绎算法及应用

一阶逻辑自动定理证明是人工智能领域重要的研究分支,其中子句选择策略对于提升定理证明能力具有重要作用。多元矛盾体分离演绎具有许多良好的演绎特性。为更好地指导多元演绎中的子句选择,提出了一种策略动态组合优化多元演绎方法,通过将子句文字数大小和函数项深度进行动态组合并迭代优化,在充分发掘现有多元演绎启发式策略的同时,提升策略应对不同问题的自适应性,实现多元演绎中的子句高效选择。基于该方法给出了相应的算法实现,根据不同问题的演绎过程动态调整子句的选择策略,提升了多元演绎的定理证明能力。同时,将该算法应用于国际先进的证明器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个数论与集合论领域的问题。实验结果表明,策略动态组合优化多元演绎算法能有效应用于一阶逻辑自动定理证明。

基于改进SSA-LSTM模型的双曲度板材成形回弹预测

为了准确预测双曲度板材成形回弹量,控制板材加工成形质量,利用ABAQUS有限元软件对板材成形回弹过程进行仿真,构建长短时记忆网络模型(LSTM)。针对麻雀搜索算法(SSA)容易陷入局部最优的问题,提出基于Circle混沌映射、反向学习、高斯与柯西变异扰动的改进麻雀搜索算法,优化LSTM模型的学习率、迭代次数、隐藏层神经元个数,并将模型与BP神经网络模型、LSTM模型和普通SSA-LSTM模型进行对比分析。结果表明,该模型对双曲度板材成形回弹预测达到整体最优预测效果,具有一定有效性和可行性。