基于Melan解的水平基床系数分析方法及工程运用 被引量：15

1

作者 胡琦 凌道盛 陈云敏 《岩土力学》 EI CAS CSCD 北大核心 2009年第1期33-39,共7页

弹性地基法具有概念清晰、过程简单等优点在深基坑设计中广为运用,合理选择土体水平基床系数是弹性地基法的关键因素。以往地基水平基床系数多依靠于经验取值,一些学者也曾经尝试采用mindlin解等一些经典的弹性解来确定地基水平基床系数... 弹性地基法具有概念清晰、过程简单等优点在深基坑设计中广为运用,合理选择土体水平基床系数是弹性地基法的关键因素。以往地基水平基床系数多依靠于经验取值,一些学者也曾经尝试采用mindlin解等一些经典的弹性解来确定地基水平基床系数,但在参数的取值以及边界条件的确定方面均存在问题。根据反对称问题的特点,很好地解决了基坑开挖后的边界条件问题,使之符合弹性半空间理论,同时采用考虑应力状态和应力水平的土体参数,使得参数的选取更加符合实际情况。结合理论分析结果与应力路径试验结果,得到了与模量相关的水平基床系数计算方法。将计算得到的水平基床系数运用到杭州市地铁一号线试验段深基坑开挖工程中,并与实测结果进行比较,验证了计算方法的正确性,为杭州地铁后期设计计算、开挖施工提供了理论依据。该方法与传统弹性地基法相比,水平基床系数的取值有明确的计算方法,与连续介质有限元法相比,参数简单、计算简便、概念明确。 展开更多

关键词 Melan解 边界条件 弹性地基法 基床系数 应力路径 深基坑

在线阅读 下载PDF 职称材料

基于RAGA的指数曲线模型预测基桩承载力 被引量：4

2

作者 许小健 钱德玲 +1 位作者 郭文爱 王鉴 《岩土力学》 EI CAS CSCD 北大核心 2009年第1期139-142,共4页

预测挤扩支盘桩单桩极限承载力指数曲线模型的函数表达式是一个超定非线性方程。采用传统的最小二乘法对该模型参数进行回归处理时,往往由于计算复杂和人为因素的影响使预测结果存在较大的误差。为此,用实数编码加速遗传算法(RAGA),对... 预测挤扩支盘桩单桩极限承载力指数曲线模型的函数表达式是一个超定非线性方程。采用传统的最小二乘法对该模型参数进行回归处理时,往往由于计算复杂和人为因素的影响使预测结果存在较大的误差。为此,用实数编码加速遗传算法(RAGA),对指数曲线模型的参数和理论极限承载力进行优化,并基于MATLAB环境下编写了模型的计算程序。结合工程实例,应用指数曲线模型对挤扩支盘桩静载荷试验实测数据进行了拟合分析。结果表明,基于RAGA的指数曲线优化模型能够更好地拟合实测数据和有效地预测单桩极限承载力,且基于RAGA的指数曲线优化模型具有求解速度快、计算精度和自动化程度高、人为干扰因素小、通用性强等优点。 展开更多

关键词 指数曲线模型 参数优化 遗传算法 单桩极限承载力 支盘桩

在线阅读 下载PDF 职称材料

多层横观各向同性地基轴对称固结的传递矩阵解 被引量：4

3

作者 艾智勇 王全胜 《岩土力学》 EI CAS CSCD 北大核心 2009年第4期921-925,共5页

从横观各向同性地基轴对称Biot固结的基本方程出发,通过关于t的Laplace变换和关于r的Hankel变换,得到关于z的一阶常微分方程组。然后,对变换域内的基本未知量进行线性化处理,建立了变换域内的基本状态变量在z=0处和任意深度处z的显式关... 从横观各向同性地基轴对称Biot固结的基本方程出发,通过关于t的Laplace变换和关于r的Hankel变换,得到关于z的一阶常微分方程组。然后,对变换域内的基本未知量进行线性化处理,建立了变换域内的基本状态变量在z=0处和任意深度处z的显式关系。利用传递矩阵法,结合层间连续性条件和边界条件,得到了多层横观各向同性地基的Biot固结轴对称问题的解答。该解答能避免随着层数增加而需要求解大型方程组的困难,明显地提高了计算效率。 展开更多

关键词 横观各向同性地基 传递矩阵法 LAPLACE变换 HANKEL变换

