更新时间:-- | 阅读量: 206
公理集合论、模型论、递归论和证明论。是数理逻辑学的四个分支学科。......盾性”)、完全性和判定问题等。此论经过哥德尔等人的研究而得到发展,成为数理逻辑和数学基础的重要分支。近十几年来,这一领域的研究常和直觉主义逻辑相结合而获得了进展。
搜索到与“ 分支数”相关的文献共 10条
以云驾岭煤矿实测的岩层参数为基础,针对倾斜煤层回采巷道,建立数值计算模型,并通过改变顶板锚杆和锚索的直径、排距、倾角等建立了10种数值试验方案,应用FLAC3D2.0进行数值计算,比较分析了倾斜煤层回...
《煤矿支护》 2007年04期 关键词: "倾斜煤层"," 回采巷道"," 锚杆"," 锚索"," 数值模拟" 收藏
利用多源地理空间数据集成和融合理论,研究了基于ECDIS的多数据源支持技术。介绍了常用的多源海图数据及其使用原则,分析了ECDIS多数据源支持技术的特点及内涵,总结了国内外常用多源海图数据集成方法,从...
《海洋测绘》 2014年02期 关键词: "ECDIS"," 电子海图"," multi-fuel"," 数据集成"," 数据融合" 收藏
<p>倾斜煤层回采巷道锚杆支护参数数值分析</p>
《煤矿支护》 2015年4期 关键词: "倾斜煤层回采巷道锚杆支护参数数值分析" 收藏
<p>河北省高新技术产业科技经费支出的指数分析</p>
《保定学院学报》 2015年2期 关键词: "河北省高新技术产业科技经费支出的指数分析" 收藏
<p>大跨度巷道锚、梁、网、索耦合支护及数值模拟分析</p>
《煤矿支护》 2015年1期 关键词: "大跨度巷道锚","梁","网","索耦合支护及数值模拟分析" 收藏
巷道断面与巷道围岩稳定性之间有着密切的关系,在巷道断面的增加之下,围岩变形问题会越来越严重,为此,必须要采取相关的支护措施。从类型上而言,煤矿大断面巷道能够分为高煤帮大断面、大跨度大断面、开切眼大断面...
《煤矿现代化》 2015年2期 关键词: "大断面煤层","巷道围岩变形特征","支护参数" 收藏
针对样子岭隧道破碎围岩标段的地质条件设计出马蹄形断面锚喷支护的支护方案。利用有限差分软件FLAC3D根据围岩的力学参数和支护材料的力学参数搭建起三维模型,并进行开挖和支护模拟,通过位移场和应力场云图的...
《居业》 2017年08期 关键词: "破碎围岩"," 马蹄形断面"," 锚喷支护"," 数值模拟" 收藏
研究目的:为研究低温作用下水土冻胀对地铁基坑支护结构的影响,依托呼和浩特市某车站地铁基坑,建立地铁深基坑数值计算模型,模拟季节温度变化对基坑体系的影响,探究越冬基坑在外界温度变化条件下,基坑周边土体、...
《铁道工程学报》 2020年04期 关键词: "严寒地区"," 水土冻胀"," 深基坑"," 三场耦合" 收藏
动脉瘤的血流动力学是影响其生长与破裂的重要因素,尤其是形态学参数径颈比(aspect ratio,AR,瘤体长径/瘤颈宽度)对其血流动力学影响较大。本研究使用基于计算流体力学(computationa...
《生物医学工程研究》 2020年01期 关键词: "径颈比"," 颅内动脉瘤"," 血流动力学"," 计算流体力学"," 数值模拟" 收藏
针对现有配电网故障定位算法存在实现复杂、经济性差等方面的不足,提出一种基于距离矩阵与分支系数的配电网故障定位方法。通过分析配电网的拓扑和故障行波的传输路径,定义配电网的有效支路和参考节点,计算故障发生...
《中国电机工程学报》 2020年07期 关键词: "配电网"," 行波"," 故障定位"," 距离矩阵"," 分支系数" 收藏
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved