-

检索结果分析

结果分析中...
检索条件:"关键词=Petri-net模型 "
条 记 录,以下是1-2
视图:
排序:
显示条数:
基于并行对象的可视化模型
《计算机工程与应用》2002年第6期92-94,97,共4页李国巨 黄永忠 郭金庚 
国防重点工程资助
提出了一种基于并行对象的可视化模型,该模型中吸取了数据流图、Petri-net和UML技术中的基本思想,通过使用数据流图来确定数据加工状态,从而初步得到并行对象的雏形,然后使用Petri-net来描述并行对象的动态特征,最后使用UML对并行对象...
关键词:并行对象 可视化 Petri-net模型 句柄 面向对象 并行程序设计 
一种高可用性冗余集群的关键技术及可信性分析被引量:2
《计算机应用》2009年第2期611-613,617,共4页郝丽蕊 薛弘晔 陈艳 
国家科技部创新基金资助项目(01c26226111003);桂林航天工业高等专科学校科研资助项目
介绍了高可用性冗余集群系统的一些关键技术,提出了一种基于任务表的自适应容错算法,对算法的设计思想和具体实现进行了详细阐述。最后建立了系统随机Petri-net模型,对系统进行可信性分析,经计算分析表明系统满足实际高可用性要求。
关键词:任务分配表 高可用集群 任务迁移 Petri-net模型 k/n表决冗余系统 可信性 
检索报告 对象比较 聚类工具 使用帮助 返回顶部