论文部分内容阅读
给出由有向图的邻接矩阵生成其投影图邻接矩阵的一个算法。借助于此算法,可用矩阵为工具对软件的控制流作静态测试,并可对软件流程图的非结构性作出检测。
构造软件静态测试自动工具的一种新方法
【摘 要】
：
给出由有向图的邻接矩阵生成其投影图邻接矩阵的一个算法。借助于此算法,可用矩阵为工具对软件的控制流作静态测试,并可对软件流程图的非结构性作出检测。
【机 构】
：
佛山大学电子系,暨南大学计算机科学系
【出 处】
：
暨南大学学报(自然科学与医学版)
【发表日期】
：
1992年01期
其他文献
Farkas定理是熟知的(参看文献[1]P80)．笔者给出了Farkas定理的一个等价命题和三个推论．
基于高分子胰岛素皮下注射吸收的药物动力学模型给出一个数值计算方法．用此方法计算了几种在治疗糖尿病临床上常用的浓度和剂量，计算结果能与实验数据相比较．
本文介绍了64D半自动闭塞设备在我港的应用状况，针对实际情况，对该系统进行了改造。先采用PLC替代继电器电路，降低了设备本身的故障率，降低设备维护维修难度；然后采用光纤替代电缆
写作是小学语文教学内容体系中的重要一环,对于培养小学生的文字表达能力具有重要作用。故而,在开展相关教学 过程中,需要尤为注重学生写作兴趣的培养,从细致观察能力培养、
与IT企业、互联网公司相比,运营商拓展云计算市场的最大优势在于网络基础资源。但现在,大规模部署的云计算正悄悄给网络性能和IT管理带来超乎想像的挑战。审视云就绪背景下云
给出了广义变号函数的概念，以及在数学、力学、图论等中的应用，这一新概念有着实际的应用价值。
摘 要： 新词语的产生、使用、消亡都一定程度上反映了人们的生活需求、价值导向。本文选取了2011年至2015 年间出现的表人新词语，在前人的基础之上，重点对这类新词的语义内涵进行了全方位的考察，分析其存在的意义，希望在对新词语的认识和使用上，能够有一定的参考意义。 关键词： 表人新词语 语义内涵 语义色彩 社会大发展意味着会不断地出现新的词语以满足人们的表达需要，新词语反映了人们的生活需求、价
【摘要】 本文主要是对运营商部署下一代互联网各可行方案特点和适用场景进行比较说明，同时就部署过程中的关键问题进行分析和探讨。 【关键字】 IPV6 CGN Dslite 一、引言 IPV4地址日益枯竭已经是近年来运营商已经面临的迫在眉睫的问题。各运营商也都启动了下一代互联网部署的相关实践，一方面既要及时腾出公网ipv4地址、一方面又要面对纯ipv6应用还未普及的矛盾现状。相关方案如何能够进一