1)formal semantics形式语义学
1.The History and Framework of Formal Semantics;形式语义学的历史渊源和理论框架
2.The authors used formal semantics as a means to specify query requirement s analyses and establish a conceptual basis for query procedure derivation.使用形式语义学方法详细说明了查询操作需求分析,建立了查询过程演算概念,并以NetConf协议的查询操作(get)为例验证了提出的方法。
3.This paper expatiates the understanding of "grammar", "syntax and semantics" and "predicate and sentence" from the perspective of formal semantics.阐述了形式语义学关于"语法"、"句法和语义",以及"语词和语句"等概念。
英文短句/例句
1.Multi-paradigm Based Instruction Assistant System for Formal Semantics Course基于多语言范例的“形式语义学”教学辅助系统
2.Focus-on-form Instruction: the Integration of Form and Meaning“形式焦点式”语言教学:形式与意义的整合
3.Linguistic Forms and Literary Significance in Translation of Fiction;论小说翻译中的语言形式和文学意义
4.Focus on Form:Integrating Grammar Instruction and Communicative Interaction in the Second Language Classroom;语法教学的新视角:形式和意义兼顾
5.On the Balance of Form and Meaning in Task-based Language Approach;论任务语言教学中形式与意义的平衡
6.Necessity of a balance between form and meaning in FLT;外语教学中形式和意义平衡的必要性
7.The Real Significance of Russian Formalism Discourse in Art Theory Research;俄国形式主义话语在美术学研究中的现实意义
8.The Development and Trend of Grammar:Formalism and Functionalism;语法学的发展与趋向:形式主义与功能主义
9.Form plus Function:Towards a Tentative Unified Theory of Linguistics“形式主义”+“功能主义”:语言学“统一”理论初探
10.English Majors Acquisition of English Tense and Aspect;英语专业学生英语时体的形式和意义习得研究
11.The Semantic Research of BA Type Two-syllabledescriptive Adjective and Teaching Chinese as a Foreign LanguageBA式状态形容词的语义研究与对外汉语教学
12.Exploration on Semantic Formalization from a Computational Linguistic Perspective以计算语言学为视角浅谈对语义形式化的探索
13.semantic prototype model语义原形模式 语意原形模式
14.Differentiation between Literary,Scientific,and Emotional Languages--Exploration of Formalistic Discussions of Literary Language and Their Significance;文学语言、科学语言、情感语言的区分——试论形式主义关于文学语言的讨论及其意义
15.Chinese Special Sentence Patterns and Teaching Chinese as a Foreign Language汉语特殊句式与对外汉语教学——从“x+形+过+y”的句式意义谈起
16.Balance of Language Form and Language Meaning in TBLT;论任务型语言教学中语言形式和语言意义的平衡
17.A Metaphorical and Cognitive Approach to the Relation Between Linguistic Form and Meaning and Its Revelation on Language Teaching;语言形式与语义的隐喻认知解释及其对语言教学的启示
18.Consideration to Both the Form of Language and the Use of Language in English Teaching;英语教学中语言形式与语言意义兼顾问题的思考
相关短句/例句
On Formal Semantics论形式语义学
3)formal semantics形式语义
1.A formal semantics of VHDL based on duration calculus;一种基于时段演算的VHDL的形式语义
2.The modeling method and the models given in IEC 61850 are investigated from the point of view of formal semantics.文中从形式语义的角度出发,对IEC 61850的建模方法和所给出的模型进行了研究。
3.A topological space structure of component sets is proposed on the basis of component and reference formalization, and a new method based on topological dynamical systems is used to study the formal semantics with parallel recursive reference of components.在组件和引用形式模型的基础上给出了组件集的拓扑空间结构,从而在组件并行递归引用形式语义的研究中引入一种新的基于拓扑动力系统的观点和方法,将其指称对象的存在性归结于一个动力系统的吸引子和泛函不动点,同时将引用过程描述为系统的轨迹。
4)formal semantic形式语义
1.In this article, the interoperability of semantic information modeling of IEC61850 is investigated from formal semantic theory.这里尝试从形式语义学的角度对标准的语义信息模型的互操作性进行分析,认为标准的语义信息模型为各种技术的展开奠定了基础;同时,各技术的实施应该基于标准信息模型完备集的同构才能从完全意义上实现标准的互操作性。
2.In this paper,according to the internal and international research development about formal semantic expression in existed digital right expression models,we give a new model that has some dynamic reasoning abilities and is based on the theory of finite automation.该文的主要工作是依据国内外已有数字权限描述模型关于形式语义的研究进展,提出一种数字权限描述模型,该模型通过描述动作的状态及其变迁来表达数字权限证书动态语义。
5)semantic formulae语义形式
6)formal semantics形式化语义
1.It discribes the weaving process between aspects and core components, as well as the weaving process between aspects themselves in statecharts, and then uses the formal semantics of process algebra to describe extended statecharts.本文利用UML的扩展机制将方面加入状态图中,描述了状态图中的方面与核心组件以及方面之间的编织,然后利用进程代数的形式化语义描述了扩展后的UML状态图,克服了扩展UML描述状态图的缺乏形式化动态语义,不利于对模型进行形式化验证和证明的缺点。
2.However,UML does not have a formal semantics,so it could not fulfill the needs of the protocol in precise.但是,UML缺乏形式化语义,因此不能满足协议精确性的要求。
3.0 sequence diagram and state diagram,the formal semantics of UML 2.0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML2。
延伸阅读
形式语义学形式语义学formalsemantics程序设计理论的组成部分，以数学为工具，利用符号和公式，精确地定义和解释计算机程序设计语言的语义，使语义形式化的学科。起源与发展为了正确、有效地使用程序设计语言，必须弄清语言中各成分的含义，并且要求计算机系统执行这些成分所产生的效果和它的语义完全一致。由于自然语言存在歧义性，故用自然语言解释程序设计语言的含义容易造成误解，影响语言的正确实现和有效使用。实践证明，必须用形式化的语言和方法精确解释程序设计语言。这种需求产生了形式语义学。20世纪60年代初，在程序设计语言ALGOL60的设计中，第一次明确区分了语言的语法和语义，围绕ALGOL60的语义问题出现了形式语义学早期的研究高潮。70年代，形式语义学取得重大进展，指称语义、代数语义等理论和方法对程序设计理论有深刻的影响。操作语义、公理语义等研究也开创了新的局面。形式语义学是软件工程学的基础理论之一，语言的形式语法和形式语义已成为程序设计语言的必要组成部分。在形式语义学基础上，形式规范、程序变换、编译自动化等研究都取得了丰硕的成果。主要内容用程序设计语言编写的程序，规定了计算机对数据的加工过程。形式语义学的基本方法是用一种元语言将程序加工数据的过程及其结果形式化，从而定义程序的语义。根据所用数学工具和研究重点，形式语义学可分为四大类。①操作语义学。通过语言的实现方式定义语言的语义，也就是将语言成分所对应的计算机的操作作为语言成分的语义。因为语言的语义应该是标准的，不应依赖于特定的计算机系统，或一种具体的实现方式，因此，操作语义学使用抽象机和抽象解释程序来定义语言的语义。②指称语义学。通过执行语言成分所要得到的最终效果来定义该语言成分的语义。指称语义学方法认为语言成分的含义是语言成分本身固有的，不依赖于具体实现该语言成分的计算机。对同一种语言成分，不同的计算机的执行实现过程可以不同，但所产生的最终效果应该是相同的。这种最终效果被看作是语言成分所指称的外在物体，称作语言成分的指称物。指称物多为数学对象，如整数、集合、函数等。指称语义学方法在定义语言的语义时，先确定指称物，然后给出语言成分到指称物的语义映射，这种映射必须满足两个条件：每个语言成分都对应有指称；复合成分的指称只依赖于它的子成分的指称。论域理论是指称语义学方法的数学基础。③代数语义学。用代数公理刻划语言成分的语义，只要研究抽象数据类型的代数规范。抽象数据类型的代数规范通过构造算子和一组有关运算的代数公理刻划类型操作的行为。在论证这种规范满足协调性和完全性的基础上，通过寻找适当的模型代数，可以定义一个抽象类型的不同层次的语义，如初始语义、终止语义等。然后就可以用普通的代数方法论证规范的正确性和实现的正确性。④公理语义学。通过使用数学中的公理化方法，用公理系统定义程序设计语言的语义。另外，公理语义学还研究和寻求适用于描述程序语义、便于语义推导的逻辑语言。例如，用时态逻辑定义的语言的公理语义又称为时态语义。典型的公理语义方法是Hoare公理系统。
