您的位置: 专家智库 > >

中国航空科学基金(2007ZD52043)

作品数:1 被引量:7H指数:1
相关作者:胡军周航黄志球祝义更多>>
相关机构:徐州师范大学南京航空航天大学南京大学更多>>
发文基金:中国航空科学基金国家教育部博士点基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 1篇期刊文章
  • 1篇会议论文

领域

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

主题

  • 1篇语义检索
  • 1篇知识表示
  • 1篇知识检索
  • 1篇知识推理
  • 1篇时间PETR...
  • 1篇实时系统
  • 1篇基于本体
  • 1篇本体

机构

  • 2篇南京航空航天...
  • 1篇南京大学
  • 1篇徐州师范大学

作者

  • 2篇黄志球
  • 1篇朱小栋
  • 1篇祝义
  • 1篇周航
  • 1篇胡军
  • 1篇汪文颖

传媒

  • 1篇计算机研究与...

年份

  • 2篇2009
1 条 记 录,以下是 1-2
排序方式:
基于本体的知识检索框架的研究
针对目前的信息检索系统缺乏智能处理的能力,将语义信息加入检索系统中,提出一种基于本体的知识检索框架,从原理和方法论上对该框架进行了详细研究,并对框架的各个组成部分进行了阐述,最后对框架的性能分析表明在查全率和查准率方面都...
汪文颖黄志球朱小栋
关键词:本体知识检索知识表示知识推理语义检索
文献传递
基于Time Petri Nets的实时系统资源冲突检测被引量:7
2009年
Time Petri Nets在实时系统的建模和性能分析中得到广泛应用,而冲突是Petri网及其扩展模型的重要行为,解决冲突是正确分析模型动态行为的关键.目前随机Petri网、混合Petri网和区间速率连续Petri网的冲突检测方法由于没有考虑到时间约束因此无法在TPN网中使用.时间约束的引入使得Time Petri Nets模型的使能和触发语义比Petri网模型的语义复杂,冲突检测变得更加困难.为了计算冲突发生的时间和概率,首先根据时间约束,给出了变迁持续使能时延迟区间的计算方法,并证明了该方法的合理性和完备性;然后在此基础上定义并证明了Time Petri Nets模型中不冲突的检测方法;并提出了Time Petri Nets模型的冲突检测方法,给出了冲突时间区间和变迁实施概率的计算方法;最后通过实例验证说明了该方法的正确性和有效性.
周航黄志球胡军祝义
关键词:时间PETRI网
共1页<1>
聚类工具0