Module-order 定义 自动 标签 ::= BEGIN Order ::= SEQUENCE { header Order-header, items SEQUENCE OF Order-line } Order-header ::= SEQUENCE { reference NumericString ( SIZE (12)), date NumericString ( SIZE (8)) -- MMDDYYYY -- , client Client, payment Payment-method } Client ::= SEQUENCE { name PrintableString ( SIZE (1..20)), street PrintableString ( SIZE (1..50)) OPTIONAL , postcode NumericString ( SIZE (5)), town PrintableString ( SIZE (1..30)), country PrintableString ( SIZE (1..20)) DEFAULT "France" } Payment-method ::= CHOICE { check NumericString (SIZE (15)), credit-card Credit-card, cash NULL } Credit-card ::= SEQUENCE { type卡类型,数字 NumericString(SIZE(20)),有效期 NumericString(SIZE(6)) -- MMYYYY -- } 卡类型 ::= ENUMERATED {cb(0), visa(1), eurocard(2), diners(3), american-express(4)} -- 等 END
Ω 中热能的变化率由单位时间内流过边界 S 的热量决定。在三维空间中,热通量 φ 是一个矢量,其大小 | φ | 表示单位时间内流过单位表面积的热能。在边界 S 上的任何一点 ( x, y, z ),我们都认为其为单位向外的法向矢量 ˆ n 。单位时间内流出区域 Ω 单位表面积的能量由热通量矢量 φ · ˆ n 的向外法向分量决定。请注意,如果 φ · ˆ n > 0,则热通量指向外部(能量流出 Ω)。单位时间内流出边界表面 S 的总能量为 x