状态可达图相关论文
针对现场可编程门阵列（FPGA）组合逻辑程序，提出其普通 Petri 网建模方法。首先，将状态变量描述为库所对，程序中的逻辑运算描述为变迁，从......
离散事件系统的许多重要性质可用时态逻辑方便，直接和简明地进行描述，系统的性质分析可转化成时态满足关系的判定。基于状态可达图，给......
现有软件能耗分析方法主要研究算法级和指令级能耗,对于软件体系结构级的能耗研究较少。为此,从嵌入式系统的软件体系结构出发,在......
随着计算机、电子通信等技术的高速发展,国家对电子自动化应用的要求也在不断提高。现场可编程门阵列(Field Programmable Gate Ar......
