说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 语义判定问题
1)  semantical decision problem
语义判定问题
2)  problem-defining language
问题定义语言
3)  decision problem
判定问题
1.
A CED Polyphase method:computational geometry algorithm and ecology algorithm for solving TSP is presented,and the TSP is changed to a decision problem.
本文提出了 CED聚合法——几何算法和生态算法 ,并把 TSP转化为判定问题来处理 。
4)  problem determination
问题判定
5)  semantic problem
语义问题
1.
However, semantic problems have always been a headache for MT.
然而,机器翻译研究一直受到语义问题的困扰。
6)  problem definition
问题定义
补充资料:需求定义语言


需求定义语言
requirements definition language

  持这一模型的描述,SA提供了分层的数据流图。而PSL则采用了自底向上的途径,它提供了各种实体类型及其相互间的关系用以分别描述各个需求,然后形成所需的需求定义。当然,并不是所有语言均基于单一模型的单一方法,例如,RSL试图将自顶向下和自底向上的途径加以结合以适应实时系统描述的需要,它提供了R网等设施。在面向对象模型支持方面,通常有两种途径,其一是设计新的需求模型和语言来支持面向对象方法,例如,D.W.Elllbley等提出的面向对象需求模型,提供了各种图形化表示机制来刻画对象及其相互间的关系。其二是用已有语言来刻画面向对象模型,例如,R〔X:)A方法采用形式规约语言L〔y1X万中的抽象数据类型和进程定义来描述面向对象需求定义,并对继承机制提供支持。在数据描述方面,PSL提供了ENTITY,C()N-SISrS OF,,1〕ERIVEDBY等实体或关系来描述数据对象的名、数据结构和数据流程。在控制描述方面,RSL提供了各种类似于程序设计语言中使用的控制结构。尽管此类结构对于通信系统和实时系统较为有用,但可能导致与实现有关的问题。在抽象机制方面,R侧[L语言在面向对象的架构下提供了聚合、分类和泛化三类抽象机制,它们可一致地用于语言中的三类规约单位:对象、活动、断言。在项目相关信息描述方面,各类半形式化的语言均提供了描述这些信息的手段。例如,PSL可描述文档信息,这些信息通常是借助于自然语言来刻画的。 语用分析主要讨论需求定义语言的适用领域、可扩展性等性质,以及相应的方法与工具支持。例如,PSL主要适合于商业应用,RSL主要用于实时系统;而有些语言如SA则是通用语言;可扩展性指是否可在原有语言结构基础上从语法和语义角度定义新的语言结构;在此意义下,PSL和RSL本质上是可扩展的。为了充分发挥需求定义语言的作用,必须研究与之相应的方法和工具。方法应给出获取需求的原理和步骤以及如何从需求开发相应的程序。而工具支撑则对需求的分析提供自动支持。在某种意义下,几乎所有语言均对如何形成需求提出建议和提示,但真正的方法却不多见。就工具支撑而言,SA是为手工使用而设计的,而PSL,RSL则一开始就将工具支撑和语言设计集成在一起。 概括起来,需求定义语言的研究已取得较大进展,已有的各种类型的需求定义语言已逐步应用于软件工程实践并取得良好效果。近年来,国际上又兴起需求工程的研究热潮,1993年召开了第一届需求工程国际研讨会,1994年召开了第一届需求工程国际会议,国际信息处理协会IFIP成立了需求工程工作组,即IFIP WG 2.9。需求定义语言是需求工程的核心内容之一,因此,可以预言,需求工程的研究必将促进需求定义语言的进一步发展。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条