检索结果-内蒙古大学图书馆

作者：王倩北京化工大学

学位级别：硕士

软件测试是软件工程学科的重要组成部分,在实际的软件开发过程中,软件测试所发挥的重要作用已得到软件开发人员的广泛认同。软件测试以发现软件中潜藏的缺陷和错误为目的,确保软件的可靠性和提高软件的质量。测试数据自动生成是软件测... 详细信息

软件测试是软件工程学科的重要组成部分,在实际的软件开发过程中,软件测试所发挥的重要作用已得到软件开发人员的广泛认同。软件测试以发现软件中潜藏的缺陷和错误为目的,确保软件的可靠性和提高软件的质量。测试数据自动生成是软件测试中的一个重要环节,目前关于测试数据生成的研究主要集中于数值和字符串类型的数据,对于指针和动态数据结构类型的测试数据生成研究较少。而且,现有的解决动态数据结构类型输入数据的测试生成方法大多采用静态方法,这对于复杂动态数据结构的测试数据生成实现困难,并且测试生成效率较低。二叉树是一种广泛使用并且具有代表性的动态数据结构,为此,本课题针对二叉树结构,以路径覆盖为测试准则,提出了一种基于concolic的二叉树结构型测试数据自动生成方法,使用遗传搜索算法生成二叉树结构的形态,并利用约束求解确定其数据域的值。针对二叉树结构型测试数据的特点,设计了一种新的染色体编码方式,用以表示二叉树结构的形态,探讨了适用于二叉树结构的交叉操作和变异操作。同时,通过约束解决技术求解其数据域的值,实现面向路径的二叉树结构型测试数据自动生成方法。为验证本课题提出的二叉树结构型测试数据自动生成方法的可行性,选取二叉树操作程序进行大量实验。实验结果表明,基于遗传算法的二叉树形态测试生成方法是行之有效的,不仅能够实现以二叉树结构类型为输入的面向路径的测试数据自动生成,而且其测试生成效果明显优于随机生成方法。

关键词：测试数据生成动态数据结构二叉树二叉树形态生成遗传算法

来源：评论

学校读者我要写书评

暂无评论

基于动态生长模型的植物根系模拟研究

基于动态生长模型的植物根系模拟研究

引用

作者：吕伟西南大学

学位级别：硕士

虚拟植物(virtual plant)就是利用虚拟现实技术在计算机上模拟植物在三维空间中的生长发育过程，它是以植物个体为对象，具有可视化的功能。生成的植物可以反映现实植物的形态结构、具有真实感的植物个体或群体。今天，虚拟植物技术主... 详细信息

虚拟植物(virtual plant)就是利用虚拟现实技术在计算机上模拟植物在三维空间中的生长发育过程，它是以植物个体为对象，具有可视化的功能。生成的植物可以反映现实植物的形态结构、具有真实感的植物个体或群体。今天，虚拟植物技术主要有两个研究方向。第一是单纯的植物外观形态模拟，注重形态的逼真性，不考虑植物的生态生理模型，主要用于商业，娱乐。第二是真实植物生长过程的模拟，强调注重植物学理论的真实性。其虚拟植物模型建立在植物的生态生理原理之上，并同时力求视觉效果的真实性，主要用于农林业的科学研究和教育工作。但是现在的虚拟植物研究中，大多集中在以真实的视觉效果为目的的技术上，而将植物形态发生模型与生长模型有机结合的成果并不多，尤其是虚拟植物根系的研究则更少。现有的根系模拟技术大多只能依靠基于简单规则的形态发生模型生成与植物根系相似的形状，未能结合根系生长模型而体现真实根系的生长发育规律。而且大多仅仅实现了根系的可视化，未能根据根系的生长模型提供根系研究所需要的数据。因此远远不能满足农林业科学研究的需要。本论文主要围绕忠实于植物动态生长模型的植物根系模拟技术展开研究与讨论，在对相关理论进行分析的基础上，提出了利用改进的L系统结合动态数据结构生成植物根系拓扑结构，并引入管道模型计算根系研究所必需的参数，实现了植物生长发育模型和形态发生模型的有机结合。首先，对虚拟植物的现有理论和方法做了较深入的研究分析和对比。在计算机上实现虚拟植物的生长必须有植物的生长模型，按照模型完成的功能和模拟的过程，可以将植物生长模型分为生长机(growthmechanistic)模型和可视化(visualization)模型，生长机模型是根据己知的植物体初始信息及环境因素计算出植物生长过程的各种参数或数据。该模型可以理解为是由生态生理(eco-physiological)与形态发生(morphogenetic)两个模型组成。生态生理模型包括许多具体的生长机理模型，形态发生模型提供植物的形态信息。在形态发生模型方面，目前比较常用的方法包括：分形(fractal)方法，如IFS方法、粒子系统和L系统，以及随机过程方法如双尺度自动机等。形态发生模型和生态生理模型的交互作用，组成生长机模型，能计算出植物在各个生长阶段的生长发育状况。可视化模型利用计算机图形学技术，用二维或三维图形形象地显示植物的生长过程。第二，对植物根系的生理生态特性作了一些研究，特别深入分析了是冬小麦根系的动态生长模型。准确可靠的作物生长模型是应用于农林业的虚拟植物技术的基础，作物生长模型是借助系统科学和计算机技术，根据作物生理学和生态学原理，通过对作物生长发育过程获得的实验数据加以理论概括和数据抽象，作物动态生长模型能够动态模拟作物的生长发育和产量的形成过程，较准确地表达作物生长与环境因子变化之间的关系，还可以通过可控因子来调节作物的生长发育进程，预测特定环境因子下的作物产量等。对植物根系来说，其生长发

