动作细化相关论文
一般硬件系统和软件系统都存在大量的相同的或同构的组件,相应地,它们的模型常常在结构上存在对称性,这种对称结构一般具有相同或......
层次化设计方法是人们广泛接受的硬件电路设计的最主要方法之一。动作细化是系统层次化刻画方法的核心操作,目前已发展成为众所周......
交互式马尔可夫链(IMC)是一种功能与性能混合的并发系统模型,通过正交结合经典的进程代数模型和连续时间马尔可夫链(CTMC)模型,IMC......
