【摘 要】
：
在计算数学关于函数结构理论的基础上，本文讨论了软件进程计算结构图形表示算法．本文面向问题‘需求’，以形式推导方法，详细分析了如何把‘需求’的形式语义置于图形树之上，在抽象
【基金项目】
：
国家“八六三”计划项目（2002AA111010、2003AA00103）资助.
论文部分内容阅读
在计算数学关于函数结构理论的基础上，本文讨论了软件进程计算结构图形表示算法．本文面向问题‘需求’，以形式推导方法，详细分析了如何把‘需求’的形式语义置于图形树之上，在抽象树上实现语义定义的方法；建立算法，实现软件进程计算结构图形表示，实现抽象树向具体语义树的转换；并说明这个图形就是问题求解的树形体系结构．本文详细分析了这个算法的理论基础、逻辑框架、建立过程；正式表达算法的规范定义和正确性结论；最后，着重分析了算法隐合的不确定因素。以及由它们引起的相关结论和这些结论的重要性．
其他文献
随着电子产业的迅速发展,对电解电容器高容量、小体积、低成本的要求越来越迫切。外接直流电源的直流侵蚀法具有较高腐蚀效率,是目前普遍采用的电化学腐蚀扩面方法之一,但在箔面质量稳定性、隧道孔的开孔率和孔分布均匀性等方面仍不能满足高性能铝电解电容器的要求,有必要进行深入探讨,以制备出能适应小型化和集成化需求的高质量腐蚀铝箔。腐蚀扩面过程中外接电源能耗大、成本高,亟需研发无外接电源的腐蚀工艺,节约生产成本,
目的探析中医护理联合早期康复护理对老年股骨颈骨折患者的影响。方法选取2014年12月-2015年12月我院收治的老年股骨颈骨折患者90例作为研究对象,随机分为两组,各45例,其中对
目的研究彩色多普勒超声检查在先天性椎动脉变异中的诊断价值。方法选取诊断为颈椎病、椎动脉供血不足患者130例,采用彩色多普勒超声对颈部血管进行检测,重点观察椎动脉起始
交通工具在行进的过程中难免要遇到转弯的情况。汽车转弯时要靠方向盘,而在铁路上行驶的火车没有方向盘,那么,它是怎么实现转弯的呢?我们知道,火车一直是沿着轨道行驶的,因为
＂边界＂通常用于指国家与国家、地区与地区之间的界线,将＂边界＂概念引入产业研究中,由此而得到＂产业边界＂的概念。日本的产业经济学家植草益从动因角度把＂产业融合＂定义为通过技术革新
非结构化P2P Overlay网络的结构松散,网络中资源的分布没有明确的限制,这使得非结构化P2P Overlay网络中的资源搜索在很大程度上依赖于通信开销巨大的泛洪法,因而非结构化P2P
SOA的应用日益广泛,构建SOA的工具和平台也日益丰富.而集中式SOA架构会增加成本,限制资源的再利用,降低系统的灵活性,并且有可能导致成本高昂的系统瓶颈.基于服务空间的服务
《孟子》有云：＂人恒过,然后能改。困于心,衡于虑,而后作;征于色,发于声,而后喻。入则无法家拂士,出则无敌国外患者,国恒亡。然后知生于忧患,而死于安乐也。＂大意是人或国家若处