论文部分内容阅读
通过分析传统的程序复杂性度量方法的不足之处,首先提出了一种基于程序分解机制的路径复杂性度量方法,然后给出了计算路径复杂度的算法,最后给出了实例。新的度量方法指出了一个程序需要的完全测试路径数目。
程序复杂性度量的一种新方法
【摘 要】
：
通过分析传统的程序复杂性度量方法的不足之处,首先提出了一种基于程序分解机制的路径复杂性度量方法,然后给出了计算路径复杂度的算法,最后给出了实例。新的度量方法指出了一个程序需要的完全测试路径数目。
【机 构】
：
哈尔滨师范大学
【出 处】
：
计算机应用研究
【发表日期】
：
2004年02期
【基金项目】
：
黑龙江省教育厅科学技术研究项目，哈尔滨师范大学校科研和教改项目
其他文献
针对多目标不确定环境下移动机器人路径规划算法复杂的问题,提出了一种新的规划算法———混沌控制算法,并用VisualBasic语言进行了仿真。
PMI体系和模型的核心内容是实现授权与访问控制的有效管理。在重点介绍作为其实现机制之一的属性证书和PMI体系结构及特权委托模型的基础上,提出了一个解决电子政务安全建设的控制模型,并对其进行了分析。
主要研究面向工作流管理系统的时间定义方法和模型。在分析工作流管理系统对时间维的要求的基础上,提出基于XML的时间模型wTM,最后给出了一个实现实例,并指出了其创新及不足之处。
论述了代理技术的概念、分类、功能、特点及应用,结合对工作流技术的研究,提出了基于移动代理和系统代理协作的分布式螺旋锥齿轮网络协同设计工作流管理系统多层执行体系结构,讨论了系统中各功能模块的划分及其功能、系统的具体实现步骤以及系统的执行过程。
为了实现STEP格式的数据在网络上发布,引入了XML技术和密码技术。首先,建立了STEP与XML之间的一一映射关系,将STEP数据转换为XML文档,然后研究了XML文档的加密和签名机制,并给出了具体的应用实例。
目前各中文网站上的搜索引擎都是基于关键词的,其对用户输入信息与资源信息库是精确匹配,这是造成中文搜索引擎低智能的主要原因。分析了关键词搜索引擎的利弊,根据人们输入信息的不确定性,其在网上检索信息的过程应该是智能化的特点,提出了提高中文搜索引擎智能的方法。
以LZ的变长码设计为研究对象,简要分析和讨论了目前已有的研究和设计方法的缺陷,提出了一种LZ动态变长码的通用编码方案。改进设计采用了动态记录匹配位置和分段等长扩展的方法,大幅度减少了编码的长度,降低了匹配长度取值变化的影响,对于不同长度及概率分布的输入文件,均可取得最佳编码效率。对改进设计进行了分析和论证。
为经推理过程产生的影像提供了一种通用的可视化框架,这一框架与以往采用的方法有很大的区别:可视化系统将从一个基于外部数据源的知识库中取回可视信息,从而能够满足用户的不同可视化需求。这一知识库由用户以逻辑语言编写,主要包括关于可视目标、它们的相互关系以及其几何视觉特征的描述。此外详细介绍了知识的表达方式,同时运用一个简单的实例来对其智能可视化进行说明。