不等式机器证明的降维算法与通用程序 被引量：30

1

作者 杨路 《高技术通讯》 EI CAS CSCD 1998年第7期20-25,共6页

提出了降维算法，它能有效地处理带参数的根式，将维数控制在最小限度。据此编成的通用程序已在ＰＣ机上验证了４００多个具有相当难度的代数和几何的不等式，对Ｂｏｔｅｍａ的《几何不等式》一书中１２０个基本不等式的验证仅用时２０... 提出了降维算法，它能有效地处理带参数的根式，将维数控制在最小限度。据此编成的通用程序已在ＰＣ机上验证了４００多个具有相当难度的代数和几何的不等式，对Ｂｏｔｅｍａ的《几何不等式》一书中１２０个基本不等式的验证仅用时２０几秒。 展开更多

关键词 降维算法 结式 临界曲面 判别曲面 机器证明

下载PDF 职称材料

基于临界曲面的改进Paris定律球轴承疲劳寿命预测方法 被引量：14

2

作者 徐东 徐永成 +2 位作者 陈循 李兴林 杨拥民 《机械工程学报》 EI CAS CSCD 北大核心 2011年第2期51-57,共7页

通过场发射扫描电镜对球轴承疲劳故障点微观结构进行观察,发现裂纹总是沿着某个曲面进行萌生和扩展,扩展到一定程度后发生断裂形成近似椭圆形状的剥落点,随着球轴承的运转,不仅断裂后的裂纹发生二次剥落,而且剥落点将在新的曲面上发生... 通过场发射扫描电镜对球轴承疲劳故障点微观结构进行观察,发现裂纹总是沿着某个曲面进行萌生和扩展,扩展到一定程度后发生断裂形成近似椭圆形状的剥落点,随着球轴承的运转,不仅断裂后的裂纹发生二次剥落,而且剥落点将在新的曲面上发生多次剥落,形成断层形貌。基于此种现象,提出球轴承临界曲面的概念,假定裂纹的萌生和扩展均在此临界曲面上,将三维裂纹扩展问题转化为二维裂纹扩展问题进行分析。在临界曲面概念的基础上,提出改进的Paris疲劳寿命预测模型,将疲劳寿命分为裂纹扩展和剥落点增大两部分,分段采用改进的Paris定律预测球轴承的疲劳寿命。通过多套SKF 6205深沟球轴承疲劳寿命试验数据进行验证,与传统的SKF L-P公式预测结果相比,提出的方法能够较好地预测球轴承的疲劳寿命。 展开更多

关键词 临界曲面 PARIS 定律 疲劳寿命预测 预测模型 球轴承

下载PDF 职称材料

混凝土系列K判据及其临界曲面 被引量：4

3

作者 徐道远 符晓陵 《工程力学》 EI CSCD 1996年第A02期38-43,共6页

Ｋ判据是断裂力学的常用判据，由于裂缝扩展形态可能是单一的，也可能是复合型的，故其相应判据式中的临界值Ｋｃ可能是一个临界值，一条临界曲线或一个临界面曲，对一种材料而言，临界曲面及其相应的三维断裂判据式是最全面的，二维断... Ｋ判据是断裂力学的常用判据，由于裂缝扩展形态可能是单一的，也可能是复合型的，故其相应判据式中的临界值Ｋｃ可能是一个临界值，一条临界曲线或一个临界面曲，对一种材料而言，临界曲面及其相应的三维断裂判据式是最全面的，二维断裂临界曲线及一维断裂临界点为其特殊的退化情况。本文用一种单边裂缝方形混凝土试件进行了各种单一型和复合型断裂破坏试验，由大量试验数据得出了一个全面的混凝土系列Ｋ判据及其相应的临界曲面。 展开更多

关键词 断裂力学 K判据 临界曲面 混凝土

下载PDF 职称材料

混凝土压缩条件下三维断裂临界曲面的试验研究 被引量：1

4

作者 王振波 许诗文 李明安 《河海大学学报（自然科学版）》 CAS CSCD 1997年第6期43-47,共5页

采用相同的单边裂缝方形短柱和统一的分步加载方式，对混凝土进行了压缩Ⅰ型、Ⅱ型、Ⅲ型及压缩条件下的各种复合型断裂测试，给出了Ⅰ－Ⅱ－Ⅲ复合型临界断裂全曲面．

