当前位置:论文写作 > 硕士论文 > 文章内容

自动生成论文范文参考 自动生成毕业论文范文[精选]有关写作资料

主题:自动生成 下载地址:论文doc下载 原创作者:原创作者未知 评分:9.0分 更新时间: 2024-04-13

自动生成论文范文

论文

目录

  1. 第一篇自动生成论文范文参考:项目自动生成的小学儿童数学问题解决认知诊断CAT编制
  2. 第二篇自动生成论文样文:面向路径的测试数据自动生成方法研究
  3. 第三篇自动生成论文范文模板:软件测试用例自动生成技术研究
  4. 第四篇自动生成论文范例:有限元三维六面体网格自动生成与再生成算法研究及其应用
  5. 第五篇自动生成论文范文格式:测试数据自动生成技术研究

★100篇免费优秀的关于自动生成论文范文资料,适合作为自动生成方面相关硕士毕业论文和本科毕业论文写作参考的免费论文范例格式模板,【快快阅读吧!】

第一篇自动生成论文范文参考:项目自动生成的小学儿童数学问题解决认知诊断CAT编制

认知诊断(Cognitive Diagnosis)、项目自动生成(Automated Item Generation)、计算机化自适应测验(Computerized Adaptive Test,CAT)是现代心理测量的重要发展领域,三者的结合更是心理测量领域亟待开展的重要课题.认知诊断研究有助人们更好地了解人类内部心理活动规律及加工机制,实现对个体认知发展实况(含优点与缺陷)进行诊断评估,以促进个体健康发展.而要实现对个体的认知诊断需开发相应的测量工具——认知诊断测验,认知诊断测验的好坏直接决定着认知诊断的效果及其准确性.传统测验形式大都采用纸笔测验,而且被试均是做相同试题(“千人一卷”),不能做到“因人施测”、“千人千卷”的自适应,更不能有效评估、控制每个被试的测量误差(而只有对所有被试一个笼统的测量误差),且测试的效率相对要低.计算化自适应测验的出现能有效解决这一问题,它采用因人施测策略,能比传统纸笔测验更为高效、准确、可靠地评定被试水平,国际上许多大型测验(如TOEFL、GRE等)正在大力推行.因而将计算机化自适应测验技术融入认知诊断(或编制计算机化认知诊断自适应测验,简记为CD_CAT)具有重要意义:一方面可以由计算机自动实现因人诊断,另一方面可以有效地控制每个被试的测量误差,从而保证认知诊断的准确性及高效性.但计算机化自适应测验的实现需以大型题库(item bank)为基础.传统题库的试题大都是由人工命制,且还需进行大量测试及等值工作,因此需花费大量人力、物力及财力,同时命题的周期也较长.随着心理测量技术的发展,目前兴起了一项新的项目编写技术——计算机项目自动生成,该技术能有效地改善传统CAT题库建设的不足.项目自动生成探讨测验项目无需在施测前人工编制,而是由计算机按指定要求自动生成,且项目测量学参数(如难度、区分度等)由相关认知模型或试题模板来确定,无需测试及等值.它能为CAT题库建设节约人力、物力及财力,是当代心理测量学追求的技术目标之一,实用价值不言而喻.所以,将项目自动生成技术和CAT技术融入认知诊断,发挥各自优势,则将为认知诊断及现代测验理论注入全新活力,有助于现代心理测量理论更好地服务实践.

本研究尝试将计算机化自适应测验技术、项目生成技术融入小学儿童数学问题解决认知诊断,编制“项目自动生成的小学儿童数学问题解决认知诊断CAT系统”(简称ICC诊断系统),以高效、快速、准确地实现对小学儿童数学问题解决的认知诊断,为促进小学儿童相关认知发展及知识获取服务.为编制这一系统,本研究分为四个子研究进行,共编制三个子系统.研究一:小学儿童数学问题解决认知成分(模型)的确定,为ICC诊断系统的编制提供心理学理论支持:研究三至研究四主要是编制ICC诊断系统的三个重要组成部分(即三个子系统),分别是:小学儿童数学问题解决认知诊断测验子系统(研究二)、小学儿童数学问题解决认知诊断测验项目自动生成子系统(研究三)、项目自动生成的小学儿童数学问题解决认知诊断CAT子系统(研究四),三个子系统共同构成ICC诊断系统,用于实现对小学儿童数学问题解决的认知诊断.当然每个子系统的编制均涉及一些关键技术及算法,本研究均进行了相关探讨.研究表明:

