并行自动机相关论文
随着IPv6网络的发展,基于IPv6的网络管理系统亟待开发。针对IPv6与IPv4长期共存的情况,论文提出一个基于并行有穷状态自动机的、双......
把sCA的演化方式以身量形式表达,研究了其代数及组合性质,其中包括sCA的整体性质、演化结构、群的性质、变换图及Scan Graph的顶染色数等。......
为了实现工作流管理功能,首先要把业务过程从观实世界抽象出来,并用一种形式化疗法对其进行描述,其结果就是工作流模型。该文讨论利用......