关键词 压缩荷载 混凝土 断裂试验 临界曲面

下载PDF 职称材料

滚筒送经机构中的摩擦理论分析

5

作者 朱勇 郎军 朱苏康 《东华大学学报（自然科学版）》 CAS CSCD 北大核心 2003年第1期16-19,32,共5页

讨论了经纱上机张力较大和较小时经纱与送经滚筒表面不发生滑移的条件。在机械结构设计中要综合考虑压力、包围角和滚筒半径对防止纱线滑移的贡献。当压力、包围角和滚筒半径在某一范围内变化时,以临界曲面的方法寻找曲面上与坐标原点... 讨论了经纱上机张力较大和较小时经纱与送经滚筒表面不发生滑移的条件。在机械结构设计中要综合考虑压力、包围角和滚筒半径对防止纱线滑移的贡献。当压力、包围角和滚筒半径在某一范围内变化时,以临界曲面的方法寻找曲面上与坐标原点距离最小的点,以此点作为理论上的防滑移设计最优方案。 展开更多

关键词 滚筒送经机构 摩擦理论分析 滑移 临界曲面 织机

下载PDF 职称材料

一类非线性伪抛物系统的全局解与非全局解 被引量：1

6

作者 王开敏 李中平 《贵州师范大学学报（自然科学版）》 CAS 2018年第2期59-63,共5页

该文研究了一类非线性伪抛物系统u_t-Δu-αΔut=v^p,v_t-Δv-αΔvt=w^q,w_t-Δw-αΔw_t=u^r的全局解与非全局解,其中p,q,r>1。首先建立了Fujita临界曲面pqr=(pqr)_c,即证明了当1<pqr≤(pqr)_c时,该方程的任意解都在有限时刻爆... 该文研究了一类非线性伪抛物系统u_t-Δu-αΔut=v^p,v_t-Δv-αΔvt=w^q,w_t-Δw-αΔw_t=u^r的全局解与非全局解,其中p,q,r>1。首先建立了Fujita临界曲面pqr=(pqr)_c,即证明了当1<pqr≤(pqr)_c时,该方程的任意解都在有限时刻爆破;而当pqr>(pqr)_c时,方程既存在全局解又存在非全局解。而且根据初始值在无穷远处的衰减率,建立了第二临界曲面。 展开更多

关键词 Fujita临界曲面 第二临界曲面 全局存在 爆破

下载PDF 职称材料

混凝土复合型裂缝的断裂能及其判据研究 被引量：2

7

作者 刘梦和 王向东 《防灾减灾工程学报》 CSCD 北大核心 2013年第2期174-178,共5页

首先通过理论分析得到断裂能与能量释放率的关系,继而根据试验研究测出的单一型裂缝的断裂能,进行单一型裂缝断裂能与断裂韧度的相关性分析,得到了单一型裂缝的断裂能与能量释放率之间的关系,再进行数值模拟,获得混凝土复合型裂缝的断... 首先通过理论分析得到断裂能与能量释放率的关系,继而根据试验研究测出的单一型裂缝的断裂能,进行单一型裂缝断裂能与断裂韧度的相关性分析,得到了单一型裂缝的断裂能与能量释放率之间的关系,再进行数值模拟,获得混凝土复合型裂缝的断裂能。基于Ⅰ型、Ⅱ型、Ⅲ型、二维复合型(Ⅰ-Ⅱ、Ⅰ-Ⅲ、Ⅱ-Ⅲ)和三维复合型(Ⅰ-Ⅱ-Ⅲ)的应力强度因子断裂临界曲线和临界曲面(即完整的系列K判据),通过各复合型裂缝的断裂韧度,得到相应的能量释放率,进而获得复合型裂缝的断裂能,绘出断裂能临界曲线和曲面,从而建立了完整的系列断裂能G判据。 展开更多

关键词 混凝土断裂能 G判据 断裂能临界曲线 断裂能临界曲面

下载PDF 职称材料

非线性耦合的非局部扩散系统的临界曲面

8

作者 杨丽丽 李中平 《西华师范大学学报（自然科学版）》 2018年第3期263-270,共8页

