周期性可定实时并行进程的进化代数分析

对应用进化代数（EA），即目前的抽象状态机（Abstract State Machine—ASM），描述可定时实时并行进程进行了研究，进化代数采用第一顺序逻辑（FirSt—Order Logic）定义或解释计算机问题．描述不同的抽象等级并且逻辑地描述计算机算法．因此非常适合描述并行进程复杂的运行过程．并逻辑地精确推导进程调度。     

计算机英语词汇的学习策略

探讨计算机英语词汇的生成规律和意义关系。主要有隐喻式的引申义、语义关系等。运用这些规律和关系，是有效的学习策略。     

一个面向语义的解释器自动生成技术

本文给出从指称语义自动生成解释器后端的一种技术.解释器被表示成PASCAL_like形式.     

科技术语中合成词语的语义分析

本文主要介绍了科技术语中的主要构词方法合成法所构成词语的结构和语义。     

基于语义的信息检索中的反馈技术

首先分析了两种基于语义的信息检索系统的基本框架。由于相关反馈计算在基于内容的图像检索中受到广泛重视，因此对相关反馈中的加权距离进行了讨论和总结。这种相关反馈技术使得高层次语义特征能够逐步嵌入到低层次特征的图像检索中，使检索的准确率大大提高。     

下一代Web的蓝图——语义Web

互联网上分布着海量的零乱的信息,在带给人们便捷的同时,也使得网络的深层次应用,如电子商务、电子政务和数字图书馆等智能化服务的开展十分困难。而将网上信息交给计算机自动处理是解决这些问题的关键。要实现此目的,人们必须让计算机能够很好地理解、处理和利用这些信息。由此,语义Web应运而生。     

自治Agents的面向服务的协商模型

提出了一个基于自治Agents的面向服务的协商模型。模型主要包括两大模块：首先定义了一系列的战略和战术过程，使得Agents可以产生初始建议，评价对方的建议，以及在此基础上做出反建议；其次，定义了两个层次的Agent通信机制。二者相辅相成，实现了Agents间合作的动态形成和随机协调，使得Agents可以承担因环境的不确定性而需动态协作的复杂任务。     

基于概念网络的文本信息监控技术

由于网上信息的迅速增长,文本信息监控已经成为网上信息管理中的热点研究课题。本文在模糊集和语义网络的理论基础上,构建了模糊值动态约束性概念网络,介绍了该概念网络的基本构建方法,并提出了基于概念网络的文本分析算法。