可以分析的的英文

• analysable

• "可以"英文翻译    can; may
• "分析"英文翻译    analyse
• "的"英文翻译    4次方是 The fourth power of 2 i ...
• "分析的，解析的" 英文翻译 :    analytisch analytic(al)
• "可以分为" 英文翻译 :    abd; acd; bcd
• "又可以分为" 英文翻译 :    dark brown sugar
• "分析的" 英文翻译 :    analytical; analyzing; clinical
• "分析的, 分析" 英文翻译 :    analyzing
• "我们可以分享" 英文翻译 :    that we could share
• "比色分析的" 英文翻译 :    colourimetric
• "常量分析的" 英文翻译 :    macro-analytical
• "成本分析的" 英文翻译 :    xyy
• "成因分析的" 英文翻译 :    causal analytic
• "滴定分析的" 英文翻译 :    titrimetric
• "电图分析的" 英文翻译 :    electrographic
• "分析的，分解的" 英文翻译 :    analytical
• "分析的程序" 英文翻译 :    parser
• "分析的回溯" 英文翻译 :    back up in parsing
• "分析的论辩" 英文翻译 :    analytical argument
• "分析的论证" 英文翻译 :    analytical probation
• "分析的目标" 英文翻译 :    goal of analysis
• "核分析的" 英文翻译 :    nucleo-analytic
• "化学分析的" 英文翻译 :    chemico-analytic; chemoanalytic
• "精神分析的" 英文翻译 :    psychoanalytical
• "科学分析的" 英文翻译 :    holidic

• Thus , a formal architecture description language , called adl / promela , which is used to express the architecture of distributed control system , is designed , and in order to analyze and check in formal way , the adl / promela is mapped into the formal model which can be analyzed and checked by spin
  设计了分布式控制系统体系结构的形式化描述语言adl promela ，并将adl promela体系结构模型映射成模型检查工具spin可以分析的形式化模型，运用模型检查技术对分布式控制系统进行分析和检查，以提高分布式控制系统的设计与开发质量。