This provides a rigorous dynamic semantics for the model and a formal basis for its enactment and analysis.

A Kind of Reactive SPM and the Expression of Its Dynamic Semantics with XYZ

一种反应式SPM及其动态语义XYZ表示

An Investigation into the Nature of Dynamic Semantics from the Perspectives of Verbs of Vision

从几个视觉动词看动态语义学的实质

Graphical Workflow Process Modeling and its Automata-Based Dynamic Semantics

工作流过程图形建模及基于自动机的动态语义

This paper will firstly build an abstract description model for dynamic semantics detection of software components;

为解决这一问题，该文首先构造一个能够用于软部件动态语义检测的抽象描述模型；

In this paper, general semantics are formalized into 3 primary principals and 10 accidental principals and extensional tools, which are then analyzed comprehensively. Critical thinking and meaningful practice are done on the basis of the formalized thoughts and with reference to life experience.

本文将通用语义理论概括为3个大原则和10个相关的从属原则和外延性工具进行了深入分析，并且把这些思想和社会生活实践相结合，给出了严谨地思考和有益地尝试。

Examining the proposals and methods of general semantics not only further its academic research but also have practical significances in understanding the world we live in.

探讨普遍语义学的主张及其方法，不仅可以深化对语义学的学术研究，而且对理解我们的生活世界也具有重要的实践意义。

This paper, mainly using metaphor theory in the cognitive linguistic, analyzes and sorts the general semantics of xia.

文章主要运用了认知语义学中的隐喻理论，对下的整体语义进行了分析与归类。

International Society for General Semantics

国际普通语意学学会

General Semantics: A Linguistic Study Mainly for Diagnosis and Treat

以诊疗为己任的语义学说：普通语义学

The general semantics is an important school in American Language philosophy, which aroused some comments, mainly negative, in China.

普通语义学是美国语言哲学领域中的一个重要派别，我国学术界对此也有一些粗浅的评介，但大都持否定的态度。

On General Semantics and the Theoretical Foundations

论普通语义学及其理论基础

Programs have appeared as O_expressions ( expressions of operations on physical objects) and program semantics are given by axioms on O_expressions.

程序以操作表达式的形式呈现，而其语义则以公理的形式给出。

The partial weakest precondition is another way to represent the over-approximated program semantics, and its definition is also based on variable abstraction.

部分最弱前置条件是程序保守近似语义的另一种表示方法，同样基于变量抽象定义。

We then present the partial strongest post-condition, which represents the over-approximated program semantics.

基于变量抽象，我们定义了部分最强后置条件，进而定义了程序的保守近似语义。

So, this paper addresses how to define program semantics on dynamic data structures.

本文针对这种情况，研究了如何正确刻划动态数据结构的程序语义问题。

On the basis of an improved semantic affinity based term clustering algorithm, a semantic-based clustering approach for concept generation is proposed. Domain concepts are generated through semantic affinity based term clustering while terms are extracted from term sets of heterogeneous knowledge sources.

改进了基于语义相似度的术语聚类算法，在此基础上提出了基于语义聚类的概念生成方法，其基本思想是由各知识源的术语集合，通过基于语义相似度的术语聚类，生成领域概念。

The compiler of EP consists internally of lexical scanner module, parser module, semantic analyzer, target code generator module, symbol table management module and error handle module.

编译器由词法分析、语法分析、语义分析、目标代码生成、符号表管理、错误处理六部分组成。

And Markup Language parser includes three parts: token, syntax and semantic analyzer.

标记性语言的解析包括：词法分析、语法分析、语义分析三个部分。

The second pass acts as semantic analyzer and intermediate code generator.

第二遍用于语义分析和中间代码生成；

NDJCMT& The Semantic Analyzer in Japanese-Chinese automatic translation system

NDJCMT&日汉自动翻译系统中的语义分析器