导读:本文包含了模型转换程序论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:模型,测试,程序,坐标,文件,土质,剖面。
模型转换程序论文文献综述
朱青淳,曾文源[1]（2019）在《二维CAD图纸快速转换成MARS模型的程序实现》一文中研究指出通过VBA语言对CAD进行二次开发,将二维的CAD典型横剖面图纸信息导入MARS中实现快速建模。此程序可以从CAD图形中自动读取外板、甲板和纵骨的坐标信息,将其输出至xml文件中,而后只需稍作修改便可完成MARS建模工作。其中外板的处理是难点,需要在表示外板的样条曲线(或圆弧)中插入细密的节点,将其转化为直线多段线,从而准确模拟原曲线的形状,然后在满足精度的条件下过滤多余节点,只提取有效节点的坐标信息。该程序可辅助计算剖面模数,有效提高工作效率。(本文来源于《船舶》期刊2019年02期）
霍明倩[2]（2018）在《单函数Java程序到CPN模型转换工具的设计与实现》一文中研究指出目前,软件应用十分广泛,在软件开发的前期检测出错误的代价比后期发现并修改的代价要低。传统的基于模型的测试方法存在两方面的弊端,一是手工建模,模型的正确性不易保证,二是建模和测试的工作量很大,效率偏低。因此,本文设计并实现一个单函数Java程序到着色Petri网(Colored Petri Net,CPN)模型的转换工具。通过读入待测程序,自动分析处理并导出完全符合CPN Tools格式的模型文件。一方面,生成CPN模型的过程实现了自动化,提升建模效率;另一方面,本工具不是针对软件需求建模,而是直接针对代码实现建模,自动导出了符合CPN Tools格式的模型文件,可进一步使用CPN模型检测技术发现模型的错误,从而直接发现代码中的算法错误。本文完成了如下工作:(1)读入待测程序:对单函数Java待测程序进行读入、分析及存储处理。其中声明语句采用链表存储,其他语句采用二叉树存储,通过树中结点的左右子树区分后续语句的嵌套关系。(2)转换待测程序:对程序中的变量定义、流程控制及操作处理等分析,完成程序到CPN模型的转换。其中,程序中定义的变量转换为模型中的token流转,通过颜色集和变量组完成;程序中全部处理语句转换为CPN模型,通过模型元素完成,包括位置、变迁、弧、变迁防卫表达式、弧表达式等。(3)生成模型文件:根据CPN Tools模型文件格式生成并导出模型文件。导出的模型文件可直接由标准CPN Tools打开,用于基于模型检测的算法错误发现。最后,通过实例应用及执行效果分析,说明本文实现的单函数Java程序到CPN模型转换工具能够自动完成针对程序的建模工作,能够提升建模效率,有利于下一步通过模型检查技术检查算法错误,能够在一定程度上提升软件质量。(本文来源于《内蒙古大学》期刊2018-04-25）
常天佑,魏强,耿洋洋[3]（2017）在《基于状态转换的PLC程序模型构建方法》一文中研究指出针对可编程逻辑控制器(PLC)程序在进行Nu SMV模型检测时需要手工对程序进行建模,不仅浪费人力且容易出错的问题,提出一种基于状态转移的PLC程序模型自动化构建方法。该方法首先分析结构化文本(ST)语言特性并解析ST程序为抽象语法树;其次,在抽象语法树基础上,根据不同的文法结构进行控制流分析生成控制流图;然后,通过数据流分析得到程序依赖图;最后,根据程序依赖图生成Nu SMV的输入模型。实验结果表明,所提方法实现了ST程序到Nu SMV输入模型的自动化构建,并且构建的Nu SMV输入模型既保留了ST程序的原有特性又符合Nu SMV模型检测工具输入的规范,与传统手工模型构建方法相比,提高了模型生成的效率和准确率。(本文来源于《计算机应用》期刊2017年12期）
王杰,张慎[4]（2017）在《复杂高层建筑从YJK到ABAQUS的模型转换程序研究与开发》一文中研究指出ABAQUS凭借强大的非线性功能和显式计算分析,在复杂高层建筑动力弹塑性分析方面具有显着的优势,但其前处理繁琐复杂。为提高建模效率,采用面向对象的系统开发技术,以Auto CAD作为图形处理平台,利用Object Arx及VS2008/C++语言开发了复杂高层建筑从YJK到ABAQUS的模型转换程序。详细阐述了结构杆件截面定位、构件配筋导入以及自定义施工模拟等模型转换的关键技术。利用两个简单算例及一个实际复杂高层工程实例对研发的模型转换程序的准确性进行了验证,对类似工程应用具有一定的借鉴意义。(本文来源于《建筑结构》期刊2017年S2期）
孟仲永,张慎,王杰[5]（2017）在《SAP2000到ABAQUS的模型转换程序研究与开发》一文中研究指出ABAQUS在复杂高层和大跨度空间结构动力弹塑性分析方面能力突出,但其前处理建模繁琐复杂;相比之下,SAP2000作为主要面向结构领域的工程软件,其集成化的前处理功能更加强大,在大跨度空间结构分析中应用尤其广泛。为提高建模效率,采用面向对象的系统开发技术,以Auto CAD作为图形处理平台,利用Object Arx及VS2008和/C++语言开发了复杂高层和大跨度空间结构从SAP2000到ABAQUS的模型转换程序。详细阐述了单元选取、SD截面导入、连接单元导入和节点约束和束缚导入等模型转换的关键技术。运用接口对两个实际大跨度空间结构工程分别转换,对比转换前后的模型信息和模态计算结果,验证了接口的准确性。(本文来源于《建筑结构》期刊2017年S2期）
邓小杰[6]（2017）在《堆用蒙卡程序RMC几何模型转换方法的研究和实现》一文中研究指出随着计算机技术的发展,粒子输运蒙特卡罗模拟方法已经广泛的应用于核工程与核技术领域。反应堆蒙卡分析程序RMC(Reactor Monte Carlo code)是由清华大学工程物理系核能科学与工程管理研究所反应堆工程计算分析实验室自主研发的、用于反应堆堆芯计算分析的叁维输运蒙卡程序。在几何建模方面,RMC以带符号的曲面表示的半空间,通过布尔逻辑运算形成几何实体(栅元),结合层级空间和重复几何描述,进而构造完整的几何对象。RMC的模型描述方式为特定格式的文本输入文件,如何将RMC文件进行可视化建模以方便直观的查错和修改是目前工程上一大应用需求。本文首先分析了RMC几何模型的CSG表达和CAD系统BREP表达方法的差异,提出了RMC几何模型转换为CAD几何模型转换方法的必要性以及工程上的需求。紧接着详细的分析了RMC几何模型和CAD几何模型的造型特点,并面向具体的工程应用需求,提出了一种基于RMC的几何模型转换算法,该算法主要分为四大子算法模块,从上到下依次为:RMC几何信息流提取算法模块、基本栅元体CSG转BREP表达模块、RMC层级空间建立模块、材料填充渲染与CAD模型输出模块,算法首先以信息流的方式解析RMC几何信息,通过解析最底层栅元布尔运算表达式构建半空间CSG树,然后将栅元体的CSG表达转换为CAD模型的BREP表达,最后通过层级关系建立利用几何变换得到空间的位置信息,并将RMC几何模型整体转为CAD模型,系统通过材料属性的填充渲染并结合几何造型引擎实现模型实现RMC模型的可视化输出,并直观的验证RMC输入文件的正确性。接下来基于本文提出的方法,以Visual Studio和Unigraphics NX为平台,以软件工程思想为指导,研究了算法、分析并解决了关键技术并完成了系统的开发,过程中,给出核心算法的源码。最后本文对系统进行了测试和算法验证,从RMC基本几何面到复杂的核反应堆模型,进行大量的测试工作,通过系统在企业中的实施验证了系统的工程实用价值。(本文来源于《华中科技大学》期刊2017-05-01）
胡建平,吴朝东[7]（2016）在《中美土质分类标准模型转换程序设计》一文中研究指出目前,国际上已形成以美国(USCS)为依据的土质统一分类标准(ASTM),与中国规范分类标准不同。因此,开展中美土质分类标准研究,提出建立中美土质分类指标转换数据模型,采用二叉树遍历算法实现中国规范与ASTM土质分类标准模型之间转换,能够有效突破中美岩土工程土质分类标准差异所形成的障碍。程序集成了信息配置、导入接口、计算、转换、导出接口等5大模块,用户通过操作友好的人-机交互界面,既适应我国国情使用习惯,又符合中美二国土的工程分类标准要求,所用方法对中国企业开拓海外市场具有参考价值。(本文来源于《港工技术》期刊2016年04期）
张涛,李叁平,杜双龙[8]（2016）在《基于Python语言的NASTRAN模型向Abaqus模型转换程序》一文中研究指出民用飞机有限元分析多采用NASTRAN软件进行内力求解计算,在非线性领域,Abaqus软件具有更加明显的优势。然而,由于民用飞机模型规模大,建模复杂,为不同软件分别建模不仅效率低,而且多套模型也不便于管理。本文在深入分析民机有限元NASTRAN模型文件的基础上,利用Python语言编制了一套脚本程序,实现了有限元NASTRAN模型向Abaqus模型文件的快速转换功能,并且从根本上保证了模型文件的一致性。(本文来源于《中国科技信息》期刊2016年08期）
余恒,贲可荣[9]（2016）在《针对模型转换程序的蜕变测试方法研究》一文中研究指出模型驱动架构中模型转换结果正确与否常常难以判断(即测试Oracle问题),而蜕变测试通过验证多个执行结果之间是否满足蜕变关系可以部分地解决测试Oracle问题。为有效地解决模型转换测试中的Oracle问题,以UML到Java模型转换程序为例,应用蜕变测试,依据转换规则,从增加、删除、修改、替换4个方面设计并构造出一组蜕变关系。最后对待测程序植入在实际测试中常见的两种错误,设计并执行测试用例后验证蜕变关系,发现违反了蜕变关系,暴露出程序缺陷,从而说明了蜕变测试的有效性。(本文来源于《计算机科学与探索》期刊2016年07期）
王兵刚[10]（2015）在《测量坐标转换模型研究与系统程序实现》一文中研究指出当下空间位置信息在人们日常生活中的地位正变得越来越重要,极大的便利着人们的经济、生活。而空间位置最重要的代表就是导航定位,其中最为人们所熟知的便是GPS,我国的北斗也在快速的发展,未来我国也终将进入位置服务高速发展的时代。伴随而来的是GPS提供的坐标如何与我国已有的坐标转换问题,坐标系转换在测量中是必要的数据处理工作,实现其相互转换便是下面需要解决的问题。文中从椭球形状的介绍入手,介绍了坐标系的分类,以及坐标转换模型,转换的方法,转换需要的参数的求解等等。坐标的表现形式是具体坐标的外在表现,我国的特殊国情建设了分时期的坐标系。利用已学过的坐标转换模型,建立相应的算法,最后考虑到计算机的特点,进行相应的修改。坐标转换必然需要转换参数,根据模型推导出参数的求解。通过求出的参数,回到转换算法中,进行坐标的转换,并对转换后的成果进行精度的分析。借助C#高级程序语言使用适合计算机的算法,实现了坐标转换各个功能模块并最终集成转换系统。根据基准是否相同的原理进行划分为两种类型:一种是相同情况下的转换和不同情况下的转换。另外以附加功能的形式,添加了高斯投影换带和角度转换功能。该系统尽量采用人性化设计制作,采用XML配置文件的形式可以实现椭球参数动态的修改和增加,而不用修改系统代码,可以提高系统的可维护性,在需要提示的时候均带了输入提示,方便使用者的正确操作。该系统同时具备单点转换和文件批量转换的功能,相信可以使使用者更加愉悦的使用它。(本文来源于《东华理工大学》期刊2015-06-09）
模型转换程序论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
目前,软件应用十分广泛,在软件开发的前期检测出错误的代价比后期发现并修改的代价要低。传统的基于模型的测试方法存在两方面的弊端,一是手工建模,模型的正确性不易保证,二是建模和测试的工作量很大,效率偏低。因此,本文设计并实现一个单函数Java程序到着色Petri网(Colored Petri Net,CPN)模型的转换工具。通过读入待测程序,自动分析处理并导出完全符合CPN Tools格式的模型文件。一方面,生成CPN模型的过程实现了自动化,提升建模效率;另一方面,本工具不是针对软件需求建模,而是直接针对代码实现建模,自动导出了符合CPN Tools格式的模型文件,可进一步使用CPN模型检测技术发现模型的错误,从而直接发现代码中的算法错误。本文完成了如下工作:(1)读入待测程序:对单函数Java待测程序进行读入、分析及存储处理。其中声明语句采用链表存储,其他语句采用二叉树存储,通过树中结点的左右子树区分后续语句的嵌套关系。(2)转换待测程序:对程序中的变量定义、流程控制及操作处理等分析,完成程序到CPN模型的转换。其中,程序中定义的变量转换为模型中的token流转,通过颜色集和变量组完成;程序中全部处理语句转换为CPN模型,通过模型元素完成,包括位置、变迁、弧、变迁防卫表达式、弧表达式等。(3)生成模型文件:根据CPN Tools模型文件格式生成并导出模型文件。导出的模型文件可直接由标准CPN Tools打开,用于基于模型检测的算法错误发现。最后,通过实例应用及执行效果分析,说明本文实现的单函数Java程序到CPN模型转换工具能够自动完成针对程序的建模工作,能够提升建模效率,有利于下一步通过模型检查技术检查算法错误,能够在一定程度上提升软件质量。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
模型转换程序论文参考文献
[1].朱青淳,曾文源.二维CAD图纸快速转换成MARS模型的程序实现[J].船舶.2019
[2].霍明倩.单函数Java程序到CPN模型转换工具的设计与实现[D].内蒙古大学.2018
[3].常天佑,魏强,耿洋洋.基于状态转换的PLC程序模型构建方法[J].计算机应用.2017
[4].王杰,张慎.复杂高层建筑从YJK到ABAQUS的模型转换程序研究与开发[J].建筑结构.2017
[5].孟仲永,张慎,王杰.SAP2000到ABAQUS的模型转换程序研究与开发[J].建筑结构.2017
[6].邓小杰.堆用蒙卡程序RMC几何模型转换方法的研究和实现[D].华中科技大学.2017
[7].胡建平,吴朝东.中美土质分类标准模型转换程序设计[J].港工技术.2016
[8].张涛,李叁平,杜双龙.基于Python语言的NASTRAN模型向Abaqus模型转换程序[J].中国科技信息.2016
[9].余恒,贲可荣.针对模型转换程序的蜕变测试方法研究[J].计算机科学与探索.2016
[10].王兵刚.测量坐标转换模型研究与系统程序实现[D].东华理工大学.2015
论文知识图
