英语释义

• the study of language meaning

片语

Frame Semantics框架语义学

algebraic semantics代数语义学

denotational semantics[计] 指称语义

game semanticsGame semantics (, translated as dialogical logic) is an approach to formal semantics that grounds the concepts of truth or validity on game-theoretic concepts, such as the existence of a winning strategy for a player, somewhat resembling Socratic dialogues or medieval theory of Obligatione In the late 1950s Paul Lorenzen was the first to introduce a game semantics for logic, and it was further developed by Kuno Lorenz.

onomasiology专名学；语义学

operational semanticsOperational semantics are a category of formal programming language semantics in which certain desired properties of a program, such as correctness, safety or security, are verified by constructing proofs from logical statements about its execution and procedures, rather than by attaching mathematical meanings to its terms (denotational semantics). Operational semantics are classified in two categories: structural operational semantics (or small-step semantics) formally describe how the individual steps of a computation take place in a computer-based system.

Product Semantics产品语意学

Structural SemanticsLogical positivism asserts that structural semantics is the study of relationships between the meanings of terms within a sentence, and how meaning can be composed from smaller element However, some critical theorists suggest that meaning is only divided into smaller structural units via its regulation in concrete social interactions; outside of these interactions language may become meaningles

microprocessor semantics微处理机语意学

Computational SemanticsComputational semantics is the study of how to automate the process of constructing and reasoning with meaning representations of natural language expression It consequently plays an important role in natural language processing and computational linguistic

英汉例句

• this is not interoperable and the semantics may not be portable either.

  这不是可互操作的，语义也可能不是可移植的。

• c ++ has been a copy - semantics language since its inception.

  自c++诞生以来,它一直是拷贝语义的语言.

• the task also has a start node, however, this node is optional and does not change the execution semantics of the task, which can only begin execution when the input is available.

  该任务也有一个开始节点，不过，这个节点是可选的，不会改变任务的执行语义，这个任务只有在该输入可用的情况下才会开始执行。

• in this version, the domain class (in yellow) includes an interface that defines the semantics of a schedule item.

  在此版本中，域类（黄色部分）包含了一个定义日程项目语义的界面。

• an activity diagram must be owned by an activity and must fully and exclusively depict the semantics of that activity.

  一个活动图必须被一个活动所拥有，并且必须全面的和专有的描述该活动的语义学；

• the approval process might be altered at any step without changing the business semantics of the process.

  批準过程可以在任一步被修改而不改变这一过程的业务语义。

• i am not entirely certain i have the semantics of , , , and right, but given the cardinalities of elements, this seems to be the required arrangement.

  我不能完全肯定我已经领会了 、 、 和 的语义，但是如果给定了元素的基数，似乎就需要这样安排。

• semantics is a subject studying the meaning of language.

  语义学是研究语言意义的一门学科.

• the context of the arts data model provides significant semantics to these names.

  arts数据模型的上下文为这些名称提供了重要的语义。

• a state machine diagram must be owned by a state machine and must fully and exclusively depict the semantics of that state machine.

  一个状态机图必须为一个状态机所拥有，并且必须全面的和专有的描述该状态机的语义学。

• the topology model provides a means of further classifying these relationships based on the semantics driving these relationships.

  这个拓扑模型根据操纵这些关系的语义提供了进一步对这些关系分类的方法。

• for completeness, we should note that in the rare case where existing providers match exactly the semantics of the service model, the service bus can be considered a limited integration layer.

  为了全面，我们应该指出，在现有提供者正好匹配服务模型的语义这一很少见的情况下，可以把服务总线看作功能有限的集成层。

• a component prototype modeling method based on semantics was suggested.

  提出了一种基于语义的组件化样机建模方法.

• the rest of the parameters have the same semantics as in data distribution or replication policy.

  余下的参数与数据分布或复制策略中的参数具有同样的语义。

• these relationships impose some semantics on the system that further assist in validating or understanding the system.

  这些关系利用系统上的一些语义可以进一步帮助确认或者理解这个系统。

• these constraints annotate models with an additional strengthening layer of semantics beyond what is expressible solely in base uml.

  这些约束用额外的语义强化层标来注模型，超出了只在基础uml中可表示的内容。

• second, it makes the relations and their semantics explicit, whereas in a standard database schema many relations are implicit in design of the schema.

  其次，它使关系和它们的语义变成显式的，而在标準的数据库模式中许多关系隐含在模式的设计中。

• these new functions within the modeling platform fundamentally change the capability of an enterprise to define and control business semantics across various modeling domains.

  这个建模平台中的这些新功能从根本上提升了企业跨各种建模领域定义和控制业务语义的能力。

• my ideas on semantics needed more careful exploration.

  我关于语义学的一些想法需要更仔细的研究.

• in the next two iterations i will build on these semantics and dig deeper into known inhibitors and potential catalysts.

  在接下来的两个章节中我将定义这些语义以及剖析更深层的障碍和潜在的催化剂。

• however, they provide only the rules and semantics for transaction processing.

  但是，它们仅提供了事务处理的规则和语义。

• describe the purpose and semantics of the deployment descriptor.

  描述部署描述符的用途和语义.

• it defines some semantics for how to treat headers such as whether processing of the header is optional.

  它定义了一些关于如何处理消息头的语义，比如头的处理是不是可选的。

• these groups look to define entire document formats along with the semantics of all the elements, attributes, and content.

  这些小组希望定义整个文档的格式，以及所有元素、属性和内容的语义。

• while unambiguously expressed semantics with rdf are good, even if everyone did that, it is of little use if you have no idea how the rdf from different sites is related.

  尽管可以使用rdf明确地表达语义，但即使每个人都这样做，如果不知道如何将各个站点的rdf联系起来，那么也没有什么用处。

• this method reflects abundant semantics of source codes and has better expansibility.

  该方法体现了源程序丰富的语义,具有较好的可扩展性.