研究了一类非线性耦合的非局部扩散系统ut=J*u-u+vp,vt=J*v-v+wq,wt=J*w-w+ur的柯西问题。首先根据是否存在全局解建立了Fujita曲面1<pqr≤(pqr)_c。即证明了:如果1<pqr≤(pqr)_c,其任意正解都在有限时刻爆破;而当pqr>(pqr)c时... 研究了一类非线性耦合的非局部扩散系统ut=J*u-u+vp,vt=J*v-v+wq,wt=J*w-w+ur的柯西问题。首先根据是否存在全局解建立了Fujita曲面1<pqr≤(pqr)_c。即证明了:如果1<pqr≤(pqr)_c,其任意正解都在有限时刻爆破;而当pqr>(pqr)c时,则既存在全局解也存在非全局解。然后根据初始值在无穷远处的衰减率建立了第二临界曲面。 展开更多

关键词 非局部扩散系统 Fujita临界曲面 第二临界曲面 全局存在 爆破

下载PDF 职称材料

复二维空间形式中曲率椭圆是圆的辛临界曲面

9

作者 何玲 田亭玉 《数学杂志》 2022年第1期14-26,共13页

本文研究了复二维空间形式中曲率椭圆是圆的辛临界曲面.利用活动标架法,获得了这类曲面是极小曲面的结果,丰富了辛临界曲面的内容.

关键词 辛临界曲面 曲率椭圆 极小曲面 复空间形式

下载PDF 职称材料

Khler曲面上的辛临界曲面

10

作者 韩小利 李嘉禹 孙俊 《中国科学：数学》 CSCD 北大核心 2016年第5期563-570,共8页

本文在辛曲面类中研究了泛函Lβ=∫Σ1cos^βαdμ,β≠-1.之前的研究曾推导了它的EulerLagrange方程,并把满足这个方程的曲面称为β辛临界曲面.当β=0时,得到的是极小曲面方程;当β≠0时,常Khler角极小曲面满足这个方程.特别地,全纯... 本文在辛曲面类中研究了泛函Lβ=∫Σ1cos^βαdμ,β≠-1.之前的研究曾推导了它的EulerLagrange方程,并把满足这个方程的曲面称为β辛临界曲面.当β=0时,得到的是极小曲面方程;当β≠0时,常Khler角极小曲面满足这个方程.特别地,全纯曲线或特殊Lagrange曲面满足这个方程.本文研究β辛临界曲面的一些性质. 展开更多

关键词 辛曲面 辛临界曲面 全纯曲线

原文传递

β-辛临界曲面上Kahler角的上界估计

11

作者 张煜夏 朱相荣 《数学进展》 CSCD 北大核心 2022年第1期136-142,共7页

对于Kahler曲面(M,g)上的β-辛临界曲面Σ,如果存在q>3使得L_(q)(Σ)有界,那么我们对Σ上的Kahler角给出一个上界估计,该估计只依赖于M,q,β和Σ的L_(q)泛函.当q>4时,这个估计是已知的,我们的结果推广了q的范围.

关键词 Kahler曲面 β-辛临界曲面 K?hler角 L 泛函

原文传递

基于临界空化曲面的空化监测系统设计 被引量：1

12

作者 林良有 张伟 吴玉林 《水力发电》 北大核心 2006年第7期58-60,共3页

空化监测目前还是一个国际性的难题,传统的监测方法需要用户分析大量繁琐的数据。为了使监测软件易于使用,从水轮机运转特性图上的等临界空化曲线出发,利用相应的插值算法得到临界空化曲面,并且根据所需监测的工况参数开发了一块可以连... 空化监测目前还是一个国际性的难题,传统的监测方法需要用户分析大量繁琐的数据。为了使监测软件易于使用,从水轮机运转特性图上的等临界空化曲线出发,利用相应的插值算法得到临界空化曲面,并且根据所需监测的工况参数开发了一块可以连续采样的PCI采集卡。该空化监测系统承担了所有的数据处理及分析,并且界面简单直观,用户操作非常方便,在实践中取得了较好的效果。 展开更多

关键词 空化监测 临界空化曲面 软件设计 信号采集卡

下载PDF 职称材料