1) mock-up
[英]['mɔkʌp] [美]['mɑk,ʌp]
模型(与实物大小一样的)，实物模型，1比1模型，制造模型;大模型，全尺寸模型
2) Small scale experiment
小尺寸模型实验
3) large scale model
大尺寸模型
4) full scale styling representation mock-up
全尺寸造型模型
5) physical biomodeling
实物模型
1.
Subsequently,current application and research of physical biomodelings and individual templates which produced from rapid prototyping is reviewed,including preoperative planning,surgical simulation,custom implants and internal fixation device,and assisted pedicle screw fixation in spine surgery.
本文介绍了脊柱外科中常用的快速成型技术及其应用原理,综述了快速成型脊柱实物模型及个体化模板在术前规划、手术模拟、定制植入物和内固定装置、辅助椎弓根螺钉内固定等方面的应用研究现状,对快速成型技术在脊柱外科领域的应用前景进行了展望。
6) full-scale model
实尺模型
补充资料：模型
| 模型 model 能给出逻辑公式取值的一种泛代数结构。一个泛代数是指一个具有若干运算、关系及特指元素的非空集合。一个模型A由4个部分组成：一个非空个体集合A，A也叫论域；论域A上的关系；A上的函数；A中指定的个体常元。如果L是一阶语言，L中的关系，函数和常量符号在模型A中都有相应的关系，函数和常量分别作他们的解释，就称A是L的模型，指定A中一些元素作L的变元符号 v0，v1… 的解释，称为一个指派式赋值。在一定的指派下，L中每个项就都有了A中指定的元素作解释。给定一个指派，L中的原子公式(见一阶公式)t1≡t2在模型A中取值为真当且仅当t1，t2在A中的解释相同 ；原子公式R(t1，…tn)在A中取值为真当且仅当(t1…tn)在A中的解释满足R在A中的解释。L的公式  在模型A中的取值可以归纳地定义： 是原子公式已定义；如果 ＝ ψ，则  取值真当且仅当ψ取值假；如果 ＝ψ1 ψ2，则 取值真当且仅当ψ1取值假，ψ2取值真。如果 ＝"xψ，则  取值真当且仅当用论域A中任意一个元素解释变元x时，ψ取值真。这就是一阶逻辑的基本语义定义。由这个定义，只要对  中的自由变元给出A中一定的元素作解释， 的取值就唯一确定。如果 是没有自由变元（见一阶公式）的句子 ， 在一个模型中就有唯一确定的真假值。句子 在模型A中取值为真 ，就称A是句子 的模型。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条