互联网 qkzz.net
全刊杂志网:首页 > 女性 > 文章正文
刊社推荐

软件进程计算结构分析


□ 李 晖 陈世鸿

   (武汉大学 计算机学院 武汉 430072)
  
  摘 要:以数学语义分析并描述软件进程计算结构,建立了实用计算原型树。在此基础上,实现计算结构模块化处理及建立模块化展开公式,使软件进程的计算从节点算子的计算转换成模块算子计算。
  关键词:数学语义; 计算结构; 原型树; 计算单位; 模块
  中图分类号:TP311文献标志码:A
  文章编号:1001-3695(2009)05-1733-03
  
  Analysis of computational structure of software process
  LI Hui CHEN Shihong
  (School of Computer Wuhan University Wuhan 430072 China)
  Abstract:This paper analyzed and described the computational structure of software process (SP) by mathematical semantics and established a practical computing prototype tree. On the basis of that fulfilled modularized processing of computational structure and establishment of modularized expansion formula. Converted the computing of software process from node operator computing to modular operator computing.
  Key words:mathematical semantics; computational structure; prototype tree; computing unit; module
  
  0 引言
  
  在前面研究基础上,本文以数学语义分析和描述软件进程SP计算结构,建立了SP模块M(θ,X)之算子θ∈ASeteq(M)的递归分解式:
  pt(θ)= tree(θ,Nos,E)(1)
  把 θ展开成计算原型树prictr(θ,t),表达SP实施处理计算的基本算法结构。其中ASeteq(M)是实现模块M的所有等价算子集合。值得指出的是,式(1)只考虑了θ函数映射的组合结构,即 ......
很抱歉,暂无全文,若需要阅读全文或喜欢本刊物请联系《计算机应用研究》杂志社购买。
欢迎作者提供全文,请点击编辑
分享:
 

了解更多资讯,请关注“木兰百花园”
分享:
 
精彩图文


关键字
支持中国杂志产业发展,请购买、订阅纸质杂志,欢迎杂志社提供过刊、样刊及电子版。
关于我们 | 网站声明 | 刊社管理 | 网站地图 | 联系方式 | 中图分类法 | RSS 2.0订阅 | IP查询
全刊杂志赏析网 2017