(1)数学关系复杂性成分和语言复杂性成分是影响小学儿童数学问题解决的主要认知成分(R~2等于0.778,p<0.01).

(2)对852名小学儿童的诊断结果表明:第一、小学儿童对于加减问题解决所涉及的七个关键认知属性掌握的总体情况尚可.但对属性A4和A6掌握的相对较差,且在这两个属性掌握情况存在显著的年级差异和城乡差异.农村小学儿童对七个认知属性整体掌握的情况并不是十分理想,有67.68%的农村小学儿童存在不同的认知错误,有50%以上的农村小学儿童未掌握属性A4,应引起重视.第二、小学儿童所犯的认知错误主要有三类,而这些错误均与认知属性A4和A6有关.高年级儿童犯认知错误的种类数远少于低年级儿童,城市儿童犯认知错误的种类数多于农村儿童.第三、问题模型表征策略和直译表征策略是小学儿童两种主要的表征策略,但以问题模型策略为主.不同策略的使用情况上存在显著的年级和城乡差异,高年级和城市小学儿童使用的问题模型策略分别显著地高于低年级和农村小学儿童,直译策略则相反.农村小学儿童中,学生使用的策略以直译策略为主,这是导致农村儿童对加减问题解决总体不理想的主要原因.

(3)本研究所设计的认知诊断测验项目的自动生成技术及其算法基本可行,小学儿童数学问题解决认知诊断项目自动生成效果较好.

(4)认知诊断CAT中,初始题的选取方法、CAT选题策略均会影响诊断的准确性.本研究中提出的“T阵法”优于传统CAT常用的随机选取初始题方法,认知诊断CAT五种选题策略中SL_GDI最佳:“T阵法”与SL_GDI选题策略是十种搭配方案中最佳搭配方案,其对于七个独立型认知属性的模式判准率高达83.2%.


https://www.mbalunwen.net/gui/95402.html

(5)ICC诊断系统具有较高的重测信度,测量效度较好.

第二篇自动生成论文样文:面向路径的测试数据自动生成方法研究

软件测试是现阶段保障软件质量的重要手段.软件测试中的诸如语句覆盖、路径覆盖等问题可以归结为面向路径的测试数据的生成问题.该问题在本文中简称为问题2,可以描述为:给定一个程序P和P中一条路径W,设P的输入空间为D,求()∈D,使得P以()为输入运行,所经过的路径为W.自动求解该问题将有效地提高软件测试的效率和质量.

求解问题2的实质在于约束系统的建立和求解.建立约束系统的困难是分析、化简路径W上的各种语句成分和各种数据类型,建立尽可能简洁的约束系统;求解约束系统的主要困难是处理可能存在的非线性约束.Matiyasevic和E.J.Weyuker等人的研究表明:不存在通用的有效的算法,对于任意的P和W,能生成使W被经过的输入数据.但是实际应用的需要迫使人们进行研究,并提出各种方法求解问题2.

本文首先简要介绍该领域的研究进展,将现有的求解方法分为四类——随机法、静态法、动态法和试探法,介绍和分析每一类中有代表性的方法,并探讨研究方向.

迭代松弛法是Neelam Gupta等人提出的一种自动求解问题2的方法.该方法通过分析W上各语句之间的静态、动态数据依赖关系,构造谓词片和输入依赖集,用线性算术表示对谓词函数进行线性化,仅能够用于白盒测试数据的自动生成.

Neelam Gupta等人将最小二乘解法用于求解问题2.Jon Edvardsson等人指出,对于谓词函数均为输入变量的线性函数的程序路径,Neelam Gupta等人提出的求解方法是不完备的和非终止的,并建议采用线性规划、线性(混合)整数规划方法.

本文改进迭代松弛法,省略构造谓词片和输入依赖集的过程.更进一步,当用均差作为谓词函数关于输入变量的导数的近似时,计算线性算术表示就全部转化为计算谓词残量,而后者无须分析W上各语句之间的静态、动态数据依赖关系.此时,改进后的方法比原方法生成测试数据的能力更强,能够用于黑盒测试数据的自动生成.改进后的方法建立线性约束系统的效率更高.

