1)  saturation
饱和的非标准模型
2)  saturation
饱和
1.
The Procedure of Klystron Saturation Test in an Electron Linear Accelerator;
医用电子直线加速器速调管饱和的测试方法
2.
Study on an Integrated Criterion for Ta Anti-saturation of Microprocessor-based Busbar Differential Protection;
母线保护抗TA饱和综合判据的研究
3.
Simulation and Analysis of Saturation Characteristics of CT Based on EMTP;
基于EMTP的电流互感器饱和特性仿真及分析
3)  saturated
饱和
1.
Temperature decrease of crude oil pipeline buried in soil saturated with water during shutdown in winter;
饱和含水土壤埋地原油管道冬季停输温降
2.
Experiments of the compressive properties of dry and saturated concrete under different loading rates;
不同加载速率下干燥与饱和混凝土抗压性能试验研究分析
3.
By introducing a simple quadratic function and using a sectional fitting method,the effect data range of current fast calculation formulae for R410A saturated thermal properties was extended to the critical region.
通过引入简单的二次函数并采用分段拟合的方法,将现有的制冷剂R410A饱和区物性快速计算公式的有效范围扩展到临界区。
4)  saturated-unsaturated
饱和-非饱和
1.
The water level falling of the reservoir produces saturated-unsaturated unsteady seepage in the slope.
库水位下降使库岸坡体内产生饱和-非饱和非稳定渗流,非稳定渗流作用是边坡失稳的重要原因之一。
2.
A saturated-unsaturated seepage pattern is developed to analyze a typical section of the longitudinal cofferdam in Fei-Lai-Xia Hydrocomplex Project, using the simplified finite element method.
本文基于饱和-非饱和渗流数学模型,采用有限单元法对飞来峡水利枢纽工程纵向围堰典型剖面进行渗流数值模拟,分析降雨及非稳定渗流对渗流场的影响,简捷地得到了较全面、准确的参数分布。
3.
The author has particularly researched into the prominent problems of seepage in water conservancy engineering based on the steady-unsteady and saturated-unsaturated seepage theory and numerical method by summarizing the former achievement.
本文在总结前人研究成果的基础上，针对水利工程中的主要渗流问题，对稳定-非稳定、饱和-非饱和渗流理论和算法做了较详细的研究工作。
5)  saturated-unsaturated
饱和非饱和
6)  saturated-unsaturated seepage
饱和-非饱和渗流
1.
Research on simulation of steady saturated-unsaturated seepage based on water-air two-phase flow theory;
基于水气二相流的稳定饱和-非饱和渗流模拟研究
2.
Program development for 3D FEM of coupling saturated-unsaturated seepage, temperature and stress;
考虑饱和-非饱和渗流、温度和应力耦合的三维有限元程序研制
3.
Development of the 3D finite element method of strength reduction considering the coupling of saturated-unsaturated seepage and stress;
考虑饱和-非饱和渗流场和应力场耦合的三维强度折减有限元程序研制
参考词条
补充资料：非标准模型
    　　简单地说就是与自然模型（或称标准模型、期望模型）不同构的模型。设L为一阶语言(见模型论)，从原则上讲，任何由L中的语句（即不含自由个体变元的公式）组成的集合均可称为语言L上的一阶理论（或称初等理论）。但是这样定义的理论往往没有什么意义，甚至可能是矛盾的。有意义的理论通常采用以下两种方法来定义：先选定L的一个模型(亦称L的一个实现。有时也可以反过来，先选定，再确定相应的语言L)。然后,①在L中选出有穷或无穷条在上为真的语句,组成集合T;在证明论或元数学的研究中,往往假定T是递归的。这样的T 或其演绎闭包就是模型的一个理论。在证明论或元数学的研究中往往希望T的演绎闭包包含 L中一切在上为真的语句,亦即T是完备的。但这并不是经常都能办到的。已知当 为实数域R时只要在相应的语言Lr中适当地选择一个递归的理论Tr（如实闭有序域的公理系统）,则Tr就是R的一个完备理论。但当是自然数算术模型时，由哥德尔不完备性定理，在相应的语言Ln中就找不到完备的递归理论，它以为模型，在后一情形通常有熟知的皮亚诺公理系统PA，它由有限条刻画数"0"和求后继数运算 "，"的公理以及加法运算"+"和乘法运算 "·"的递归定义连同一条数学归纳公理模式组成。PA当然也是不完备的。②令T=Th()，这里Th()表示由 L中一切在上为真的语句组成的集合。显然，如此定义的T是完备的。
　　
　　在上述两种情况下，只要模型是无穷的，利用紧致性定理，均可找到相应理论T的非标准模型,亦即与不同构的模型B，使得B也是T的模型。最先发现这一事实的是A.T.斯科朗。早在1934年斯科朗就构造了完备算术理论Th()的一个非标准模型。他采用的方法就是后来为J.罗斯于50年代重新发现的模型的超积的特殊情形即超幂的构作方法。
　　
　　大致说来，在情形①，只要无穷，总可利用紧致性定理造出理论T的非标准模型。在情形②,总可以利用超幂构作法求得理论Th()的一个非标准模型，而且后者是模型的初等扩充。
　　
　　非标准模型虽然不是人们所期望的，但是它们有时却有着非常重要的应用。开发理论的非标准模型以求得对自然模型（即人们所真正关心的模型）的性质的了解或对理论本身性质的了解的学问被J.L.贝尔和M.麦克弗称作"非标准分析"。举例如下：
　　
　　① C.赖尔-纳尔德泽夫斯基在1952年利用上述皮亚诺算术理论PA的非标准模型证明了PA不可有穷公理化，亦即PA中的数学归纳公理模式不能用有限条特例代替。
　　
　　② A. 鲁宾孙在1961年前后利用上述非标准分析方法开发完全理论Th(R)的非标准模型,为古典数学分析中的"无穷小量"和"无穷大量"方法提供了坚固和严格的基础，甚至形成了一门新兴的学科，称为"非标准分析"，更确切地说应做"非标准数学分析"。
　　
　　③近年来不少逻辑工作者用算术的非标准模型来给出数学命题的独立性（即形式不可判定性）证明，其中最著名的是J.帕里斯和L.哈林顿。他们利用皮亚诺算术的非标准模型证明了，图论中的一个命题也就是拉姆齐定理的一个加强形式在皮亚诺算术中是形式不可判定的，因而给出了哥德尔在1931年得到的著名的不完备性定理的一个语义证明(哥德尔本人给出的证明是语法的)。此外，与哥德尔给出的人为的不可判定命题相比，帕里斯和哈林顿所得的不可判定命题是有着深刻数学意义的命题。
　　

说明：补充资料仅用于学习参考，请勿用于其它任何用途。