论文部分内容阅读
本文详细地介绍了一种可视化的程序设计工具：控制流图。该图表示一个过程内所有基本块执行的可能流向。也能反映一个过程的实时执行过程，除了描述ＣＦＧ所具有的功能外，本文还论述了ＣＦＧ的实现途径以及使用方法，最后，给出了进一步改进的方向。
程序控制流图：一种可视化的程序设计工具
【摘 要】
：
本文详细地介绍了一种可视化的程序设计工具：控制流图。该图表示一个过程内所有基本块执行的可能流向。也能反映一个过程的实时执行过程，除了描述ＣＦＧ所具有的功能外，本文还论述了ＣＦＧ的
【机 构】
：
中国科学院计算技术研究所
【出 处】
：
计算机研究与发展
【发表日期】
：
1995年12期
其他文献
文中给出了Ｃ３模型［１，２］上并行ＦＦＴ算法的设计方案，算法的时间复杂度为Ｏｎｌｏｇｎｐ＋ｎ（ｈ＋ｐ／ｂ）ｐｌ，采用Ｋｕｍａｒ等提出的等效率（ｉｓｏ－ｅｆｉｃｉｅｎｃｙ）分析法［３］对算法进行可扩放性（ｓｃａｌａｂｉｌｉｔｙ）分析．通过Ｔｒａｎｓｐｕｔｅｒ系统上的几组实验对理论结果给予了验证．最后讨论了Ｃ３模型作为算法
大树移植是城市园林绿化建设中的一种重要手段，它可以加快园林绿化建设的速度，提高景观效果，在较短的时间内使一个区域的绿化面貌得到明显改善，让广大市民提前享受树木的生态效益
文中研究了时序逻辑网络中有限驱动机的自动综合，论述了由正则事件构造有限驱动机的构造性定理，给出了由可始元素、可跟元素自动求解有限驱动机状态集合的程序设计方法．文中以串
本文简要介绍了计算机安全监测系统的研究背景和研究面向网络化多用户环境的在线安全监测系统的意义。文章介绍了ＯＳＭＩＳ的设计目标及其硬、软件系统结构。重点介绍了ＯＳＭＩＳ中数据的网络传
本文提出了一种在任意网络拓扑下的分布式选举算法，假定系统存在一个网络拓扑的有向生成树，将此有向生成树作为一个同步机械，减少了不必要的消息传送。对于由ｎ台处理机组成的分布
物联网技术的数据"存储—分析"模式具有认知功能,与"心—物"交互中的核心要素和发生过程之间存在契合点,在相互作用的结构和功能上具有共性,在分析内容和形成机制上也有交集,二者可以相互诠释、相互解读。物联网技术也为"心—物"问题的探讨提供崭新的视角并拓展了新的内容,当然也带来一系列问题和挑战。
本文基于有限状态机的理论，结合通信顺序进行的概念，提出了一种开发安全模型的形式化方法。在该方法中，用ＦＳＭ描述整个系统结构和控制部分，用ＣＳＰ描述系统的状态转移。文章以多级安全策略
本文较为详细地介绍了ＳＵＮＤＤＢＡ中数据分割方案的设计，并以此为例讨论了分布式数据库中有关数据分割的一些主要问题及解决方法，另外，还对现有的分割算法进行了一些分析比较，最后给出了几个
对桉树适宜的气候条件及其在我国的引进推广情况进行了简要阐述；分析了桉树造林的立地条件需求，从清山整地、挖坑、定植、施肥抚育、萌芽更新等营林工序方面对桉树造林的技术要