在线阅读 下载PDF 职称材料

低维Tortken超代数的分类与Tortken超代数的一些性质 被引量：2

4

作者 徐丽媛 张庆成 孟道骥 《数学物理学报（A辑）》 CSCD 北大核心 2011年第5期1190-1208,共19页

该文给出了Tortken超代数的概念,详细讨论了在A_1≠{0}时实数域上二维Tortken超代数的分类,当A_1={0}时,给出了二维超代数成为Tortken超代数的一个充要条件.最后讨论了Tortken超代数的一些性质,得到了Tortken超代数上的一个四次的等式.

关键词 Tortken超代数 Novikov超代数 LEIBNIZ dual超代数.

在线阅读 下载PDF 职称材料

几类线性分数阶微分方程解的结构 被引量：3

5

作者 代群 李辉来 《吉林大学学报（理学版）》 CAS CSCD 北大核心 2011年第4期580-586,共7页

用分离变量法分析研究时间-空间分数阶线性微分方程解的结构,得到了精确解,并用待定特殊函数法得到了常系数齐次线性分数阶微分方程的精确解,证明了解的存在性,建立了相应解的结构性定理.

关键词 分数阶微分方程 分离变量法 常系数 齐次线性

在线阅读 下载PDF 职称材料

非空可测集划分的破碎度量研究 被引量：1

6

作者 郭嗣琮 《工程数学学报》 CSCD 北大核心 2011年第1期28-36,共9页

为解决材料科学中物体破碎度量的数学刻画问题,本文将物体的破碎抽象为具有有限测度的可测集合的一个划分,在分析了用碎块测度描述物体的破碎概念应满足的准则的条件下,依照破碎准则构建了一个能够刻画物体破碎程度的划分测度函数,得到... 为解决材料科学中物体破碎度量的数学刻画问题,本文将物体的破碎抽象为具有有限测度的可测集合的一个划分,在分析了用碎块测度描述物体的破碎概念应满足的准则的条件下,依照破碎准则构建了一个能够刻画物体破碎程度的划分测度函数,得到了几何物体破碎程度的数学表达式.同时,研究了所提出的破碎度函数的一些性质,并讨论了几个方面的应用.破碎度的数学表述可以广泛地应用于矿物加工、岩石爆破、医药与食品加工等诸多领域. 展开更多

关键词 测度 划分 破碎度 完整度 划分测度函数

在线阅读 下载PDF 职称材料

结合李Color代数的等式与P-可解限制李Color代数

7

作者 张庆成 张小东 +1 位作者 魏竹 王春月 《数学物理学报（A辑）》 CSCD 北大核心 2012年第3期450-467,共18页

给出了结合李Color代数的一些等式及模李Color代数的一些性质,引入了P-可解限制李Color代数,获得了P-可解限制李Color代数及P-幂零限制李Color代数的一些充分条件和必要条件,得到了两者之间的一些关系.

关键词 结合李Color代数 限制李Color代数 P-可解限制李Color代数 P-幂零理想

在线阅读 下载PDF 职称材料

本科高等数学分层次教学的深入思考与实践 被引量：1

8

作者 刘德钦 《南京理工大学学报》 EI CAS CSCD 2000年第z1期82-84,共3页

该文深入探讨了高等数学分层次教学的必要性,总结了在教学改革中摸索出来的经验和取得的成果,并就分层次教学的进一步优化提出了自己的观点.

关键词 高等教学 教学改革 分层次教学

在线阅读 下载PDF 职称材料

推理与第四次数学危机 被引量：1

9

作者 程显毅 邵应清 《江苏理工大学学报（自然科学版）》 1998年第5期51-55,共5页

悖论指出了数学的局限性，同时也推动了数学的发展．文中指出数学的发展经历了四次危机：无理数、无穷小、集合的集合和蕴涵量词．在现代科技高速发展的今天，到了解决第四次数学危机的时候了．第四次危机的解决将形成智能机理论．

关键词 数学 推理 悖论 集合论

在线阅读 下载PDF 职称材料

偏序集的完备化与形式概念分析

10

作者 刘红平 李庆国 《湖南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2013年第8期110-113,共4页

借用形式概念分析中构造粗糙概念的方法,给出偏序集的几种完备化构造.然后由偏序集诱导一个形式背景,讨论该形式背景下的粗糙概念与完备化的关系.最后得到本文给出的完备化与经典的Dedekind-MacNeille完备化同构的结论.

