一种适用于演化过程建模的演算——通信膜演算

膜计算作为自然计算的一个分支,自提出以来受到了广大学者的关注。膜计算类形式化方法具有非确定性、并行性等性质,对区域间的通信问题有良好的建模能力。利用膜计算类形式化方法对通信问题建模是一种保证通信过程正确性以及安全性的有效方法。但因为建模完成的系统中不存在可以描述演化过程的反应规则也不能添加反应规则,所以膜计算类形式化方法不适用于对系统演化这一普遍存在的问题进行形式化建模。针对这个问题,本文提出了一种通信膜演算,该演算可以对系统的演化过程进行建模。为了分析通信膜演算的描述能力,本文利用自动机理论对通信膜演算的性质进行了分析,并利用通信膜演算对一种软件产品线的特定演化过程进行了建模,分析了通信膜演算对系统演化过程建模的适用性。     

适用于演化过程建模的通信膜演算

针对膜计算类形式化方法无法描述建模完成的系统的演化问题,提出了一种适用于演化过程建模的通信膜演算。该演算在已有的膜计算类形式化方法的基础上,通过在定义中添加规则的传递等反应规则,使得建模完成的系统可以根据演化需要发生变化,解决了膜计算类形式化方法不适用于对系统演化这一普遍存在的问题,即进行形式化建模的问题。同时利用自动机理论对通信膜演算的性质进行分析,分析了通信膜演算适用于演化过程建模的原因。并利用通信膜演算对一种软件产品线的特定演化过程进行了形式化建模,建模结果表明通信膜演算适用于对演化过程的形式化建模。     

一种适用于演化过程建模的演算——通信膜演算

膜计算作为自然计算的一个分支,自提出以来受到了广大学者的关注。膜计算类形式化方法具有非确定性、并行性等性质,对区域间的通信问题有良好的建模能力。利用膜计算类形式化方法对通信问题建模是一种保证通信过程正确性以及安全性的有效方法。但因为建模完成的系统中不存在可以描述演化过程的反应规则也不能添加反应规则,所以膜计算类形式化方法不适用于对系统演化这一普遍存在的问题进行形式化建模。针对这个问题,本文提出了一种通信膜演算,该演算可以对系统的演化过程进行建模。为了分析通信膜演算的描述能力,本文利用自动机理论对通信膜演算的性质进行了分析,并利用通信膜演算对一种软件产品线的特定演化过程进行了建模,分析了通信膜演算对系统演化过程建模的适用性。     

利用细胞膜演算描述带子句学习的DPLL算法

为了达到推理算法形式化描述的目的,本文采用细胞膜演算的形式化方法描述带子句学习的DPLL算法。分别定义了部分赋值、变元反转、回溯、回跳最大层、细胞膜溶解等反应规则,给出了DPLL的一般过程和冲突分析过程的描述。通过一个算例的求解过程验证了该形式化描述方法的可行性。依赖细胞膜演算可以更直观、简洁地展现推理算法的推理过程,同时展示了膜演算的描述能力和处理能力。