助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   formal semantics 的翻译结果: 查询用时:0.009秒
图标索引 在分类学科中查询
所有学科
计算机软件及计算机应用
互联网技术
中国语言文字
外国语言文字
数学
无线电电子学
电信技术
文艺理论
逻辑学
更多类别查询

图标索引 历史查询
 

formal semantics     
相关语句
  形式语义
     It indicated that the basic research should mostly include the development of ontology, the formal semantics of Semantic Web language and the development of Trust and Proof model.
     总结了未来语义Web基础研究和应用研究的方向:语义Web的基础研究主要包括本体的发展、语义Web语言的形式语义和确信(Trust)与证据(Proof)模型的开发;
短句来源
     Formal Semantics for SDL-2000
     SDL-2000的形式语义研究
短句来源
     The Formal Semantics of OWL-S
     OWL-S的形式语义
短句来源
     On Formal Semantics of Smalltalk—80
     Smalltalk-80的形式语义研究
短句来源
     A Formal Semantics of Agent Organization Structure Design
     Agent组织结构设计的一种形式语义
短句来源
更多       
  形式语义学
     Rooted mainly in logic, model theory and language philosophy, Formal Semantics has a framework which includes generalized quantifier theory, function argument structure, categorical grammar and composition principle.
     形式语义学的主要观点来源于逻辑学、模型理论和语言哲学 ,其基本理论框架包括广义量词、函项结构、范畴语法和组合原则等。 形式语义学近年来在国外影响很大 ,本文主要介绍其起源和经典理论的基本框架
短句来源
     "In the eyes of many, pragmatic inference has often been seen as a subject that defies formal characterizations and is describable only in non-formal, sometimes metaphorical terms. The study of pragmatics, including the study of pragmatic inference, has received much less formalization than formal semantics and syntax" (Jiang Yan, 2002: 19).
     “许多语用学家认为语用推理无法用形式系统来刻画,只能用非形式的甚至是隐喻性的语汇来描述。因此,较之形式语义学与形式句法学的发展,语用学的形式化研究无疑是相对滞后的”(蒋严,2002:19)。
短句来源
     The traditional formal semantics holds that all the indefinite noun phrases should be interpreted as existentially quantified phrases.
     :文章讨论了传统形式语义学理论和篇章表述理论对无定名词词组的语义解释问题。 传统形式语义学规定所有无定名词词组都具有量化特征。
短句来源
     In computer science field,formal semantics accurately defines and explains the meaning or semantics of computer programming langurage by means of mathematics tool.
     在计算机科学中,形式语义学以数学为工具,精确地定义和解释计算机程序设计语言的含义或语义.
短句来源
     An Introduction to Formal Semantics Operational Semantics
     形式语义学引论 操作语义学
短句来源
更多       
  形式化语义
     Formal Semantics of UML 2. 0 Based on Temporal Logic
     一种基于时序逻辑的UML 2.0形式化语义
     The Formal Semantics of XPath Based on Object-Z
     基于Object-Z的XPath形式化语义
短句来源
     Study on the Formal Semantics of Verilog
     Verilog语言形式化语义研究
短句来源
     The Formal Semantics of XQuery Language
     XQuery语言的形式化语义
短句来源
     The specification of the UML statechart is exported in XMI(XML metadata interchange). According to the formal semantics of UML statecharts,the UML statecharts are transformed into flattened regular expression(FREE) model diagrams. The hierarchical and concurrent structure of states is flattened in the FREE state model.
     然后根据UML statecharts的形式化语义,层次和并发结构被展平,将UML statecharts图的规格说明XML文件转换成FREE(flattened regular expression)模型的规格说明信息;
短句来源
更多       
  形式化的语义
     Our main works are listed as follows,(1) On the bases of Li LiuYing's definitions on operational semantics of UML Statecharts, we add some definitions on transition linked by junction pseudostate, and describe the transition definition as transition structure, which will make it more suitable for software testing and the formal semantics, and these definitions are much easier to be expanded.
     (1) 以李留英等人对UML Statechart图的形式化操作语义为基础,在形式化的语义定义中,增加对junction伪状态连接的迁移关系的定义,并将迁移定义成迁移结构,使得它更适合软件测试且形式化语义更加容易被扩充。
短句来源
     However, its lack of rigor and formal semantics prevents it further developing.
     但UML没有精确的、形式化的语义阻碍了它的进一步发展 .