关键词 偏序集 完备化 形式概念 粗糙概念

在线阅读 下载PDF 职称材料

概括原则与悖论研究的进展

11

作者 毛宇光 林钧海 《南京航空学院学报》 CSCD 1991年第1期105-110,共6页

悖论的出现与概括原则中的造集的任意性有很大关系。然而,历史上各种排除悖论的方案要么修改概括原则而过多地限制了概括原则的合理内容,要么修改与之配套的逻辑系统而导致失败。近年来,这些问题的研究又取得了新的进展,有必要历史地加... 悖论的出现与概括原则中的造集的任意性有很大关系。然而,历史上各种排除悖论的方案要么修改概括原则而过多地限制了概括原则的合理内容,要么修改与之配套的逻辑系统而导致失败。近年来,这些问题的研究又取得了新的进展,有必要历史地加以评介,本文从类型论、ZFC公理系统、BG公理系统、多值逻辑系统和中介数学系统五个方面综述逻辑数学悖论之解释方法的研究情况。 展开更多

关键词 概括原则 悖论 数理逻辑 相容性

在线阅读 下载PDF 职称材料

直觉主义类型论中否定构造的研究

12

作者 宋方敏 《南京大学学报（自然科学版）》 CAS CSCD 1991年第2期203-208,共6页

本文详细讨论直觉主义类型论中的否定构造,首先列出它的规则,然后证明一些有关否定的性质,最后证明对于直觉主义命题演算的可证命题在直觉主义类型论中可直接构造出其证明。

关键词 类型论 直觉主义逻辑 否定

在线阅读 下载PDF 职称材料

余新河数学题的一个结果

13

作者 袁平之 《长沙铁道学院学报》 CSCD 1993年第4期92-98,共7页

本文证明了下面关于“余新河数学题”的一个结果.定理:若“余新河数学题”成立,则对任何x≥2,区间[x,x+12500] 中至少有一个Goldbach 数存在,此定理说明了“余新河数学题”的难度.

关键词 数列 余新河数学题 Goldbach数

在线阅读 下载PDF 职称材料

NP完全性理论中关于集合恰当覆盖的一个证明

14

作者 石凤仙 《中国纺织大学学报》 CSCD 1997年第4期86-88,共3页

NP完全性理论是国际上数学与计算机科学理论研究的新领域.本文证明了NP完全性理论中关于集合恰当覆盖的一个结论,充实了NPC理论中关于集合覆盖的论证.

关键词 NP完全性理论 集合恰当覆盖 数学基础

在线阅读 下载PDF 职称材料

商品价值量与劳动生产力成反比吗——兼论传统劳动价值论中的一个“悖论” 被引量：8

15

作者 朱富强 《社会科学研究》 CSSCI 北大核心 2002年第3期19-22,共4页

传统的劳动价值理论实际上存在两个相互冲突的内涵 ,“商品的价值量与劳动的生产力成反比”这一著名论断是建立在将各种具体劳动抽象成单一同质劳动基础上 ,价值量能以劳动时间作为衡量尺度的前提下得出的。但从历史上看 ,生产力的不断... 传统的劳动价值理论实际上存在两个相互冲突的内涵 ,“商品的价值量与劳动的生产力成反比”这一著名论断是建立在将各种具体劳动抽象成单一同质劳动基础上 ,价值量能以劳动时间作为衡量尺度的前提下得出的。但从历史上看 ,生产力的不断提高是生产技术持续改进的结果 ,而生产技术的改进必然导致劳动强度或者劳动熟练程度以及劳动协调性的增加 ,这实际上必然使得劳动异质化 ,即抽象劳动的量发生变化 ,从而增进单位时间价值量的创造。因此 ,“商品的价值量与劳动的生产力成反比”这一论断实际上是难以成立的 。 展开更多

关键词 劳动价值理论 有效劳动价值论 生产力 劳动时间 同质劳动

在线阅读 下载PDF 职称材料

中介逻辑与中介公理集合论的综述 被引量：2

16

作者 洪龙 周宁宁 《南京邮电大学学报（自然科学版）》 EI 2008年第4期87-94,共8页

