• 对称与动作细化

    对称与动作细化

    论文摘要一般硬件系统和软件系统都存在大量的相同的或同构的组件,相应地,它们的模型常常在结构上存在对称性,这种对称结构一般具有相同或非常相近的性质。人们为了使问题简化,根据这种情...
  • 交互式马尔可夫链:理论与应用

    交互式马尔可夫链:理论与应用

    论文摘要交互式马尔可夫链(IMC)是一种功能与性能混合的并发系统模型,通过正交结合经典的进程代数模型和连续时间马尔可夫链(CTMC)模型,IMC提供了一个完美的可组合化的性能评...
  • 基于动作细化的异步电路自动综合

    基于动作细化的异步电路自动综合

    论文题目:基于动作细化的异步电路自动综合论文类型:博士论文论文专业:计算机软件与理论作者:孙秀莉导师:吴尽昭关键词:动作细化,异步电路,综合,事件结构,微处理器,握手扩展,并发...