说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 反演计算模型
1)  inverse calculation model
反演计算模型
2)  forward model computation
正演模型计算
3)  inverse calculation
反演计算
1.
Mechanistic modeling for particle size measurement by ultrasonic technique and inverse calculation of particle size distribution;
超声粒度检测建模及其粒度分布反演计算
2.
The permeability parts of aquifer are set up by using cluster analysis and fuzzy comprehensive judgment and the rank relationship of permeability coefficient of every part of aquifer is given and the way to enhance the precision of inverse calculation of permeability is described.
应用聚类分析、模糊综合评判方法建立含水层渗透系数分区,给出各分区渗透系数的级配关系,论述了提高反演计算含水层渗透系数精度的途径。
4)  back analysis
反演计算
1.
A methodology is developed in which the DEM parameters are determined from back analysis of a rockfall trajectory observed in field rockfall experiments or traced by site investigation of natural rockfall events.
提出一个基于已知落石轨迹的离散元参数的反演计算方法。
5)  Inversion model
反演模型
6)  model inversion
模型反演
1.
Application of geological model inversion technique to prediction of subtle reservoir
地质模型反演预测隐蔽油气藏
2.
Using the deformation model inversion theory, combining the model datum design with the se-quential optimum design for model discrimination .
利用形变模型反演理论,把模型基准设计与用于模型识别的序贯优化设计结合起来,提出了解决监测网零级优化设计问题的新方法。
3.
This paper analyze the development of inversion technology, and has thefurther study on Recursive Inversion, Model Inversion, Geostatistics Inversion,discusses some problems on these inversion technology, and compares theadvantages and dis.
目前,以叠后反演应用最为广泛,叠后反演主要包括道积分、递推反演、模型反演和地质统计反演。
补充资料:混合计算模型


混合计算模型
hybrid computational models

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