现代飞机上各种用电设备日益增多,用电量不断增加,对机载电源的容量、供电质量和可靠性都提出严格的要求。随着先进技术在飞机上的不断应用,对飞机供电系统可靠性的要求越来越高。飞机配电系统是供电系统的重要
工作流由案例、任务、过程、条件等一系列概念构成,其概念源于生产组织和办公自动化,可提高工作效率、管理水平和竞争力。工作流有助于实现产品设计、审批、修改和生产过程的管理。工作流管理为合作和协调的方式提供有效的平台,在企业和商业运作过程的分析中
Petri网是异步并发现象建模的重要工具,Petri网的硬件实现将为并行控制器的设计提供一种有效的途径.本文在通用的EDA软件Max+PlusII中,研究了基本Petri网和时延Petrii网的硬件实现,用VHDL语言分别建立了库所和变迁元件。最后给出了一个时延Petri网系统实例,通过调用元件库中的Petri网元件,绘制了系统电路图,仿真结果证明了Petri网元件设计的正确性。
Petri网是异步并发系统建模与分析的一种重要工具,1962年由德国科学家C.A.Petri博士创立。40多年来,Petri网理论得到了很大的丰富和发展,其应用领域也在不断扩大,越来越受到国际同行的重视,已成为计算机、自动化和
一种基于Petri网的飞机配电系统可靠性分析方法
基于组合着色Petri网的空间复合事件检测机制
1 引言 目前,对于机车故障检查与诊断存在各种方法,其中专家系统,故障树分析方法(fta),以及两者的结合体是被广泛接受的方法,然而,他们也存在一些缺陷;fta仅能表示逻辑关系[1],不能表示动态行为;而专家系统突
将一种基于Petri网的故障树分析法运用于飞机配电系统的可靠性分析,以库所和变迁为节点,有向弧的指示方向表达系统故障的传播关系。同时提出一种应用Petri网的关联矩阵求最小割集的新算法,此算法按照指定关联矩阵中所表达的输入、输出关系直接从关联矩阵得出割集,易于计算机程序的实现,而且对于求有重复事件Petri网模型的割集更为简单、直观,避免了传统飞机配电系统可靠性分析方法中分析复杂,减少了计算量,弥补了传统故障树分析法中的不足。