简介:定义在全体实数上的可计算函数是一个很重要的概念.在这以前定义可计算的实数函数有两个途径.第一个途径是首先要定义可计算实数的指标.想要确定实数函数y=f(x)是不是可以计算就要看是否存在一个自然数的(部分)递归函数将可计算实数x的指标对应到可计算实数y的指标.这样一来对实数函数的研究依赖于对自然数函数的研究.第二个定义可计算的实数函数的途径是以逼近为基础的.一个实数函数是可以计算的如果它既是序列可计算的同时也是一致连续的.用这个途径来定义可计算实数函数使用的条件过强以至于很多有用的实数函数成为不可计算的实数函数.例如“〈”和“=”的命题函数就是不可以计算的因为它们是不连续的命题函数.本文讨论了图灵机的稳定性并且给出了一个基于稳定图灵机的可计算实数函数的定义.我们的定义不需要用到自然数的(部分)递归函数.根据我们的定义很多常用实数函数特别是一些不连续的常用实数函数都是可以计算的.用我们的定义来讨论可计算实数函数的性质比原来的定义要方便得多.
简介:摘要随着我国高速铁路建设快速发展,新建铁路隧道下穿既有铁路越来越多,为了保证既有铁路正常安全运行,在下穿施工过程中,对新建隧道与既有铁路交叉段的监控量测尤为重要。新建京张铁路草帽山隧道下穿既有张唐重载铁路隧道,该隧道地质条件差、隧道拱顶距唐张铁路隧道底距离仅为16m,通过对新建隧道与既有铁路隧道的交叉段进行监控量测,及时分析量测数据,依据所得的分析结论来指导施工。本文结合工程实例,对高速铁路隧道下穿既有重载铁路隧道的监控量测进行了研究,为今后类似工程提供参考。
简介:摘要利用FLAC3D自编强度折减法计算边坡稳定性,对比分析自然状态与局部破损状态的边坡安全系数,通过分析局部破损状态下边坡的塑性区、位移场、剪应变,得出存在下部破损的挡墙安全系数约为1.11,已经接近临界状态,塑性区面积也接近极限,其位移特征有整体向右下方滑动的趋势,边坡整体的剪应变将会大幅增加,且坡脚处可能出现剪应变贯穿,导致局部失稳,并根据分析结果提出加固方案。分析了存在局部破损的边坡挡墙的稳定性,为类似工程提供参考。
简介:采用PPM方法数值求解Euler方程;采用Shyue提出的考虑压力平衡的混合网格状态方程的处理方法,完成R-M不稳定性问题后期混合的数值模拟。界面不稳定性后期混合具有明显的三维特征,二维计算不能分辨后期混合流体团之间三维扭曲拉伸现象,因此要求三维数值模拟。另一方面,界面不稳定性后期,通过非线性作用,小尺度运动被充分激发,必须模拟从大尺度到小尺度的级串现象,因此数值模拟要求很高的空间分辨率,要求大规模数值计算。由此我们采用MPI、应用区域分解方法完成程序并行化,并行程序具有较好的可扩展性。