关键词：根系动态生长模型模拟 L系统动态数据结构

来源：评论

学校读者我要写书评

暂无评论

可在微机上实现的通用四值逻辑模拟系统

引用

微电子学与计算机 1987年第2期 7-12页

作者：郑崇勋殷子敏西安交通大学信控系

本文介绍作者研制的通用四值逻辑模拟系统LSDS.该系统采用动态数据结构,可充分利用计算机内存空间,因而可在微机上模拟较大规模的数字电路。该系统对各逻(?)模块的时间参数考虑精细,可对数字系统的时序关系进行精确模拟.被模拟的电路的... 详细信息

本文介绍作者研制的通用四值逻辑模拟系统LSDS.该系统采用动态数据结构,可充分利用计算机内存空间,因而可在微机上模拟较大规模的数字电路。该系统对各逻(?)模块的时间参数考虑精细,可对数字系统的时序关系进行精确模拟.被模拟的电路的硬件描述简单,直观易懂,编写简便,并可由用户自行定义功能块电路,因而具有较强的模拟功能和使用价值。该系统用pascal 语言编写,通用性强,便于移植.

关键词：模拟系统定义描述文件功能块反相门逻辑比较微机微型计算机波形数据动态数据结构语句格式输入文件

来源：评论

学校读者我要写书评

暂无评论

计算技术与计算机科学

引用

电子科技文摘 2001年第1期 70-71页

<正> Y2000-62122-173 0100809为什么多用户机器喜欢智能推理?=Why machinesprefer intelligent reaching from all users?[会,英]/Das,A.& Nonada,N.//1999 IEEE Proceedings ofSouthcasteon’99 Technology on the brink of 2000.—173～175(NiK)机器的功能与人们使用机器的能力正融合为一个公共的平台,它与社会福利科学的基本原则相一致。

关键词：计算机科学计算技术智能推理社会福利多用户基本原则机器可视化集成建模环境会议录动态数据结构

来源：评论

学校读者我要写书评

暂无评论

论证一类倒排文件系统与DB系统的等价性问题

引用

南京大学学报(自然科学) 1986年第4期 608-611页

作者：郭瑞枫南京大学数学系

本文试图从理论上证明一类倒排文件系统与DBS的等价性问题。其目的在于说明就汉字情报检索系统而言,只要构造一个好结构的倒排文件系统,即能起到DBS的功效作用。从而实现并达到DB系统的水准要求。

关键词：倒排结构数据语义动态数据结构汉字IRS

来源：评论

学校读者我要写书评

暂无评论

线段树在程序设计中的应用

引用

大众科技 2005年第4期7卷 68-70页

作者：林盛华韶关市第一中学广东韶关512000

