基于并行状态自动机的工作流建模

为了实现工作流管理功能,首先要把业务过程从现实世界抽象出来,并用一种形式化方法对其进行描述,其结果就是工作流模型。该文讨论利用并行自动机对工作流的形式化问题。基于对工作流和并行自动机的分析,提出了将工作流的概念映射到并行自动机概念上的方法,该方法可以把工作流联盟提出的工作流的4种结构映射到并行自动机的结构上。给出了并行自动机的结点转化图,即给出了工作流引擎的框架。并行自动机是一种图形的、数学化的计算模型,当工作流的模型——并行自动机建立起来后,为工作流的静态特性和动态特性的分析打下不坚实的基础,为进一步的研究作好了准备。

串行细胞自动机sCA的代数与组合性质

把ｓＣＡ的演化方式以向量形式表达，研究了其代数及组合性质，其中包括ｓＣＡ的整体性质、演化结构、群的性质、变换图及ＳｃａｎＧｒａｐｈ的顶染色数等．

基于PFADS的网络数据获取平台的研究与实现

随着IPv6网络的发展,基于IPv6的网络管理系统亟待开发。针对IPv6与IPv4长期共存的情况,论文提出一个基于并行有穷状态自动机的、双协议栈PFADS的网络信息获取平台。该平台采用有穷状态自动机进行协议还原,同时采用双直达式缓冲区和并行自动机方法,能满足在大规模网络下的信息获取,保证数据获取的实时性与准确性。