直接模型的英文

• direct modeling

• "直接"英文翻译    direct; immediate
• "模型"英文翻译    model; pattern
• "直接模" 英文翻译 :    direct mode
• "非直接模拟" 英文翻译 :    indirect analog
• "直接模拟" 英文翻译 :    direct analogy; direct modeling; direct simulation
• "直接模压法" 英文翻译 :    direct-pressure molding
• "变形直接模拟" 英文翻译 :    direct modeling of distortion
• "直接模板假说" 英文翻译 :    direct template hypothesis
• "直接模板学说" 英文翻译 :    direct template theory
• "直接模压大底" 英文翻译 :    direct-vulcanized sole
• "直接模压胶鞋" 英文翻译 :    direct-molded shoe; direct-moulded shoe; direct-vulcanized footwear; integral molded footwear
• "断裂重接模型" 英文翻译 :    breakage-reunion model
• "胶鞋直接模压法" 英文翻译 :    direct molding of footwear; direct moulding of footwear
• "直接模拟计算机" 英文翻译 :    direct analog computer
• "直接模拟平视显示" 英文翻译 :    contact analogue display
• "数字式直接模拟控制" 英文翻译 :    ddac digitally directed analog control
• "直接模拟 数值两个字没了。" 英文翻译 :    direct numerical simulation
• "自然语言类神经网路模型 [自然语言连接模型" 英文翻译 :    connectionist model for natural language
• "搭接模" 英文翻译 :    seaming die
• "焊接模" 英文翻译 :    welding die
• "接模环" 英文翻译 :    adapter ring
• "接模圈" 英文翻译 :    adaptor ring
• "连接模" 英文翻译 :    connecting die
• "铆接模" 英文翻译 :    riveting die
• "平接模" 英文翻译 :    flat back pattern

• Direct model checking matrix algorithm
  直接模型检测矩阵算法
• The workshop on tools and algorithms for the construction and analysis of systems tacas 99 , lncs , springer - verlag , 1999 , 1579 : 193 - 207 . 4 burch j r , clarke e m , mcmillan k l . symbolic model checking : 10 20 states and beyond . information and computation , rm 1992 , 98 : 142 - 170
  在这本文中，我们通过对kripke结构的合理扩充，提供了直接模型检测dmc direct model checking的矩阵算法，通过与体系结构描述语言adls的结合， dmc可以被直接应用在相容性consistency等关键性质的计算方面。