本文给出一种模型语言;给出一个比较完整的形式化描述,该描述可用于证明与静态、动态数据依赖关系有关的程序性质;给出迭代松弛法中各概念的形式化定义;深入研究迭代松弛法及其改进后的方法的程序理论,其结果包括:将Neelam Gupta等人提出的谓词片推广为路径静态切片,证明路径静态切片构造算法的正确性,证明改进后的方法与原方法所生成的线性约束系统相同.

本文提出一个面向路径的测试数据生成框架.该框架以改进后的迭代松弛法为核心算法,对于谓词函数均为输入变量的线性函数的程序路径,采用基于线性规划、线性(混合)整数规划的约束求解器;对于谓词函数中含有输入变量的非线性函数的程序路径,采用线性规划、线性(混合)整数规划和最小二乘解法相结合的约束求解器.它具有以下 国防科学技术大学研究生院学位论文性质:若W上各谓词函数均为输入变量的线性函数,并且所有输入变量均无整数限制,则框架迭代一次后,或者找到W的解,或者保证w不可行;当谓词函数中含有输入变量的非线性函数时,可能需要迭代多次.

本文开发了面向路径的测试数据生成框架的一个原型工具.用实际的程序路径对该工具进行实验.初步的实验结果表明框架是比较有效的,不仅能够用于白盒、黑盒测试数据的自动生成,而且能够用于面向断言的测试数据自动生成和回归测试数据的自动生成.

第三篇自动生成论文范文模板:软件测试用例自动生成技术研究

软件测试的工作量很大,据统计,测试时间会占到总开发时间的40%,一些可靠性要求非常高的软件,测试时间甚至占到开发周期的60%.由于测试的许多过程是重复性的,因此一些软件测试工作可以应用自动化方法来实现.近年来,虽然软件测试自动化技术与方法有了很大的发展,但还远没有成熟,现有的测试用例自动生成技术还无法满足当前软件测试的实际需要.为此,本文研究软件测试用例自动生成技术,对于解决目前测试现状有着重要的理论意义和实用价值.本文首先综述了目前国内外在软件测试用例自动生成技术方面所做的工作,并基于已有的一些研究成果,对软件测试用例自动生成技术进行了深入研究.主要包括以下五个方面的研究内容:基于EDPN模型的测试用例自动生成研究、基于扩展EDPN模型的测试用例自动生成研究、基于程序执行和回溯策略的路径分析与测试研究、基于选择性冗余的路径分析与测试研究、基于组合匹配的测试数据自动生成研究.论文主要工作如下:

1.基于EDPN模型的测试用例自动生成研究:基于面向对象软件测试的层次划分、测试方法,给出了EDPN模型的定义,设计了基于EDPN模型的类测试模型,讨论了从UML图到EDPN图的转换,提出了基于EDPN有标记的唯一输入输出(UIO)测试用例的生成方法,并设计了相应的算法,讨论了上述算法自动生成测试用例的覆盖率问题,结果表明所有的状态转移都至少被覆盖一次,因此算法能保证测试是充分的.

2.基于扩展EDPN模型的测试用例自动生成研究:在分析了面向对象系统中类之间相互关系的基础上,提出了一种基于带权EDPN迭代的面向对象系统的分割算法,以迭代的方法将面向对象系统分割成不同粒度而功能独立的测试子系统.另外,针对交互测试,提出了基于组合EDPN模型的交互测试方法,并将该模型运用于OATS方法中,扩展了OATS方法.给出了一种基于扩展OATS方法的测试用例自动生成算法,解决了组合冲突问题、测试用例过多而产生的测试用例爆炸的问题以及OATS方法不易扩展的问题等.最后针对类的层次测试,提出了一种基于事件消息驱动的Petri网的协同路径生成算法,分析表明算法符合OSC测试标准.

3.基于程序执行和回溯策略的路径分析与测试研究:提出了基节点、控制节点、定义节点、定义相关控制节点集的概念,并给出了定义相关控制节点集的求解算法,在有机结合分支函数线性逼近和程序DUC表达方式的基础上,提出了一种基于倒置二叉树的测试数据自动生成算法.基于自动构造的倒置二叉树,新算法能快速找出程序中所有从源节点到基节点的可行路径,同时能为每条可行路径自动生成适合的测试数据.

