期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到5篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于Petri网的联锁软件测试用例动态生成 被引量：3
1
作者 强生杰 任恩恩 《计算机工程》 CAS CSCD 2013年第1期54-57,共4页
根据Petri网可动态描述和分析系统行为的特性,设计铁路计算机联锁软件安全需求Petri网模型,进而提出基于Petri网故障树的最小割集求解算法以及基于形式化故障树最小割集的测试用例动态生成算法。虚拟站场上的测试结果表明,该方法能有效... 根据Petri网可动态描述和分析系统行为的特性,设计铁路计算机联锁软件安全需求Petri网模型,进而提出基于Petri网故障树的最小割集求解算法以及基于形式化故障树最小割集的测试用例动态生成算法。虚拟站场上的测试结果表明,该方法能有效地降低测试过程的资源消耗,提高软件测试的效率,为联锁软件的设计与改进提供测试依据。 展开更多
关键词 PETRI网 逆网 最小割集 联锁软件 测试用例
下载PDF
一种求解与/或树的Petri网方法
2
作者 王淑礼 孙芳 《电脑开发与应用》 2005年第9期9-10,共2页
研究了用Petri网求解人工智能中与/或树的问题,提出了一种把与/或树转换成相应的Petri网,并通过其逆网求得原与/或树的解树的方法,可进而利用模糊Petri网的推理得到与/或树的最优解树。该方法直观高效,拓宽了Petri网的应用领域。
关键词 PETRI网 逆网 解树 与/或树
下载PDF
逆网在离散事件系统监控理论中的应用
3
作者 茹雨 吴维敏 《系统仿真学报》 CAS CSCD 北大核心 2005年第z1期213-215,共3页
Petri网理论研究中,逆网由于仅仅改变了原网中弧的方向而其状态空间没有任何变化,因此尚无深入的研究.但因其行为与原网行为的可逆性,在基于Petri网的离散事件系统监控理论中得到了一定的应用:一是用于求取弱禁止状态集,二是用于计算状... Petri网理论研究中,逆网由于仅仅改变了原网中弧的方向而其状态空间没有任何变化,因此尚无深入的研究.但因其行为与原网行为的可逆性,在基于Petri网的离散事件系统监控理论中得到了一定的应用:一是用于求取弱禁止状态集,二是用于计算状态反馈控制策略.本文对这两个方面进行了简要的介绍,随后用一个简单的示例做了说明. 展开更多
关键词 离散事件系统 监控 PETRI网 逆网
下载PDF
Petri网逆网在主轴故障诊断中的应用 被引量：3
4
作者 谷东伟 张学文 +2 位作者 王志琼 申桂香 张英芝 《重庆大学学报（自然科学版）》 EI CAS CSCD 北大核心 2016年第6期111-117,共7页
为了能够快速寻找主轴故障原因,采用Petri网逆网对数控机床主轴进行故障诊断。建立petri网逆网模型构建数控机床主轴关联故障可达图,深入系统分析主轴故障的各个子系统、故障模式和故障根本原因,并对故障模式和故障原因进行关联性分析;... 为了能够快速寻找主轴故障原因,采用Petri网逆网对数控机床主轴进行故障诊断。建立petri网逆网模型构建数控机床主轴关联故障可达图,深入系统分析主轴故障的各个子系统、故障模式和故障根本原因,并对故障模式和故障原因进行关联性分析;分析状态转移可达集,掌握主轴关联故障的传递过程,寻找导致主轴故障的根本原因;并以数控机床主轴噪声大为例描述数控机床主轴Petri网逆网故障诊断过程。主轴关联故障的Petri网逆网研究,有助于迅速进行主轴故障诊断与维修,缩短修复时间,进一步提高主轴的可用度。 展开更多
关键词 主轴 故障诊断 Petri网逆网
下载PDF
离散事件系统一类禁止状态避免控制
5
作者 王玲 马世骁 李凤阳 《沈阳理工大学学报》 CAS 1996年第3期7-10,共4页
以Ｐｅｔｒｉ网为模型描述某些离散事件系统，把实际系统中一些不希望出现的现象抽象为一类禁止状态。
关键词 离散事件系统 PETRI网 Petri网逆网 禁止状态 避免控制
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部