It makes full use of the advantages, including that algebraic semantics describes the abstract data types, Hoare logic describes the software functions and UNYFY logic describes the properties of parallel programs.

Algebraic Semantics of Modeling Language AML

面向对象建模语言AML的代数语义

互联网摘选

Research on Algebraic Semantics of Message Sequence Charts

MSC代数语义研究

互联网摘选

Algebraic semantics and inheritance of an abstract class with trace

具迹抽象类型的代数语义与继承

互联网摘选

About the axiomatic semantics, I have not see the articles about the axiomatic semantics of continue, break, return, and the main reason is these statements concerning about the control transfer and difficultly to describe the formula.

关于公理语义，目前没有见到讨论continue，break，return等的语句的公理化方面的文章，主要原因是这些语句涉及到控制转移问题，用逻辑公式不易描述。

互联网摘选

We also give the axiomatic semantics of if statement and while statement and block statement in order to show that the axiomatic semantics plan is normal.

为了说明本文提出的公理语义方案具有一般性，也给出了具有异常处理机制条件下，if语句，while语句，和块等语句的公理语义。

互联网摘选

In this paper, we mainly discuss the axiomatic semantics of class and polymorphism for Java, including the correlative component.

本文以Java语言为背景，重点讨论了类的继承和多态性的公理语义，同时也给出了必要的及相关的语言成分的公理语义。

互联网摘选

Studying the Relationship Between GAMMA and UNITY Model Based on Axiomatic Semantics

从公理语义看UNITY模型和GAMMA模型的关系

互联网摘选

Based on analyzing the structure of syntax and the reduction system of semantics in seal-calculus and boxed ambient calculus we present a few equivalence relation: communica-( tion's) equivalence, communication primitive's equivalence and the equivalence of code movement.

本文在系统分析Seal演算与Boxed Ambient演算的语法结构和语义规约系统的基础上给出了一些等价关系：通信等价、通信原语等价和代码移动等价。

互联网摘选

CBR: A Component-Based Reduction Method for Semantics Verification of Workflow Processes

CBR：一种支持工作流过程语义验证的组件级化简方法

互联网摘选

A function/ logic language implementation technique with reduction semantics

函数／逻辑语言归约实现技术

互联网摘选

The reduction semantics in garment

Garment中的归约语义

互联网摘选

Semantic role complexity of subject in ba sentences reflects the inconsistency between the semantic role and the argument of the sentence.

把字句主语语义角色的复杂性反映了动词的语义角色与句式的论元不一致。

互联网摘选

So far as the related variables influencing the lexical access and the linguistic error sources, the paper tells that word frequency effect, semantic complexity and first language ( L1) interference are the most important factors to affect L2 vocabulary acquisition.

对于错误出现的原因，文章从影响词汇提取的相关因素考虑，结合语言学错误根源，总结得出词频效应，语义复杂度及母语迁移等是影响词汇习得的关键要素。

互联网摘选

Because the directional complement has the characters of high frequency used and flexible structure and semantic complexity, as well as many influence in other aspects. Those results in that the foreign students feel difficult in learning and the use of directional complements.

汉语趋向补语所具有的使用频率高、结构灵活、表义复杂的特点，以及其他的诸多因素影响，使得外国学生在学习和使用趋向补语时往往举步维艰。

互联网摘选

Because of the Chinese syntax and semantic complexity, Chinese text-matching is very difficult. Therefore, designing an efficient and accurate non-structural text-matching system based on Chinese has a wide range of practical significance.

由于中文语法和语意的复杂性，使得中文的文本匹配变得异常困难，因此设计一个基于中文的高效、准确的非结构文本匹配系统具有广泛的现实意义。

互联网摘选

Video semantic complexity, vagueness and subjectivity make the "semantic gap" between low-level features and high-level semantics, this problem has not been a good solution.

视频语义的复杂性、模糊性以及主观性使得低层特征和高层语义之间存在着语义鸿沟，这一问题一直没有很好的解决。

互联网摘选

Because of its non-numerical feature and semantic complexity, Text Mining becomes a hot and difficult spot of Data Mining.

文本的非数值性、复杂性等特点使得文本挖掘成为数据挖掘相关领域中的热点与难点。

互联网摘选

The core language syntax, the run-time semantic of dynamic connection, and the type system are presented.

给出了Bichon语言原型的核心语法，构件动态连接的运行时语义描述，类型系统。

互联网摘选

Semantic Coherence and Connection within Event Frame Analysis of Cutting Clauses

事件框架的语义连贯和连通&切刻小句的实例分析

互联网摘选

Apart from that, the interactional characteristic of a conversation is also represented through the analysis of the semantic connection among topics, of the processes in transitivity system and of the participants.

此外，会话的互动性特征也通过对话题的意义连接、对及物性过程的分析以及对参与者主体的分析体现了出来。

互联网摘选