自动生成论文范文相关参考属性
有关论文范文主题研究: 自动生成类论文范文 大学生适用: 3000字本科毕业论文、5000字函授毕业论文
相关参考文献下载数量: 57 写作解决问题: 写作资料
毕业论文开题报告: 标准论文格式、论文选题 职称论文适用: 期刊发表、中级职称
所属大学生专业类别: 自动生成方向 论文题目推荐度: 免费自动生成论文范文选题

4.基于选择性冗余的路径分析与测试研究:基于选择性冗余思想,提出了一种测试数据自动生成算法.算法首先利用分支函数线性逼近和极小化方法,在找出程序中所有可行路径的同时对部分可行路径自动生成适合的初始测试数据集,当利用分支函数线性逼近和极小化方法无法得到正确的测试数据时,则针对未被初始测试数据集覆盖的谓词和子路径,基于选择性冗余思想,进行测试数据的增补.分析表明算法减少了测试数据的数量,提高了测试性能.

5.基于组合匹配的测试数据自动生成研究:在已有成对测试的测试生成策略的基础上,提出了一种新的初始测试数据自动生成算法,然后基于匹配组合的思想,提出了一种成对测试数据自动生成算法.实验结果表明:从生成的测试集的大小及测试生成的时间消耗两方面评价,新算法要优于已有的相关算法.

第四篇自动生成论文范例:有限元三维六面体网格自动生成与再生成算法研究及其应用

有限元网格生成是工程科学与计算科学相交叉的一个重要研究领域,在经历了四十多年发展后的今天依然十分活跃.面对越来越复杂的工程与科学问题,如何自动高效地在所分析的区域内生成高质量的网格是目前数值方法中的一个重要问题.根据三维实体模型几何特征的复杂性,研究在任意三维空间内自动生成过渡均匀、协调、自适应的六面体网格,建立可靠、高效的六面体网格离散算法,对解决大型复杂科学与工程问题具有重要的现实价值和理论意义,将直接推动工程分析软件的商品化进程.

本文以栅格法六面体网格生成方法作为基础方法,开展了三维全六面体网格自动生成与再生成算法的研究.给出了基于STL文件进行三维实体模型几何特征自动识别的关键技术,建立了基于几何形状、力学条件及用户需求的加密信息场,提出了基于网格密度控制的六面体网格自适应生成方法;研究了六面体网格再生成过程中的关键技术,建立了有限元分析精度与有限元离散网格疏密程度之间的关系;针对三维六面体网格质量评价准则和优化技术进行了研究,并从通用性、自动化角度出发,开发了三维六面体网格自适应生成软件AUTOMESH-3D.

本文采用CAD造型软件生成的STL文件传递实体模型的表面几何形状信息,建立了新的具有拓扑关系的STL数据文件,通过采用边和面相结合的方法,实现了实体模型几何特征的精确识别,为获得能够全面反映实体模型几何特征的六面体网格奠定了基础;提出了一种自适应网格密度生成和控制的方法,可根据实体模型的几何形状、力学条件及用户指定的密度窗口等自动生成合理优化的网格密度;为提高加密网格过渡区域单元的质量,改进了基于27分法的加密模板;针对三维六面体网格单元之间疏密过渡必须平缓和协调的要求,提出了一套新的基于8分法的六面体网格加密模板,并给出了相应的数据结构和模板应用方式,建立了加密信息场调整规则;针对模型的局部凹特征,采用加入缓冲层的过渡方式完成网格加密,克服了加密区域的蔓延现象;总结给出了网格表面向实体模型表面拟合时遇到的六种边界单元自由面片类型,实现了六面体网格与实体模型边界的精确拟合.

本文研究了在金属塑性成形模拟中所必须进行的网格再划分技术,建立了网格再划分的判断准则;对工件网格畸变单元中表面四边形面片分解为三角形面片时遇到的重叠问题和退化问题进行了处理,使生成的STL文件不会因网格畸变而产生错误;针对工件网格与模具表面网格的干涉问题,提出了将工件与模具接触区域的工件三角形面片用模具表面三角形面片代替的算法,降低了干涉对网格再划分的影响;根据有限元后验误差估计和六面体网格自适应生成算法进行了新网格的再生成,研究了网格重划分后新旧网格物理量的继承和传递算法,从而保证有限元分析的整个过程顺利进行.

