科学推理研究的程序范式探析

有关科学推理研究的传统路径属于关系范式,以计算知识论为代表的新型路径则属于程序范式。计算知识论路径起源于语言学习的研究,而Kelly是将计算知识论运用于科学推理研究的集大成者。程序范式下的科学推理研究围绕科学推理问题的可解性和科学方法的逻辑可靠性展开,具有规范性、先验性和长期性的特点。依据程序范式下的计算知识论路径,局部不完全决定性问题得到了细致的分析,发现逻辑在科学哲学中的地位也得到了有力辩护。程序范式为科学推理研究提供了完整的分析框架,从可靠探究的角度重新确定了科学推理研究的基本问题,对未来的科学推理研究颇具启发意义。     

盾构机吊装安全性计算

<正>盾构机是地铁隧道施工中经常采用的重要设备之一。在使用盾构机施工前,首先要对盾构机进行吊装,吊装时往往采用吊车进行(汽车吊或者履带吊)。由于吊装的构件重量较大(往往在100t左右),并且吊车坐落的位置一般位于车站(基坑)边缘,因此对于吊装的安全性计算式非常重要的。本文,笔者以地铁10#线二期05标段大红门站右线盾构机吊装为例,进行计算。     

基于本体的网格资源匹配研究

<正>一、网格资源概述1.网格资源。随着网络信息化程度的不断提高,网络资源呈几何级数增长。但是由于网络和操作系统之间的异构性,不同系统之间的数据很难共享,因此,便形成了一个个的信息孤岛,资源的管理、共享及互操作难以完成。网格就是把整个因特网整合成1台巨大的超级计算机,从而实现计算资源、存储资源、信     

卵形线坐标计算方法研究

<正>卵形线是公路测设中的一种复杂线形。其坐标计算在理论上没有给出准确的计算公式,工程中常用的计算程序也大多采用简化的计算公式,当曲率半径较小时误差较大,其偏差可达数厘米,这对于高等级的公路和建筑物、构造物而言,是不可接受的。本文,笔者经过严密推导,给出了利用虚起点进行卵形线坐     

Simple and integral modulus highway used to put a line formula

文章通过分析积分公式数模在公路测量放线中的应用,主要论述了CASIO5800在计算器中的应用.     

煤矿工程坑道施工中测绘放样的方法

煤矿坑道内进行施工时,有一项比较重要而且复杂的工作就是放样.放样有几项需要注意的部分,例如,要有效控制点位的精度,要实时指导放样,尽量减少坑道内的工作时间,还要提高测量的工作效率.这些问题一直困扰着测量人员,也是施工中急需解决的难题.为此,对煤矿工程坑道施工中测绘放样的方法进行了探讨.     

浅谈新技术在建筑工程测量中的应用

文章通过对307国道清徐段改线工程北营—油房堡公路的附和导线测量,提出导线平差的两种方法,提高了平差后数据的准确率,为今后施工测量放样奠定了良好的基础。     

结构可靠度计算方法述评

较全面地介绍了国内外建筑和水利领域中现有可靠度的计算方法 ,并对各种方法的适用性作了说明 .在此基础上 ,着重对四种常用的可靠度计算方法进行了分析比较 ,并给了算例验算 .指出了目前结构可靠度计算方法的研究热点和今后此学科的研究方向 .     

广义刚度法及其在阶梯形截面梁位移图乘计算中的应用

本文提出一种结构位移计算的方法－－广义刚度法,运用这一方法可以简化阶梯形截面梁的位移图乘计算。