文章主要介绍了线段树的定义及构造、线段树的动态数据结构和静态数据结构,以及线段树的基本操作。还结合具体实例,具体阐述了线段树在程序设计中的应用。

关键词：程序设计线段应用动态数据结构基本操作

来源：评论

学校读者我要写书评

暂无评论

分布式UNIX系统

引用

计算机研究与发展 1985年第12期 56-60页

作者：吕立义中国科学院新疆物理所

本文重点说明构成分布式UNIX系统必须解决命名问题.由于UNIX具有较好的系统结构,实现起来比较容易.结果的分布式UNIX系统仍然是一个和UNIX等价的虚拟机系统.

关键词：分布式系统命令结点操作系统系统调用奇点计算机系统 UNIX 动态数据结构

来源：评论

学校读者我要写书评

暂无评论

一种二叉树结构型测试数据自动生成方法

一种二叉树结构型测试数据自动生成方法

引用

第十四届全国容错计算学术会议(CFTC'2011)

作者：王倩尤枫赵瑞莲北京化工大学计算机科学系

目前关于测试数据自动生成的研究主要集中于数值和字符串型数据,对于指针和动态数据结构的测试生成研究较少。二叉树是一种广泛使用并具有代表性的动态数据结构,因此,针对二叉树结构,提出了一种基于concolic的二叉树结构型测试数据自动... 详细信息

目前关于测试数据自动生成的研究主要集中于数值和字符串型数据,对于指针和动态数据结构的测试生成研究较少。二叉树是一种广泛使用并具有代表性的动态数据结构,因此,针对二叉树结构,提出了一种基于concolic的二叉树结构型测试数据自动生成方法,使用遗传搜索算法生成二叉树形态,同时利用约束求解确定其数据域的值。实验结果表明该方法是行之有效的,不仅能够实现以二叉树结构型为输入的测试数据自动生成,而且测试生成效果明显优于随机生成方法。

关键词：测试数据生成动态数据结构二叉树二叉树形态生成遗传算法

来源：评论

学校读者我要写书评

暂无评论

剪力墙优化CAD系统SWCAD (Ⅲ)内存的动态分配和管理

剪力墙优化CAD系统SWCAD (Ⅲ)内存的动态分配和管理

引用

第四届全国结构工程学术会议

作者：韦鹏生华侨大学土木系

本文阐述了剪力墙优化 CAD 系统 SWCAD 的内存的动态分配和管理方法,并将 SWCAD 与采用静态内存分配和管理方法编程的软件,在空间复杂度,时间复杂度及程序实际运行效率等方面进行比较,得出一个结论：编制大量占用内存的程序(如结构 CAD... 详细信息

本文阐述了剪力墙优化 CAD 系统 SWCAD 的内存的动态分配和管理方法,并将 SWCAD 与采用静态内存分配和管理方法编程的软件,在空间复杂度,时间复杂度及程序实际运行效率等方面进行比较,得出一个结论：编制大量占用内存的程序(如结构 CAD 软件中进行结构分析的程序),采用动态效据结构技术优于常规方法,它可大幅度节省计算机内存, 极大地提高程序的运行效率。SWCAD 采用单指针链表,实现矩阵和向量非零元素的动态存取。本文详细分析动态数据结构结点的构成,动态数据结构的建立,以及结点核心子域的查询和操作等技术细节．

关键词：剪力墙优化设计 CAD 动态数据结构 Turbo Pascal

来源：评论

学校读者我要写书评

暂无评论

论词库在IRS中的作用

引用

南京大学学报(自然科学) 1986年第4期 603-607页

作者：郭瑞枫南京大学数学系

本文试图阐明在情报检索系统(IRS)中不一定非要词库(TS)不可,并且力图从理论上证明TS在IRS中原理上是可有可无的。解决IRS的检索效率问题,关键在于有一个好的动态数据结构和恰到好处的数据语义描述语言以及提供有多种灵便而又巧妙的检... 详细信息

本文试图阐明在情报检索系统(IRS)中不一定非要词库(TS)不可,并且力图从理论上证明TS在IRS中原理上是可有可无的。解决IRS的检索效率问题,关键在于有一个好的动态数据结构和恰到好处的数据语义描述语言以及提供有多种灵便而又巧妙的检索策略。

关键词：词库用词非用词数据语义动态数据结构

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：