论文部分内容阅读
本文研究了有向软件图的有小源（汇）点集问题，提出了有效的判定算法，并证明了证明了该算法的正确性。该算法可以用于有关软件图的结构正确性的自动分析。
有向软件图的极小源（汇）点集判定算法
【摘 要】
：
本文研究了有向软件图的有小源（汇）点集问题，提出了有效的判定算法，并证明了证明了该算法的正确性。该算法可以用于有关软件图的结构正确性的自动分析。
【机 构】
：
中国科学院软件研究所
【出 处】
：
小型微型计算机系统
【发表日期】
：
1998年5期
其他文献
针对集成制造环境，提出智能监控和诊断系统的概念，建立了系统的总体集成结构；为解决智能监控和诊断系统内部运行及集成机制问题，提出建立系统广义监控模型，包括局部监控模型、协调
日前,在繁华的上海新天地时尚购物中心,一场基层立法联系点"多点联动"工作推进会在此举行。主办方黄浦区淮海中路街道向辖区内7个基层立法信息采集点授牌,其中既有新天地和兰
本文首先分析了Linux下RPC的新旧版本的差别,然后给出了新版本的实现思想,层次结构和主要算法,最后针对其弱点提出改进意见.
色彩选择与处理在计算机图形学的研究与应用中已越来越受到重视 .文章从生物学的角度详尽地阐述了色彩视觉原理及其对计算机图形色彩设计与处理的影响 ,并据此提出了相应的色彩选用原则
作者回顾总结了5例腹主动脉瘤护理成功的经验,提出在做好常规护理和心理护理外,必须加强循环系统的护理,及时发现和治疗术后高血压,术后出血等并发症。注意下肢循环的观察,了
<正>1争试点,创新破难以争取国土资源部城乡一体化发展试点城市为契机,加大探索创新力度,积极寻求改革红利,缓解国土资源管理两难困局。争取开展土地利用总体规划修改,优化国
基频轮廓就是基频随时间变化的曲线，刻画了汉语中最主要的韵律特征－声调和语调的变化趋势。而藤崎模型则是日本东京大学藤崎博也教授建立的一种韵律模型，可以用来非常好地逼近汉
任何科学研究都需要有问题意识。本文的问题意识在于中国为什么要提倡和谐世界观?我们认为,“和谐世界”观是虽然是一种理念或观点,但它同时还是一种“世界观”。它是中国人
在国家大力提倡核心素养教育的今天,积极探究数学教学中学生核心素养的培养途径对于学生适应社会需求、促进自身发展具有重要的现实意义.本文就数学教学中如何培养学生的数学