-
题名在役起重机金属结构载荷统计分析及分项系数的确定
被引量:5
- 1
-
-
作者
田建涛
高崇仁
殷玉枫
韩玉习
-
机构
太原科技大学
-
出处
《起重运输机械》
2011年第3期1-6,共6页
-
基金
山西省科技攻关项目(20100321058-01)
山西省研究生优秀创新项目(省重点)
-
文摘
通过在起重机上安装远程在线实时动态监测系统,得到实际工作载荷数据,对载荷数据作统计分析,用工程结构设计中提出的完全可靠性法确定分项系数。由可靠指标的几何意义构造虚拟极限状态曲面得到分离系数,利用分离函数从可靠指标公式中分离出各分项系数,建立分项系数与载荷、抗力统计值和目标可靠指标的关系式,明确指出影响分项系数取值的各因素。通过算例验证了所述方法的正确性,研究结果为我国起重机相关标准的进一步完善提供一定的理论依据。
-
关键词
起重机
极限状态法
分项系数
完全可靠性
-
Keywords
crane
limit state method
partial coefficient
complete reliability
-
分类号
TH215
[机械工程—机械制造及自动化]
-
-
题名综合强度指标法确定复合地基承载力的分项系数研究
被引量:1
- 2
-
-
作者
秦建庆
岳建勇
-
机构
上海水环境建设有限公司
上海建筑设计研究院有限公司
-
出处
《工程勘察》
CSCD
北大核心
2005年第3期11-14,共4页
-
文摘
本文根据综合强度指标法计算复合地基承载力的计算公式 ,分别采用不完全的可靠性分析方法和完全的可靠性分析方法 ,对柔性桩复合地基承载力按概率极限状态设计的分项系数进行探讨 ,并对各分项系数进行敏感性分析。
-
关键词
复合地基
承栽力
综合强度指标法
分项系数
完全可靠性分析
-
Keywords
composite foundation
bearing capacity
method of integrated strength indices
partial factor
complete reliability analysis
-
分类号
TU472
[建筑科学—结构工程]
-
-
题名柔性桩复合地基的承载力分项系数研究
- 3
-
-
作者
秦建庆
岳建勇
-
机构
上海水环境建设有限公司
上海建筑设计研究院有限公司
-
出处
《四川建筑科学研究》
北大核心
2005年第4期81-84,共4页
-
文摘
根据面积置换率复合法计算复合地基承载力的计算公式,分别采用不完全的可靠性方法和完全的可靠性分析方法,对柔性桩复合地基承载力按概率极限状态设计的分项系数进行探讨,并对各分项系数进行敏感性分析。
-
关键词
复合地基
承载力
概率极限状态
分项系数
完全可靠性分析
-
Keywords
composite foundation
bearing capacity
probabilistic limit state
partial factors
complete reliability analysis
-
分类号
TU473.11
[建筑科学—结构工程]
-
-
题名R-演算中若干问题的研究
- 4
-
-
作者
吴佳森
宋方敏
-
机构
南京大学软件新技术国家重点实验室
南京大学计算机科学与技术系
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2012年第4期833-838,共6页
-
基金
江苏省自然科学基金项目(BK2010374)
软件开发环境国家重点实验室开放课题基金项目(BUAA-SKLSDE-09KF-02)
-
文摘
李未教授提出了R-演算系统,它是形式理论的修正演算系统,是OPEN过程模式和GUINA过程模式的基础.R-演算在这2种过程模式中的核心作用是,当一个形式理论与事实产生矛盾时,找出矛盾的必要前提,从而获得一个协调的子理论.通过3种不同的方法细致刻画R-演算的基本概念"必要前提",第1种方法来自R-演算,第2种方法基于极大协调子集与极小非协调子集的,最后一种方法是对于R-必要前提的归纳定义.通过比较这3种方法,指出各自的优缺点,并从第3种方法推演出一个可靠并且相对完全的系统.在比较这3种方法的同时,还细致地探讨了R-终止式的上下界以及极大协调子集的不可枚举性.其中极大协调的不可枚举性在一定程度上表明了不存在一种同时满足可靠并且完全的系统.
-
关键词
R-演算
R-终止集
极大协调子集
递归可枚举性
可靠性与完全性
R′-演算
-
Keywords
R-calculus
R-terminated sets
maximally consistent subsets
recursive enumerable
sound and complete
R'-calculus
-
分类号
O141
[理学—基础数学]
TP311.5
[自动化与计算机技术—计算机软件与理论]
-