短句来源
     Based on the characteristic information model of product requirement, the formal semantics of client requirement was described by the syntax and the semantics model analyses of the product requirement.
     以产品需求的特征信息模型入手,通过对产品需求的语法、语义模型的分析,将客户需求通过形式化的语义描述出来。
短句来源
     Advanced components such as multiple instances task,cancel task,and task with transfer transition were provided by DWF_net,which could directly support complicated patterns. Every advanced component was mapped onto specific structural DWF_net with formal semantics.
     通过提供多实例任务、取消任务、带传递变迁的任务等高级组件,直接支持工作流模式中几个主要复杂模式,每一个高级组件都对应一定结构的工作流描述网,并具有形式化的语义,在分析时按照一定的规则展开;
短句来源

 

查询“formal semantics”译词为其他词的双语例句

     

    查询“formal semantics”译词为用户自定义的双语例句

        我想查看译文中含有:的双语例句
    例句
    为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
      formal semantics
    Petri nets provide a formal semantics for the system and a performance model.
          
    We extend the tabular notationof the SCR method to deal with sporadic and periodic timing constraints.We present a formal semantics for timed SCR specifications bytranslating them into timed transition systems.
          
    Even though most programming languages favour lexical scope, not only does dynamic binding remain an interesting and expressive programming technique in specialised circumstances, but also it is a key notion in formal semantics.
          
    In this paper, we provide this introspection protocol with a formal semantics.
          
    In this way, LEMMA models are ascribed formal semantics and can be executed and analyzed automatically.
          
    更多          


    The denotational semantics, operational semantics and relational semantics of programming languages are introduced and two theorems on their functional equivalence are proved. This demonstrates the logical consistency of the three kinds of formal semantics.

    本文介紹了程序語言的指称語义、操作語义和关系語义,并论证了它们的逻辑一致性。

    In this paper, a compiler generation system HMCGS based on Normalized Ordered Attribute Transformation Grammar NOATG corned from attribute grammar is presented,NOATG can be used in describing formal semantics of programming lanaguages, automatic compiler generation and so on. Attribute Desciiption language ADL is designed as the input language of HMCGS system. HMCGS accepts an ADL program and automatically generates a corresponding target compiler. This paper also describes briefly the structure of HMCGS-System...

    In this paper, a compiler generation system HMCGS based on Normalized Ordered Attribute Transformation Grammar NOATG corned from attribute grammar is presented,NOATG can be used in describing formal semantics of programming lanaguages, automatic compiler generation and so on. Attribute Desciiption language ADL is designed as the input language of HMCGS system. HMCGS accepts an ADL program and automatically generates a corresponding target compiler. This paper also describes briefly the structure of HMCGS-System and generated target compiler.

    本文介绍一个基于范式有序属性转换文法NOATG的编译程序自动生成系统HMCGS。NOATG源于属性文法,可被用于描述程序语言的形式语义、编译程序的自动生成等领域。属性描述语言ADL是专为HMCGS系统设计的输入语言。HMCGS系统接受一个ADL语言程序,生成一个相应的目标编译程序。本文还简要介绍了HMCGS系统与目标编译程序的系统结构。

    In this paper,we construct the formal semantics model of COBOL programming language using viena development method.The puropse of model is to represent equally the literal rule of COBOL lan- guage definition about the static semantics and dynamic semantics in the form of abstractive and formal definition.

    用形式技术描述过程序语义,是近年来有较大发展的一门前沿技术,其目标是用一个严格定义的形式模型表达程序的语义.这对于程序的形式开发与验证有着重要的意义.国外将它誊为“九十年代软件开发新模式的革命性方法”.本文采用这门技术构造了 COBOL 语言的形式语义模型.用抽象的形式描述等同表达 COBOL 语言文本定义中关于静态语义,功态语义的文字描述规则.第一次较完整地给出一个 COBOL 语言的形式语义模型.

     
    << 更多相关文摘    
    图标索引 相关查询

     


     
    CNKI小工具
    在英文学术搜索中查有关formal semantics的内容
    在知识搜索中查有关formal semantics的内容
    在数字搜索中查有关formal semantics的内容
    在概念知识元中查有关formal semantics的内容
    在学术趋势中查有关formal semantics的内容
     
     

    CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
    版权图标  2008 CNKI-中国知网
    京ICP证040431号 互联网出版许可证 新出网证(京)字008号
    北京市公安局海淀分局 备案号:110 1081725
    版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社