1) pattern
[英]['pætn] [美]['pætɚn]
模型，图表，样品
2) mock-up
[英]['mɔkʌp] [美]['mɑk,ʌp]
模型;样品
3) mode pattern
模图样，波型图样
4) chart model
图表模型
5) model
[英]['mɔdl] [美]['mɑdḷ]
型号，模型，样品
6) engineering sample
样机，样品，模型，试样，试件
补充资料：模型
| 模型 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是句子 的模型。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条