基于高阶π演算的构件演化模型研究.PDFVIP

  • 7
  • 0
  • 约4.82万字
  • 约 8页
  • 2018-06-01 发布于天津
  • 举报
基于高阶π演算的构件演化模型研究.PDF

第34卷第1期 计 算 机 应 用 研 究 Vol34No1 2017年1月  ApplicationResearchofComputers Jan.2017 基于高阶 演算的构件演化模型研究 π 何海洋,李 强,余 祥,韩翔宇 (电子工程学院,合肥230037) 摘 要:为满足构件演化形式化分析的需要,确保演化正确性,提出了一种基于高阶 演算的构件演化模型。 π 在定义演化构件的基础上,将演化过程中的行为描述为原子行为、结构行为和操作行为,建立行为与高阶 演算 π 间的转换规则、演化行为推演规则,根据演化过程中行为之间的关系

文档评论(0)

1亿VIP精品文档

相关文档