藏语语义框架的理解与描述

用框架表示知识是人工智能乃至语言工程中一项最为重要的基础工程和基础资源之一.文章结合实例分析了藏语词语语义框架,并通过对词语认知过程的理解来组织框架,进而对框架进行结构信息的描述.     

语义描述集成环境的研究与实现

描述是整个计算机领域的中心议题.该项工作涉及的内容甚广,具有相当难度.在软件理解和文法通用性的基础上,提出了通用的语义描述集成环境,而后就有关应用问题做了特化探讨.     

计算机网络通信协议的一种形式化描述技术

针对目前绝大多数形式化描述技术在处理协议的活性等方面存在的不足,提出一种新的基于公平性假设的时态逻辑技术描述协议,并给出ＡＢ协议的形式化描述实例。     

基于通信顺序进行的计算机网络通信协议形式化描述

描述和设计计算机网络通信协议时，使用抽象的同步通信机制最为方便但在实际中，使用异步机制将机制将不可避免。基于霍尔的“通信顺序进程”和其他通信协议描述与设计的理论研究结果，本文提出一个形式化方法，这个方法在不论使用休种实现通信机制的情况下都将保证通信协议的正确性。     

基于MPEG-7的视频语义描述方法

基于对视频语义信息的3个层次划分，提出了一个基于MPEG－7的视频数据模型，并运用扩展标记语言（XML），以实例阐述了视频内容的视频对象、视频事件和视频元数据构造和描述方法。所提出的方法能支持不同抽象层次上复杂语义关系的描述，能够使用户更加灵活地访问数字视频库，获得自己所需的视频信息。     

基于描述逻辑的语义Web本体研究

语义Web出现的目的就是为了解决机器和人对知识的理解的问题,首先需要解决的问题就是计算机对知识的理解问题,只有计算机理解了所建立的知识,才能在此基础上展开推理服务。首先讨论了传统知识表示方式的缺陷,然后对本体论的逻辑基础———描述逻辑进行了研究。由于OWLDL和描述逻辑的一致关系,因此使用OWLDL来表示本体。介绍了描述逻辑推理系统RACER。最后提出了解决本体层知识表示方法的解决方案。     

基于PCL的改进型Helsinki协议的形式化分析

针对改进型的Helsinki协议安全性问题,利用协议组合逻辑PCL对协议进行形式化分析.首先使用基于"Cords演算"的程序描述语言对协议本身进行形式化描述,然后通过协议逻辑描述协议的安全属性,最后给出性质和定理,并通过逻辑推理证明改进型Helsinki协议满足其安全要求,该协议是安全的.     

面向对象的协议半自动实现方法的研究与实践

本文在利用面向对象思想分析Ｅｓｔｅｌｌｅ语言的基础上，提出了面向对象的协议半自动实现方法。在此方法指导下，以Ｃ＋＋为中间语言，实现了Ｅｓｔｅｌｌｅ转换为Ｃ＋＋的编译器。本文介绍了Ｅｓｔｅｌｌｅ－Ｃ＋＋编码器的结构、特点及设计实现。     

数字签名过程的一个形式描述和验证

通过引入一些新概念,利用Biba模型思想,对一般的数字签名方案形式化描述和验证,并且该模型具有完整性.     

一种面向形式概念分析的语义相似度计算框架

为了计算形式概念分析的形式概念或概念格的语义相似度,利用描述逻辑概念作为形式背景的特征属性对形式概念分析的形式背景进行语义扩展,即利用领域本体(描述逻辑知识库)提出了形式背景的一种语义表示方法．在此基础上,基于形式背景的语义表示,利用描述逻辑推理(即本体推理)给出了一种面向形式概念分析的形式概念或概念格语义相似度计算框架,并且证明了实例化该架构所得到的语义相似度计算方法满足对称性和等价不变性等基本性质．     

形式化描述在学习目标中的研究

对IMS学习设计规范中的学习目标进行了分析,并构建其概念模型,然后运用描述逻辑语言ALC对该模型进行形式化描述,定义了学习目标的相关概念,并通过不同的权值来表现对不同知识点掌握的高低程度。     

ISO/OSI运输层协议的形式描述

通信协议的形式描述是协议实现、正确性验证和一致性测试的基础．本文用一种混合式模型对ＩＳＯ／ＯＳＩ的运输层协议进行了形式描述，为协议的实现打下基础     

基于Agent的语义Web服务框架及其逻辑描述

通过研究Agent技术与语义Web服务技术在应用中结合的方式和Agent在语义Web服务技术体系中需要扮演的角色,以及Agent与语义Web服务结合的具体实现,提出了一种基于Agent的语义Web服务框架。在此框架的原理基础上,利用扩展逻辑C＆L意图理论描述了框架中Agent的工作过程以及语义Web服务的内容。     

基于色彩描述的图像情感语义查询

针对图像视觉特征、中间层语义和高层情感语义之间的语义鸿沟,以色彩为代表,提出了图像情感语义查询的框架.在该框架下,利用图像色彩分割结果,通过定义描述色彩语义的自然语言词汇,设计了基于模糊隶属函数的图像色彩语义描述方法,并在此基础上定义了一种查询语言,将人类对图像内容理解的经验与图像色彩语义描述联系起来,实现了图像高层情感语义的查询.实验结果表明,该方法为图像语义研究提供了一种可行的、有效的、可扩展的解决方案.     

语义Web服务基础技术研究综述

语义Web服务的提出是为了解决现有Web服务发现和组合等低性能和低效率问题,从而有效提高信息集成的自动化能力。主要对语义Web服务相关研究的基础--服务的描述语言进行综述。叙述了语义Web服务的研究背景,详细地讨论了5种语义Web服务的描述语言,并给出了语义Web服务的集中式和非集中式两种发布模型架构,列举了语义Web服务的几种开发工具,对语义Web服务技术进行了总结和展望,为以后的深入研究提供参考借鉴。     

权限的语义及基于XML的授权信息描述

本文介绍一种支持多个应用系统集成环境下的进行统一用户授权管理所必须的授权信息通用化表示方案.文中首先通过对构成权限对象及其操作的语义进行分析,指出对象的操作属性应由操作类型、操作值和操作语义构成;从而得到权限的通用化描述方法.本文接着介绍了利用XML来描述基于RBAC模型中与权限相关的授权数据的方法,从而可以实现在多应用系统集成环境下的权限自动识别.     

RGDL语义结构的面向对象模型及翻译方法

分析报表描述语言ＲＧＤＬ与一般高级语言在语义上的明显差异后，给出一种新的语义描述方法和翻译方法，重点介绍ＲＧＤＬ语义结构建模技术、面向对象的语义子程序设计以及目标代码生成系统的总体构成等。     

通信软件系统开发中的形式化描述技术

本文介绍了在通信软件系统开发中广泛使用的五种形式化描述技术LOTOS、Z、SDL、ESTEREL和MSCs,及情景表示方法UseCaseMaps(UCM),分析了它们的特点,并对它们进行了深入的研究和评价。