导读:本文包含了模型化简论文开题报告文献综述、选题提纲参考文献及外文文献翻译,主要关键词:模型,网格,多边形,流形,层次,细节,工作流。
模型化简论文文献综述
张玮[1](2017)在《针对并行待测行为测试的CPN模型化简方法》一文中研究指出随着软件产业的飞速发展,并行软件系统己经成为当下主流的一种软件系统,在人们生活生产中扮演越来越重要的角色。例如常见的云计算软件、网络软件等软件系统都具有并行行为的特点。而作为保证软件质量的关键环节,软件测试则起着关键作用。然而,并行软件由于其并行特点容易导致状态空间爆炸,传统测试方法大多针对状态空间完成测试序列生成,状态爆炸时无法进行高效的软件测试,通常存在着低覆盖率、高冗余率、低测试效率等问题。通过模型化简缩减状态空间的方法可以有效降低并行软件测试的复杂度,保证化简后模型测试效果不变是化简方法研究中的关键问题。目前针对软件测试的模型化简方法主要是基于迹等价的化简,此类方法并不能够降低并发执行的复杂度,所以化简效果有限。本文围绕待测行为及其相关行为进行并行软件模型化简,针对与待测行为无关的分支进行串行化处理以及限制处理,从而实现缩减状态空间的目的,使得化简前后关于待测行为的测试效果不变。本文关于化简方法做了以下几个方面的工作:(1)针对复杂并行软件模型,引入待测行为及相关行为等概念,以待测行为来描述本次测试的目的,以相关行为来描述与本次测试数据流相关的行为。在模型的化简过程中,本方法仅仅对与本次测试无关的非待测行为进行化简,因此不仅保证了本方法的正确性,而且缩减了状态空间规模,从而提升了测试的效率。(2)本文提出了同源分支的概念,将同源分支划分为并发分支组或选择分支集,在并发分支组或选择分支集内部进行化简操作。由于一个并发分支组或选择分支集中的全部分支都来自于同一源节点,同源性保证了无关分支串行化处理和限制处理对于待测相关行为的测试不受影响。(3)在一个并发分支组或选择分支集内部,依据支路存在待测行为和相关行为的情况,采用添加抑制弧的方式,完成待测行为无关分支的串行化操作和限制处理。通过抑制弧的方式没有修改任何模型元素,只是限制了并发顺序及部分无关分支限制处理,保证了化简后模型的正确性。并发分支的串行化和选择分支的限制处理可以大幅缩减状态空间,被串行化和限制处理的分支不含有待测行为或相关行为,所以对本次待测行为的测试效果不变。最后,文章对化简算法的正确性进行了证明,并通过应用实例分析,验证了本方法的正确性以及对待测软件模型状态空间的缩减效果。(本文来源于《内蒙古大学》期刊2017-06-12)
李鹤,唐达[2](2009)在《一种工作流管理系统的模型化简方法》一文中研究指出针对大规模复杂工作流管理系统的性能分析问题,将一个基于随机Petri网的模型化简算法应用于实际的工作流管理系统,即首先将工作流管理联盟定义的工作流模型映射为随机工作流网,在随机工作流网的4种基本模型的基础上,利用PH分布对简化之后的模型进行性能分析。通过供应链系统模型的化简与实际情况的比较,验证了本方法能够对大规模复杂随机工作流网的模型进行化简,降低了计算复杂度,同时也为工作流管理系统的性能分析提供了有效的方法。(本文来源于《湖北汽车工业学院学报》期刊2009年01期)
夏传良[3](2008)在《基于Petri网表示的嵌入式系统模型化简规则(英文)》一文中研究指出为了提高基于Petri网表示的嵌入式模型(PRES+)验证的效率,对模型进行了保性变换,给出了一组关于PRES+模型的化简规则,这些化简规则在原模型和简化模型之间保持完全等价关系。对两个系统模型的化简结果进一步说明了这些化简规则的有效性。(本文来源于《计算机科学与探索》期刊2008年06期)
陈良玉,李玉[4](2007)在《高炉炉缸冷却壁对流换热边界的等效置换与导热模型化简》一文中研究指出根据固体导热理论讨论大平板和平面轴对称圆筒中对流边界的等效置换问题。利用有限元计算了高炉炉缸冷却壁中水管表面的对流换热边界向内部边界等效置换,给出了算法和计算实例。对流换热边界置换后可使冷却壁-炉墙结构的平面导热问题化为一维问题。(本文来源于《钢铁研究》期刊2007年06期)
苗福生[5](2006)在《数字几何处理中的网格模型化简》一文中研究指出在国内外网格模型化简的研究成果上,分析了各种典型算法的优缺点,并指出了数字几何处理中网格模型化简的研究方向,即如何对网格进行有效的分块;研究更有效的误差控制方法;寻找更高效的、适用于各种形状和物体的网格简化方法;希望新的有效算法不仅能保持网格的几何形状,还能保持物体的外观属性.(本文来源于《宁夏工程技术》期刊2006年04期)
张晶,周烨,刘瑜[6](2006)在《SDS模型化简合并多边形的一个改进算法研究》一文中研究指出作为自动制图综合中的重要组成部分,多边形化简与合并可用来解决由于制图比例尺减小而带来的多边形与多边形之间以及多边形内部的邻近冲突问题。该方法设计主要基于多边形几何特征、拓扑特征的分析,同时需要一种合适的空间数据模型用于支持多边形与多边形之间,多边形内部的邻近关系探测。为避免分离操作带来的多边形综合结果的不同,在分析了基于Delaunay叁角网的SDS模型表达对象邻近关系的能力后,提出了一种统一解决多边形化简和合并的方案,同时对原有的邻近冲突检测方法进行了改进,从而解决了由于边缘尖锐叁角形的引入而导致多边形合并和化简后面积大量增大和丢失某些特征点的问题。实验结果表明,该方法可以获得满意的多边形化简合并效果。(本文来源于《中国图象图形学报》期刊2006年07期)
何晖光,田捷,张晓鹏,赵明昌,李光明[7](2002)在《网格模型化简综述》一文中研究指出网格模型的化简对于其存储、传输、处理以及实时绘制有着重要的意义.对国内外在这一领域的工作成果进行了较为系统的介绍,并对各方面典型算法的优缺点进行了分析,最后对这一技术的发展进行了展望.(本文来源于《软件学报》期刊2002年12期)
严稳莉,韩民晓,徐永海[8](2001)在《积分流形模型化简方法在动态电压分析中的应用》一文中研究指出利用积分流形模型化简 ( IMMD)的思想 ,给出了含动态电压调节器( DVR)配电网络的动态电压分析方法。文中建立了包括 DVR在内的线路、有载调压变压器、负荷等相关设备的数学模型 ,指出了系统的多时标特性。利用积分流型将快过程等效并入慢过程。通过计算实例 ,表明了这一方法能够在保证分析精度的前提下大大提高仿真效率(本文来源于《现代电力》期刊2001年04期)
王社伟,张洪钺[9](1999)在《容错控制系统的可靠性建模及模型化简》一文中研究指出在容错控制系统的设计过程中,进行系统的可靠性建模和分析求得容错控制系统可靠性是一项非常重要的工作.它是许多设计工作,如设计方案的选择优化和一些设计参数的确定等的重要理论依据.在容错控制系统的可靠性分析中,利用马尔柯夫过程理论对容错控制系统进行可靠性建模能够较为真实地描述系统的实际工作情况.但是由于容错系统为了达到高可靠性而采用了大量的冗余配置及重构技术,使得该可靠性模型往往变得相当复杂.因此,对系统可靠性模型进行一些必要的化简,可以减少许多计算量和使该模型更加符合实际使用的要求(本文来源于《北京航空航天大学学报》期刊1999年03期)
模型化简论文开题报告
(1)论文研究背景及目的
此处内容要求:
首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。
写法范例:
针对大规模复杂工作流管理系统的性能分析问题,将一个基于随机Petri网的模型化简算法应用于实际的工作流管理系统,即首先将工作流管理联盟定义的工作流模型映射为随机工作流网,在随机工作流网的4种基本模型的基础上,利用PH分布对简化之后的模型进行性能分析。通过供应链系统模型的化简与实际情况的比较,验证了本方法能够对大规模复杂随机工作流网的模型进行化简,降低了计算复杂度,同时也为工作流管理系统的性能分析提供了有效的方法。
(2)本文研究方法
调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。
实证研究法:依据现有的科学理论和实践的需要提出设计。
定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。
定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。
跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。
模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
模型化简论文参考文献
[1].张玮.针对并行待测行为测试的CPN模型化简方法[D].内蒙古大学.2017
[2].李鹤,唐达.一种工作流管理系统的模型化简方法[J].湖北汽车工业学院学报.2009
[3].夏传良.基于Petri网表示的嵌入式系统模型化简规则(英文)[J].计算机科学与探索.2008
[4].陈良玉,李玉.高炉炉缸冷却壁对流换热边界的等效置换与导热模型化简[J].钢铁研究.2007
[5].苗福生.数字几何处理中的网格模型化简[J].宁夏工程技术.2006
[6].张晶,周烨,刘瑜.SDS模型化简合并多边形的一个改进算法研究[J].中国图象图形学报.2006
[7].何晖光,田捷,张晓鹏,赵明昌,李光明.网格模型化简综述[J].软件学报.2002
[8].严稳莉,韩民晓,徐永海.积分流形模型化简方法在动态电压分析中的应用[J].现代电力.2001
[9].王社伟,张洪钺.容错控制系统的可靠性建模及模型化简[J].北京航空航天大学学报.1999