以中介逻辑演算系统和中介公理集合论为主要内容的中介数学系统是一种在数学基础意义上将精确性量性对象扩展到模糊量性对象的系统,它对数学的逻辑基础和集合论研究产生了重要影响。文中主要从下面3个方面论述:中介数学系统的研究背景;... 以中介逻辑演算系统和中介公理集合论为主要内容的中介数学系统是一种在数学基础意义上将精确性量性对象扩展到模糊量性对象的系统,它对数学的逻辑基础和集合论研究产生了重要影响。文中主要从下面3个方面论述:中介数学系统的研究背景;中介数学系统的基本内容及其与经典数学系统的关系,其中简要介绍了中介概念、中介原则、中介逻辑演算系统、中介公理集合论和中介数学系统的研究现状;有关中介逻辑的学术争论,特别围绕中介逻辑是不是一个新逻辑引用了正反双方的意见。此外,还展望了中介数学系统的应用前景。 展开更多

关键词 中介数学系统 逻辑 公理集合论

在线阅读 下载PDF 职称材料

气体同位素交换技术及其在冶金中的应用 被引量：1

17

作者 严红燕 胡晓军 周国治 《材料导报》 EI CAS CSCD 北大核心 2014年第23期60-63,共4页

气体同位素交换技术是研究气-固、气-液反应的有效工具。它利用气相质谱仪在线监测同位素交换反应过程中气体成分的变化,进而解析反应的动力学方程。气体同位素交换技术已经广泛应用于化学、生物、地质等领域的化学反应机理的研究。简... 气体同位素交换技术是研究气-固、气-液反应的有效工具。它利用气相质谱仪在线监测同位素交换反应过程中气体成分的变化,进而解析反应的动力学方程。气体同位素交换技术已经广泛应用于化学、生物、地质等领域的化学反应机理的研究。简要介绍气体同位素交换技术的原理,重点阐述其分类及动力学,并概述其在冶金领域中的研究进展。 展开更多

关键词 同位素交换反应 冶金反应 动力学

在线阅读 下载PDF 职称材料

因果空间和概率论中集合论方法 被引量：1

18

作者 熊大国 《北京理工大学学报》 EI CAS CSCD 北大核心 2005年第1期31-34,共4页

建立《概率论自然公理系统》中的第 组和第 组公理.这两组公理把随机世界抽象成既直观又形象的因果空间.在因果空间中随机事件是原因点的集合,原因点的伪出现导致事件的出现.证明概率论中集合论方法是因果空间的产物,从而改变了Kolmogo... 建立《概率论自然公理系统》中的第 组和第 组公理.这两组公理把随机世界抽象成既直观又形象的因果空间.在因果空间中随机事件是原因点的集合,原因点的伪出现导致事件的出现.证明概率论中集合论方法是因果空间的产物,从而改变了Kolmogorov公理系统把集合论方法硬性地搬到概率论中的做法. 展开更多

关键词 公理系统 因果空间 事件空间 原因空间 原因点

在线阅读 下载PDF 职称材料

不动泛系定理的某些新结果 被引量：1

19

作者 刘怀俊 《应用数学和力学》 EI CSCD 北大核心 1991年第11期1049-1053,共5页

本文讨论了复补算子的不动泛系定理,给出了泛浑沌与泛怪引子的存在条件,进而利用所得结果证明一些关于多值映射的不动点定理,后者补充与发展了Kakutani的结果.

关键词 复补算子 泛浑沌 泛怪引子 泛系

在线阅读 下载PDF 职称材料

广义太极代数：~φR上的逻辑代数 被引量：7

20

作者 王俊龙 《湖南师范大学自然科学学报》 CAS 北大核心 2014年第5期85-89,共5页

采取太极代数与布尔代数相比较、算术运算与逻辑运算相比较的方法,介绍超越布尔代数的太极代数和超越扩展的布尔代数的广义太极代数,其中扩展的布尔代数是建立在扩展含0的自然数上的布尔代数.证明了广义太极代数是一种建立在φR(实数R... 采取太极代数与布尔代数相比较、算术运算与逻辑运算相比较的方法,介绍超越布尔代数的太极代数和超越扩展的布尔代数的广义太极代数,其中扩展的布尔代数是建立在扩展含0的自然数上的布尔代数.证明了广义太极代数是一种建立在φR(实数R包含φ的扩张)上的逻辑代数.同时通过广义太极代数的建构,讨论了"数学的基础是什么"这一问题. 展开更多

关键词 太极代数 广义太极代数 布尔代数 扩展的布尔代数

在线阅读 下载PDF 职称材料