网格的质量直接影响着数值模拟计算的效率和分析结果的精度,本文针对三维六面体网格质量评价准则和优化技术进行了研究.建立了基于六面体单元雅可比矩阵行列式的值及其条件数的网格质量评价准则,量化了六面体网格单元质量,确保获得符合有限元数值分析要求的六面体网格单元;研究分析了基于栅格法生成六面体网格的拓扑关系,提出了适合于六面体网格凸特征边界单元的四种点插入新单元模式和五种边界插入新单元模式、适合于凹特征边界为直线或者曲率变化较小时的四种单元退化模式,以及适合于凹特征边界曲率变化较大时的三种单元插入与退化结合模式;提出了基于单位化雅可比矩阵条件数为目标函数的六面体网格表面和内部节点优化方法,采用改进的拉普拉斯平滑法结合基于雅可比矩阵条件数的目标函数优化法分别对网格表面节点和内部节点进行优化,有效改善了整体网格的质量并发挥了两种优化算法的优越性;通过编写三维六面体网格质量检测和优化程序,对基于栅格法自适应生成的六面体网格进行了质量检测和优化,验证了本文提出算法的有效性和准确性.

给出了自主研发的六面体网格自动生成软件AUTOMESH-3D的结构及其功能特点.通过设计合理的输入输出数据接口,实现了与三维CAD造型软件以及数值模拟软件的数据衔接:通过网格质量检测模块对所生成的网格单元进行跟踪检查,实现了及时检查网格质量,确保获得满足有限元数值模拟计算要求的六面体网格;将OpenGL技术和计算机图形学理论引入到三维六面体网格自动生成软件的开发,自主开发了三维六面体网格自适应生成软件AUTOMESH-3D,为科学与工程研究问题提供了建立三维六面体网格模型的通用平台.

第五篇自动生成论文范文格式:测试数据自动生成技术研究

软件测试可以被视为为了发现错误而执行程序的过程,其中设计和生成有效的测试用例是决定其质量的重要因素之一.作为人工测试的重要补充,测试数据自动生成技术可以节省测试时间,降低开发成本,拓展测试人员的能力,在许多测试领域发挥着不可替代的作用.多年来,人们对它进行了广泛而深入的研究,取得了许多研究成果,使之在功能性测试、结构性测试、性能测试等领域得到广泛应用.

本文从组合测试和演化测试的角度,对功能性测试和结构性测试的测试数据自动生成技术进行了深入研究,主要工作包括:(1)在功能性测试领域,基于组合测试模型,提出了若干种测试数据自动生成方法,有助于获得高质量的测试数据集,(2)通过对程序分析与切片技术的研究,探索了结构性测试的基础理论,(3)提出了若干种结构性演化测试方法及优化技术,能够自动生成满足测试目标的测试数据.

论文工作的主要成果表现在以下几个方面:

在组合覆盖测试模型的基础上,提出了一种基于解空间树的组合测试数据生成方法,所生成的测试数据集与同类方法相比具有一定的特点和优势.提出两种多因素组合测试数据的生成算法,可作为已有方法的有益补充,适用于关键系统的测试.

针对面向方面程序(aspect-oriented program)的特点,提出了一种新的程序依赖性分析与切片方法,可以准确地计算面向方面程序的控制依赖和数据依赖.结合程序分析方面的研究,提出了两种测试数据生成方法,可以分别生成满足多重条件覆盖和改进的条件/判定覆盖的测试数据集.

提出了一种针对路径覆盖的演化测试方法以及若干种适应值函数的构造方法,可以自动生成测试数据以覆盖指定的路径.实验表明,该方法的效率显著优于随机测试和人工测试.

提出了一种自适应的演化测试动态优化方法,可以有效地解决进化停滞问题.在演化测试的静态配置优化方面,通过大量的实验分析,总结出一批针对结构性演化测试的规则与建议,对演化测试的应用有较高的参考价值.

本文关于自动生成论文范文,可以做为相关参考文献.

自动生成引用文献:

[1] 自动生成学论文选题 自动生成毕业论文题目如何定
[2] 自动生成外文文献 自动生成论文参考文献哪里找
[3] 自动生成论文提纲格式范本 自动生成论文框架怎么写
《自动生成论文范文参考 自动生成毕业论文范文[精选]》word下载【免费】
自动生成相关论文范文资料