说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 沉降计算模型
1)  analysis method of settlement
沉降计算模型
2)  Settlement statistic model
沉降统计模型
3)  settlement computation
沉降计算
1.
Semi-analytical element method of settlement computation for composite foundation;
复合地基沉降计算的半解析元法
2.
The basic theory and the settlement computation method of the dynamic drainage consolidation are presented in this paper.
本文介绍了动力排水固结的基本原理、沉降计算方法,提出了一种适合动力排水固结沉降计算的动静耦合沉降计算方法。
3.
Therefore, the existing theories of settlement computation are limited.
碎石桩复合地基在荷载作用下应力场与位移场分布十分复杂,有试验表明距桩顶某一深度范围有应力集中现象,桩体产生侧向膨胀,现有沉降计算理论具有一定的局限性。
4)  settlement calculation
沉降计算
1.
A conjecture for settlement calculation formula and empirical coefficient of soft soil foundation;
软基沉降计算公式及经验系数的猜想
2.
Application of neural network in settlement calculation of rock-filled embankment;
神经网络在填石路堤沉降计算中的应用
3.
Influence of underground water on the foundation settlement calculation;
地下水的分布对沉降计算的影响
5)  calculated settlement
计算沉降
1.
Influences of double yield surface model parameters on calculated settlement of core type rockfill dam;
双屈服面模型参数对心墙堆石坝计算沉降的影响
6)  settlement analysis
沉降计算
补充资料:混合计算模型


混合计算模型
hybrid computational models

hunhe Jisuan moxing混合计算模型(hybrtd computationa一m闭·els)计算机与其所控制的物理部件构成的,具有既随时间连续变化的变量又受事件驱动的离散变量的系统的数学模型。 混合系统的设计涉及控制理论和计算机科学,20世纪90年代以来引起了计算机科学界很大关注。很多混合系统要求绝对安全,如自动导航系统,核电站监测系统等。绝对安全系统的设计是计算机软件科学的重大课题。当前的软件产品耗资巨大,但多数无法避免差错。这样的软件不能用于绝对安全系统。计算机软件科学界提出使用严格的形式化方法来设计该类软件。 迄今,形式化方法所处理的对象都是离散变量(或已离散化的变量),所用的语言及演算亦都是基于离散数学的公理化系统。而混合系统设计的形式化方法不可回避连续数学;控制理论使用的是微分方程刻画连续变量的变化规律。混合系统设计的形式化方法也不能回避离散的事件,这些事件驱动系统的变化。混合系统设计的形式化方法需要一种计算模型,它同时支持连续变量和离散事件藕合系统的计算。 近几年在已有计算理论的基础上,已陆续发展了多种混合计算模型。大体上可分为逻辑型、程序设计型和自动机型三类。 逻辑型混合计算模型的主要思想基于时态逻辑,引人时段和切变的概念。时段可用来刻画系统在一个时间区间上的连续变化,而切变则表示事件的发生(离散变量的变化)。在单个时段上,借用连续数学(微分方程理论)推导系统的行为;而在相邻时段间,则用时态逻辑中切变算子的规则,推导系统行为的转化。逻辑型计算模型中的时段演算,已引起该领域同行的广泛重视。该演算是由周巢尘,C.A.R.H(班re和A.P.Ravll所建立。 程序设计型混合计算模型是将传统的程序设计语言加以推广以容纳连续变量。推广后的程序语言可用来描述混合系统的行为。而其中的控制部分可逐步求精,变换成传统的可在计算机上执行的软件,从而生成数值控制系统。通信顺序进程〔SP,已推广为混合通信顺序进程。在这个程序语言中,有一种特殊的语句称为连续构件,它可表示一个具体给定初值的微分方程;而原有的通信语句可用来表达事件的起源和发生;程序语言中的顺序算子,条件算子等用来刻画连续构件和通信间的藕合关系。 自动机早已用于各种模拟计算系统,计算机本身亦可看作一个庞大的有限状态自动机:一个状态表示计算机中各存储器和寄存器一种取值,而计算机的操作导致计算机由一个状态转移至另一个状态。如果将自动机的状态看作是在一组微分方程控制下,一组连续变量的连续变化过程,则将状态的转移视作事件的驱动。这种推广后的自动机称作混合自动机,可用来描述和计算混合系统的行为。 总之,混合计算模型还在发展完善之中。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条