检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
出 处:《小型微型计算机系统》2009年第5期863-867,共5页Journal of Chinese Computer Systems
基 金:国家"八六三"计划项目(2002AA111010;2003AA00103)资助
摘 要:在计算数学关于函数结构理论的基础上,本文讨论了软件进程计算结构图形表示算法.本文面向问题‘需求’,以形式推导方法,详细分析了如何把‘需求’的形式语义置于图形树之上,在抽象树上实现语义定义的方法;建立算法,实现软件进程计算结构图形表示,实现抽象树向具体语义树的转换;并说明这个图形就是问题求解的树形体系结构.本文详细分析了这个算法的理论基础、逻辑框架、建立过程;正式表达算法的规范定义和正确性结论;最后,着重分析了算法隐含的不确定因素,以及由它们引起的相关结论和这些结论的重要性.On the basis of computational mathematics on function structure theory, this article discusses the algorithm of software process computing structure graphical representation. This article, aimed at problem "demand", with the method of formal deduction, analyzes how to put the formal semantics of "demand" on graphic tree and realize the method of semantic definition on the ab- stract tree in detail. It establishes an algorithm to fulfill software process computing structure graphical representation and the conversion from abstract tree to specific semantic tree. What' s more, it explains that this graphic is of tree architecture for problem solving. This article thoroughly analyzes the theoretical basis, logic frame and establishment process of this algorithm; and the standard definition and correct conclusion of formal expression algorithm. Finally, it mainly analyzes the uncertain factors hidden in the algorithm and relevant conclusions caused by the factors and the importance of these conclusions
分 类 号:TP182[自动化与计算机技术—控制理论与控制工程]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:18.119.122.86