This paper proposes a new simple trace semantics that can be used to specify security properties, this technique supports a protocol designer to provide formal analysis of the security properties.

Formal Analysis for Network Security Protocols Based on Trace Semantics

基于迹语义的网络安全协议形式化分析

A Formal Semantics of Agent Organization Structure Design

Agent组织结构设计的一种形式语义

On Interactive Model of Web Services Base on Formal Semantics

基于形式语义的Web服务交互模型

The History and Framework of Formal Semantics

形式语义学的历史渊源和理论框架

Multi-paradigm Based Instruction Assistant System for Formal Semantics Course

基于多语言范例的形式语义学教学辅助系统

Based on the Web application, the users can use the data source to achieve the reports design, generate the reports template and data auto-summary directly or by the semantic layer on Web browser.

基于Web应用程序，用户通过浏览器，直接或通过语义层使用数据源，完成各种报表的设计，生成报表模板及数据自动汇总。

The Intelligent Semantic Browser can browse the SLN and carry out two types of reasoning: small granularity reasoning by chaining semantic links and large granularity reasoning by matching semantic views of an SLN.

智能语义浏览器能浏览语义链网络并能进行两种类型的推理：通过将语义链连接起来进行小粒度推理和通过语义链网络的语义视图的匹配进行大粒度推理。

And as the client of knowledge base grid, the semantic browser provides knowledge browsing, inquiring, simple reasoning, grid node management, and etc.

语义浏览器，作为知识库网格的客户端，提供了知识浏览、查询、简单推理、节点管理等功能。

Resource clustering refers to the process that dividing the resources which belong to the same topic and have high similarity of contents between each other into a cluster according to the semantic connotation of the resources, and then specifying a semantic label for every cluster.

资源聚类是指按照资源所包含的语义内容，将内容相似度较高、属于同一主题的资源划分为一个类别，并为每一个类别指定一个语义标签的过程。

For existing Web service discovery mechanism inefficiencies and the precision rate is not high, we proposed an ontology-based semantic Web services cluster and discovery framework. Firstly, we proposed the ontology-based Semantic Web service description model.

针对现有的Web服务发现机制中存在的效率低下和查准率不高的两个问题，提出了一种基于本体的语义Web服务聚类和发现框架。首先，提出了基于本体的语义Web服务描述模型。

The information insufficient problem of original query is solved by using the method mentioned above. ( 2) A result reconfiguration method based on semantic topic cluster is designed to re-ranking initial results.

设计了基于语义主题聚类的结果排序方法，对初始检索结果进行重排序。

The documents in semantic cluster are semantically related with query by the query-guided activation, decreasing the risk caused by topic distraction of feedback documents.

以用户查询为导向的激活方式在语义上将聚类下的文档与查询关联起来，克服了反馈文档主题分散同现带来的风险。

Thirdly, the system can manage the documents based on semantic concept space.

再次，基于概念语义空间有效地统一文本信息管理；

Semantic Concept Set of the ER Model and Its Representation

ER模型的语义概念集合和表示法

Research into information retrieval based on the combination of keyword and semantic concept

基于关键词与语义概念结合的信息检索研究

A Chinese Document Classification Approach Based on Semantic Concept

一种基于语义概念的中文文本分类方法

Present an efficient method of constructing the SERB ( semantic element representation base) semi-automatically.

提出了一种高效的半自动构建语义单元表示库（英汉）的方法。

An element to express a meaning in an SS is called semantic element ( SE).

在句义中表达一个意思的单元被称为语义单元。

The semi-automatic construction of the semantic element representation base

语义单元表示库的半自动构建技术

The structure of semantic element field and the creditability on information understanding

信息理解的义元场结构及可信性