您的位置: 专家智库 > >

汪美玲

作品数:4 被引量:7H指数:1
供职机构:吉林大学计算机科学与技术学院更多>>
发文基金:国家教育部博士点基金吉林省科技发展计划基金国家自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 2篇期刊文章
  • 1篇学位论文
  • 1篇会议论文

领域

  • 4篇自动化与计算...

主题

  • 3篇PI演算
  • 2篇本体
  • 1篇形式化
  • 1篇形式化方法
  • 1篇形式化描述
  • 1篇形式化描述方...
  • 1篇软件体系结构
  • 1篇属性文法
  • 1篇体系结构
  • 1篇逻辑
  • 1篇逻辑关系
  • 1篇本体演化

机构

  • 4篇吉林大学
  • 1篇北华大学

作者

  • 4篇汪美玲
  • 3篇刘磊
  • 2篇于哲舟
  • 2篇张长海
  • 2篇高艳华
  • 1篇宫慧颖

传媒

  • 1篇计算机研究与...
  • 1篇吉林大学学报...
  • 1篇2007全国...

年份

  • 1篇2008
  • 2篇2007
  • 1篇2005
4 条 记 录,以下是 1-4
排序方式:
Pi演算与动态描述逻辑DDL的关系研究被引量:1
2008年
分析了Pi演算与动态描述逻辑DDL之间的关系:DDL分别从静态结构与动态结构两方面对Pi演算的若干过程定义进行描述,体现了过程的逻辑结构及过程间逻辑关系的变化;以一种基于Pi演算的过程模型为基础,分析了ALC描述逻辑、TBox和ABox的语义,并通过一个例子说明Pi演算对DDL动态知识的变化过程的描述.以上工作表明:DDL的可判定推理可解决基于Pi演算的动态系统的某些一致性检测问题,而Pi演算对动态系统的描述能力可解决DDL动态知识的变化过程的描述问题.
刘磊汪美玲高艳华张长海于哲舟
关键词:PI演算
Pi演算与动态描述逻辑DDL的关系研究
分析了Pi演算与动态描述逻辑DDL之间的关系:DDL分别从静态结构与动态结构两方面对Pi演算的若干过程定义进行描述,体现了过程的逻辑结构及过程间逻辑关系的变化;以一种基于Pi演算的过程模型为基础,分析了ALC描述逻辑、T...
刘磊汪美玲高艳华张长海于哲舟
关键词:PI演算逻辑关系
文献传递
Pi演算与动态描述逻辑DDL的关系及其应用研究
本文完成的工作之一是分析了Pi演算与动态描述逻辑DDL之间的关系:DDL分别从静态结构与动态结构两方面对Pi演算的若干过程定义进行描述,以说明过程的逻辑结构及过程间逻辑关系的变化;以一种基于Pi演算的过程模型为基础,分析...
汪美玲
关键词:PI演算软件体系结构本体演化
文献传递
基于属性文法的本体形式化描述方法及其应用被引量:6
2005年
在分析本体概念和性质的基础上, 提出一种基于简单属性文法的本体形式化描述方法, 其中文法产生式描述本体内的各种逻辑关系, 为逻辑层推理奠定了基础, 通过属性求值规则实现本体的语义; 设计一种属性求值器的构造方法, 在此基础上实现基于语义的信息检索模型; 将基于XML (extensibleMarkupLanguage)的本体元数据模型作为属性求值器处理的对象, 提供相应的文档类型定义 (DTD: DocumentTypeDefinition)以指导XML文档的创建; 结合应用实例说明基于此方法的信息检索结果具有令人满意的精确度; 通过改变产生式、属性及属性求值规则可扩充此方法。
宫慧颖汪美玲刘磊
关键词:本体形式化方法
共1页<1>
聚类工具0