无二义性的英文

• unambiguity

• "无"英文翻译    not have; there is not; be w ...
• "二义性"英文翻译    ambiguity
• "二义性" 英文翻译 :    ambiguity◇二义性错误 amiguity error; 二义性句子 ambiguous sentence; 二义性文法 ambiguous grammar; 二义性语言 ambiguous language
• "无二义引用" 英文翻译 :    unambiguous reference
• "二义性错误" 英文翻译 :    ambiguity error
• "二义性的" 英文翻译 :    ambiguous
• "二义性句子" 英文翻译 :    ambiguous sentence
• "二义性名子" 英文翻译 :    ambiguous sentence
• "二义性文法" 英文翻译 :    ambiguous grammar
• "二义性问题" 英文翻译 :    ambiguity problem
• "二义性消除" 英文翻译 :    disambiguating
• "二义性引用" 英文翻译 :    ambiguous reference
• "二义性语言" 英文翻译 :    ambiguous language; ambiguouslanguage
• "非二义性的" 英文翻译 :    unambiguous
• "固有二义性" 英文翻译 :    inherent ambiguity
• "结构二义性" 英文翻译 :    structural ambiguity
• "语法二义性" 英文翻译 :    syntactic ambiguity
• "二义性,多义性,模糊含糊" 英文翻译 :    ambiguity
• "二义性的检验" 英文翻译 :    test for ambiguity
• "无歧义文法, 无二义文法" 英文翻译 :    unambiguous grammar
• "非二义性的 明显的 不含糊" 英文翻译 :    unambiguous
• "歧义表达式, 二义性表达式" 英文翻译 :    ambiguous expression
• "固有二义性上下文无关语言" 英文翻译 :    inherentlyambiguouscontextfreelanguage
• "无二" 英文翻译 :    advitiya; muni
• "无二雄" 英文翻译 :    munio

• We could also show that an(m. n)precedence grammar is unambiguous .
  我们还可以证明：（m，n）优先文法是无二义性的。
• A set of unambiguous rules specifying the manner in which data may be represented in a discrete form
  一组无二义性的规则，用来说明用离散形式表示数据的方法。
• Then you would restate the requirements to make them clear and unambiguous , providing enough detail to support a design
  这样你就可以重述需求，使之清晰和无二义性，提供足够的细节以支持设计。
• Us aim is to prescribe the unipue expression through the whole life cycle of product and product data format which can be explained by computer
  Step标准的目的是为了规定贯穿产品整个生命周期的无二义性表达和可由计算机解释的产品数据格式。
• Confronting the increasing complex information process and the distributional application execution environment , the workflow needs to provide the formalized modeling method , which makes it much clearer to define and analyze formalized on the executive process without any confusion
  面对日益复杂的信息处理和分布式的应用执行环境,工作流需要提供形式化的建模方法,这样有利于对业务流程进行清晰、易懂、无二义性的定义和形式化的分析。
• By such a formalization , a general framework is proposed for integration of graphical uml statechart diagrams and formal rsl specifications , which forms the continuation of the previous work on formalization of uml class diagrams in rsl . this allows the definition of uml semantic interpretations that are precise and unambiguous , and also enhancing the readability , conciseness and abstraction of the resulting rsl specification
  通过这一形式化提出了一种对图形化的uml状态机视图模型的形式化和rsl规范进行集成的框架，这一工作是对uml类图在rsl中形式化的继续，使得人们可以对uml的非形式化模型给出一种精确无二义性的语义解释，同时也提高了rsl规范的抽象层次，增强了其可读性简明性。
• Because of its compactness , fineness and unambiguity , formal analysis of cryptographic protocol has been an efficient and correct method step by step . the dissertation mainly discusses using formal methods for analysis and evaluation of cryptographic protocols based on timed petri nets ( tpn )
  形式化分析由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径，但是密码协议的形式化分析研究目前还不够深入，本文主要研究了基于时延petri网的密码协议分析和评估方法。
• This chapter optimized the algorithm provided by michael garland and paul s . heckbert based on edge contraction , and the improved algorithm can produce better approximation . a new method provided to simplify triangulated model with appearance attributes , and optimized the method to reduce the complexity in chapter 3 . the dissertation advances a new concept : density of meshes , and study the applications of density of meshes in discrete multi - resolution and continuous multi - resolution
  第二章介绍了garland等提出的基于顶点对折叠的简化算法，指出了该算法的一个缺陷并给出了解决方法；将garland的算法应用到了具有一定属性的面片上，分析扩展之后算法的计算复杂度，提出了决解复杂度的方法；第三章节给出了一种新的自动递进网格算法，可以实现无二义性，快速恢复等功能；此节提出了一个新的概念：网格密度。
• Although the software specification described using natural language is easy to write and understand , its validity , integrality , non - ambiguity , consistency are hard to guarantee . the process of verification can only be done by manpower which is not normative and not rigorous . and the complexity of a lot of software has made it impossible to check the specifications artificially
  需求规格说明是需求分析阶段的产品，我们通常采用的是未使用任何限制非形式化的自然语言进行描述，这种自然语言书写的需求说明，虽然易于理解和使用，但难以保证其正确性、完整性、无二义性、一致性，验证过程只能采用不太规范、不太严格的人工走查的方法进行检查，稍微复杂一些软件的需求规格说明的检查，实际上已经超出了人工检查的能力。