咨询与建议

限定检索结果

文献类型

  • 2 篇 期刊文献

馆藏范围

  • 2 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2 篇 工学
    • 2 篇 计算机科学与技术...
    • 1 篇 软件工程

主题

  • 2 篇 petri-net模型
  • 1 篇 并行对象
  • 1 篇 任务迁移
  • 1 篇 高可用集群
  • 1 篇 并行程序设计
  • 1 篇 任务分配表
  • 1 篇 可信性
  • 1 篇 可视化
  • 1 篇 面向对象
  • 1 篇 句柄
  • 1 篇 k/n表决冗余系统

机构

  • 1 篇 桂林航天工业高等...
  • 1 篇 解放军信息工程大...
  • 1 篇 西安科技大学

作者

  • 1 篇 陈艳
  • 1 篇 郭金庚
  • 1 篇 薛弘晔
  • 1 篇 黄永忠
  • 1 篇 郝丽蕊
  • 1 篇 李国巨

语言

  • 2 篇 中文
检索条件"主题词=Petri-net模型"
2 条 记 录,以下是1-10 订阅
排序:
一种高可用性冗余集群的关键技术及可信性分析
收藏 引用
计算机应用 2009年 第2期29卷 611-613,617页
作者: 郝丽蕊 薛弘晔 陈艳 桂林航天工业高等专科学校计算机系 广西桂林541004 西安科技大学计算机系 西安710065
介绍了高可用性冗余集群系统的一些关键技术,提出了一种基于任务表的自适应容错算法,对算法的设计思想和具体实现进行了详细阐述。最后建立了系统随机petri-net模型,对系统进行可信性分析,经计算分析表明系统满足实际高可用性要求。
来源: 评论
基于并行对象的可视化模型
收藏 引用
计算机工程与应用 2002年 第6期38卷 92-94,97页
作者: 李国巨 黄永忠 郭金庚 解放军信息工程大学 郑州450002
提出了一种基于并行对象的可视化模型,该模型中吸取了数据流图、petri-net和UML技术中的基本思想,通过使用数据流图来确定数据加工状态,从而初步得到并行对象的雏形,然后使用petri-net来描述并行对象的动态特征,最后使用UML对并行对象... 详细信息
来源: 评论